1
0
0
(1 - 23 von 23
)
Publications of Tautschnig, Michael [rss] Software Verification ...se.inf.ethz.ch › ccc › bibtexbrowser
se.inf.ethz.ch
Software Verification for Weak Memory via Program Transformation. Jade Alglave, Daniel Kroening, Vincent Nimal, Michael Tautschnig, In Proceedings of the ...
Computer Aided Verification: 26th International Conference, CAV 2014,...
books.google.lu
This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of...
Leveraging Applications of Formal Methods, Verification and...
books.google.lu
400 Stefan Kugele, Wolfgang Haberl, Michael Tautschnig, and Martin Wechs Experiences with Evolutionary Timing Test of Automotive Software Components.
Automated Technology for Verification and Analysis: 9th International...
books.google.de
This book constitutes the refereed proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, held in...
Model Checking Software: 22nd International Symposium, SPIN
books.google.lu
This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa,...
Programming Languages and Systems: 22nd European Symposium on...
books.google.lu
This book constitutes the refereed proceedings of the 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on...
Computer Science -- Theory and Applications: 5th International...
books.google.com.ua
Annotation This book constitutes the proceedings of the 5th International Computer Science Symposium in Russia, CSR 2010, held in Kazan, Russia, in June
Internet and Network Economics: 4th International Workshop, WINE
books.google.de
... Forschungsgemeinschaft under grant BR We are grateful to Michael Tautschnig for providing us with a customized version of his ABsolver software.
Tools and Algorithms for the Construction and Analysis of Systems:...
books.google.de
This book constitutes the proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2012,...
Information Hiding: 7th International Workshop, IH 2005, Barcelona,...
books.google.com.ua
This book constitutes the thoroughly refereed post-proceedings of the7th International Workshop on Information Hiding, IH 2005, held in Barcelona, Spain in...
Verification, Model Checking, and Abstract Interpretation: 10th
books.google.de
Query-Driven Program Testing⋆ Andreas Holzer, Christian Schallhart, Michael Tautschnig, and Helmut Veith Formal Methods in Systems Engineering, ...
Automata, Languages and Programming: 34th International Colloquium,...
books.google.de
This volume features the refereed proceedings from the 34th International Colloquium on Automata, Languages and Programming, held in Wroclaw, Poland in July...
Tools and Algorithms for the Construction and Analysis of ...books.google.com › books
books.google.ae
Michael Tautschnig Tomas Vojnar (Co-chair) Thomas Wies Lijun Zhang (Co-chair) Florian Zuleger Queen Mary University of London/Amazon Web Services, UK ...
Model Checking Software: 19th International SPIN Workshop, Oxford,...
books.google.com.br
This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in...
Implementation and Application of Automata: 14th International...
books.google.de
This book constitutes the thoroughly refereed papers of the 14th International Conference on Implementation and Application of Automata, CIAA 2009, held in...
Computer Aided Verification: 26th International Conference, ...books.google.com › books
books.google.lv
These are a subset of the goto-programs that have been built from packages of Debian Linux 7.1 by Michael Tautschnig. A small excerpt of our results is given in ...
Modelling and Controlling of Behaviour for Autonomous Mobile Robots -...
books.google.de
URL http://www.upress.uni-kassel.de/publi/abstract.php? [6] Andreas Bauer, Markus Pister, and Michael Tautschnig. Tool-support for the ...
Programming Languages and Systems: 22nd European Symposium ...books.google.com › books
books.google.lv
472 Dirk Beyer, Andreas Holzer, Michael Tautschnig, and Helmut Veith Session IX: Weak-Memory Concurrency and Verification Quarantining Weakness: ...
Reachability Problems: 7th International Workshop, RP 2013, Uppsala,...
books.google.de
... Gerard Basler, Alastair Donaldson, Jim Grundy, Alexander Horn, Alexander Kaiser, Lihao Liang, Michele Mazzucchi, Tom Melham, Michael Tautschnig, ...
Trends in Communication Technologies and Engineering Science - Google...
books.google.de
Comprised of research articles written for a major international conference, this book covers the state-of-the-art in communication systems and engineering...
Fundamental Approaches to Software Engineering: 14th International...
books.google.de
This book constitutes the refereed proceedings of the 14th International Conference on Fundamental Approaches to Software Engineering, FASE 2011, held in...
Verwandte Suchanfragen zu Michael Tautschnig
Dirk Beyer Christian Schallhart Serdar Tasiran | Wolfgang Haberl Martin Wechs Andreas Bauer | Christian Kern Alexander Kaiser Sebastian Kortler |
Personen Vorname "Michael" (149265) Name "Tautschnig" (15) |
sortiert nach Relevanz / Datum