Alexandre David

Tomoharu Nakashima, Alexandre David, Benoit Vallade, 2014, 2014 Joint 7th International Conference on Soft Computing and Intelligent Systems (SCIS) and 15th International Symposium on Advanced Intelligent Systems (ISIS).

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

Kim G. Larsen, Axel Legay, Holger Hermanns, 2012, 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).

A Context-Aware User Interface for Wireless Personal-Area Network Assistive Environments

Alexandre David, Yannick Le Moullec, Lotte N. S. Andreasen Struijk, 2013, Wirel. Pers. Commun..

Statistical and exact schedulability analysis of hierarchical scheduling systems

Kim G. Larsen, Marius Mikucionis, Arne Skou, 2016, Sci. Comput. Program..

UPPAAL 4.0

Wang Yi, Kim G. Larsen, John Håkansson, 2006, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).

mctau: Bridging the Gap between Modest and UPPAAL

Holger Hermanns, Alexandre David, Jonathan Bogdoll, 2012, SPIN.

Merging {DBMs} Efficiently

Alexandre David, 2005 .

Three Layers Framework Concept for Adjustable Artificial Intelligence

Tomoharu Nakashima, Alexandre David, Benoit Vallade, 2015, Journal of Advanced Computational Intelligence and Intelligent Informatics.

Controllers with Minimal Observation Power (Application to Timed Systems)

Kim G. Larsen, Jean-François Raskin, Pierre-Alain Reynier, 2012, ATVA.

Schedulability and Energy Efficiency for Multi-core Hierarchical Scheduling Systems

Kim Guldstrand Larsen, Arne Skou, Alexandre David, 2014 .

Model Checking Timed Automata with Priorities Using DBM Subtraction

Kim G. Larsen, John Håkansson, Paul Pettersson, 2006, FORMATS.

Formal Verification of UML Statecharts with Real-Time Extensions

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

Verification and Performance Evaluation of Timed Game Strategies

Kim G. Larsen, Alexandre David, Huixing Fang, 2014, FORMATS.

Cooperative Testing of Timed Systems

Kim G. Larsen, Brian Nielsen, Alexandre David, 2008, Electron. Notes Theor. Comput. Sci..

Tools for Real-Time UML: Formal Verification and Code Synthesis

Wang Yi, Paul Pettersson, Elena Fersman, 2001 .

Distributed Parametric and Statistical Model Checking

Kim G. Larsen, Marius Mikucionis, Axel Legay, 2011, PDMC.

Optimizing Control Strategy Using Statistical Model Checking

Kim G. Larsen, Marius Mikucionis, Axel Legay, 2013, NASA Formal Methods.

Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal

Kim G. Larsen, Marius Mikucionis, Arne Skou, 2013, FACS.

Real-time specifications

Kim G. Larsen, Axel Legay, Andrzej Wasowski, 2013, International Journal on Software Tools for Technology Transfer.

Architecture & architecture : Alexandre David

Alexandre David, 2007 .

New Results on Timed Specifications

Kim G. Larsen, Timothy Bourke, Axel Legay, 2010, WADT.

From HUPPAAL to UPPAAL - A Translation from Hierarchical Timed Automata to Flat Timed Automata

Alexandre David, M. Oliver Möller, M. Möller, 2001 .

UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata

Kim G. Larsen, Marius Mikucionis, Axel Legay, 2012, QAPL.

A Tutorial on Uppaal

Kim G. Larsen, Gerd Behrmann, Alexandre David, 2004, SFM.

Scenario-based verification of real-time systems using Uppaal

Kim G. Larsen, Brian Nielsen, Alexandre David, 2010, Formal Methods Syst. Des..

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

Kim G. Larsen, Peter E. Bulychev, Thomas Chatain, 2009, FORMATS.

UPPAAL-Tiga: Timed Games for Everyone

Kim Guldstrand Larsen, Gerd Behrmann, Didier Lime, 2006 .

Model-Based Framework for Schedulability Analysis Using Uppaal 4.1

Kim Guldstrand Larsen, Arne Skou, Jacob Illum Rasmussen, 2018, Model-Based Design for Embedded Systems.

An evaluation framework for energy aware buildings using statistical model checking

Kim G. Larsen, Marius Mikucionis, Arne Skou, 2012, Science China Information Sciences.

Despliegue de aplicaciones mediante Access Grid

Alexandre David, Arce Grilo, 2010 .

Analyzing Industrial Architectural Models by Simulation and Model-Checking

Marius Mikucionis, Henrik Lönn, Alexandre David, 2014, FTSCS.

Statistical Model Checking for Networks of Priced Timed Automata

Kim G. Larsen, Marius Mikucionis, Axel Legay, 2011, FORMATS.

18th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2015

Marius Mikucionis, Insup Lee, Arne Skou, 2015 .

Rewrite-Based Statistical Model Checking of WMTL

Kim G. Larsen, Axel Legay, Guangyuan Li, 2012, RV.

A Formal Semantics for UML Statecharts

Johann Deneux, Julien d'Orso, Alexandre David, 2003 .

Statistical Model Checking in Uppaal: Lets Practice

Marius Mikucionis, Axel Legay, Kim Guldstrand Larsen, 2013 .

Formal Modeling and Analysis of Timed Systems

Kim Guldstrand Larsen, Jacob Illum Rasmussen, Alexandre David, 2018, Lecture Notes in Computer Science.

Schedulability of Herschel revisited using statistical model checking

Kim G. Larsen, Marius Mikucionis, Axel Legay, 2014, International Journal on Software Tools for Technology Transfer.

