Alexandre David

Available identifiers

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5858720	2021-04-14	Paper
Timed I/O automata	2017-05-10	Paper
On Time with Minimal Expected Cost!	2015-12-17	Paper
Verification and Performance Evaluation of Timed Game Strategies	2015-08-06	Paper
Efficient controller synthesis for a fragment of \(\mathrm{MTL}_{0,\infty}\)	2014-07-03	Paper
Controllers with Minimal Observation Power (Application to Timed Systems)	2012-11-21	Paper
Statistical Model Checking for Networks of Priced Timed Automata	2011-10-07	Paper
Scenario-based verification of real-time systems using UPPAAL	2011-03-31	Paper
Methodologies for Specification of Real-Time Systems Using Timed I/O Automata	2011-01-08	Paper
Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation	2009-12-01	Paper
Model Checking Timed Automata with Priorities Using DBM Subtraction	2008-07-08	Paper
Timed Control with Observation Based and Stuttering Invariant Strategies	2008-07-03	Paper
CONCUR 2005 – Concurrency Theory	2006-11-01	Paper
Formal Methods for the Design of Real-Time Systems	2006-10-19	Paper
https://portal.mardi4nfdi.de/entity/Q4738327	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4738860	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4426385	2003-09-16	Paper
https://portal.mardi4nfdi.de/entity/Q4532077	2002-05-28	Paper

This page was built for person: Alexandre David