1
0
0
(1 - 22 von 25
)
OpenReview
openreview.net
hmtl icon · Sven Beyer, Christian Jacobi, Daniel Kroening, Dirk Leinenbach, Wolfgang J. Paul. Published: 31 Dec 2002, Last Modified: 05 Nov 2023; CHARME
Dirk LeinenbachVdoc.pub
vdoc.pub
Discover Dirk Leinenbach documents. We have more than 2 documents for your interest ... Mauro Gargano, Mark Hillebrand, Dirk Leinenbach, Wolfgang Paul (auth.) ...
Mauro Gargano | VDOC.PUB
vdoc.pub
Discover Mauro Gargano documents. We have more than 2 documents for your interest.
Computer Safety, Reliability, and Security: 28th ...google.ch
books.google.ch
... Mark Hille- brand, Dirk Leinenbach (DFKI), Marko Wolf (escrypt) and the VCC research team at Microsoft Research (EMIC), in particular Markus Dahlweid, ...
Computer Safety, Reliability, and Security: 28th ...google.com
books.google.com
... Dirk Leinenbach (DFKI), Marko Wolf (escrypt) and the VCC research team at Microsoft Research (EMIC), in particular Markus Dahlweid, Michal Moskal, Thomas ...
Program Analysis and Compilation, Theory and Practice: ...google.ch
books.google.ch
[BJK+03] Sven Beyer, Christian Jacobi, Daniel Kr ̈oning, Dirk Leinenbach, and Wolfgang Paul. Instantiating uninterpreted functional units and memory system: ...
Program Analysis and Compilation, Theory and Practice: ...google.com
books.google.com
... Dirk Leinenbach, and Wolfgang Paul. Instantiating uninterpreted functional units and memory system: Functional verification of the VAMP. In D. Geist and E ...
System Architecture: An Ordinary Engineering Disciplinegoogle.ch
books.google.ch
Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin, and Alexandra Tsyban. Balancing the Load. J. Autom.
Software System Reliability and Securitygoogle.com
books.google.com
... Dirk Leinenbach, and Wolfgang Paul. Instantiating uninterpreted functional units and memory system: Functional verification of the VAMP. In Proc. of the ...
System Architecture: An Ordinary Engineering Disciplinegoogle.com
books.google.com
... Dirk Leinenbach, Norbert Schirmer, Artem Starostin, and Alexandra Tsyban. Balancing the Load. J. Autom. Reasoning, 42(2-4):389–454, Eyad Alkassar ...
System Architecture: An Ordinary Engineering Discipline - Wolfgang J....
books.google.de
The pillars of the bridge on the cover of this book date from the Roman Empire and they are in daily use today, an example of conventional engineering at its...
Program Analysis and Compilation, Theory and Practice: Essays...
books.google.pl
Reinhard Wilhelm's career in Computer Science spans more than a third of a century. During this time, he has made numerous research contributions to the areas...
Automated Reasoning with Analytic Tableaux and Related Methods
books.google.de
This book constitutes the refereed proceedings of the 14th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX...
FM 2009: Formal Methods: Second World Congress, Eindhoven, The...
books.google.de
806 Dirk Leinenbach and Thomas Santen Industrial Practice in Formal Methods: A Review J.C. Bicarregui, J.S Fitzgerald, P.G. Larsen, and ...
Verification-based Software-fault Detection - Christoph David...
books.google.de
Software is used in many safety- and security-critical systems. Software development is, however, an error-prone task. In this work new techniques for the...
CONCUR Concurrency Theory: 14th International Conference,...
books.google.de
... Klaedtke Josva Kleist William Knottenbelt Gregory Kucherov Dietrich Kuske Rom Langerak Dirk Leinenbach Stefan Leue Cédric Lhoussaine Kamal Lodaya P.
Computer Aided Verification: 22nd International Conference, CAV
books.google.de
This book constitutes the refereed proceedings of the 22nd International Conference on Computer Aided Verification, CAV 2010, held in Edinburgh, UK, in July...
Theorem Proving in Higher Order Logics: 18th International Conference...
books.google.de
Hillebrand⋆, Dirk Leinenbach⋆,⋆⋆, and Wolfgang Paul Saarland University, ...
Theorem Proving in Higher Order Logics: 22nd International Conference...
books.google.de
Germany {mah,dirk.leinenbach} ...
Verified Software: Theories, Tools, Experiments: Second International...
books.google.de
Saarbrücken, Germany {mah,dirk.leinenbach ...
Theorem Proving in Higher Order Logics: 22nd International ...google.com
books.google.com
Microsoft Research, Redmond, WA, USA Abstract. VCC is an industrial-strength verification environment for ...
sortiert nach Relevanz / Datum