Artikel

de Boer, Frank S. ; Serbanescu, Vlad ; Hähnle, Reiner ; Henrio, Ludovic ; Rochas, Justine ; Din, Crystal Chang ; Johnsen, Einar Broch ; Sirjani, Marjan ; Khamespanah, Ehsan ; Fernandez-Reyes, Kiko ; Yang, Albert Mingkun (2017)
A Survey of Active Object Languages.
In: ACM Comput. Surv., 50 (5)
doi: 10.1145/3122848
Artikel, Bibliographie

Bubel, Richard ; Damiani, Ferruccio ; Hähnle, Reiner ; Johnsen, Einar Broch ; Owe, Olaf ; Schaefer, Ina ; Yu, Ingrid Chieh (2016)
Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct.
In: Trans. Found. Mastering Chang., 1
doi: 10.1007/978-3-319-46508-1_8
Artikel, Bibliographie

Hähnle, Reiner ; Johnsen, Einar Broch (2015)
Designing Resource-Aware Cloud Applications.
In: IEEE Computer, 48 (6)
doi: 10.1109/MC.2015.172
Artikel, Bibliographie

Albert, Elvira ; de Boer, Frank S. ; Hähnle, Reiner ; Johnsen, Einar Broch ; Schlatte, Rudolf ; Tarifa, Silvia Lizeth Tapia ; Wong, Peter Y. H. (2014)
Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS.
In: Service Oriented Computing and Applications, 8 (4)
doi: 10.1007/s11761-013-0148-0
Artikel, Bibliographie

Din, Crystal Chang ; Dovland, Johan ; Johnsen, Einar Broch ; Owe, Olaf (2012)
Observable behavior of distributed systems: Component reasoning for concurrent objects.
In: Journal of Logic and Algebraic Programming, 81 (3)
doi: 10.1016/j.jlap.2012.01.003
Artikel, Bibliographie

Buchkapitel

Clarke, Dave ; Diakov, Nikolay ; Hähnle, Reiner ; Johnsen, Einar Broch ; Schafer, Ina ; Schäfer, Jan ; Schlatte, Rudolf ; Wong, Peter
Hrsg.: Bernardo, M. ; Issarny, V. (2011)
Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language.
In: Formal Methods for Eternal Networked Software Systems
Buchkapitel, Bibliographie

Buch

Hrsg.: Bernardo, Marco ; Damiani, Ferruccio ; Hähnle, Reiner ; Johnsen, Einar Broch ; Schaefer, Ina (2014)
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.
doi: 10.1007/978-3-319-07317-0
Buch, Bibliographie

Konferenzveröffentlichung

Grätz, Lukas ; Hähnle, Reiner ; Bubel, Richard
Hrsg.: Johnsen, Einar Broch ; Wimmer, Manuel (2022)
Finding Semantic Bugs Fast.
25th International Conference of the European Joint Conferences on Theory and Practice of Software. Munich, Germany (02.04.2022-07.04.2022)
doi: 10.1007/978-3-030-99429-7_8
Konferenzveröffentlichung, Bibliographie

Jakobs, Marie-Christine ; Wiesner, Maik
Hrsg.: Johnsen, Einar Broch ; Wimmer, Manuel (2022)
PEQtest: Testing Functional Equivalence.
25th International Conference on Fundamental Approaches to Software Engineering. Munich, Germany (02.04.2022-07.04.2022)
doi: 10.1007/978-3-030-99429-7_11
Konferenzveröffentlichung, Bibliographie

Kamburjan, Eduard ; Din, Crystal Chang ; Hähnle, Reiner ; Johnsen, Einar Broch
Hrsg.: Ölveczky, Peter Csaba ; Salaün, Gwen (2019)
Asynchronous Cooperative Contracts for Cooperative Scheduling.
Software Engineering and Formal Methods - 17th International Conference, SEFM 2019. Oslo, Norway (18.09.2019–20.09.2019)
doi: 10.1007/978-3-030-30446-1_3
Konferenzveröffentlichung, Bibliographie

Damiani, Ferruccio ; Hähnle, Reiner ; Lienhardt, Michael
Hrsg.: Gabmeyer, Sebastian ; Johnsen, Einar Broch (2017)
Abstraction Refinement for the Analysis of Software Product Lines.
Tests and Proofs - 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings.
doi: 10.1007/978-3-319-61467-0_1
Konferenzveröffentlichung, Bibliographie

