(1 - 9 von 9
)
Schloss Dagstuhl : Seminar-Kalender
www.dagstuhl.de
Uwe Glässer (Simon Fraser University – Burnaby, CA), Stefan Hallerstede (Aarhus University, DK), Michael Leuschel (Heinrich-Heine-Universität Düsseldorf, DE)
Accepted Papers – SEFM 2018www.isf.cs.tu-bs.de › cms › events › accepted-papers
www.isf.cs.tu-bs.de
Stefan Hallerstede, Miran Hasanagic, Sebastian Krings, Peter Gorm Larsen and Michael Leuschel; Spread the Work: Multi-threaded Safety Analysis for Hybrid ...
Programme committee | Template 1 - ABZ LORIAabz2023.loria.fr › committee › programme-committee
abz2023.loria.fr
Stefan Hallerstede, Aarhus University, Denmark Klaus Havelund, Jet Propulsion Laboratory, USA Ian J. Hayes, The University of Queensland, Australia Thai Son ...
Programme Committee | 6th International ABZ Conference ASM, Alloy, B,...
www.southampton.ac.uk
The 6th International ABZ conference
Program – SEFM Technische Universität Braunschweig
www.isf.cs.tu-bs.de
AP — (Stefan Hallerstede, Miran Hasanagić, Sebastian Krings, Peter Gorm Larsen, and Michael Leuschel). Automated Specification Extraction and ... › events
VSTTE’10 Verified Software: Theories, Tools and Experiments
www.macs.hw.ac.uk
Pervasive Verification of an OS Microkernel: Inline Assembly, Memory Consumption, Concurrent Devices • : Michael Jastram, Stefan Hallerstede, Michael Leuschel
Alle Infos zum Namen "Stefan Hallerstede"
sortiert nach Relevanz / Datum