Martin Hilscher
Martin Hilscher
Bestätigte E-Mail-Adresse bei informatik.uni-oldenburg.de - Startseite
TitelZitiert vonJahr
An abstract model for proving safety of multi-lane traffic manoeuvres
M Hilscher, S Linker, ER Olderog, AP Ravn
International Conference on Formal Engineering Methods, 404-419, 2011
432011
Proof Theory of a Multi-Lane Spatial Logic
S Linker, M Hilscher
Logical Methods in Computer Science 11 (3), 2015
282015
Proof theory of a multi-lane spatial logic
S Linker, M Hilscher
International Colloquium on Theoretical Aspects of Computing, 231-248, 2013
282013
Proving safety of traffic manoeuvres on country roads
M Hilscher, S Linker, ER Olderog
Theories of Programming and Formal Methods, 196-212, 2013
232013
An abstract model for proving safety of autonomous urban traffic
M Hilscher, M Schwammberger
International Colloquium on Theoretical Aspects of Computing, 274-292, 2016
102016
Synthesizing and verifying controllers for multi-lane traffic maneuvers
GV Bochmann, M Hilscher, S Linker, ER Olderog
Formal Aspects of Computing 29 (4), 583-600, 2017
52017
Synthesizing controllers for multi-lane traffic maneuvers
G Bochmann, M Hilscher, S Linker, ER Olderog
International Symposium on Dependable Software Engineering: Theories, Tools …, 2015
32015
Projektgruppe P-UMLaut
C Eichner, E Frost, M Hilscher, A Kaiser, R Meyer, M Ross, C Schnars, ...
Endbericht, Carl von Ossietzky Universität Oldenburg, 2005
12005
Multiprocessor system on chip (MPSoC) implements system functions through tasks. It is necessary to estimate system behaviors early in the design process without actual …
JB Pedersen, PH Welch
Formal Aspects of Computing 30 (2), 219-237, 2018
2018
Provably Correct Systems
B Finkbeiner, ER Olderog, G Bochmann, M Hilscher, S Linker, ...
Information and Computation 29 (Part 2), 583-600, 2017
2017
Proof Theory of a Multi-Lane Spatial Logic
M Hilscher, S Linker
Logical Methods in Computer Science 11, 2015
2015
of SFB/TR 14 AVACS
S Linker, M Hilscher
2014
of SFB/TR 14 AVACS
M Hilscher, S Linker, ER Olderog, AP Ravn
2011
ABuS–Entwicklung eines automatischen Blokus-Spielers
K Heidmann, E Best, M Hilscher
2009
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–14