1
0
0
(1 - 23 von 23
)
dblp: Verified Software: Theories, Tools, Experiments 2008
dblp.uni-trier.de
Bibliographic content of Verified Software: Theories, Tools, Experiments 2008
Eyad Alkassar - dblp
dblp.org
List of computer science publications by Eyad Alkassar Eyad Alkassar, Mark A. Hillebrand: Formal Functional Verification of Device Drivers.
dblp: Mark A. Hillebrand
dblp.uni-trier.de
List of computer science publications by Mark A. Hillebrand
Artem Starostin
www-wjp.cs.uni-sb.de
with Eyad Alkassar and Norbert Schirmer In C. R. Ramakrishnan and Jakob Rehof, editors, Proceeding of the 14th International Conference on Tools and Algorithms for ...
Stephan Tobies - dblp
dblp.uni-trier.de
Ernie Cohen, Eyad Alkassar, Vladimir Boyarinov, Markus Dahlweid, Ulan Degenbaev, Mark A. Hillebrand, Bruno Langenstein, Dirk Leinenbach, Michal Moskal, ...
Dependable Systems and Software: Distributed Algorithms in Automotive...
depend.cs.uni-saarland.de
Eyad Alkassar: David N. Jansen: Fr 26. März: 14:15: Ergänzungen zum Welch–Lynch-Algorithmus : Marco Grewenig: Matthias Daum: 15:00: Clock Synchronisation ...
Formal Pervasive Verification of a Paging Mechanism
www-wjp.cs.uni-sb.de
Formal Pervasive Verification of a Paging Mechanism Eyad Alkassar and Norbert Schirmer and Artem Starostin Paper on TACAS, 2008
Dependable Systems and Software: Ad Hoc Networking
depend.cs.uni-saarland.de
Ad Hoc Networking. This lecture introduces into the basic concepts of stochastic modelling techniques. As an application of stochastic modelling we ... Eyad Alkassar :
Gert Smolka: Doctoral Students
www.ps.uni-saarland.de
Gert Smolka: Doctoral Students. Programming Systems. Gert Smolka. Teaching. Publications. Academic Activities. Curriculum Vitae Eyad Alkassar, 2009, …
Institut für Rechnerarchitektur und Parallelrechner - Leute
www-wjp.cs.uni-sb.de
Dr. Eyad Alkassar: Universität des Saarlandes : Gebäude E1 3: FR 6.2 Informatik : Raum 318: Postfach : Tel: +49 (0) : D Saarbrücken : Fax ...
Artem Starostin
www-wjp.cs.uni-saarland.de
with Eyad Alkassar, Wolfgang J. Paul, Alexandra Tsyban To appear in Proceedings of the 3nd IFIP Working Conference on Verified Software: Theories, Tools, ...
Search results for "Artem Starostin" – FacetedDBLP
dblp.l3s.uni-hannover.de
Eyad Alkassar, Wolfgang J. Paul, Artem Starostin, Alexandra Tsyban ...
Verification
www.react.uni-saarland.de
Eyad Alkassar Wed, 16h, Room 015 Building 45 Ruzica Piskac Th, 16h, Room 016 Building 45. Hauptstudium: Stammvorlesung theoretische Informatik Wintersemester
Verification, WS
www.react.uni-saarland.de
Verification, WS Winter term Lecturers: Bernd Finkbeiner, Andreas Podelski, Patrick Maier Tutors: Thomas Wies, Eyad Alkassar, Ruzica Piskac
Pascal Schweitzer - dblp
dblp.org
Eyad Alkassar, Sascha Böhme, Kurt Mehlhorn, Christine Rizkallah, Pascal Schweitzer: An Introduction to Certifying Algorithms. it - Information Technology 53(6): ...
Search results for "Eyad Alkassar" – FacetedDBLP
dblp.l3s.uni-hannover.de
Found 16 publication records. Showing 16 according to the selection in the facets
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
Mathematical Image Analysis Group, Saarland University
www.mia.uni-saarland.de
Current Student Programmers. Alexander Hewer; Timm Schneevoigt; Oleksandr Sotnychenko; Previous Student Programmers. Gautham Adithya; Eyad Alkassar; Vera Bazhenova
Publikationen der UdS: OS verification extended : on the formal...
publikationen.sulb.uni-saarland.de
der Naturwissenschaftlich-Technischen Fakultaten¨ der Universitat des Saarlandes¨ Eyad Alkassar .uni-sb.de Saarbrucken, Juli 2009¨
sortiert nach Relevanz / Datum