Lukas Ladenberger

According to our database1, Lukas Ladenberger authored at least 10 papers between 2009 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Validating and verifying the requirements and design of a haemodialysis machine using the Rodin toolset.
Sci. Comput. Program., 2018

2017
Rapid Creation of Interactive Formal Prototypes for Validating Safety-Critical Systems.
PhD thesis, 2017

Validation of the ABZ landing gear system using ProB.
Int. J. Softw. Tools Technol. Transf., 2017

2016
BMotionWeb: A Tool for Rapid Creation of Formal Prototypes.
Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

Validating the Requirements and Design of a Hemodialysis Machine Using iUML-B, BMotion Studio, and Co-Simulation.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2015
Mastering the Visualization of Larger State Spaces with Projection Diagrams.
Proceedings of the Formal Methods and Software Engineering, 2015

2014
A method and tool for tracing requirements into specifications.
Sci. Comput. Program., 2014

An Approach for Creating Domain Specific Visualisations of CSP Models.
Proceedings of the Software Engineering and Formal Methods, 2014

2011
Mixing Formal and Informal Model Elements for Tracing Requirements.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

2009
Visualising Event-B Models with B-Motion Studio.
Proceedings of the Formal Methods for Industrial Critical Systems, 2009


  Loading...