Alexandre David

Publication Activity (10 Years)

Years Active: 2000-2016
Publications (10 Years): 10

Top Venues

Int. J. Softw. Tools Technol. Transf.

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

FACS

Sci. Comput. Program.

Universitet Uppsala (PHD)

Education History

Universitet Uppsala

PHD

Publications

Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou
Statistical and exact schedulability analysis of hierarchical scheduling systems. Sci. Comput. Program. 127 (2016)
Nicolas David, Alexandre David, René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Mads Chr. Olesen, Christian W. Probst
Modelling Social-Technical Attacks with Timed Automata. MIST@CCS (2015)
Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis
Schedulability of Herschel revisited using statistical model checking. Int. J. Softw. Tools Technol. Transf. 17 (2) (2015)
Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Louis-Marie Traonouez, Andrzej Wasowski
Real-time specifications. Int. J. Softw. Tools Technol. Transf. 17 (1) (2015)
Benoit Vallade, Alexandre David, Tomoharu Nakashima
Three Layers Framework Concept for Adjustable Artificial Intelligence. J. Adv. Comput. Intell. Intell. Informatics 19 (6) (2015)
Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards
Statistical model checking for biological systems. Int. J. Softw. Tools Technol. Transf. 17 (3) (2015)
Alexandre David, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marius Mikucionis, Jakob Haahr Taankvist
Uppaal Stratego. TACAS (2015)
Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou
A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling. Sci. Comput. Program. 113 (2015)
Abdeldjalil Boudjadar, Jin Hyun Kim, Alexandre David, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou, Insup Lee, Linh Thi Xuan Phan
Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks. ISORC (2015)
Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen
Uppaal SMC tutorial. Int. J. Softw. Tools Technol. Transf. 17 (4) (2015)
Alexandre David, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Didier Lime, Mathias Grund Sørensen, Jakob Haahr Taankvist
On Time with Minimal Expected Cost! ATVA (2014)
Leo Hatvani, Alexandre David, Cristina Cerschi Seceleanu, Paul Pettersson
Adaptive Task Automata with Earliest-Deadline-First Scheduling. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70 (2014)
Alexandre David, Kim G. Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen
Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata. ACSD (2014)
Raluca Marinescu, Henrik Kaijser, Marius Mikucionis, Cristina Seceleanu, Henrik Lönn, Alexandre David
Analyzing Industrial Architectural Models by Simulation and Model-Checking. FTSCS (2014)
Peter E. Bulychev, Alexandre David, Kim G. Larsen, Guangyuan Li
. Acta Informatica 51 (3-4) (2014)
Benoit Vallade, Alexandre David, Tomoharu Nakashima
Proposition of a three layers architecture for adaptable artificial intelligence. SCIS&ISIS (2014)
Alexandre David, Huixing Fang, Kim Guldstrand Larsen, Zhengkui Zhang
Verification and Performance Evaluation of Timed Game Strategies. FORMATS (2014)
Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou
Degree of Schedulability of Mixed-Criticality Real-Time Systems with Probabilistic Sporadic Tasks. TASE (2014)
Huixing Fang, Jianqi Shi, Huibiao Zhu, Jian Guo, Kim Guldstrand Larsen, Alexandre David
Formal verification and simulation for platform screen doors and collision avoidance in subway control systems. Int. J. Softw. Tools Technol. Transf. 16 (4) (2014)
Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim Guldstrand Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou
Widening the Schedulability of Hierarchical Scheduling Systems. FACS (2014)
Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim Guldstrand Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou
Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal. FACS (2013)
Alexandre David, Dehui Du, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis
Optimizing Control Strategy Using Statistical Model Checking. NASA Formal Methods (2013)
Bastien Paul, Séverin Marcombes, Alexandre David, Lotte N. S. Andreasen Struijk, Yannick Le Moullec
A Context-Aware User Interface for Wireless Personal-Area Network Assistive Environments. Wirel. Pers. Commun. 69 (1) (2013)
Alexandre David, Kim G. Larsen, Marius Mikucionis, Omer Nguena-Timo, Antoine Rollet
Remote Testing of Timed Specifications. ICTSS (2013)
Alexandre David, Kim G. Larsen, Axel Legay, Danny Bøgsted Poulsen
Statistical Model Checking of Dynamic Networks of Stochastic Hybrid Automata. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013)
Jonathan Bogdoll, Alexandre David, Arnd Hartmanns, Holger Hermanns
mctau: Bridging the Gap between Modest and UPPAAL. SPIN (2012)
Sebastian S. Bauer, Alexandre David, Rolf Hennicker, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski
Moving from Specifications to Contracts in Component-Based Design. FASE (2012)
Peter E. Bulychev, Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Jean-François Raskin, Pierre-Alain Reynier
Controllers with Minimal Observation Power (Application to Timed Systems). ATVA (2012)
Alexandre David, Lasse Jacobsen, Morten Jacobsen, Kenneth Yrke Jørgensen, Mikael H. Møller, Jirí Srba
TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets. TACAS (2012)
Alexandre David, Lasse Jacobsen, Morten Jacobsen, Jirí Srba
A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets SSV (2012)
Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen
Checking and Distributing Statistical Model Checking. NASA Formal Methods (2012)
Alexandre David, Dehui Du, Kim G. Larsen, Marius Mikucionis, Arne Skou
An evaluation framework for energy aware buildings using statistical model checking. Sci. China Inf. Sci. 55 (12) (2012)
Peter E. Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis
Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach IWIGP (2012)
Alexandre David, Dehui Du, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards
Statistical Model Checking for Stochastic Hybrid Systems HSB (2012)
Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Danny Bøgsted Poulsen, Axel Legay, Zheng Wang
UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata QAPL (2012)
Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis
Schedulability of Herschel-Planck Revisited Using Statistical Model Checking. ISoLA (2) (2012)
Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen, Amélie Stainer
Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic. LPAR (2012)
Peter E. Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen
Rewrite-Based Statistical Model Checking of WMTL. RV (2012)
Peter E. Bulychev, Franck Cassez, Alexandre David, Kim G. Larsen, Jean-François Raskin, Pierre-Alain Reynier
Controllers with Minimal Observation Power (Application to Timed Systems) CoRR (2012)
Marius Bozga, Alexandre David, Arnd Hartmanns, Holger Hermanns, Kim G. Larsen, Axel Legay, Jan Tretmans
State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems. DATE (2012)
Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards
Runtime Verification of Biological Systems. ISoLA (1) (2012)
Alexandre David, Kim Guldstrand Larsen, Axel Legay, Mikael H. Møller, Ulrik Nyman, Anders P. Ravn, Arne Skou, Andrzej Wasowski
Compositional verification of real-time systems using Ecdar. Int. J. Softw. Tools Technol. Transf. 14 (6) (2012)
Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi
Developing UPPAAL over 15 years. Softw. Pract. Exp. 41 (2) (2011)
Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Zheng Wang
Time for Statistical Model Checking of Real-Time Systems. CAV (2011)
Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang
Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed Automata CoRR (2011)
Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang
Statistical Model Checking for Networks of Priced Timed Automata. FORMATS (2011)
Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Axel Legay
Distributed Parametric and Statistical Model Checking PDMC (2011)
Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski
Timed I/O automata: a complete specification theory for real-time systems. HSCC (2010)
Shuhao Li, Sandie Balaguer, Alexandre David, Kim G. Larsen, Brian Nielsen, Saulius Pusinskas
Scenario-based verification of real-time systems using Uppaal. Formal Methods Syst. Des. 37 (2-3) (2010)
Timothy Bourke, Alexandre David, Kim G. Larsen, Axel Legay, Didier Lime, Ulrik Nyman, Andrzej Wasowski
New Results on Timed Specifications. WADT (2010)
Alexandre David, Jacob Deleuran Grunnet, Jan Jakob Jessen, Kim Guldstrand Larsen, Jacob Illum Rasmussen
Application of Model-Checking Technology to Controller Synthesis. FMCO (2010)
Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Marius Mikucionis, Brian Nielsen
Testing Real-Time Systems under Uncertainty. FMCO (2010)
Alexandre David, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski
ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems. ATVA (2010)
Thomas Chatain, Alexandre David, Kim G. Larsen
Playing Games with Timed Games. ADHS (2009)
Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen
Timed Testing under Partial Observability. ICST (2009)
Peter E. Bulychev, Thomas Chatain, Alexandre David, Kim Guldstrand Larsen
Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation. FORMATS (2009)
Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski
Methodologies for Specification of Real-Time Systems Using Timed I/O Automata. FMCO (2009)
Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen
Cooperative Testing of Timed Systems. Electron. Notes Theor. Comput. Sci. 220 (1) (2008)
Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen
A Game-Theoretic Approach to Real-Time System Testing. DATE (2008)
Alexandre David, Brian Nielsen
Model-Driven Development of Embedded Real-Time Systems. ERCIM News 2008 (75) (2008)
Jan Jakob Jessen, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Alexandre David
Guided Controller Synthesis for Climate Controller Using Uppaal Tiga. FORMATS (2007)
Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime
UPPAAL-Tiga: Time for Playing Games! CAV (2007)
Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Didier Lime, Jean-François Raskin
Timed Control with Observation Based and Stuttering Invariant Strategies. ATVA (2007)
Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi, Martijn Hendriks
UPPAAL 4.0. QEST (2006)
Alexandre David, John Håkansson, Kim Guldstrand Larsen, Paul Pettersson
Model Checking Timed Automata with Priorities Using DBM Subtraction. FORMATS (2006)
Franck Cassez, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime
Efficient On-the-Fly Algorithms for the Analysis of Timed Games. CONCUR (2005)
Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen
A Tutorial on Uppaal. SFM (2004)
Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi
Unification & Sharing in Timed Automata Verification. SPIN (2003)
Alexandre David, M. Oliver Möller, Wang Yi
Formal Verification of UML Statecharts with Real-Time Extensions. FASE (2002)
Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi
UPPAAL Implementation Secrets. FTRTFT (2002)
Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi
A Tool Architecture for the Next Generation of Uppaal. 10th Anniversary Colloquium of UNU/IIST (2002)
Gerd Behrmann, Kim G. Larsen, Oliver Möller, Alexandre David, Paul Pettersson, Wang Yi
UPPAAL - present and future. CDC (2001)
Sébastien Gérard, Alexandre David, François Terrier
Specification, Implementation, and Validation of Object-Oriented Embedded Systems. ECOOP Workshops (2001)
Tobias Amnell, Alexandre David, Wang Yi
A Real-Time Animator for Hybrid Systems. LCTES (2000)
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
UPPAAL - Now, Next, and Future. MOVEP (2000)
Alexandre David, Wang Yi
Modelling and analysis of a commercial field bus protocol. ECRTS (2000)

Alexandre David.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alexandre David