1
0
0
(1 - 18 von 22
)
Eyad Alkassarse.inf.ethz.ch › publications › bibtexbrowser
se.inf.ethz.ch
Vladimir Klebanov, Peter Müller, Natarajan Shankar, Gary T. Leavens, Valentin Wüstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie ...
Publikationen ASR
www.dfki.de
... Forschungsbereiche & -gruppen · Agenten und Simulierte Realität; Publikationen ASR. Publikationen (ASR). Seite 1 von 1. Eyad Alkassar, Mark Hillebrand ...
A Pipelined Multi-Core Machine with Operating System ...google.com
books.google.com
Eyad Alkassar, Wolfgang J. Paul, Artem Starostin, and Alexandra Tsyban. Pervasive verification of an OS microkernel - inline assembly, memory consumption, ...
Concrete Semantics: With Isabelle/HOLgoogle.com
books.google.com
Eyad Alkassar, Mark Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin, and Alexandra Tsyban. Balancing the load — leveraging a semantics stack ...
Concrete Semantics: With Isabelle/HOL - Tobias Nipkow, Gerwin Klein -...
books.google.it
Part I of this book is a practical introduction to working with the Isabelle proof assistant. It teaches you how to write functional programs and inductive...
Communicating Process Architectures 2009: WoTUG Google Books
books.google.de
[12] Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert W. Schirmer, and Artem Starostin. The Verisoft Approach to Systems Verification.
Verified Software: Theories, Tools, Experiments: Second ...google.com
books.google.com
209 Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert W. Schirmer, and Artem Starostin Formal Functional Verification of Device Drivers .
Computer Aided Verification: 23rd International Conference, CAV
books.google.de
67 Eyad Alkassar, Sascha Böhme, Kurt Mehlhorn, and Christine Rizkallah Parameter Identification for Markov Models of Biochemical Reactions .
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...
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...
Verified Software: Theories, Tools, Experiments: Third ...google.com
books.google.com
40 Eyad Alkassar, Mark A. Hillebrand, Wolfgang J. Paul, and Elena Petrova Verification of Low-Level Code A Rely-Guarantee Proof System for x86-TSO .
A Pipelined Multi-Core Machine with Operating System Support:...
books.google.de
This work is building on results from the book named
FM 2011: Formal Methods: 17th International Symposium on Formal...
books.google.de
This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June The
Verified Software: Theories, Tools, Experiments: Second International...
books.google.de
The Verisoft Approach to Systems Verification Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert W. Schirmer, and Artem Starostin ...
Perspectives of Systems Informatics: 7th International Andrei Ershov...
books.google.de
... Modularity, and Rights Ernie Cohen, Eyad Alkassar, Vladimir Boyarinov, Markus Dahlweid, Ulan Degenbaev, Mark Hillebrand ...
Verified Software: Theories, Tools, Experiments: 4th International...
books.google.de
This volume contains the proceedings of the 4th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2012, held in...
Tools and Algorithms for the Construction and Analysis of Systems:...
books.google.co.uk
This proceedings volume examines parameterized systems, model checking, applications, static analysis, concurrent/distributed systems, symbolic execution,...
Tools and Algorithms for the Construction and Analysis of ...google.com
books.google.com
Formal Pervasive Verification of a Paging Mechanism Eyad Alkassar⋆, Norbert Schirmer ⋆⋆, and Artem Starostin ⋆⋆⋆ Computer Science Department ...
sortiert nach Relevanz / Datum