Alexandre David

According to our database1, Alexandre David
  • authored at least 75 papers between 2000 and 2016.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
Statistical and exact schedulability analysis of hierarchical scheduling systems.
Sci. Comput. Program., 2016

2015
Real-time specifications.
STTT, 2015

Statistical model checking for biological systems.
STTT, 2015

Uppaal SMC tutorial.
STTT, 2015

Schedulability of Herschel revisited using statistical model checking.
STTT, 2015

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.
JACIII, 2015

Uppaal Stratego.
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

2014
Formal verification and simulation for platform screen doors and collision avoidance in subway control systems.
STTT, 2014

Adaptive Task Automata with Earliest-Deadline-First Scheduling.
ECEASST, 2014

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

2013
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.
ECEASST, 2013

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

2012
Compositional verification of real-time systems using Ecdar.
STTT, 2012

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)
CoRR, 2012

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

2011
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
CoRR, 2011

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

2010
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

2009
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

2008
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

2007
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

2006
UPPAAL 4.0.
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

2005
Efficient On-the-Fly Algorithms for the Analysis of Timed Games.
Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

2004
A Tutorial on Uppaal.
Proceedings of the Formal Methods for the Design of Real-Time Systems, 2004

2003
Unification & Sharing in Timed Automata Verification.
Proceedings of the Model Checking Software, 2003

Hierarchical modeling and analysis of timed systems.
PhD thesis, 2003

2002
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

2001
Specification, Implementation, and Validation of Object-Oriented Embedded Systems.
Proceedings of the Object-Oriented Technology ECOOP 2001 Workshop Reader, 2001

2000
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


  Loading...