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

de Gouw, Stijn and de Boer, Frank S. and Bubel, Richard and Rot, Jurriaan and Steinhöfel, Dominic (2019):
Verifying OpenJDK's Sort Method for Generic Collections.
62, In: J. Autom. Reasoning, (1), pp. 93-126, DOI: 10.1007/s10817-017-9426-4,
[Online-Edition: https://doi.org/10.1007/s10817-017-9426-4],
[Article]

de Gouw, Stijn and de Boer, Frank S. and Bubel, Richard and Hähnle, Reiner and Rot, Jurriaan and Steinhöfel, Dominic (2019):
Verifying OpenJDK's Sort Method for Generic Collections.
62, In: J. Autom. Reasoning, (1), pp. 93-126, DOI: 10.1007/s10817-017-9426-4,
[Online-Edition: https://doi.org/10.1007/s10817-017-9426-4],
[Article]

de Gouw, Stijn and de Boer, Frank S. and Bubel, Richard and Hähnle, Reiner and Rot, Jurriaan and Steinhöfel, Dominic (2017):
Verifying OpenJDK's Sort Method for Generic Collections.
In: Journal of Automated Reasoning, ISSN 1573-0670, DOI: 10.1007/s10817-017-9426-4,
[Online-Edition: https://doi.org/10.1007/s10817-017-9426-4],
[Article]

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]

de Gouw, Stijn and de Boer, Frank S. and Ahrendt, Wolfgang and Bubel, Richard (2016):
Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic.
15, In: Software and System Modeling, (4), pp. 1117-1140, DOI: 10.1007/s10270-014-0446-9,
[Online-Edition: https://doi.org/10.1007/s10270-014-0446-9],
[Article]

de Gouw, Stijn and Rot, Jurriaan and de Boer, Frank S. and Bubel, Richard and Hähnle, Reiner Kroening, Daniel and Pasareanu, Corina S. (eds.) (2015):
OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case.
In: Lecture Notes in Computer Science, 9206, Springer, In: Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I, pp. 273-289, DOI: 10.1007/978-3-319-21690-4₁₆,
[Online-Edition: https://doi.org/10.1007/978-3-319-21690-4_16],
[Conference or Workshop Item]

Wong, Peter Y. H. and Bubel, Richard and de Boer, Frank S. and Gomez-Zamalloa, Miguel and de Gouw, Stijn and Hähnle, Reiner and Meinke, Karl and Sindhu, Muddassar Azam (2015):
Testing abstract behavioral specifications.
17, In: STTT, (1), pp. 107-119, DOI: 10.1007/s10009-014-0301-x,
[Online-Edition: https://doi.org/10.1007/s10009-014-0301-x],
[Article]

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]

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]

Giachino, Elena and Hähnle, Reiner and de Boer, Frank S. and Bonsangue, Marcello M. (eds.) (2013):
Formal Methods for Components and Objects - 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures.
In: Lecture Notes in Computer Science, 7866, Springer, ISBN 978-3-642-40614-0,
DOI: 10.1007/978-3-642-40615-7,
[Online-Edition: https://doi.org/10.1007/978-3-642-40615-7],
[Book]

de Gouw, Stijn and de Boer, Frank S. and Ahrendt, Wolfgang and Bubel, Richard van Emde Boas, Peter and Groen, Frans C. A. and Italiano, Giuseppe F. and Nawrocki, Jerzy R. and Sack, Harald (eds.) (2013):
Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks.
In: Lecture Notes in Computer Science, 7741, Springer, In: SOFSEM 2013: Theory and Practice of Computer Science, 39th International Conference on Current Trends in Theory and Practice of Computer Science, \vpindler\rv Ml\'n, Czech Republic, January 26-31, 2013. Proceedings, pp. 207-219, DOI: 10.1007/978-3-642-35843-2₁₉,
[Online-Edition: https://doi.org/10.1007/978-3-642-35843-2_19],
[Conference or Workshop Item]

Hähnle, Reiner Giachino, Elena and Hähnle, Reiner and de Boer, Frank S. and Bonsangue, Marcello M. (eds.) (2012):
The Abstract Behavioral Specification Language: A Tutorial Introduction.
In: Lecture Notes in Computer Science, 7866, Springer, In: Formal Methods for Components and Objects - 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures, pp. 1-37, DOI: 10.1007/978-3-642-40615-7₁,
[Online-Edition: https://doi.org/10.1007/978-3-642-40615-7_1],
[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]

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]

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 Muschevici, Radu and Proenca, Jose and Schaefer, Ina and Schlatte, Rudolf Aichernig, Bernhard K. and de Boer, Frank S. and Bonsangue, Marcello M. (eds.) (2010):
Variability Modelling in the ABS Language.
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. 204-224, DOI: 10.1007/978-3-642-25271-6₁₁,
[Online-Edition: https://doi.org/10.1007/978-3-642-25271-6_11],
[Conference or Workshop Item]

Bubel, Richard and Hähnle, Reiner and Weiß, Benjamin de Boer, Frank S. and Bonsangue, Marcello M. and Madelaine, Eric (eds.) (2008):
Abstract Interpretation of Symbolic Execution with Explicit State Updates.
In: Lecture Notes in Computer Science, 5751, Springer, In: Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures, pp. 247-277, DOI: 10.1007/978-3-642-04167-9₁₃,
[Online-Edition: https://doi.org/10.1007/978-3-642-04167-9_13],
[Conference or Workshop Item]

Ahrendt, Wolfgang and Beckert, Bernhard and Hähnle, Reiner and Rümmer, Philipp and Schmitt, Peter H. de Boer, Frank S. and Bonsangue, Marcello M. and Graf, Susanne and de Roever, Willem P. (eds.) (2006):
Verifying Object-Oriented Programs with KeY: A Tutorial.
In: Lecture Notes in Computer Science, 4709, Springer, In: Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures, pp. 70-101, DOI: 10.1007/978-3-540-74792-5₄,
[Online-Edition: https://doi.org/10.1007/978-3-540-74792-5_4],
[Conference or Workshop Item]

This list was generated on Thu Dec 5 18:36:58 2019 CET.