TU Darmstadt / ULB / TUbiblio

Items in division

Up a level
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 :
Verified Resource Guarantees for Heap Manipulating Programs.
In: Lecture Notes in Computer Science , 7212 . Springer-Verlag
[Conference or Workshop Item] , (2012)

B

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

D

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

F

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

Flores-Montoya, Antonio and Hähnle, Reiner :
Resource Consumption of Concurrent Objects over Time.

[Report] , (2015)

H

Hähnle, Reiner and Schaefer, Ina and Bubel, Richard
Bonacina, Maria Paola (ed.) :

Reuse in Software Verification by Abstract Method Calls.
In: Automated Deduction - CADE-24: 24th International Conference on Automated Deduction, Proceedings. Lecture Notes in Computer Science (7898). Springer Lake Placid, NY , pp. 300-314.
[Book Section] , (2013)

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

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

J

Ji, Ran and Hähnle, Reiner and Bubel, Richard :
Program Transformation Based on Symbolic Execution and Deduction (Technical Report).

[Report] , (2013)

Ji, Ran and Hähnle, Reiner and Bubel, Richard
Hierons, Robert and Merayo, Mercedes and Bravetti, Mario (eds.) :

Program Transformation Based on Symbolic Execution and Deduction.
In: Lecture Notes in Computer Science , 8137 . Springer
[Conference or Workshop Item] , (2013)

Ji, Ran and Bubel, Richard
Derrick, John and Gnesi, Stefania and Latella, Diego and Treharne, Helen (eds.) :

PE-KeY: A Partial Evaluator for Java Programs.
In: Lecture Notes in Computer Science , 7321 . Springer-Verlag
[Conference or Workshop Item] , (2012)

K

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

W

Wasser, Nathan and Bubel, Richard and Hähnle, Reiner :
Array Abstraction with Symbolic Pivots.

[Report] , (2015)

This list was generated on Thu May 23 01:46:47 2019 CEST.