ask others

Alexandre David

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2016
[j17]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/BoudjadarDKLMNS16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/BoudjadarDKLMNS16
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jaciii/ValladeDN15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jaciii/ValladeDN15
Benoit Vallade, Alexandre David, Tomoharu Nakashima:
Three Layers Framework Concept for Adjustable Artificial Intelligence. JACIII 19(6): 867-879 (2015)
[j15]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/BoudjadarDKLMNS15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/BoudjadarDKLMNS15
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/DavidLLNTW15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/DavidLLNTW15
Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Louis-Marie Traonouez, Andrzej Wasowski:
Real-time specifications. STTT 17(1): 17-45 (2015)
[j13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/DavidLLM15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/DavidLLM15
Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis:
Schedulability of Herschel revisited using statistical model checking. STTT 17(2): 187-199 (2015)
[j12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/DavidLLMPS15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/DavidLLMPS15
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/DavidLLMP15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/DavidLLMP15
Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen:
Uppaal SMC tutorial. STTT 17(4): 397-415 (2015)
[c55]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/ccs/DavidDHLLOP15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ccs/DavidDHLLOP15
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]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/isorc/BoudjadarKDLMNS15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/isorc/BoudjadarKDLMNS15
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tacas/DavidJLMT15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tacas/DavidJLMT15
Alexandre David, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marius Mikucionis, Jakob Haahr Taankvist:
Uppaal Stratego. TACAS 2015: 206-211
2014
[j10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/BulychevDLL14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/acta/BulychevDLL14
Peter E. Bulychev, Alexandre David, Kim G. Larsen, Guangyuan Li:
Efficient controller synthesis for a fragment of MTL_0,∞. Acta Inf. 51(3-4): 165-192 (2014)
[j9]
- view
  - electronic edition @ tu-berlin.de
- export record
  dblp key:
  - journals/eceasst/HatvaniDSP14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/eceasst/HatvaniDSP14
Leo Hatvani, Alexandre David, Cristina Cerschi Seceleanu, Paul Pettersson:
Adaptive Task Automata with Earliest-Deadline-First Scheduling. ECEASST 70 (2014)
[j8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/FangSZGLD14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/FangSZGLD14
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]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/acsd/DavidLLLP14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/acsd/DavidLLLP14
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/atva/DavidJLLLST14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/atva/DavidJLLLST14
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/facs2/BoudjadarDKLMNS14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/facs2/BoudjadarDKLMNS14
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/formats/DavidFLZ14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/formats/DavidFLZ14
Alexandre David, Huixing Fang, Kim Guldstrand Larsen, Zhengkui Zhang:
Verification and Performance Evaluation of Timed Game Strategies. FORMATS 2014: 100-114
[c48]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ftscs/MarinescuKMSLD14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ftscs/MarinescuKMSLD14
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/scisisis/ValladeDN14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/scisisis/ValladeDN14
Benoit Vallade, Alexandre David, Tomoharu Nakashima:
Proposition of a three layers architecture for adaptable artificial intelligence. SCIS&ISIS 2014: 247-252
[c46]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/tase/BoudjadarDKLMNS14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tase/BoudjadarDKLMNS14
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]
- view
  - electronic edition @ tu-berlin.de
- export record
  dblp key:
  - journals/eceasst/DavidLLP13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/eceasst/DavidLLP13
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/wpc/PaulMDSM13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/wpc/PaulMDSM13
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/facs2/BoudjadarDKLMNS13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/facs2/BoudjadarDKLMNS13
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/nfm/DavidDLLM13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/nfm/DavidDLLM13
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/pts/DavidLMNR13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/pts/DavidLMNR13
Alexandre David, Kim G. Larsen, Marius Mikucionis, Omer Nguena-Timo, Antoine Rollet:
Remote Testing of Timed Specifications. ICTSS 2013: 65-81
2012
[j5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/chinaf/DavidDLMS12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/chinaf/DavidDLMS12
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/DavidLLMNRSW12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/DavidLLMNRSW12
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/atva/BulychevCDLRR12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/atva/BulychevCDLRR12
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]
- view
- export record
  dblp key:
  - conf/date/BozgaDHHLLT12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/date/BozgaDHHLLT12
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fase/BauerDHLLNW12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fase/BauerDHLLNW12
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/isola/DavidLLM12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/isola/DavidLLM12
Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis:
Schedulability of Herschel-Planck Revisited Using Statistical Model Checking. ISoLA (2) 2012: 293-307
[c38]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/isola/DavidLLMPS12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/isola/DavidLLMPS12
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpar/BulychevDLLLPS12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpar/BulychevDLLLPS12
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/nfm/BulychevDLLMP12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/nfm/BulychevDLLMP12
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rv/BulychevDLLLP12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rv/BulychevDLLLP12
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/spin/BogdollDHH12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/spin/BogdollDHH12
Jonathan Bogdoll, Alexandre David, Arnd Hartmanns, Holger Hermanns:
mctau: Bridging the Gap between Modest and UPPAAL. SPIN 2012: 227-233
[c33]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tacas/DavidJJJMS12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tacas/DavidJJJMS12
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]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1202-4506
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1202-4506
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]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1207-1272
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1207-1272
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]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1208-3856
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1208-3856
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]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1211-6194
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1211-6194
Alexandre David, Lasse Jacobsen, Morten Jacobsen, Jirí Srba:
A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets. SSV 2012: 125-140
[i3]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1207-1276
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1207-1276
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/spe/BehrmannDLPY11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/spe/BehrmannDLPY11
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/DavidLLMW11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/DavidLLMW11
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/formats/DavidLLMPVW11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/formats/DavidLLMPVW11
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]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1111-0370
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1111-0370
Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Axel Legay:
Distributed Parametric and Statistical Model Checking. PDMC 2011: 30-42
[i2]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1106-3961
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1106-3961
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/LiBDLNP10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fmsd/LiBDLNP10
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/atva/DavidLLNW10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/atva/DavidLLNW10
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fmco/DavidGJLR10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fmco/DavidGJLR10
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fmco/DavidLLMN10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fmco/DavidLLMN10
Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Marius Mikucionis, Brian Nielsen:
Testing Real-Time Systems under Uncertainty. FMCO 2010: 352-371
[c22]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/hybrid/DavidLLNW10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/hybrid/DavidLLNW10
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wadt/BourkeDLLLNW10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wadt/BourkeDLLLNW10
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

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c20]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/adhs/ChatainDL09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/adhs/ChatainDL09
Thomas Chatain, Alexandre David, Kim G. Larsen:
Playing Games with Timed Games. ADHS 2009: 238-243
[c19]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fmco/DavidLLNW09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fmco/DavidLLNW09
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/formats/BulychevCDL09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/formats/BulychevCDL09
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]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/icst/DavidLLN09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icst/DavidLLN09
Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen:
Timed Testing under Partial Observability. ICST 2009: 61-70
2008
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/DavidLLN08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/DavidLLN08
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]
- view
- export record
  dblp key:
  - conf/date/DavidLLN08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/date/DavidLLN08
Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen:
A Game-Theoretic Approach to Real-Time System Testing. DATE 2008: 486-491
[i1]
- view
  - electronic edition @ ercim.eu
