Buchkapitel

Steinhöfel, Dominic ; Hähnle, Reiner
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2018)
Modular, Correct Compilation with Automatic Soundness Proofs.
In: Leveraging Applications of Formal Methods, Verification and Validation. Modeling
doi: 10.1007/978-3-030-03418-4_25
Buchkapitel, Bibliographie

Bodden, Eric ; Pun, Ka I. ; Steffen, Martin ; Stolz, Volker ; Wickert, Anna-Katharina
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2016)
Information Flow Analysis for Go.
In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
doi: 10.1007/978-3-319-47166-2_30
Buchkapitel, Bibliographie

Novelli, Francesco
Hrsg.: Herzwurm, Georg ; Margaria, Tiziana (2013)
Measuring Sales Cannibalization in Information Technology Markets: Conceptual Foundations and Research Issues.
In: 4th International Conference on Software Business
Buchkapitel, Bibliographie

Buch

Hrsg.: Hähnle, Reiner ; Knoop, Jens ; Margaria, Tiziana ; Schreiner, Dietmar ; Steffen, Bernhard (2012)
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.
doi: 10.1007/978-3-642-34781-8
Buch, Bibliographie

Konferenzveröffentlichung

Jakobs, Marie-Christine ; Mantel, Heiko
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2020)
A Unifying Framework for Dynamic Monitoring and a Taxonomy of Optimizations.
9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020). virtual Conference (20.-30.10.)
doi: 10.1007/978-3-030-61470-6_6
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Heydari Tabar, Asmae ; Mazaheri, Arya ; Norouzi, Mohammad ; Steinhöfel, Dominic ; Wolf, Felix
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2020)
Safer Parallelization.
9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020). virtual Conference (20.-30.10.2020)
doi: 10.1007/978-3-030-61470-6_8
Konferenzveröffentlichung, Bibliographie

Lochau, Malte ; Luthmann, Lars ; Göttmann, Hendrik ; Bacher, Isabelle
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2020)
Parametric Timed Bisimulation.
9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020). Rhodes, Greece (20.-30.10.2020)
doi: 10.1007/978-3-030-61470-6_5
Konferenzveröffentlichung, Bibliographie

Beek, Maurice H. ter ; Hähnle, Reiner ; Schaefer, Ina
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2016)
Correctness-by-Construction and Post-hoc Verification: Friends or Foes?
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I.
doi: 10.1007/978-3-319-47166-2_51
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Muschevici, Radu
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2016)
Towards Incremental Validation of Railway Systems.
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II.
doi: 10.1007/978-3-319-47169-3_36
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Johnsen, Einar Broch
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2014)
Introduction to Track on Engineering Virtualized Services.
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II.
doi: 10.1007/978-3-662-45231-8_1
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Schaefer, Ina
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2012)
Adaptable and Evolving Software for Eternal Systems - (Track Summary).
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I.
doi: 10.1007/978-3-642-34026-0_1
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Schaefer, Ina
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2012)
A Liskov Principle for Delta-Oriented Programming.
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I.
doi: 10.1007/978-3-642-34026-0_4
Konferenzveröffentlichung, Bibliographie

Lochau, Malte ; Kamischke, Jochen
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2012)
Parameterized Preorder Relations for Model-Based Testing of Software Product Lines.
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2010)
HATS: Highly Adaptable and Trustworthy Software using Formal Models.
doi: 10.1007/978-3-642-16561-0_2
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2010)
Task Forces in the EternalS Coordination Action.
Konferenzveröffentlichung, Bibliographie