Weitere Attribute

Publikationsart

Assessing the Coverage of Formal Specifications (Extended Abstract)

Dominic Steinhöfel
In: Proceedings of the PhD Symposium at iFM’17 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’17), p. 38--40, September 2017
University of Oslo
[Online-Edition: http://hdl.handle.net/10852/57814]
[InCollection]

A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows

Dominic Steinhöfel, Nathan Wasser
In: Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings, Vol. 10510, p. 279--294, September 2017
Springer
[Online-Edition: https://doi.org/10.1007/978-3-319-66845-1_18]
[Inproceedings]

Verifying OpenJDK's Sort Method for Generic Collections

Stijn de Gouw, Frank de Boer, Richard Bubel, Reiner Hähnle, Jurriaan Rot, Dominic Steinhöfel
In: Journal of Automated Reasoning, August 2017
[Online-Edition: https://link.springer.com/article/10.1007/s10817-017-9426-4]
[Article]

A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows

Dominic Steinhöfel, Nathan Wasser
April 2017
[Techreport]

An Empirical Evaluation of Two User Interfaces of an Interactive Program Verifier

Martin Hentschel, Reiner Hähnle, Richard Bubel
In: Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, p. 403-413, September 2016
ACM
[Inproceedings]

The Interactive Verification Debugger: Effective Understanding of Interactive Proof Attempts

Martin Hentschel, Reiner Hähnle, Richard Bubel
In: Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, p. 846--851, September 2016
ACM
[Inproceedings]

Boomerang: Demand-Driven Flow-Sensitive, Field-Sensitive, and Context-Sensitive Pointer Analysis

Johannes Späth, Lisa Nguyen, Karim Ali, Eric Bodden
In: European Conference on Object-Oriented Programming, p. 25, Juli 2016
Dagstuhl
[Online-Edition: 2016.ecoop.org]
[Inproceedings]

Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Martin Hentschel, Reiner Hähnle, Richard Bubel
p. 3-19, Juni 2016
Springer International Publishing
[InBook]

A UML Profile for Delta-Oriented Programming to Support Software Product Line Engineering

Maya Setyautami, Reiner Hähnle, Radu Muschevici, Ade Azurat
Mai 2016
[Techreport]

Variability Hiding in Contracts for Dependent Software Product Lines

Thomas Thüm, Tim Winkelmann, Reimar Schröter, Martin Hentschel, Stefan Krüger
In: Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, p. 97--104, Januar 2016
ACM
[Inproceedings]
Software Engineering Group

Contact

Technische Universität Darmstadt
Fachbereich Informatik
Fachgebiet Software Engineering
Hochschulstr. 10
64289 Darmstadt
Deutschland

Gebäude S2|02, Räume  A204, A223

Tel:+49 6151 16-21361 (Sekretariat) 

Fax:+49 6151 16-22361

A A A | Drucken Print | Impressum Impressum | Sitemap Sitemap | Suche Search | Kontakt Contact | Webseitenanalyse: Mehr Informationen
zum Seitenanfangzum Seitenanfang