Alexandre David

According to our database, Alexandre David authored at least 78 papers between 2000 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Physical modeling of ribosomes along messenger RNA: Estimating kinetic parameters from ribosome profiling experiments using a ballistic model.

Carole Chevalier, Jérôme Dorignac, Yahaya Ibrahim, Armelle Choquet, Alexandre David, Julie Ripoll, Eric Rivals, Frédéric Geniet, Nils-Ole Walliser, John Palmeri, Andrea Parmeggiani, Jean-Charles Walter

PLoS Comput. Biol., October, 2023

2016

Statistical and exact schedulability analysis of hierarchical scheduling systems.

Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou

Sci. Comput. Program., 2016

2015

Real-time specifications.

Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Louis-Marie Traonouez, Andrzej Wasowski

Int. J. Softw. Tools Technol. Transf., 2015

Statistical model checking for biological systems.

Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards

Int. J. Softw. Tools Technol. Transf., 2015

Uppaal SMC tutorial.

Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen

Int. J. Softw. Tools Technol. Transf., 2015

Schedulability of Herschel revisited using statistical model checking.

Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis

Int. J. Softw. Tools Technol. Transf., 2015

A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling.

Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou

Sci. Comput. Program., 2015

Three Layers Framework Concept for Adjustable Artificial Intelligence.

Benoit Vallade, Alexandre David, Tomoharu Nakashima

J. Adv. Comput. Intell. Intell. Informatics, 2015

Uppaal Stratego.

Alexandre David, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marius Mikucionis, Jakob Haahr Taankvist

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks.

Abdeldjalil Boudjadar, Jin Hyun Kim, Alexandre David, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou, Insup Lee, Linh Thi Xuan Phan

Proceedings of the IEEE 18th International Symposium on Real-Time Distributed Computing, 2015

Modelling Social-Technical Attacks with Timed Automata.

Nicolas David, Alexandre David, René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Mads Chr. Olesen, Christian W. Probst

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.

Huixing Fang, Jianqi Shi, Huibiao Zhu, Jian Guo, Kim Guldstrand Larsen, Alexandre David

Int. J. Softw. Tools Technol. Transf., 2014

Adaptive Task Automata with Earliest-Deadline-First Scheduling.

Leo Hatvani, Alexandre David, Cristina Cerschi Seceleanu, Paul Pettersson

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

Efficient controller synthesis for a fragment of MTL_0,∞.

Peter E. Bulychev, Alexandre David, Kim G. Larsen, Guangyuan Li

Acta Informatica, 2014

Degree of Schedulability of Mixed-Criticality Real-Time Systems with Probabilistic Sporadic Tasks.

Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou

Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

Proposition of a three layers architecture for adaptable artificial intelligence.

Benoit Vallade, Alexandre David, Tomoharu Nakashima

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.

Raluca Marinescu, Henrik Kaijser, Marius Mikucionis, Cristina Seceleanu, Henrik Lönn, Alexandre David

Proceedings of the Formal Techniques for Safety-Critical Systems, 2014

Verification and Performance Evaluation of Timed Game Strategies.

Alexandre David, Huixing Fang, Kim Guldstrand Larsen, Zhengkui Zhang

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014

Widening the Schedulability of Hierarchical Scheduling Systems.

Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim Guldstrand Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou

Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

On Time with Minimal Expected Cost!

Alexandre David, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Didier Lime, Mathias Grund Sørensen, Jakob Haahr Taankvist

Proceedings of the Automated Technology for Verification and Analysis, 2014

Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata.

Alexandre David, Kim G. Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen

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.

Bastien Paul, Séverin Marcombes, Alexandre David, Lotte N. S. Andreasen Struijk, Yannick Le Moullec

Wirel. Pers. Commun., 2013

Statistical Model Checking of Dynamic Networks of Stochastic Hybrid Automata.

Alexandre David, Kim G. Larsen, Axel Legay, Danny Bøgsted Poulsen

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

