Andreas Griesmayer und Rudolf Schlatte - Info zur Person

(1 - 18 von 19

)

Tests and Proofs: Third International Conference, TAP 2009, Zurich...

books.google.de

105 Andreas Griesmayer, Bernhard Aichernig, Einar Broch Johnsen, and Rudolf Schlatte Combining Model Checking and Testing in a Continuous HW/SW ...

EBSCOhost | | Model-checking user behaviour using...

web.a.ebscohost.com

Thomas Anung Basuki, Antonio Cerone, Andreas Griesmayer, Rudolf Schlatte. International Institute of Software Technology, United Nations University, Macau ...

Resource Modeling for Timed Creol Models. - dblpdblp.uni-trier.de › SchlatteAGK10

dblp.uni-trier.de

Rudolf Schlatte, Bernhard K. Aichernig , Andreas Griesmayer, Marcel Kyas: Resource Modeling for Timed Creol Models. Electron. Notes Theor.

Search results for "Frank S. de Boer" – FacetedDBLP

dblp.l3s.de

2, Rudolf Schlatte, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen · Testing Concurrent Objects with Application-Specific ...

dblp: Rudolf Schlatte

dblp.uni-trier.de

List of computer science publications by Rudolf Schlatte

Publications | Einar Broch Johnsen

ebjohnsen.org

Andreas Griesmayer, Bernhard Aichernig, Einar Broch Johnsen, Rudolf Schlatte. PDF Cite DOI · Proof Search for the First-Order Connection Calculus in Maude. › publication

Tests and Proofs, Third International Conference, TAP 2009, Zurich,...

researchr.org

[doi] · Dynamic Symbolic Execution for Testing Distributed ObjectsAndreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte. › publication

Alle Infos zum Namen "Andreas Griesmayer"

CREDO_Publications.bib

projects.cwi.nl

@inproceedings{schlatte*:testing, author = {Rudolf Schlatte and Bernhard K. Aichernig and Frank S. de Boer and Andreas Griesmayer and Einar Broch ...

Dynamic Symbolic Execution of Distributed Concurrent Objects (short...

graz.pure.elsevier.com

Dynamic Symbolic Execution of Distributed Concurrent Objects (short paper). Andreas Griesmayer, Bernhard Aichernig, Einar Broch Johnsen, Rudolf Schlatte. › publications › dynamic-...

FMOODS / FORTE IFIP Digital Library

dl.ifip.org

Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte Checking the Conformance of Orchestrations with Respect to ... › conf › forte2009

FMOODS FORTE/Papers - Discotec09

discotec09.di.fc.ul.pt

Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen and Rudolf Schlatte : Dynamic Symbolic Execution of Distributed Concurrent Objects. › Papers

ThinkMind(TM) Digital Library

thinkmind.org

Wolfgang Leister, Joakim Bjørk, Rudolf Schlatte, and Andreas Griesmayer keywords: formal analysis; modelling; model checking; testing; routing algorithms .

PESARO Awards

www.iaria.org

Wolfgang Leister, Joakim Bjørk, Rudolf Schlatte, Andreas Griesmayer. An Intelligent System to Enhance Traffic Safety Analysis › AwardsPES...

Testing Concurrent Objects with Application-Specific Schedulers ...www.springerprofessional.de › testing-concurrent-objec...

www.springerprofessional.de

Autoren: Rudolf Schlatte, Bernhard Aichernig, Frank de Boer, Andreas Griesmayer, Einar Broch Johnsen. Verlag: Springer Berlin Heidelberg. Erschienen in: ...