Lukas Ladenberger

Team-Ladenberger.jpg

Contents

Contact Information

Heinrich-Heine-Universität Düsseldorf
Institut für Informatik
Universitätsstraße 1
D-40225 Düsseldorf

Email: ladenberger@cs.uni-duesseldorf.de


Phone: +49 (211) 81-12635
Fax: +49 (211) 81-10712

Room: 25.12.02.52

Proposed theses


Theses Advised


Publications

2015
Validation of the ABZ landing gear system using ProB [Bibtex]
International Journal on Software Tools for Technology Transfer: 1-17, 2015.
Lukas Ladenberger, Michael Leuschel
Mastering the Visualization of Larger State Spaces with Projection Diagrams [Bibtex]
In Proceedings ICFEM'2015, LNCS 9407, Springer-Verlag, 2015.
Lukas Ladenberger, Michael Leuschel
Mastering the Visualization of Larger State Spaces with Projection Diagrams [PDF] [Bibtex]
Technical Report, No. STUPS/2015/May, Institut für Informatik, Heinrich-Heine-Universität Düsseldorf, 2015.
2014
Validation of the ABZ Landing Gear System using ProB [PDF] [Bibtex]
In ABZ 2014: The Landing Gear Case Study, 2014.
Lukas Ladenberger, Ivaylo Dobrikov, Michael Leuschel
An Approach for Creating Domain Specific Visualisations of CSP Models [PDF] [Bibtex]
In HOFM 2014, LNCS, 2014.
2013
ProB 2.0 Tutorial [PDF] [Bibtex]
In Proceedings of the 4th Rodin User and Developer Workshop, TUCS Lecture Notes, TUCS, 2013.
A Method and Tool for Tracing Requirements into Specifications [PDF] [Bibtex]
Science of Computer Programming
2012
Lukas Ladenberger, Michael Jastram
Requirements Traceability between Textual Requirements and Formal Models Using ProR [PDF] [Bibtex]
Accepted for iFM'2012
2011
Mixing Formal and Informal Model Elements for Tracing Requirements [PDF] [Bibtex]
In booktitle, AVOCS 2011, 2011.
2009
Visualising Event-B Models with B-Motion Studio [PDF] [Bibtex]
In Proceedings of FMICS 2009, volume 5825 of Lecture Notes in Computer Science, Springer, 2009.


Publications and Presentations (non scientific)

2014
Lukas Ladenberger Michael Jastram
ReqIF in der Systementwicklung mit Eclipse [Bibtex]
iX Developer Embedded Software, 2, 2014.


Posters

Fmics 2009 bms.jpg

Link: http://users.dsic.upv.es/workshops/fmics2009/posters/Ladenberger-Bendisposto-Leuschel.pdf

Conference: 14th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2009)