Minimal DBM Substraction

Kim Guldstrand Larsen, Paul Pettersson, Alexandre David, 2004 .

Hierarchical modeling and analysis of timed systems

Alexandre David, Alexandre David, 2003 .

Adaptive Task Automata with Earliest-Deadline-First Scheduling

Paul Pettersson, Alexandre David, Cristina Cerschi Seceleanu, 2014, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Developing UPPAAL over 15 years

Wang Yi, Kim G. Larsen, Paul Pettersson, 2011, Softw. Pract. Exp..

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

Kim G. Larsen, Axel Legay, Andrzej Wasowski, 2009, FMCO.

Modelling Social-Technical Attacks with Timed Automata

Kim G. Larsen, Axel Legay, Nicolas David, 2015, MIST@CCS.

L’architecture est partout

Alexandre David, 2015 .

A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets

Jirí Srba, Alexandre David, Lasse Jacobsen, 2012, SSV.

A Tutorial on Uppaal 4 . 0

Kim G. Larsen, Gerd Behrmann, Alexandre David, 2006 .

Hierarchical Timed Automata for Uppaal

Alexandre David, Wang Yi, 1999 .

Statistical Model Checking for Stochastic Hybrid Systems

Kim G. Larsen, Marius Mikucionis, Axel Legay, 2012, HSB.

A Tool Architecture for the Next Generation of Uppaal

Wang Yi, Kim G. Larsen, Gerd Behrmann, 2002, 10th Anniversary Colloquium of UNU/IIST.

Guided Controller Synthesis for Climate Controller Using Uppaal Tiga

Kim G. Larsen, Jacob Illum Rasmussen, Alexandre David, 2007, FORMATS.

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

Kim G. Larsen, Marius Mikucionis, Arne Skou, 2015, Sci. Comput. Program..

Proceedings of 2009 International Conference on Software Testing Verification and Validation

Brian Nielsen, Alexandre David, Kim Guldstrand Larsen, 2009, ICST 2009.

Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach

Kim G. Larsen, Marius Mikucionis, Axel Legay, 2012, IWIGP.

A Game-Theoretic Approach to Real-Time System Testing

Kim G. Larsen, Brian Nielsen, Alexandre David, 2008, 2008 Design, Automation and Test in Europe.

Modelling and analysis of a commercial field bus protocol

Wang Yi, Alexandre David, 2000, Proceedings 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000.

Moving from Specifications to Contracts in Component-Based Design

Kim G. Larsen, Axel Legay, Andrzej Wasowski, 2012, FASE.

New UPPAAL Architecture

Wang Yi, Kim Guldstrand Larsen, Gerd Behrmann, 2002 .

Widening the Schedulability of Hierarchical Scheduling Systems

Arne Skou, Alexandre David, Jin Hyun Kim, 2014, FACS.

Timed Testing under Partial Observability

Kim G. Larsen, Brian Nielsen, Alexandre David, 2009, 2009 International Conference on Software Testing Verification and Validation.

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

Kim G. Larsen, Didier Lime, Alexandre David, 2005, CONCUR.

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

Kim G. Larsen, Axel Legay, Andrzej Wasowski, 2010, HSCC '10.

Efficient controller synthesis for a fragment of $$\hbox {MTL}_{0, \infty }$$MTL0,∞

Kim G. Larsen, Guangyuan Li, Peter E. Bulychev, 2013, Acta Informatica.

Practical verification of real-time systems

Alexandre David, Alexandre David, 2001 .

Statistical Model Checking of Dynamic Networks of Stochastic Hybrid Automata

Kim G. Larsen, Axel Legay, Alexandre David, 2014, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

UPPAAL-Tiga: Time for Playing Games!

Kim G. Larsen, Gerd Behrmann, Didier Lime, 2007, CAV.

Reliable Sec-ondary Storage

Randy H. Katz, Peter M. Chen, Garth A. Gibson, 1994 .

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

Kim G. Larsen, Axel Legay, Guangyuan Li, 2014, 2014 14th International Conference on Application of Concurrency to System Design.

Playing Games with Timed Games

Kim G. Larsen, Thomas Chatain, Alexandre David, 2009, ADHS.

Statistical model checking for biological systems

Kim G. Larsen, Marius Mikucionis, Axel Legay, 2015, International Journal on Software Tools for Technology Transfer.

Application of Model-Checking Technology to Controller Synthesis

Kim G. Larsen, Jacob Illum Rasmussen, Jacob Deleuran Grunnet, 2010, FMCO.

Testing Real-Time Systems under Uncertainty

Kim G. Larsen, Marius Mikucionis, Brian Nielsen, 2010, FMCO.

Unification & Sharing in Timed Automata Verification

Wang Yi, Kim G. Larsen, Gerd Behrmann, 2003, SPIN.

An Interface Theory for Timed Systems

Axel Legay, Andrzej Wasowski, Kim Guldstrand Larsen, 2010 .

Schedulability of Herschel-Planck Revisited Using Statistical Model Checking

Kim G. Larsen, Marius Mikucionis, Axel Legay, 2012, ISoLA.

Checking and Distributing Statistical Model Checking

Kim G. Larsen, Marius Mikucionis, Axel Legay, 2012, NASA Formal Methods.

Timed Control with Observation Based and Stuttering Invariant Strategies

Kim G. Larsen, Jean-François Raskin, Didier Lime, 2007, ATVA.

Formal verification and simulation for platform screen doors and collision avoidance in subway control systems

Kim G. Larsen, Jian Guo, Jianqi Shi, 2014, International Journal on Software Tools for Technology Transfer.