Automated model analysis tools and techniques presented at FASE 2019
Hähnle, Reiner, van der Aalst, Wil
Published in International journal on software tools for technology transfer (01.06.2021)
Published in International journal on software tools for technology transfer (01.06.2021)
Get full text
Journal Article
Prototyping Formal System Models with Active Objects
Kamburjan, Eduard, Hähnle, Reiner
Published in Electronic proceedings in theoretical computer science (04.10.2018)
Published in Electronic proceedings in theoretical computer science (04.10.2018)
Get full text
Journal Article
A Theorem Proving Approach to Analysis of Secure Information Flow
Get full text
Book Chapter
Conference Proceeding
Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Hähnle, Reiner, Knoop, Jens, Margaria, Tiziana, Schreiner, Dietmar, Steffen, Bernhard
Year of Publication 2012
Get full text
Year of Publication 2012
eBook
Modeling Non-deterministic C Code with Active Objects
Wasser, Nathan, Heydari Tabar, Asmae, Hähnle, Reiner
Published in Fundamentals of Software Engineering (2019)
Published in Fundamentals of Software Engineering (2019)
Get full text
Book Chapter
Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
Bernardo, Marco, Damiani, Ferruccio, Haehnle, Reiner, Johnsen, Einar Broch, Schaefer, Ina
Year of Publication 2014
Get full text
Year of Publication 2014
eBook
Task Forces in the EternalS Coordination Action
Hähnle, Reiner
Published in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2010)
Published in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2010)
Get full text
Book Chapter
Conference Proceeding
Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach
de Boer, Frank S., Giachino, Elena, de Gouw, Stijn, Hähnle, Reiner, Johnsen, Einar Broch, Laneve, Cosimo, Pun, Ka I, Zavattaro, Gianluigi
Published in Electronic proceedings in theoretical computer science (27.08.2019)
Published in Electronic proceedings in theoretical computer science (27.08.2019)
Get full text
Journal Article