Dynamic Symbolic Execution of Distributed Concurrent Objects (short paper)

Andreas Griesmayer; Bernhard Aichernig; Einar Broch Johnsen; Rudolf Schlatte

Dynamic Symbolic Execution of Distributed Concurrent Objects (short paper)

Andreas Griesmayer, Bernhard Aichernig, Einar Broch Johnsen, Rudolf Schlatte

Institut für Softwaretechnologie (7160)

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	IFIP International Conference on Formal Techniques for Distributed Systems (FMOODS/FORTE)
Herausgeber (Verlag)	Springer Verlag
Seiten	225-230
Band	5522
Publikationsstatus	Veröffentlicht - 2009
Veranstaltung	IFIP International Conference on Formal Techniques for Distributed Systems - Lisbon, Portugal Dauer: 9 Juni 2009 → 12 Juni 2009

Publikationsreihe

Name	Lecture Notes in Computer Science
Herausgeber (Verlag)	Springer-Verlag

Konferenz

Konferenz	IFIP International Conference on Formal Techniques for Distributed Systems
Land/Gebiet	Portugal
Ort	Lisbon
Zeitraum	9/06/09 → 12/06/09

Treatment code (Nähere Zuordnung)

Basic - Fundamental (Grundlagenforschung)

Formale Methoden
Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.
1/01/95 → …
Projekt: Arbeitsgebiet

Dieses zitieren

Dynamic Symbolic Execution of Distributed Concurrent Objects (short paper). / Griesmayer, Andreas; Aichernig, Bernhard; Broch Johnsen, Einar et al.
IFIP International Conference on Formal Techniques for Distributed Systems (FMOODS/FORTE). Band 5522 Springer Verlag, 2009. S. 225-230 (Lecture Notes in Computer Science).

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Griesmayer, A, Aichernig, B, Broch Johnsen, E & Schlatte, R 2009, Dynamic Symbolic Execution of Distributed Concurrent Objects (short paper). in IFIP International Conference on Formal Techniques for Distributed Systems (FMOODS/FORTE). Bd. 5522, Lecture Notes in Computer Science, Springer Verlag, S. 225-230, IFIP International Conference on Formal Techniques for Distributed Systems, Lisbon, Portugal, 9/06/09.

@inproceedings{7d8bb1d2d2874011ab1a13d786f0a377,

title = "Dynamic Symbolic Execution of Distributed Concurrent Objects (short paper)",

author = "Andreas Griesmayer and Bernhard Aichernig and {Broch Johnsen}, Einar and Rudolf Schlatte",

year = "2009",

language = "English",

volume = "5522",

series = "Lecture Notes in Computer Science",

publisher = "Springer Verlag",

pages = "225--230",

booktitle = "IFIP International Conference on Formal Techniques for Distributed Systems (FMOODS/FORTE)",

address = "Germany",

note = "IFIP International Conference on Formal Techniques for Distributed Systems ; Conference date: 09-06-2009 Through 12-06-2009",

}

TY - GEN

T1 - Dynamic Symbolic Execution of Distributed Concurrent Objects (short paper)

AU - Griesmayer, Andreas

AU - Aichernig, Bernhard

AU - Broch Johnsen, Einar

AU - Schlatte, Rudolf

PY - 2009

Y1 - 2009

M3 - Conference paper

VL - 5522

T3 - Lecture Notes in Computer Science

SP - 225

EP - 230

BT - IFIP International Conference on Formal Techniques for Distributed Systems (FMOODS/FORTE)

PB - Springer Verlag

T2 - IFIP International Conference on Formal Techniques for Distributed Systems

Y2 - 9 June 2009 through 12 June 2009

ER -

Dynamic Symbolic Execution of Distributed Concurrent Objects (short paper)

Publikationsreihe

Konferenz

Treatment code (Nähere Zuordnung)

Projekte

Formale Methoden

Dieses zitieren