Alexandre David

Available identifiers

zbMath Open david.alexandreMaRDI QIDQ633288

List of research outcomes

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
TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets	2012-06-29	Paper
Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic	2012-06-15	Paper
New Results on Timed Specifications	2012-06-08	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Alexandre David