|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
|
|
Results
Found 39 publication records. Showing 39 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi |
Developing UPPAAL over 15 years. |
Softw., Pract. Exper. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Axel Legay |
Distributed Parametric and Statistical Model Checking |
PDMC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2011 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Zheng Wang |
Time for Statistical Model Checking of Real-Time Systems. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre David, Jacob Deleuran Grunnet, Jan Jakob Jessen, Kim Guldstrand Larsen, Jacob Illum Rasmussen |
Application of Model-Checking Technology to Controller Synthesis. |
FMCO |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Marius Mikucionis, Brian Nielsen |
Testing Real-Time Systems under Uncertainty. |
FMCO |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Timothy Bourke, Alexandre David, Kim G. Larsen, Axel Legay, Didier Lime, Ulrik Nyman, Andrzej Wasowski |
New Results on Timed Specifications. |
WADT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
specification theory, timed i/o automata, real-time, interfaces, refinement |
| 1 | Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen |
Timed Testing under Partial Observability. |
ICST |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter E. Bulychev, Thomas Chatain, Alexandre David, Kim Guldstrand Larsen |
Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation. |
FORMATS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen |
Cooperative Testing of Timed Systems. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre David, Brian Nielsen |
Model-Driven Development of Embedded Real-Time Systems. |
ERCIM News |
2008 |
DBLP BibTeX RDF |
|
| 1 | Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen |
A Game-Theoretic Approach to Real-Time System Testing. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Jakob Jessen, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Alexandre David |
Guided Controller Synthesis for Climate Controller Using Uppaal Tiga. |
FORMATS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Didier Lime, Jean-François Raskin |
Timed Control with Observation Based and Stuttering Invariant Strategies. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime |
UPPAAL-Tiga: Time for Playing Games! |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre David, John Håkansson, Kim Guldstrand Larsen, Paul Pettersson |
Model Checking Timed Automata with Priorities Using DBM Subtraction. |
FORMATS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi, Martijn Hendriks |
UPPAAL 4.0. |
QEST |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Franck Cassez, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime |
Efficient On-the-Fly Algorithms for the Analysis of Timed Games. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen |
A Tutorial on Uppaal. |
SFM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre David |
Hierarchical modeling and analysis of timed systems. |
|
2003 |
RDF |
|
| 1 | Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi |
Unification & Sharing in Timed Automata Verification. |
SPIN |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre David, M. Oliver Möller, Wang Yi |
Formal Verification of UML Statecharts with Real-Time Extensions. |
FASE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi |
UPPAAL Implementation Secrets. |
FTRTFT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Sébastien Gérard, Alexandre David, François Terrier |
Specification, Implementation, and Validation of Object-Oriented Embedded Systems. |
ECOOP Workshops |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre David, Wang Yi |
Modelling and analysis of a commercial field bus protocol. |
ECRTS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Amnell, Alexandre David, Wang Yi |
A Real-Time Animator for Hybrid Systems. |
LCTES |
2000 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #39 of 39 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")