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 | F | G | H | J | K | W
Number of items at this level (without sub-levels): 13.

A

Albert, Elvira ; Bubel, Richard ; Genaim, Samir ; Hähnle, Reiner ; Román-Díez, Guillermo (2012):
Verified Resource Guarantees for Heap Manipulating Programs.
In: Lecture Notes in Computer Science, 7212, In: Proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering (FASE 2012), pp. 130-145,
Springer-Verlag, 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,
[Ph.D. Thesis]

F

Flores Montoya, Antonio (2017):
Cost Analysis of Programs Based on the Refinement of Cost Relations.
Darmstadt, Technische Universität,
[Ph.D. Thesis]

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

G

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

H

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

Holzer, Andreas ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut (2009):
A Precise Specification Framework for White Box Program Testing.
Darmstadt, [Report]

Holzer, Andreas ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut (2009):
A Precise Specification Framework for White Box Program Testing.
Darmstadt, [Report]

J

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

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

Ji, Ran ; Bubel, Richard
Derrick, John ; Gnesi, Stefania ; Latella, Diego ; Treharne, Helen (eds.) (2012):
PE-KeY: A Partial Evaluator for Java Programs.
In: Lecture Notes in Computer Science, 7321, In: Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings, pp. 283-295,
Springer-Verlag, 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,
[Ph.D. Thesis]

W

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

This list was generated on Thu Jul 29 02:01:02 2021 CEST.