Remote Testing of Timed Specifications.

Alexandre David, Kim G. Larsen, Marius Mikucionis, Omer Nguena-Timo, Antoine Rollet

Proceedings of the Testing Software and Systems, 2013

Optimizing Control Strategy Using Statistical Model Checking.

Alexandre David, Dehui Du, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis

Proceedings of the NASA Formal Methods, 2013

Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal.

Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim Guldstrand Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou

Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013

Tools for Model-Checking Timed Systems.

Alexandre David, Gerd Behrmann, Peter E. Bulychev, Joakim Byg, Thomas Chatain, Kim G. Larsen, Paul Pettersson, Jacob Illum Rasmussen, Jirí Srba, Wang Yi, Kenneth Yrke Jørgensen, Didier Lime, Morgan Magnin, Olivier H. Roux, Louis-Marie Traonouez

Proceedings of the Communicating Embedded Systems, 2013

2012

Compositional verification of real-time systems using Ecdar.

Alexandre David, Kim Guldstrand Larsen, Axel Legay, Mikael H. Møller, Ulrik Nyman, Anders P. Ravn, Arne Skou, Andrzej Wasowski

Int. J. Softw. Tools Technol. Transf., 2012

A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets

Alexandre David, Lasse Jacobsen, Morten Jacobsen, Jirí Srba

Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012

Statistical Model Checking for Stochastic Hybrid Systems

Alexandre David, Dehui Du, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards

Proceedings of the Proceedings First International Workshop on Hybrid Systems and Biology, 2012

UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata

Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Danny Bøgsted Poulsen, Axel Legay, Zheng Wang

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

Peter E. Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis

Proceedings of the Proceedings Second International Workshop on Interactions, 2012

An evaluation framework for energy aware buildings using statistical model checking.

Alexandre David, Dehui Du, Kim G. Larsen, Marius Mikucionis, Arne Skou

Sci. China Inf. Sci., 2012

TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets.

Alexandre David, Lasse Jacobsen, Morten Jacobsen, Kenneth Yrke Jørgensen, Mikael H. Møller, Jirí Srba

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

mctau: Bridging the Gap between Modest and UPPAAL.

Jonathan Bogdoll, Alexandre David, Arnd Hartmanns, Holger Hermanns

Proceedings of the Model Checking Software - 19th International Workshop, 2012

Rewrite-Based Statistical Model Checking of WMTL.

Peter E. Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen

Proceedings of the Runtime Verification, Third International Conference, 2012

Checking and Distributing Statistical Model Checking.

Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen

Proceedings of the NASA Formal Methods, 2012

Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic.

Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen, Amélie Stainer

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

Runtime Verification of Biological Systems.

Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards

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.

Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis

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.

Sebastian S. Bauer, Alexandre David, Rolf Hennicker, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski

Proceedings of the Fundamental Approaches to Software Engineering, 2012

State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems.

Marius Bozga, Alexandre David, Arnd Hartmanns, Holger Hermanns, Kim G. Larsen, Axel Legay, Jan Tretmans

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

Controllers with Minimal Observation Power (Application to Timed Systems).

Peter E. Bulychev, Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Jean-François Raskin, Pierre-Alain Reynier

Proceedings of the Automated Technology for Verification and Analysis, 2012

2011

Developing UPPAAL over 15 years.

Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi

Softw. Pract. Exp., 2011

Distributed Parametric and Statistical Model Checking

Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Axel Legay

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

Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang

CoRR, 2011

Statistical Model Checking for Networks of Priced Timed Automata.

Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011

Time for Statistical Model Checking of Real-Time Systems.

Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Zheng Wang

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

Scenario-based verification of real-time systems using Uppaal.

Shuhao Li, Sandie Balaguer, Alexandre David, Kim G. Larsen, Brian Nielsen, Saulius Pusinskas

Formal Methods Syst. Des., 2010

New Results on Timed Specifications.

Timothy Bourke, Alexandre David, Kim G. Larsen, Axel Legay, Didier Lime, Ulrik Nyman, Andrzej Wasowski

Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

