Alexandre David

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 7333236 (Why is no real title available?)	2021-04-14	Paper
scientific article; zbMATH DE number 7333236 (Why is no real title available?) (available as arXiv preprint)	2021-04-14	Paper
Timed I/O automata: a complete specification theory for real-time systems Proceedings of the 13th ACM international conference on Hybrid systems: computation and control	2017-05-10	Paper
On time with minimal expected cost! Automated Technology for Verification and Analysis	2015-12-17	Paper
Verification and performance evaluation of timed game strategies Lecture Notes in Computer Science	2015-08-06	Paper
Efficient controller synthesis for a fragment of \(\mathrm{MTL}_{0,\infty}\) Acta Informatica	2014-07-03	Paper
Controllers with minimal observation power (application to timed systems) Automated Technology for Verification and Analysis	2012-11-21	Paper
Statistical Model Checking for Networks of Priced Timed Automata Lecture Notes in Computer Science	2011-10-07	Paper
Scenario-based verification of real-time systems using UPPAAL Formal Methods in System Design	2011-03-31	Paper
Methodologies for specification of real-time systems using timed I/O automata Formal Methods for Components and Objects	2011-01-08	Paper
Efficient on-the-fly algorithm for checking alternating timed simulation Lecture Notes in Computer Science	2009-12-01	Paper
Model Checking Timed Automata with Priorities Using DBM Subtraction Lecture Notes in Computer Science	2008-07-08	Paper
Timed Control with Observation Based and Stuttering Invariant Strategies Automated Technology for Verification and Analysis	2008-07-03	Paper
CONCUR 2005 – Concurrency Theory Lecture Notes in Computer Science	2006-11-01	Paper
Formal Methods for the Design of Real-Time Systems Lecture Notes in Computer Science	2006-10-19	Paper
scientific article; zbMATH DE number 2087522 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 2087855 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 1982208 (Why is no real title available?)	2003-09-16	Paper
scientific article; zbMATH DE number 1746447 (Why is no real title available?)	2002-05-28	Paper

Research outcomes over time

This page was built for person: Alexandre David