Weitere Attribute

Publikationsart

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]

Session Types for ABS

Eduard Kamburjan
2016
[Techreport]

A General Lattice Model for Merging Symbolic Execution Branches

Dominic Scheurer, Reiner Hähnle, Richard Bubel
In: Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM), p. 57--73, 2016
Springer
[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