- export record
  dblp key:
  - journals/ercim/DavidN08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ercim/DavidN08
Alexandre David, Brian Nielsen:
Model-Driven Development of Embedded Real-Time Systems. ERCIM News 2008(75) (2008)
2007
[c15]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/atva/CassezDLLR07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/atva/CassezDLLR07
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/BehrmannCDFLL07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/BehrmannCDFLL07
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/formats/JessenRLD07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/formats/JessenRLD07
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/formats/DavidHLP06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/formats/DavidHLP06
Alexandre David, John Håkansson, Kim Guldstrand Larsen, Paul Pettersson:
Model Checking Timed Automata with Priorities Using DBM Subtraction. FORMATS 2006: 128-142
[c11]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/qest/BehrmannDLHPYH06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/qest/BehrmannDLHPYH06
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/CassezDFLL05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/CassezDFLL05
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sfm/BehrmannDL04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sfm/BehrmannDL04
Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen:
A Tutorial on Uppaal. SFM 2004: 200-236
2003
[b1]
- no documents available
- export record
  dblp key:
  - books/daglib/0009919
- ask others
- share record
  short URL:
  - https://dblp.org/rec/books/daglib/0009919
Alexandre David:
Hierarchical modeling and analysis of timed systems. Universitet Uppsala 2003, pp. I-VIII, 1-178
[c8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/spin/DavidBLY03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/spin/DavidBLY03
Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi:
Unification & Sharing in Timed Automata Verification. SPIN 2003: 225-229
2002
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fase/DavidMY02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fase/DavidMY02
Alexandre David, M. Oliver Möller, Wang Yi:
Formal Verification of UML Statecharts with Real-Time Extensions. FASE 2002: 218-232
[c6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ftrtft/BehrmannBDLPY02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ftrtft/BehrmannBDLPY02
Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi:
UPPAAL Implementation Secrets. FTRTFT 2002: 3-22
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/unu/DavidBLY02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/unu/DavidBLY02
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ecoopw/GerardDT01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecoopw/GerardDT01
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]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/ecrts/DavidY00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecrts/DavidY00
Alexandre David, Wang Yi:
Modelling and analysis of a commercial field bus protocol. ECRTS 2000: 165-172
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lctrts/AmnellDY00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lctrts/AmnellDY00
Tobias Amnell, Alexandre David, Wang Yi:
A Real-Time Animator for Hybrid Systems. LCTES 2000: 134-145
[c1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/movep/AmnellBBDDFHJLMPWY00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/movep/AmnellBBDDFHJLMPWY00
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

see FAQ

maintained by

at