TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 22.

Jakobs, Marie-Christine ; Wiesner, Maik
Johnsen, Einar Broch ; Wimmer, Manuel (eds.) (2022):
PEQtest: Testing Functional Equivalence.
In: Lecture Notes in Computer Science, 13241, In: Fundamental Approaches to Software Engineering, pp. 184-204,
Springer, 25th International Conference on Fundamental Approaches to Software Engineering, Munich, Germany, 02.-07.04.2022, ISBN 978-3-030-99428-0,
DOI: 10.1007/978-3-030-99429-7_11,
[Conference or Workshop Item]

Kamburjan, Eduard ; Din, Crystal Chang ; Hähnle, Reiner ; Johnsen, Einar Broch
Ölveczky, Peter Csaba ; Salaün, Gwen (eds.) (2019):
Asynchronous Cooperative Contracts for Cooperative Scheduling.
11724, pp. 48-66, Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, DOI: 10.1007/978-3-030-30446-1_3,
[Conference or Workshop Item]

Damiani, Ferruccio ; Hähnle, Reiner ; Lienhardt, Michael
Gabmeyer, Sebastian ; Johnsen, Einar Broch (eds.) (2017):
Abstraction Refinement for the Analysis of Software Product Lines.
In: Lecture Notes in Computer Science, 10375, pp. 3-20, Springer, 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₁,
[Conference or Workshop Item]

Din, Crystal Chang ; Hähnle, Reiner ; Johnsen, Einar Broch ; Pun, Ka I. ; Tarifa, Silvia Lizeth Tapia
Schmidt, Renate A. ; Nalon, Claudia (eds.) (2017):
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages.
In: Lecture Notes in Computer Science, 10501, pp. 22-43, Springer, 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₂,
[Conference or Workshop Item]

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), pp. 76:1-76:39. DOI: 10.1145/3122848,
[Article]

Hähnle, Reiner ; Wasser, Nathan ; Bubel, Richard
Ábrahám, Erika ; Bonsangue, Marcello M. ; Johnsen, Einar Broch (eds.) (2016):
Array Abstraction with Symbolic Pivots.
In: Lecture Notes in Computer Science, 9660, pp. 104-121, Springer, 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₉,
[Conference or Workshop Item]

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, pp. 130-156. DOI: 10.1007/978-3-319-46508-1₈,
[Article]

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

Hähnle, Reiner ; Johnsen, Einar Broch (2015):
Designing Resource-Aware Cloud Applications.
In: IEEE Computer, 48 (6), pp. 72-75. DOI: 10.1109/MC.2015.172,
[Article]

Din, Crystal Chang ; Tarifa, Silvia Lizeth Tapia ; Hähnle, Reiner ; Johnsen, Einar Broch
Butler, Michael J. ; Conchon, Sylvain ; Zaidi, Fatiha (eds.) (2015):
History-Based Specification and Verification of Scalable Concurrent and Distributed Systems.
In: Lecture Notes in Computer Science, 9407, pp. 217-233, Springer, 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₁₄,
[Conference or Workshop Item]

Bernardo, Marco ; Damiani, Ferruccio ; Hähnle, Reiner ; Johnsen, Einar Broch ; Schaefer, Ina (eds.) (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.
In: Lecture Notes in Computer Science, 8483, Springer, ISBN 978-3-319-07316-3,
DOI: 10.1007/978-3-319-07317-0,
[Book]

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), pp. 323-339. DOI: 10.1007/s11761-013-0148-0,
[Article]

Hähnle, Reiner ; Johnsen, Einar Broch
Margaria, Tiziana ; Steffen, Bernhard (eds.) (2014):
Introduction to Track on Engineering Virtualized Services.
In: Lecture Notes in Computer Science, 8803, pp. 1-4, Springer, 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₁,
[Conference or Workshop Item]

