(1 - 20 von 20
)
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 ...
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
sortiert nach Relevanz / Datum