Lukas Ladenberger

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

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2018

Validating and verifying the requirements and design of a haemodialysis machine using the Rodin toolset.

Thai Son Hoang, Colin F. Snook, Asieh Salehi Fathabadi, Michael J. Butler, Lukas Ladenberger

Sci. Comput. Program., 2018

2017

Rapid Creation of Interactive Formal Prototypes for Validating Safety-Critical Systems.

Lukas Ladenberger

PhD thesis, 2017

Validation of the ABZ landing gear system using ProB.

Lukas Ladenberger, Dominik Hansen, Harald Wiegard, Jens Bendisposto, Michael Leuschel

Int. J. Softw. Tools Technol. Transf., 2017

2016

BMotionWeb: A Tool for Rapid Creation of Formal Prototypes.

Lukas Ladenberger, Michael Leuschel

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.

Thai Son Hoang, Colin F. Snook, Lukas Ladenberger, Michael J. Butler

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2015

Mastering the Visualization of Larger State Spaces with Projection Diagrams.

Lukas Ladenberger, Michael Leuschel

Proceedings of the Formal Methods and Software Engineering, 2015

2014

A method and tool for tracing requirements into specifications.

Stefan Hallerstede, Michael Jastram, Lukas Ladenberger

Sci. Comput. Program., 2014

An Approach for Creating Domain Specific Visualisations of CSP Models.

Lukas Ladenberger, Ivaylo Dobrikov, Michael Leuschel

Proceedings of the Software Engineering and Formal Methods, 2014

2011

Mixing Formal and Informal Model Elements for Tracing Requirements.

Michael Jastram, Stefan Hallerstede, Lukas Ladenberger

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

2009

Visualising Event-B Models with B-Motion Studio.

Lukas Ladenberger, Jens Bendisposto, Michael Leuschel

Proceedings of the Formal Methods for Industrial Critical Systems, 2009