TU Darmstadt / ULB / TUbiblio

Browsen nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Datum | Sprache
Anzahl der Einträge: 20.

Damiani, Ferruccio ; Hähnle, Reiner ; Lienhardt, Michael
Gabmeyer, Sebastian ; 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
[Konferenz- oder Workshop-Beitrag], (2017)

Din, Crystal Chang ; Hähnle, Reiner ; Johnsen, Einar Broch ; Pun, Ka I ; Tarifa, Silvia Lizeth Tapia
Schmidt, Renate A. ; 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
[Konferenz- oder Workshop-Beitrag], (2017)

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 :
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.
[Artikel], (2017)

Hähnle, Reiner ; Wasser, Nathan ; Bubel, Richard
Erika abraham, ; Bonsangue, Marcello M. ; 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
[Konferenz- oder Workshop-Beitrag], (2016)

Bubel, Richard ; Damiani, Ferruccio ; Hähnle, Reiner ; Johnsen, Einar Broch ; Owe, Olaf ; Schaefer, Ina ; 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.
[Artikel], (2016)

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

[Report], (2015)

Hähnle, Reiner ; 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.
[Artikel], (2015)

Din, Crystal Chang ; Tarifa, Silvia Lizeth Tapia ; Hähnle, Reiner ; Johnsen, Einar Broch
Butler, Michael J. ; Conchon, Sylvain ; 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
[Konferenz- oder Workshop-Beitrag], (2015)

Bernardo, Marco ; Damiani, Ferruccio ; Hähnle, Reiner ; Johnsen, Einar Broch ; 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
[Buch], (2014)

Albert, Elvira ; de Boer, Frank S. ; Hähnle, Reiner ; Johnsen, Einar Broch ; Schlatte, Rudolf ; Tarifa, Silvia Lizeth Tapia ; 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.
[Artikel], (2014)

Hähnle, Reiner ; Johnsen, Einar Broch
Margaria, Tiziana ; 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
[Konferenz- oder Workshop-Beitrag], (2014)

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

Engineering Virtualized Services.
2nd Nordic Symposium on Cloud Computing and Internet Technologies (NordiCloud) ACM Press
[Konferenz- oder Workshop-Beitrag], (2013)

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

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
[Konferenz- oder Workshop-Beitrag], (2013)

de Boer, Frank S. ; Hähnle, Reiner ; Johnsen, Einar Broch ; Schlatte, Rudolf ; Wong, Peter Y. H.
Paoli, Flavio De ; Pimentel, Ernesto ; 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
[Konferenz- oder Workshop-Beitrag], (2012)

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

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

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
[Konferenz- oder Workshop-Beitrag], (2011)

Clarke, Dave ; Diakov, Nikolay ; Hähnle, Reiner ; Johnsen, Einar Broch ; Schafer, Ina ; Schäfer, Jan ; Schlatte, Rudi ; Wong, Peter
Bernardo, M. ; 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 , 417--457.
[Buchkapitel], (2011)

Johnsen, Einar Broch ; Hähnle, Reiner ; Schäfer, Jan ; Schlatte, Rudolf ; Steffen, Martin
Aichernig, Bernhard K. ; de Boer, Frank S. ; 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
[Konferenz- oder Workshop-Beitrag], (2010)

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

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
[Konferenz- oder Workshop-Beitrag], (2010)

Ahrendt, Wolfgang ; Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter
Bonsangue, Marcello ; 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
[Konferenz- oder Workshop-Beitrag], (2007)

Diese Liste wurde am Tue Aug 14 03:18:01 2018 CEST generiert.