1
0
0
(1 - 30 von 35
)
Pervasive Compiler Verification – From Verified Programs ...ScienceDirect.com
www.sciencedirect.com
von D Leinenbach · · Zitiert von: 61 — Pervasive Compiler Verification – From Verified Programs to Verified Systems. Author links open overlay panel. Dirk Leinenbach 1 2 , Elena Petrova 1. Show more. von D Leinenbach · · Zitiert von: 61 — Pervasive Compiler Verification – From Verified Programs to Verified Systems. Author links open overlay panel. Dirk Leinenbach 1 2 , Elena Petrova 1. Show more.
Institut für Rechnerarchitektur und Parallelrechner - LeuteUniversität des Saarlandes
www-wjp.cs.uni-saarland.de
41. Dr.-Ing. Jakov Dalinger · 42. Dr. Elena Petrova · 43. Dr. Roman Pinchuk · 44. Dr. Dirk Leinenbach · 45. Dr. Steffen Knapp · 46. Dr. Sebastian Bogan · 47. Dr Dr.-Ing. Jakov Dalinger · 42. Dr. Elena Petrova · 43. Dr. Roman Pinchuk · 44. Dr. Dirk Leinenbach · 45. Dr. Steffen Knapp · 46. Dr. Sebastian Bogan · 47. Dr.
Thomas In der RiedenDBLP
dblp.org
BE — Hillebrand, Thomas In der Rieden, Steffen Knapp, Dirk Leinenbach, Wolfgang J. Paul: Towards the Formal Verification of Lower System Layers BE — Hillebrand, Thomas In der Rieden, Steffen Knapp, Dirk Leinenbach, Wolfgang J. Paul: Towards the Formal Verification of Lower System Layers ...
Electronic Notes in Theoretical Computer Science | Proceedings of the...
www.sciencedirect.com
Pervasive Compiler Verification – From Verified Programs to Verified Systems. Dirk Leinenbach, Elena Petrova. Pages : Download PDF. Article preview.
Dirk Leinenbach - dblpdblp.org › Dirk Leinenbach
dblp.org
List of computer science publications by Dirk Leinenbach.
Dirk Leinenbach - dblpdblp.org › Persons
dblp.org
— List of computer science publications by Dirk Leinenbach Mark A. Hillebrand, Dirk Leinenbach: Formal Verification of a Reader-Writer ...
Balancing the Load: Leveraging Semantics Stack for Systems ...
www-wjp.cs.uni-sb.de
Balancing the Load: Leveraging Semantics Stack for Systems Verification Eyad Alkassar and Mark Hillebrand and Dirk Leinenbach and Norbert Schirmer and Artem Starostin and Alexandra Tsyban
Artem Starostin
www-wjp.cs.uni-sb.de
with Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert W. Schirmer and Alexandra Tsyban In Klein, Gerwin and Huuck, Ralf and Schlich, Bastian, ...
dblp: Electronic Notes in Theoretical Computer Science, Volume 217
dblp.uni-trier.de
Bibliographic content of Electronic Notes in Theoretical Computer Science, Volume 217
Institut für Rechnerarchitektur und Parallelrechner ...
www-wjp.cs.uni-sb.de
Ansprechpartner: Dr. Dirk Leinenbach : CVM: In diesem Projekt möchten wir einen Betriebssystemkern spezifizieren und formal verifizieren. Der Betriebssystemkern unterstützt Memory Management ohne Shared Memory, I/O mit Geräten, Prozess-Management und synchrone Interprocess-Communication. Ansprechpartner: Dr. Thomas In der Rieden : SOS
dblp: Christian Jacobi 0002
dblp.uni-trier.de
List of computer science publications by Christian Jacobi
DBLPhttps://dblp.uni-trier.de › PersonsWolfgang J. Paul
dblp.uni-trier.de
— Hillebrand, Thomas In der Rieden, Steffen Knapp, Dirk Leinenbach, Wolfgang J. Paul: Towards the Formal Verification of Lower System Layers ...
The Verisoft Approach to Systems Verification
www-wjp.cs.uni-saarland.de
The Verisoft Approach to Systems Verification Eyad Alkassar and Mark A. Hillebrand and Dirk Leinenbach and Norbert W. Schirmer and Artem Starostin
Universität des Saarlandes
www-wjp.cs.uni-sb.de
Dr. Sven Beyer · Dr.-Ing. Jakov Dalinger · Dr. Christian Jacobi · Dr. Dirk Leinenbach · Prof. Dr. Wolfgang J. Paul. BÜCHER · FORSCHUNG · LEHRE · LEUTE ...
Search results for "CHARME" – FacetedDBLP
dblp.l3s.de
1, Thomas In der Rieden, Dirk Leinenbach, Wolfgang J. Paul · Towards the Pervasive Verification of Automotive Systems. Search with DBLP WebCrawler · Search ...
sortiert nach Relevanz / Datum