Lukas Ladenberger

Publication Activity (10 Years)

Years Active: 2009-2018
Publications (10 Years): 5

Top Venues

Sci. Comput. Program.

Int. J. Softw. Tools Technol. Transf.

SEFM

SEFM Workshops

University of Düsseldorf, Germany (PHD)

Education History

University of Düsseldorf, Germany

PHD

Publications

Thai Son Hoang, Colin F. Snook, Asieh Salehi Fathabadi, Michael J. Butler, Lukas Ladenberger
Validating and verifying the requirements and design of a haemodialysis machine using the Rodin toolset. Sci. Comput. Program. 158 (2018)
Lukas Ladenberger, Dominik Hansen, Harald Wiegard, Jens Bendisposto, Michael Leuschel
Validation of the ABZ landing gear system using ProB. Int. J. Softw. Tools Technol. Transf. 19 (2) (2017)
Thai Son Hoang, Colin F. Snook, Lukas Ladenberger, Michael J. Butler
Validating the Requirements and Design of a Hemodialysis Machine Using iUML-B, BMotion Studio, and Co-Simulation. ABZ (2016)
Lukas Ladenberger, Michael Leuschel
BMotionWeb: A Tool for Rapid Creation of Formal Prototypes. SEFM (2016)
Lukas Ladenberger, Michael Leuschel
Mastering the Visualization of Larger State Spaces with Projection Diagrams. ICFEM (2015)
Dominik Hansen, Lukas Ladenberger, Harald Wiegard, Jens Bendisposto, Michael Leuschel
Validation of the ABZ Landing Gear System Using ProB. ABZ (Case Study) (2014)
Stefan Hallerstede, Michael Jastram, Lukas Ladenberger
A method and tool for tracing requirements into specifications. Sci. Comput. Program. 82 (2014)
Lukas Ladenberger, Ivaylo Dobrikov, Michael Leuschel
An Approach for Creating Domain Specific Visualisations of CSP Models. SEFM Workshops (2014)
Michael Jastram, Stefan Hallerstede, Lukas Ladenberger
Mixing Formal and Informal Model Elements for Tracing Requirements. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 46 (2011)
Lukas Ladenberger, Jens Bendisposto, Michael Leuschel
Visualising Event-B Models with B-Motion Studio. FMICS (2009)

Lukas Ladenberger.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Lukas Ladenberger