Alexandre David
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2016
- [j17]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: 103-130 (2016) - 2015
- [j16]Benoit Vallade, Alexandre David, Tomoharu Nakashima:
Three Layers Framework Concept for Adjustable Artificial Intelligence. JACIII 19(6): 867-879 (2015) - [j15]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: 236-260 (2015) - [j14]Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Louis-Marie Traonouez, Andrzej Wasowski:
Real-time specifications. STTT 17(1): 17-45 (2015) - [j13]Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis:
Schedulability of Herschel revisited using statistical model checking. STTT 17(2): 187-199 (2015) - [j12]Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards:
Statistical model checking for biological systems. STTT 17(3): 351-367 (2015) - [j11]Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen:
Uppaal SMC tutorial. STTT 17(4): 397-415 (2015) - [c55]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: 21-28 - [c54]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: 74-83 - [c53]Alexandre David, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marius Mikucionis, Jakob Haahr Taankvist:
Uppaal Stratego. TACAS 2015: 206-211 - 2014
- [j10]Peter E. Bulychev, Alexandre David, Kim G. Larsen, Guangyuan Li:
Efficient controller synthesis for a fragment of MTL0,∞. Acta Inf. 51(3-4): 165-192 (2014) - [j9]Leo Hatvani, Alexandre David, Cristina Cerschi Seceleanu, Paul Pettersson:
Adaptive Task Automata with Earliest-Deadline-First Scheduling. ECEASST 70 (2014) - [j8]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. STTT 16(4): 339-361 (2014) - [c52]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: 32-41 - [c51]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: 129-145 - [c50]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: 209-227 - [c49]Alexandre David, Huixing Fang, Kim Guldstrand Larsen, Zhengkui Zhang:
Verification and Performance Evaluation of Timed Game Strategies. FORMATS 2014: 100-114 - [c48]Raluca Marinescu, Henrik Kaijser, Marius Mikucionis, Cristina Seceleanu, Henrik Lönn, Alexandre David:
Analyzing Industrial Architectural Models by Simulation and Model-Checking. FTSCS 2014: 189-205 - [c47]Benoit Vallade, Alexandre David, Tomoharu Nakashima:
Proposition of a three layers architecture for adaptable artificial intelligence. SCIS&ISIS 2014: 247-252 - [c46]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: 126-130 - 2013
- [j7]Alexandre David, Kim G. Larsen, Axel Legay, Danny Bøgsted Poulsen:
Statistical Model Checking of Dynamic Networks of Stochastic Hybrid Automata. ECEASST 66 (2013) - [j6]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. Wireless Personal Communications 69(1): 427-447 (2013) - [c45]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: 61-78 - [c44]Alexandre David, Dehui Du, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis:
Optimizing Control Strategy Using Statistical Model Checking. NASA Formal Methods 2013: 352-367 - [c43]Alexandre David, Kim G. Larsen, Marius Mikucionis, Omer Nguena-Timo, Antoine Rollet:
Remote Testing of Timed Specifications. ICTSS 2013: 65-81 - 2012
- [j5]Alexandre David, Dehui Du, Kim G. Larsen, Marius Mikucionis, Arne Skou:
An evaluation framework for energy aware buildings using statistical model checking. SCIENCE CHINA Information Sciences 55(12): 2694-2707 (2012) - [j4]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. STTT 14(6): 703-720 (2012) - [c42]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: 223-237 - [c41]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: 370-375 - [c40]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: 43-58 - [c39]Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis:
Schedulability of Herschel-Planck Revisited Using Statistical Model Checking. ISoLA (2) 2012: 293-307 - [c38]Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards:
Runtime Verification of Biological Systems. ISoLA (1) 2012: 388-404 - [c37]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: 168-182 - [c36]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: 449-463 - [c35]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: 260-275 - [c34]Jonathan Bogdoll, Alexandre David, Arnd Hartmanns, Holger Hermanns:
mctau: Bridging the Gap between Modest and UPPAAL. SPIN 2012: 227-233 - [c33]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: 492-497 - [c32]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: 1-14 - [c31]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: 1-16 - [c30]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: 122-136 - [c29]Alexandre David, Lasse Jacobsen, Morten Jacobsen, Jirí Srba:
A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets. SSV 2012: 125-140 - [i3]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 abs/1207.1276 (2012) - 2011
- [j3]Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi:
Developing UPPAAL over 15 years. Softw., Pract. Exper. 41(2): 133-142 (2011) - [c28]Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Zheng Wang:
Time for Statistical Model Checking of Real-Time Systems. CAV 2011: 349-355 - [c27]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: 80-96 - [c26]Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Axel Legay:
Distributed Parametric and Statistical Model Checking. PDMC 2011: 30-42 - [i2]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 abs/1106.3961 (2011) - 2010
- [j2]Shuhao Li, Sandie Balaguer, Alexandre David, Kim G. Larsen, Brian Nielsen, Saulius Pusinskas:
Scenario-based verification of real-time systems using Uppaal. Formal Methods in System Design 37(2-3): 200-264 (2010) - [c25]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: 365-370 - [c24]Alexandre David, Jacob Deleuran Grunnet, Jan Jakob Jessen, Kim Guldstrand Larsen, Jacob Illum Rasmussen:
Application of Model-Checking Technology to Controller Synthesis. FMCO 2010: 336-351 - [c23]Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Marius Mikucionis, Brian Nielsen:
Testing Real-Time Systems under Uncertainty. FMCO 2010: 352-371 - [c22]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: 91-100 - [c21]Timothy Bourke, Alexandre David, Kim G. Larsen, Axel Legay, Didier Lime, Ulrik Nyman, Andrzej Wasowski:
New Results on Timed Specifications. WADT 2010: 175-192
2000 – 2009
- 2009
- [c20]
- [c19]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: 290-310 - [c18]Peter E. Bulychev, Thomas Chatain, Alexandre David, Kim Guldstrand Larsen:
Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation. FORMATS 2009: 73-87 - [c17]Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen:
Timed Testing under Partial Observability. ICST 2009: 61-70 - 2008
- [j1]Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen:
Cooperative Testing of Timed Systems. Electr. Notes Theor. Comput. Sci. 220(1): 79-92 (2008) - [c16]Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen:
A Game-Theoretic Approach to Real-Time System Testing. DATE 2008: 486-491 - [i1]Alexandre David, Brian Nielsen:
Model-Driven Development of Embedded Real-Time Systems. ERCIM News 2008(75) (2008) - 2007
- [c15]Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Didier Lime, Jean-François Raskin:
Timed Control with Observation Based and Stuttering Invariant Strategies. ATVA 2007: 192-206 - [c14]Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime:
UPPAAL-Tiga: Time for Playing Games! CAV 2007: 121-125 - [c13]Jan Jakob Jessen, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Alexandre David:
Guided Controller Synthesis for Climate Controller Using Uppaal Tiga. FORMATS 2007: 227-240 - 2006
- [c12]Alexandre David, John Håkansson, Kim Guldstrand Larsen, Paul Pettersson:
Model Checking Timed Automata with Priorities Using DBM Subtraction. FORMATS 2006: 128-142 - [c11]Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi, Martijn Hendriks:
UPPAAL 4.0. QEST 2006: 125-126 - 2005
- [c10]Franck Cassez, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime:
Efficient On-the-Fly Algorithms for the Analysis of Timed Games. CONCUR 2005: 66-80 - 2004
- [c9]
- 2003
- [b1]Alexandre David:
Hierarchical modeling and analysis of timed systems. Universitet Uppsala 2003, pp. I-VIII, 1-178 - [c8]Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi:
Unification & Sharing in Timed Automata Verification. SPIN 2003: 225-229 - 2002
- [c7]Alexandre David, M. Oliver Möller, Wang Yi:
Formal Verification of UML Statecharts with Real-Time Extensions. FASE 2002: 218-232 - [c6]Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi:
UPPAAL Implementation Secrets. FTRTFT 2002: 3-22 - [c5]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: 352-366 - 2001
- [c4]Sébastien Gérard, Alexandre David, François Terrier:
Specification, Implementation, and Validation of Object-Oriented Embedded Systems. ECOOP Workshops 2001: 72-85 - 2000
- [c3]Alexandre David, Wang Yi:
Modelling and analysis of a commercial field bus protocol. ECRTS 2000: 165-172 - [c2]Tobias Amnell, Alexandre David, Wang Yi:
A Real-Time Animator for Hybrid Systems. LCTES 2000: 134-145 - [c1]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: 99-124
Coauthor Index
Kim G. Larsen
aka: Kim Guldstrand Larsen
aka: Kim Guldstrand Larsen
[j17] [j15] [j14] [j13] [j12] [j11] [c55] [c54] [c53] [j10] [j8] [c52] [c51] [c50] [c49] [c46] [j7] [c45] [c44] [c43] [j5] [j4] [c42] [c41] [c40] [c39] [c38] [c37] [c36] [c35] [c32] [c31] [c30] [i3] [j3] [c28] [c27] [c26] [i2] [j2] [c25] [c24] [c23] [c22] [c21] [c20] [c19] [c18] [c17] [j1] [c16] [c15] [c14] [c13] [c12] [c11] [c10] [c9] [c8] [c6] [c5] [c1]
last updated on 2019-01-09 01:04 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint