TU Darmstadt / ULB / TUbiblio

Einträge mit Organisationseinheit "20 Fachbereich Informatik > Formal Methods in System Engineering"

Ebene hoch
Gruppiere nach: Autor(en) | Datum | Typ des Eintrags | Sprache | Keine Gruppierung
Springe zu: A | B | D | F | H | J | K | W
Anzahl der Einträge auf dieser Ebene: 13.

A

Albert, Elvira ; Bubel, Richard ; Genaim, Samir ; Hähnle, Reiner ; Román-Díez, Guillermo :
Verified Resource Guarantees for Heap Manipulating Programs.
In: Lecture Notes in Computer Science , 7212 . Springer-Verlag
[Konferenz- oder Workshop-Beitrag] , (2012)

B

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

D

de Gouw, Stijn ; de Boer, Frank ; Ahrendt, Wolfgang ; Bubel, Richard :
Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks.
In: LNCS (7741). Springer
[Konferenz- oder Workshop-Beitrag] , (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
[Dissertation], (2017)

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

[Report] , (2015)

H

Hähnle, Reiner ; Schaefer, Ina ; 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.
[Buchkapitel] , (2013)

Holzer, Andreas ; Schallhart, Christian ; Tautschnig, Michael ; 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 ; Schallhart, Christian ; Tautschnig, Michael ; 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 ; Hähnle, Reiner ; Bubel, Richard :
Program Transformation Based on Symbolic Execution and Deduction (Technical Report).

[Report] , (2013)

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

Program Transformation Based on Symbolic Execution and Deduction.
In: Lecture Notes in Computer Science , 8137 . Springer
[Konferenz- oder Workshop-Beitrag] , (2013)

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

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

K

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

W

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

[Report] , (2015)

Diese Liste wurde am Sun Nov 11 02:34:23 2018 CET generiert.