PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Junker, Maximilian"

Author of the publication

copydeleteadd this publication to your clipboard
A Model-Based Approach to Formal Verification in Early Development Phases: A Desalination Plant Case Study.

, , , , , , and . Software Engineering (Workshops), volume 1337 of CEUR Workshop Proceedings, page 91-100. CEUR-WS.org, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Maximilian Hörl University of Stuttgart

Rigorous derivation of discrete fracture models for Darcy flow in the limit of vanishing aperture, and . Networks and heterogeneous media, 19 (1): 114-156 (2024)

Maximilian Krappel University of Stuttgart

Propane-Induced Inversion of the Pressure Dependence of Highly Efficient Microemulsions: Phase Behavior and Its Prediction via HLD, , , and . Industrial & Engineering Chemistry Research, (May 2024)

Maximilian Overbeck

European debates during the Libya crisis of 2011: shared identity, divergent action. European Security, 23 (4): 583-600 (2014)

Maximilian Bauhofer University of Stuttgart

Maximilian Karsch University of Stuttgart

 

Other publications of authors with the same name

Specification and Analysis of Availability for Software-Intensive Systems.. Technical University Munich, Germany, (2016)A formal systems engineering approach in practice: an experience report., , , , , and . SER&IPs, page 34-41. ACM, (2014)A rigorous approach to availability modeling., and . MiSE, page 1-7. IEEE Computer Society, (2012)Siemens Rail - Industrial Case Study: Model-based Development of a Train Guard MT Function., and . Software Engineering & Management, volume P-239 of LNI, page 231. GI, (2015)Exploiting Behavior Models for Availability Analysis of Interactive Systems.. ISSRE Workshops, page 140-141. IEEE Computer Society, (2014)Principles and a Process for Successful Industry Cooperation - The Case of TUM and Munich Re., , , , , , , , and . SER&IP@ICSE, page 50-53. IEEE, (2015)Automated test-design from requirements: the Specmate tool., , , , and . RET@ICSE, page 5-8. ACM, (2018)An expert-based cost estimation model for system test execution., , , , and . ICSSP, page 159-163. ACM, (2014)Supporting Concurrent Development of Requirements and Architecture - A Model-based Approach., , , , and . MODELSWARD, page 587-595. SciTePress, (2014)SMT-Based False Positive Elimination in Static Program Analysis., , , and . ICFEM, volume 7635 of Lecture Notes in Computer Science, page 316-331. Springer, (2012)