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

Damiani, Ferruccio and Hähnle, Reiner and Lienhardt, Michael
Gabmeyer, Sebastian and Johnsen, Einar Broch (eds.) :

Abstraction Refinement for the Analysis of Software Product Lines.
[Online-Edition: https://doi.org/10.1007/978-3-319-61467-0_1]
In: Tests and Proofs - 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings. In: Lecture Notes in Computer Science , 10375 . Springer
[Conference or Workshop Item] , (2017)

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

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages.
[Online-Edition: https://doi.org/10.1007/978-3-319-66902-1_2]
In: Automated Reasoning with Analytic Tableaux and Related Methods - 26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25-28, 2017, Proceedings. In: Lecture Notes in Computer Science , 10501 . Springer
[Conference or Workshop Item] , (2017)

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 :
A Survey of Active Object Languages.
[Online-Edition: http://doi.acm.org/10.1145/3122848]
In: ACM Comput. Surv., 50 (5) 76:1-76:39.
[Article] , (2017)

Hähnle, Reiner and Wasser, Nathan and Bubel, Richard
Ábrahám, Erika and Bonsangue, Marcello M. and Johnsen, Einar Broch (eds.) :

Array Abstraction with Symbolic Pivots.
[Online-Edition: https://doi.org/10.1007/978-3-319-30734-3_9]
In: Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. In: Lecture Notes in Computer Science , 9660 . Springer
[Conference or Workshop Item] , (2016)

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

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

[Report] , (2015)

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

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

History-Based Specification and Verification of Scalable Concurrent and Distributed Systems.
[Online-Edition: https://doi.org/10.1007/978-3-319-25423-4_14]
In: Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings. In: Lecture Notes in Computer Science , 9407 . Springer
[Conference or Workshop Item] , (2015)

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

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. :
Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS.
[Online-Edition: https://doi.org/10.1007/s11761-013-0148-0]
In: Service Oriented Computing and Applications, 8 (4) pp. 323-339.
[Article] , (2014)

Hähnle, Reiner and Johnsen, Einar Broch
Margaria, Tiziana and Steffen, Bernhard (eds.) :

Introduction to Track on Engineering Virtualized Services.
[Online-Edition: https://doi.org/10.1007/978-3-662-45231-8_1]
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. In: Lecture Notes in Computer Science , 8803 . Springer
[Conference or Workshop Item] , (2014)

Albert, Elvira and de Boer, Frank and Hähnle, Reiner and Johnsen, Einar Broch and Laneve, Cosimo
Babar, Ali and Dumas, Marlon (eds.) :

Engineering Virtualized Services.
2nd Nordic Symposium on Cloud Computing and Internet Technologies (NordiCloud) ACM Press
[Conference or Workshop Item] , (2013)

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

Engineering virtualized services.
[Online-Edition: http://doi.acm.org/10.1145/2513534.2513545]
In: Second Nordic Symposium on Cloud Computing & Internet Technologies, NordiCloud '13, Oslo, Norway, September 1-3, 2013. In: ACM International Conference Proceeding Series , 826 . ACM
[Conference or Workshop Item] , (2013)

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

Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study.
[Online-Edition: https://doi.org/10.1007/978-3-642-33427-6_7]
In: Service-Oriented and Cloud Computing - First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings. In: Lecture Notes in Computer Science , 7592 . Springer
[Conference or Workshop Item] , (2012)

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

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

HATS Abstract Behavioral Specification: The Architectural View.
[Online-Edition: https://doi.org/10.1007/978-3-642-35887-6_6]
In: Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers. In: Lecture Notes in Computer Science , 7542 . Springer
[Conference or Workshop Item] , (2011)

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

Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language.
In: Formal Methods for Eternal Networked Software Systems. LNCS, 6659. Springer-Verlag , p. 417.
[Book Section] , (2011)

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

ABS: A Core Language for Abstract Behavioral Specification.
[Online-Edition: https://doi.org/10.1007/978-3-642-25271-6_8]
In: Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers. In: Lecture Notes in Computer Science , 6957 . Springer
[Conference or Workshop Item] , (2010)

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

HATS - A Formal Software Product Line Engineering Methodology.
[Online-Edition: http://splc2010.postech.ac.kr/SPLC2010_second_volume.pdf]
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). Proc. International Workshop on Formal Methods in Software Product Line Engineering, Jeju Island, South Corea
[Conference or Workshop Item] , (2010)

Ahrendt, Wolfgang and Beckert, Bernhard and Hähnle, Reiner and Schmitt, Peter
Bonsangue, Marcello and Johnsen, Einar Broch (eds.) :

KeY: A Formal Method for Object-Oriented Systems.
[Online-Edition: https://doi.org/10.1007/978-3-540-72952-5_2]
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. In: LNCS , 4468 . Springer-Verlag
[Conference or Workshop Item] , (2007)

This list was generated on Tue Apr 23 01:03:31 2019 CEST.