Alexandre David
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
22
Venues
14
Active years
2000–2015
Best venue rank
A*
Where they publish
Papers
22 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | CCS | 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 |
| 2015 | ISORC | 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 |
| 2015 | TACAS | Uppaal Stratego. | Alexandre David, Peter Gjl Jensen, Kim Guldstrand Larsen, Marius Mikucionis, Jakob Haahr Taankvist |
| 2014 | ATVA | On Time with Minimal Expected Cost! | Alexandre David, Peter Gjl Jensen, Kim Guldstrand Larsen, Axel Legay, Didier Lime, Mathias Grund Srensen, Jakob Haahr Taankvist |
| 2014 | TASE | 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 |
| 2012 | ATVA | Controllers with Minimal Observation Power (Application to Timed Systems). | Peter E. Bulychev, Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Jean-Franois Raskin, Pierre-Alain Reynier |
| 2012 | DATE | 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 |
| 2012 | FASE | 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 |
| 2012 | ISoLA | Schedulability of Herschel-Planck Revisited Using Statistical Model Checking. | Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis |
| 2012 | ISoLA | Runtime Verification of Biological Systems. | Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bgsted Poulsen, Sean Sedwards |
| 2012 | LPAR | Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic. | Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Guangyuan Li, Danny Bgsted Poulsen, Amlie Stainer |
| 2012 | RV | Rewrite-Based Statistical Model Checking of WMTL. | Peter E. Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Guangyuan Li, Danny Bgsted Poulsen |
| 2012 | TACAS | TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets. | Alexandre David, Lasse Jacobsen, Morten Jacobsen, Kenneth Yrke Jrgensen, Mikael H. Mller, Jir Srba |
| 2011 | CAV | Time for Statistical Model Checking of Real-Time Systems. | Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Zheng Wang |
| 2010 | ATVA | ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems. | Alexandre David, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski |
| 2009 | ICST | Timed Testing under Partial Observability. | Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen |
| 2008 | DATE | A Game-Theoretic Approach to Real-Time System Testing. | Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen |
| 2007 | ATVA | Timed Control with Observation Based and Stuttering Invariant Strategies. | Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Didier Lime, Jean-Franois Raskin |
| 2007 | CAV | UPPAAL-Tiga: Time for Playing Games! | Gerd Behrmann, Agns Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime |
| 2005 | CONCUR | Efficient On-the-Fly Algorithms for the Analysis of Timed Games. | Franck Cassez, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime |
| 2002 | FASE | Formal Verification of UML Statecharts with Real-Time Extensions. | Alexandre David, M. Oliver Mller, Wang Yi |
| 2000 | ECRTS | Modelling and analysis of a commercial field bus protocol. | Alexandre David, Wang Yi |