Albert, Elvira ; de Boer, Frank ; Hähnle, Reiner ; Johnsen, Einar Broch ; Laneve, Cosimo
Babar, Ali ; Dumas, Marlon (eds.) (2013):
Engineering Virtualized Services.
In: 2nd Nordic Symposium on Cloud Computing and Internet Technologies (NordiCloud), pp. 59-63,
ACM Press, [Conference or Workshop Item]

Albert, Elvira ; de Boer, Frank S. ; Hähnle, Reiner ; Johnsen, Einar Broch ; Laneve, Cosimo
Solberg, Arnor ; Babar, Muhammad Ali ; Dumas, Marlon ; Cuesta, Carlos E. (eds.) (2013):
Engineering virtualized services.
In: ACM International Conference Proceeding Series, 826, pp. 59-63, ACM, Second Nordic Symposium on Cloud Computing & Internet Technologies, NordiCloud '13, Oslo, Norway, September 1-3, 2013, DOI: 10.1145/2513534.2513545,
[Conference or Workshop Item]

de Boer, Frank S. ; Hähnle, Reiner ; Johnsen, Einar Broch ; Schlatte, Rudolf ; Wong, Peter Y. H.
Paoli, Flavio De ; Pimentel, Ernesto ; Zavattaro, Gianluigi (eds.) (2012):
Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study.
In: Lecture Notes in Computer Science, 7592, pp. 91-106, Springer, 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₇,
[Conference or Workshop Item]

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), pp. 227-256. DOI: 10.1016/j.jlap.2012.01.003,
[Article]

Hähnle, Reiner ; Helvensteijn, Michiel ; Johnsen, Einar Broch ; Lienhardt, Michael ; Sangiorgi, Davide ; Schaefer, Ina ; Wong, Peter Y. H.
Beckert, Bernhard ; Damiani, Ferruccio ; de Boer, Frank S. ; Bonsangue, Marcello M. (eds.) (2011):
HATS Abstract Behavioral Specification: The Architectural View.
In: Lecture Notes in Computer Science, 7542, pp. 109-132, Springer, 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₆,
[Conference or Workshop Item]

Clarke, Dave ; Diakov, Nikolay ; Hähnle, Reiner ; Johnsen, Einar Broch ; Schafer, Ina ; Schäfer, Jan ; Schlatte, Rudolf ; Wong, Peter
Bernardo, M. ; Issarny, V. (eds.) (2011):
Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language.
In: LNCS, 6659, In: Formal Methods for Eternal Networked Software Systems, p. 417, Springer-Verlag, [Book Section]

Johnsen, Einar Broch ; Hähnle, Reiner ; Schäfer, Jan ; Schlatte, Rudolf ; Steffen, Martin
Aichernig, Bernhard K. ; de Boer, Frank S. ; Bonsangue, Marcello M. (eds.) (2010):
ABS: A Core Language for Abstract Behavioral Specification.
In: Lecture Notes in Computer Science, 6957, pp. 142-164, Springer, 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₈,
[Conference or Workshop Item]

Clarke, Dave ; Diakov, Nikolay ; Hähnle, Reiner ; Johnsen, Einar Broch ; Puebla, Germán ; Weitzel, Balthasar ; Wong, Peter
Botterweck, Goetz ; Jarzabek, Stan ; Kishi, Tomoji ; Lee, Jaejoon ; Livengood, Steve (eds.) (2010):
HATS - A Formal Software Product Line Engineering Methodology.
In: Proc. International Workshop on Formal Methods in Software Product Line Engineering, Jeju Island, South Corea,
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), [Conference or Workshop Item]

Ahrendt, Wolfgang ; Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter
Bonsangue, Marcello ; Johnsen, Einar Broch (eds.) (2007):
KeY: A Formal Method for Object-Oriented Systems.
In: LNCS, 4468, In: Proc. 9th IFIP Intl. Conf. on Formal Methods for Open Object-based Distributed Systems (FMOODS), pp. 32-43,
Springer-Verlag, 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,
[Conference or Workshop Item]

This list was generated on Sat Jun 25 01:10:36 2022 CEST.