Login / Signup
Ulrich Vogl
Publication Activity (10 Years)
Years Active: 2001-2023
Publications (10 Years): 2
Top Topics
Partial Order Reduction
Alternating Time Temporal Logic
Timed Automata
Automated Verification
Top Venues
PVM
EPEW
</>
Publications
</>
Ulrich Vogl
,
Markus Siegle
Scaled Agile: Toolgestützte Echtzeitplausibilisierung des PI-Planning.
PVM
(2023)
Ulrich Vogl
,
Markus Siegle
A New Approach to Predicting Reliable Project Runtimes via Probabilistic Model Checking.
EPEW
(2017)
Ulrich Vogl
Optimal targeting in chaos control: A discrete Hamiltonian approach.
SSD
(2012)
Alexander Seeger
,
Ulrich Vogl
Generalized nonlinear block space time modulation with rate one.
GLOBECOM
(2001)