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: 21.

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

Damiani, Ferruccio and Hähnle, Reiner and Lienhardt, Michael Gabmeyer, Sebastian and Johnsen, Einar Broch (eds.) (2017):
Abstraction Refinement for the Analysis of Software Product Lines.
In: Lecture Notes in Computer Science, 10375, Springer, In: Tests and Proofs - 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings, pp. 3-20, DOI: 10.1007/978-3-319-61467-0₁,
[Online-Edition: https://doi.org/10.1007/978-3-319-61467-0_1],
[Conference or Workshop Item]

Din, Crystal Chang and Hähnle, Reiner and Johnsen, Einar Broch and Pun, Ka I. and Tarifa, Silvia Lizeth Tapia Schmidt, Renate A. and Nalon, Claudia (eds.) (2017):
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages.
In: Lecture Notes in Computer Science, 10501, Springer, In: Automated Reasoning with Analytic Tableaux and Related Methods - 26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25-28, 2017, Proceedings, pp. 22-43, DOI: 10.1007/978-3-319-66902-1₂,
[Online-Edition: https://doi.org/10.1007/978-3-319-66902-1_2],
[Conference or Workshop Item]

de Boer, Frank S. and Serbanescu, Vlad and Hähnle, Reiner and Henrio, Ludovic and Rochas, Justine and Din, Crystal Chang and Johnsen, Einar Broch and Sirjani, Marjan and Khamespanah, Ehsan and Fernandez-Reyes, Kiko and Yang, Albert Mingkun (2017):
A Survey of Active Object Languages.
50, In: ACM Comput. Surv., (5), pp. 76:1-76:39, DOI: 10.1145/3122848,
[Online-Edition: http://doi.acm.org/10.1145/3122848],
[Article]

Hähnle, Reiner and Wasser, Nathan and Bubel, Richard Ábrahám, Erika and Bonsangue, Marcello M. and Johnsen, Einar Broch (eds.) (2016):
Array Abstraction with Symbolic Pivots.
In: Lecture Notes in Computer Science, 9660, Springer, In: Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, pp. 104-121, DOI: 10.1007/978-3-319-30734-3₉,
[Online-Edition: https://doi.org/10.1007/978-3-319-30734-3_9],
[Conference or Workshop Item]

Bubel, Richard and Damiani, Ferruccio and Hähnle, Reiner and Johnsen, Einar Broch and Owe, Olaf and Schaefer, Ina and Yu, Ingrid Chieh (2016):
Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct.
1, In: Trans. Found. Mastering Chang., pp. 130-156, DOI: 10.1007/978-3-319-46508-1₈,
[Online-Edition: https://doi.org/10.1007/978-3-319-46508-1_8],
[Article]

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

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

Din, Crystal Chang and Tarifa, Silvia Lizeth Tapia and Hähnle, Reiner and Johnsen, Einar Broch Butler, Michael J. and Conchon, Sylvain and Zaidi, Fatiha (eds.) (2015):
History-Based Specification and Verification of Scalable Concurrent and Distributed Systems.
In: Lecture Notes in Computer Science, 9407, Springer, In: Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings, pp. 217-233, DOI: 10.1007/978-3-319-25423-4₁₄,
[Online-Edition: https://doi.org/10.1007/978-3-319-25423-4_14],
[Conference or Workshop Item]

Bernardo, Marco and Damiani, Ferruccio and Hähnle, Reiner and Johnsen, Einar Broch and 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,
[Online-Edition: https://doi.org/10.1007/978-3-319-07317-0],
[Book]

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

Hähnle, Reiner and Johnsen, Einar Broch Margaria, Tiziana and Steffen, Bernhard (eds.) (2014):
Introduction to Track on Engineering Virtualized Services.
In: Lecture Notes in Computer Science, 8803, Springer, In: 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, pp. 1-4, DOI: 10.1007/978-3-662-45231-8₁,
[Online-Edition: https://doi.org/10.1007/978-3-662-45231-8_1],
[Conference or Workshop Item]

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

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

de Boer, Frank S. and Hähnle, Reiner and Johnsen, Einar Broch and Schlatte, Rudolf and Wong, Peter Y. H. Paoli, Flavio De and Pimentel, Ernesto and Zavattaro, Gianluigi (eds.) (2012):
Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study.
In: Lecture Notes in Computer Science, 7592, Springer, In: Service-Oriented and Cloud Computing - First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings, pp. 91-106, DOI: 10.1007/978-3-642-33427-6₇,
[Online-Edition: https://doi.org/10.1007/978-3-642-33427-6_7],
[Conference or Workshop Item]

Din, Crystal Chang and Dovland, Johan and Johnsen, Einar Broch and Owe, Olaf (2012):
Observable behavior of distributed systems: Component reasoning for concurrent objects.
81, In: Journal of Logic and Algebraic Programming, (3), pp. 227-256, DOI: 10.1016/j.jlap.2012.01.003,
[Article]

Hähnle, Reiner and Helvensteijn, Michiel and Johnsen, Einar Broch and Lienhardt, Michael and Sangiorgi, Davide and Schaefer, Ina and Wong, Peter Y. H. Beckert, Bernhard and Damiani, Ferruccio and de Boer, Frank S. and Bonsangue, Marcello M. (eds.) (2011):
HATS Abstract Behavioral Specification: The Architectural View.
In: Lecture Notes in Computer Science, 7542, Springer, In: Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers, pp. 109-132, DOI: 10.1007/978-3-642-35887-6₆,
[Online-Edition: https://doi.org/10.1007/978-3-642-35887-6_6],
[Conference or Workshop Item]

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

Johnsen, Einar Broch and Hähnle, Reiner and Schäfer, Jan and Schlatte, Rudolf and Steffen, Martin Aichernig, Bernhard K. and de Boer, Frank S. and Bonsangue, Marcello M. (eds.) (2010):
ABS: A Core Language for Abstract Behavioral Specification.
In: Lecture Notes in Computer Science, 6957, Springer, In: Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers, pp. 142-164, DOI: 10.1007/978-3-642-25271-6₈,
[Online-Edition: https://doi.org/10.1007/978-3-642-25271-6_8],
[Conference or Workshop Item]

Clarke, Dave and Diakov, Nikolay and Hähnle, Reiner and Johnsen, Einar Broch and Puebla, Germán and Weitzel, Balthasar and Wong, Peter Botterweck, Goetz and Jarzabek, Stan and Kishi, Tomoji and Lee, Jaejoon and 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, In: 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), [Online-Edition: http://splc2010.postech.ac.kr/SPLC2010_second_volume.pdf],
[Conference or Workshop Item]

Ahrendt, Wolfgang and Beckert, Bernhard and Hähnle, Reiner and Schmitt, Peter Bonsangue, Marcello and 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), Springer-Verlag, In: Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, pp. 32-43, DOI: 10.1007/978-3-540-72952-5_2,
[Online-Edition: https://doi.org/10.1007/978-3-540-72952-5_2],
[Conference or Workshop Item]

This list was generated on Sat Dec 14 01:06:34 2019 CET.