TU Darmstadt / ULB / TUbiblio

Items in division

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Date | Item Type | Language | No Grouping
Jump to: A | B | D | F | H | J | K | W
Number of items at this level: 13.

A

Albert, Elvira and Bubel, Richard and Genaim, Samir and Hähnle, Reiner and Román-Díez, Guillermo (2012):
Verified Resource Guarantees for Heap Manipulating Programs.
In: Proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering (FASE 2012), Springer-Verlag, In: Lecture Notes in Computer Science, 7212, DOI: 10.1007/978-3-642-28872-2,
[Conference or Workshop Item]

B

Bokor, Péter (2011):
Efficient Verification of Fault-Tolerant Message-Passing Protocols.
TU Darmstadt, [Online-Edition: urn:nbn:de:tuda-tuprints-28185],
[Ph.D. Thesis]

D

de Gouw, Stijn and de Boer, Frank and Ahrendt, Wolfgang and Bubel, Richard (2013):
Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks.
In: SOFSEM 2013, Springer, In: LNCS, DOI: 978-3-642-35843-2_19,
[Conference or Workshop Item]

F

Flores Montoya, Antonio (2017):
Cost Analysis of Programs Based on the Refinement of Cost Relations.
Darmstadt, Technische Universität, [Online-Edition: http://tuprints.ulb.tu-darmstadt.de/6746],
[Ph.D. Thesis]

Flores-Montoya, Antonio and Hähnle, Reiner (2015):
Resource Consumption of Concurrent Objects over Time.
[Report]

H

Hähnle, Reiner and Schaefer, Ina and Bubel, Richard
Bonacina, Maria Paola (ed.) (2013):
Reuse in Software Verification by Abstract Method Calls.
In: Automated Deduction - CADE-24: 24th International Conference on Automated Deduction, Proceedings, Springer, pp. 300-314, [Book Section]

Holzer, Andreas and Schallhart, Christian and Tautschnig, Michael and Veith, Helmut (2009):
A Precise Specification Framework for White Box Program Testing.
Darmstadt, [Online-Edition: http://www.informatik.tu-darmstadt.de/de/forschung/veroeffen...],
[Report]

Holzer, Andreas and Schallhart, Christian and Tautschnig, Michael and Veith, Helmut (2009):
A Precise Specification Framework for White Box Program Testing.
Darmstadt, [Online-Edition: urn:nbn:de:tuda-tuprints-19196],
[Report]

J

Ji, Ran and Hähnle, Reiner and Bubel, Richard (2013):
Program Transformation Based on Symbolic Execution and Deduction (Technical Report).
(TUD-CS-2013-0348), [Report]

Ji, Ran and Hähnle, Reiner and Bubel, Richard
Hierons, Robert and Merayo, Mercedes and Bravetti, Mario (eds.) (2013):
Program Transformation Based on Symbolic Execution and Deduction.
In: Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM), Springer, In: Lecture Notes in Computer Science, 8137, ISBN 978-3-642-40560-0,
[Conference or Workshop Item]

Ji, Ran and Bubel, Richard
Derrick, John and Gnesi, Stefania and Latella, Diego and Treharne, Helen (eds.) (2012):
PE-KeY: A Partial Evaluator for Java Programs.
In: Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings, Springer-Verlag, In: Lecture Notes in Computer Science, 7321, ISBN 978-3-642-30728-7,
DOI: 10.1007/978-3-642-30729-4_20,
[Conference or Workshop Item]

K

Kinder, Johannes (2010):
Static Analysis of x86 Executables.
Technische Universität Darmstadt, [Online-Edition: urn:nbn:de:tuda-tuprints-23388],
[Ph.D. Thesis]

W

Wasser, Nathan and Bubel, Richard and Hähnle, Reiner (2015):
Array Abstraction with Symbolic Pivots.
[Report]

This list was generated on Thu Oct 17 01:17:07 2019 CEST.