- A Tutorial on Uppaal Gerd Behrmann, Alexandre David, and Kim G. Larsen
- Efficient On-the-fly Algorithm for Checking Alternating Timed Simulation
- Timed Testing under Partial Observability Alexandre David, Kim G. Larsen, Shuhao Li, Brian Nielsen
- To Store or Not To Store Gerd Behrmann1
- http://www.lsv.ens-cachan.fr/Publis/ In Proc. 9th Int. Conf. Tools and Algorithms for the Construction and Analysis of Systems (TACAS'2003) Warsaw, Poland, Apr. 2003,
- Uppaal-Tiga: Timed Games for Everyone Gerd Behrmann1
- Intro to UPPAAL Gerd Behrmann
- UppaalTiga: Timed Games for Everyone Gerd Behrmann 1 , Agnes Cougnard 1 , Alexandre David 1 , Emmanuel Fleury 2 ,
- UPPAAL TutorialUPPAAL TutorialUPPAAL Tutorial TimesTimes a Tool for Implementationa Tool for Implementation
- A Tool Architecture for the Next Generation of Alexandre David 1 , Gerd Behrmann 2 , Kim G. Larsen 2 , and Wang Yi 1
- UL ++ : an Object Oriented Language for Hiearchical Modelling
- Thomas Chatain, Alexandre David, and Kim G. Larsen
- SOFTWARE--PRACTICE AND EXPERIENCE Softw. Pract. Exper. 2000; 00:16 Prepared using speauth.cls [Version: 2002/09/23 v2.2]
- A RealTime Animator for Hybrid Systems Tobias Amnell, Alexandre David
- Efficient On-the-fly Algorithms for the Analysis of Timed Games
- A Tool Architecture for the Next Generation of
- Formal Veri cation of UML Statecharts with Real-time Extensions ?
- UPPAAL TutorialUPPAAL TutorialUPPAAL Tutorial Inside the ToolInside the Tool
- A Game-Theoretic Approach to Real-Time System Testing Alexandre David, Kim G. Larsen, Shuhao Li, Brian Nielsen
- Merging DBMs E#ciently --Extended Abstract Alexandre David 1
- Tools for ModelChecking Timed Systems 6.1. Introduction
- Kim Guldstrand Larsen Gerd Behrmann
- Verification of UML Statechart with Real-time
- Modeling and Analysis of a Field Bus Protocol Using Alexandre David
- Gerd Behrmann and Alexandre David
- IT Licentiate theses Practical Verification of RealTime Systems
- ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems
- Time for Statistical Model Checking of real-time Alexandre David1
- New Results on Timed Specifications Timothy Bourke2
- An Interface Theory for Timed Systems Alexandre David1
- Model-based Framework for Schedulability Analysis Using Uppaal 4.1
- Tools for Model-Checking Timed Systems 6.1. Introduction
- Playing Games with Timed Games , Thomas Chatain
- Systmes embarqus communicants Approches formelles
- UPPAAL-Tiga: Time for Playing Games! (Tool Paper)
- Model Checking Timed Automata with Priorities using DBM Subtraction
- Unification & Sharing in Timed Automata Verification
- A Formal Semantics for UML Statecharts Alexandre David Johann Deneux Julien d'Orso
- New Uppaal Architecture Alexandre David1
- Formal Verification of UML Statecharts with Real-Time Extensions
- Formal Verification of UML Statecharts with Real-time Alexandre David1
- A Real-Time Animator for Hybrid Systems Tobias Amnell, Alexandre David
- Timed Automata: Semantics, Algorithms and Tools Johan Bengtsson and Wang Yi
- UPPAAL TutorialUPPAAL TutorialUPPAAL Tutorial Modeling PatternsModeling Patterns
- Gerd Behrmann Kim Guldstrand Larsen
- Gerd Behrmann Kim Guldstrand Larsen
- Kim Guldstrand Larsen Gerd Behrmann
- Gerd Behrmann Kim Guldstrand Larsen
- Kim Guldstrand Larsen Gerd Behrmann
- Scheduling & Synthesis of Control Programs
- The ImpressiveThe Impressive PowerPower ofof StopwatchesStopwatches
- To Store or Not To Store Radek Pelanek
- IT Licentiate theses Practical Verification of Real-Time Systems
- Guided Synthesis of Control Programs Using UPPAAL Thomas Hune
- UPPAAL -Now, Next, and Future Tobias Amnell 1 Gerd Behrmann 2 Johan Bengtsson 1 Pedro R. D'Argenio 3
- A Formal Semantics for UML Statecharts Alexandre David Johann Deneux Julien d'Orso
- E#cient Onthefly Algorithms for the Analysis of Timed Games
- Hierarchical Modeling and Analysis of Timed Systems
- UPPAAL TutorialUPPAAL TutorialUPPAAL Tutorial Examples & ExercisesExamples & Exercises
- Efficient Timed Reachability Analysis using Clock Difference Diagrams
- Uppaal { Present and Future 1 Gerd Behrmann, Kim G. Larsen
- Hierarchical Modeling and Analysis of Timed Systems
- Tools for Real-Time UML: Formal Verification and Code Synthesis
- Merging DBMs Efficiently Extended Abstract Alexandre David1
- Unification & Sharing in Timed Automata Verification
- Hierarichcal Basic Research in Computer Science
- Modelling and Analysis of a Commercial Field Bus Protocol Alexandre David Wang Yi
- A Tutorial on Uppaal Gerd Behrmann, Alexandre David, and Kim G. Larsen
- UPPAAL TutorialUPPAAL TutorialUPPAAL Tutorial Inside UPPAALInside UPPAAL
- Timed Control with Observation Based and Stuttering Invariant Strategies
- Uppaal DBM Library Programmer's Reference
- Minimal DBM Substraction Alexandre David1
- New Uppaal Architecture Alexandre David 1 , Gerd Behrmann 2 , Kim G. Larsen 2 , and Wang Yi 1
- Minimal DBM Substraction Alexandre David 1 , Johan Hakansson 2 , Kim G. Larsen 1 , and Paul Pettersson 2
- The Impressive Power of Stopwatches Franck Cassez1
- A Tutorial on Uppaal Updated 25th October 2005
- Model Checking Timed Automata with Priorities using DBM Subtraction
- Duration Probabilistic Automata Danny Bgsted Poulsen
- Timed I/O Automata: A Complete Specification Theory for Real-time Systems
- UL ++ : an Object Oriented Language for Uppaal
- Methodologies for Specification of Real-Time Systems Using Timed I/O Automata
- Beyond Liveness Efficient Parameter Synthesis for
- Symbolic Reachability and Beyound
- The DBM Library of UPPAAL DBM Subtractions
- A Tool Architecture for the Next Generation of Alexandre David1
- Uppaal Tiga User-manual Gerd Behrmann1
- Efficient On-the-fly Algorithms for the Analysis of Timed Games
- UPPAAL TutorialUPPAAL TutorialUPPAAL Tutorial IntroductionIntroduction
- Guided Controller Synthesis for Climate Controller Using Uppaal Tiga
- UPPAAL -Now, Next, and Future Tobias Amnell1
- Formal Veri cation of UML Statecharts with Real-Time Extensions ?
- UPPAAL Implementation Secrets Gerd Behrmann2
- UPPAAL TutorialUPPAAL TutorialUPPAAL Tutorial Beyond UPPAALBeyond UPPAAL
- Modeling and Analysis of a Field Bus Protocol Using Alexandre David + Ulf Hammar # Wang Yi
- Tools for Real-Time UML: Formal Veri cation and Code Synthesis
- Cooperative Testing of Uncontrollable Timed Alexandre David, Kim G. Larsen, Shuhao Li, and Brian Nielsen
- Developing Uppaal over 15 Years Gerd Behrmann1
- Gerd Behrmann and Alexandre David
- Verification of UML Statechart with Realtime
- Modelling and Analysis of a Commercial Field Bus Protocol Alexandre David Wang Yi
- UPPAAL TutorialUPPAAL TutorialUPPAAL Tutorial CoVerCoVer TestTest--Case Selection andCase Selection and
- Noname manuscript No. (will be inserted by the editor)
- Optimal Infinite Runs in One-Clock Priced Timed Automata
- Submitted to: Bulychev, David, Larsen, Legay, Mikucionis
- Application of Model-Checking Technology to Controller Synthesis
- Statistical Model Checking for Networks of Priced Timed Automata
- Submitted to: c P. Bulychev, A. David, K.G. Larsen, A. Legay & M. Mikucionis
- Checking & Distributing Statistical Model Peter Bulychev1
- Moving from Specifications to Contracts in Component-based Design
- Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic
- TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets
- Submitted to: P. Bulychev, A. David, K. G. Larsen, A. Legay, M. Mikucionis, D. B. Poulsen, Z. Wang