Din, Crystal Chang ; Hähnle, Reiner ; Johnsen, Einar Broch ; Pun, Ka I. ; Tarifa, Silvia Lizeth Tapia
Hrsg.: Schmidt, Renate A. ; Nalon, Claudia (2017)
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages.
Automated Reasoning with Analytic Tableaux and Related Methods - 26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25-28, 2017, Proceedings.
doi: 10.1007/978-3-319-66902-1_2
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Wasser, Nathan ; Bubel, Richard
Hrsg.: Ábrahám, Erika ; Bonsangue, Marcello M. ; Johnsen, Einar Broch (2016)
Array Abstraction with Symbolic Pivots.
Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday.
doi: 10.1007/978-3-319-30734-3_9
Konferenzveröffentlichung, Bibliographie

Din, Crystal Chang ; Tarifa, Silvia Lizeth Tapia ; Hähnle, Reiner ; Johnsen, Einar Broch
Hrsg.: Butler, Michael J. ; Conchon, Sylvain ; Zaidi, Fatiha (2015)
History-Based Specification and Verification of Scalable Concurrent and Distributed Systems.
Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings.
doi: 10.1007/978-3-319-25423-4_14
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

Albert, Elvira ; de Boer, Frank ; Hähnle, Reiner ; Johnsen, Einar Broch ; Laneve, Cosimo
Hrsg.: Babar, Ali ; Dumas, Marlon (2013)
Engineering Virtualized Services.
Konferenzveröffentlichung, Bibliographie

Albert, Elvira ; de Boer, Frank S. ; Hähnle, Reiner ; Johnsen, Einar Broch ; Laneve, Cosimo
Hrsg.: Solberg, Arnor ; Babar, Muhammad Ali ; Dumas, Marlon ; Cuesta, Carlos E. (2013)
Engineering virtualized services.
Second Nordic Symposium on Cloud Computing & Internet Technologies, NordiCloud '13, Oslo, Norway, September 1-3, 2013.
doi: 10.1145/2513534.2513545
Konferenzveröffentlichung, Bibliographie

de Boer, Frank S. ; Hähnle, Reiner ; Johnsen, Einar Broch ; Schlatte, Rudolf ; Wong, Peter Y. H.
Hrsg.: Paoli, Flavio De ; Pimentel, Ernesto ; Zavattaro, Gianluigi (2012)
Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study.
Service-Oriented and Cloud Computing - First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings.
doi: 10.1007/978-3-642-33427-6_7
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Helvensteijn, Michiel ; Johnsen, Einar Broch ; Lienhardt, Michael ; Sangiorgi, Davide ; Schaefer, Ina ; Wong, Peter Y. H.
Hrsg.: Beckert, Bernhard ; Damiani, Ferruccio ; de Boer, Frank S. ; Bonsangue, Marcello M. (2011)
HATS Abstract Behavioral Specification: The Architectural View.
Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers.
doi: 10.1007/978-3-642-35887-6_6
Konferenzveröffentlichung, Bibliographie

Johnsen, Einar Broch ; Hähnle, Reiner ; Schäfer, Jan ; Schlatte, Rudolf ; Steffen, Martin
Hrsg.: Aichernig, Bernhard K. ; de Boer, Frank S. ; Bonsangue, Marcello M. (2010)
ABS: A Core Language for Abstract Behavioral Specification.
Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers.
doi: 10.1007/978-3-642-25271-6_8
Konferenzveröffentlichung, Bibliographie

Clarke, Dave ; Diakov, Nikolay ; Hähnle, Reiner ; Johnsen, Einar Broch ; Puebla, Germán ; Weitzel, Balthasar ; Wong, Peter
Hrsg.: Botterweck, Goetz ; Jarzabek, Stan ; Kishi, Tomoji ; Lee, Jaejoon ; Livengood, Steve (2010)
HATS - A Formal Software Product Line Engineering Methodology.
Software Product Lines - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings (Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations and Tools).
Konferenzveröffentlichung, Bibliographie

Ahrendt, Wolfgang ; Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter
Hrsg.: Bonsangue, Marcello ; Johnsen, Einar Broch (2007)
KeY: A Formal Method for Object-Oriented Systems.
Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings.
doi: 10.1007/978-3-540-72952-5_2
Konferenzveröffentlichung, Bibliographie

Report

Din, Crystal Chang ; Tarifa, Lizeth Tapia ; Hähnle, Reiner ; Johnsen, Einar Broch (2015)
The NoC Verification Case Study with KeY-ABS.
Report, Bibliographie