Timed I/O automata: a complete specification theory for real-time systems.

Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski

Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, 2010

Testing Real-Time Systems under Uncertainty.

Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Marius Mikucionis, Brian Nielsen

Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

Application of Model-Checking Technology to Controller Synthesis.

Alexandre David, Jacob Deleuran Grunnet, Jan Jakob Jessen, Kim Guldstrand Larsen, Jacob Illum Rasmussen

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.

Alexandre David, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski

Proceedings of the Automated Technology for Verification and Analysis, 2010

2009

Timed Testing under Partial Observability.

Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation.

Peter E. Bulychev, Thomas Chatain, Alexandre David, Kim Guldstrand Larsen

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009

Methodologies for Specification of Real-Time Systems Using Timed I/O Automata.

Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski

Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

Playing Games with Timed Games.

Thomas Chatain, Alexandre David, Kim G. Larsen

Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009

2008

Model-Driven Development of Embedded Real-Time Systems.

Alexandre David, Brian Nielsen

ERCIM News, 2008

Cooperative Testing of Timed Systems.

Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen

Proceedings of the Fourth Workshop on Model Based Testing, 2008

A Game-Theoretic Approach to Real-Time System Testing.

Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen

Proceedings of the Design, Automation and Test in Europe, 2008

2007

Guided Controller Synthesis for Climate Controller Using Uppaal Tiga.

Jan Jakob Jessen, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Alexandre David

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007

UPPAAL-Tiga: Time for Playing Games!

Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

Timed Control with Observation Based and Stuttering Invariant Strategies.

Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Didier Lime, Jean-François Raskin

Proceedings of the Automated Technology for Verification and Analysis, 2007

2006

UPPAAL 4.0.

Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi, Martijn Hendriks

Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

Model Checking Timed Automata with Priorities Using DBM Subtraction.

Alexandre David, John Håkansson, Kim Guldstrand Larsen, Paul Pettersson

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006

2005

Efficient On-the-Fly Algorithms for the Analysis of Timed Games.

Franck Cassez, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime

Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

2004

A Tutorial on Uppaal.

Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen

Proceedings of the Formal Methods for the Design of Real-Time Systems, 2004

2003

Unification & Sharing in Timed Automata Verification.

Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi

Proceedings of the Model Checking Software, 2003

Hierarchical modeling and analysis of timed systems.

Alexandre David

PhD thesis, 2003

2002

A Tool Architecture for the Next Generation of Uppaal.

Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi

Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002

UPPAAL Implementation Secrets.

Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002

Formal Verification of UML Statecharts with Real-Time Extensions.

Alexandre David, M. Oliver Möller, Wang Yi

Proceedings of the Fundamental Approaches to Software Engineering, 2002

2001

Specification, Implementation, and Validation of Object-Oriented Embedded Systems.

Sébastien Gérard, Alexandre David, François Terrier

Proceedings of the Object-Oriented Technology ECOOP 2001 Workshop Reader, 2001

UPPAAL - present and future.

Gerd Behrmann, Kim G. Larsen, Oliver Möller, Alexandre David, Paul Pettersson, Wang Yi

Proceedings of the 40th IEEE Conference on Decision and Control, 2001

2000

UPPAAL - Now, Next, and Future.

Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Pedro R. D'Argenio, Alexandre David, Ansgar Fehnker, Thomas Hune, Bertrand Jeannet, Kim Guldstrand Larsen, M. Oliver Möller, Paul Pettersson, Carsten Weise, Wang Yi

Proceedings of the Modeling and Verification of Parallel Processes, 4th Summer School, 2000

A Real-Time Animator for Hybrid Systems.

Tobias Amnell, Alexandre David, Wang Yi

Proceedings of the Languages, 2000

Modelling and analysis of a commercial field bus protocol.

Alexandre David, Wang Yi

Proceedings of the 12th Euromicro Conference on Real-Time Systems (ECRTS 2000), 2000