According to our database1, Alexandre David authored at least 76 papers between 2000 and 2016.
Legend:Book In proceedings Article PhD thesis Other
Statistical and exact schedulability analysis of hierarchical scheduling systems.
Sci. Comput. Program., 2016
Statistical model checking for biological systems.
Uppaal SMC tutorial.
Schedulability of Herschel revisited using statistical model checking.
A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling.
Sci. Comput. Program., 2015
Three Layers Framework Concept for Adjustable Artificial Intelligence.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015
Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks.
Proceedings of the IEEE 18th International Symposium on Real-Time Distributed Computing, 2015
Modelling Social-Technical Attacks with Timed Automata.
Proceedings of the 7th ACM CCS International Workshop on Managing Insider Security Threats, 2015
Formal verification and simulation for platform screen doors and collision avoidance in subway control systems.
Adaptive Task Automata with Earliest-Deadline-First Scheduling.
Efficient controller synthesis for a fragment of MTL0,∞.
Acta Inf., 2014
Degree of Schedulability of Mixed-Criticality Real-Time Systems with Probabilistic Sporadic Tasks.
Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014
Proposition of a three layers architecture for adaptable artificial intelligence.
Proceedings of the 2014 Joint 7th International Conference on Soft Computing and Intelligent Systems (SCIS) and 15th International Symposium on Advanced Intelligent Systems (ISIS), 2014
Analyzing Industrial Architectural Models by Simulation and Model-Checking.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2014
Verification and Performance Evaluation of Timed Game Strategies.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014
Widening the Schedulability of Hierarchical Scheduling Systems.
Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014
On Time with Minimal Expected Cost!
Proceedings of the Automated Technology for Verification and Analysis, 2014
Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata.
Proceedings of the 14th International Conference on Application of Concurrency to System Design, 2014
A Context-Aware User Interface for Wireless Personal-Area Network Assistive Environments.
Wireless Personal Communications, 2013
Statistical Model Checking of Dynamic Networks of Stochastic Hybrid Automata.
Remote Testing of Timed Specifications.
Proceedings of the Testing Software and Systems, 2013
Optimizing Control Strategy Using Statistical Model Checking.
Proceedings of the NASA Formal Methods, 2013
Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal.
Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013
Compositional verification of real-time systems using Ecdar.
A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets
Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012
Statistical Model Checking for Stochastic Hybrid Systems
Proceedings of the Proceedings First International Workshop on Hybrid Systems and Biology, 2012
Controllers with Minimal Observation Power (Application to Timed Systems)
UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata
Proceedings of the Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, 2012
Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach
Proceedings of the Proceedings Second International Workshop on Interactions, 2012
An evaluation framework for energy aware buildings using statistical model checking.
SCIENCE CHINA Information Sciences, 2012
TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012
mctau: Bridging the Gap between Modest and UPPAAL.
Proceedings of the Model Checking Software - 19th International Workshop, 2012
Rewrite-Based Statistical Model Checking of WMTL.
Proceedings of the Runtime Verification, Third International Conference, 2012
Checking and Distributing Statistical Model Checking.
Proceedings of the NASA Formal Methods, 2012
Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012
Runtime Verification of Biological Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012
Schedulability of Herschel-Planck Revisited Using Statistical Model Checking.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012
Moving from Specifications to Contracts in Component-Based Design.
Proceedings of the Fundamental Approaches to Software Engineering, 2012
State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems.
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012
Controllers with Minimal Observation Power (Application to Timed Systems).
Proceedings of the Automated Technology for Verification and Analysis, 2012
Developing UPPAAL over 15 years.
Softw., Pract. Exper., 2011
Distributed Parametric and Statistical Model Checking
Proceedings of the Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, 2011
Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed Automata
Statistical Model Checking for Networks of Priced Timed Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011
Time for Statistical Model Checking of Real-Time Systems.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011
Scenario-based verification of real-time systems using Uppaal.
Formal Methods in System Design, 2010
New Results on Timed Specifications.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2010
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, 2010
Testing Real-Time Systems under Uncertainty.
Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010
Application of Model-Checking Technology to Controller Synthesis.
Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010
ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2010
Timed Testing under Partial Observability.
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009
Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009
Methodologies for Specification of Real-Time Systems Using Timed I/O Automata.
Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009
Playing Games with Timed Games.
Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009
Model-Driven Development of Embedded Real-Time Systems.
ERCIM News, 2008
Cooperative Testing of Timed Systems.
Electr. Notes Theor. Comput. Sci., 2008
A Game-Theoretic Approach to Real-Time System Testing.
Proceedings of the Design, Automation and Test in Europe, 2008
Guided Controller Synthesis for Climate Controller Using Uppaal Tiga.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007
UPPAAL-Tiga: Time for Playing Games!
Proceedings of the Computer Aided Verification, 19th International Conference, 2007
Timed Control with Observation Based and Stuttering Invariant Strategies.
Proceedings of the Automated Technology for Verification and Analysis, 2007
Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006
Model Checking Timed Automata with Priorities Using DBM Subtraction.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006
Efficient On-the-Fly Algorithms for the Analysis of Timed Games.
Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005
A Tutorial on Uppaal.
Proceedings of the Formal Methods for the Design of Real-Time Systems, 2004
Unification & Sharing in Timed Automata Verification.
Proceedings of the Model Checking Software, 2003
Hierarchical modeling and analysis of timed systems.
PhD thesis, 2003
A Tool Architecture for the Next Generation of Uppaal.
Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002
UPPAAL Implementation Secrets.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002
Formal Verification of UML Statecharts with Real-Time Extensions.
Proceedings of the Fundamental Approaches to Software Engineering, 2002
Specification, Implementation, and Validation of Object-Oriented Embedded Systems.
Proceedings of the Object-Oriented Technology ECOOP 2001 Workshop Reader, 2001
UPPAAL - Now, Next, and Future.
Proceedings of the Modeling and Verification of Parallel Processes, 4th Summer School, 2000
A Real-Time Animator for Hybrid Systems.
Proceedings of the Languages, 2000
Modelling and analysis of a commercial field bus protocol.
Proceedings of the 12th Euromicro Conference on Real-Time Systems (ECRTS 2000), 2000