Подписаться
Alexandre David
Alexandre David
Senior Software Engineer, Google Inc.
Подтвержден адрес электронной почты в домене cs.aau.dk - Главная страница
Название
Процитировано
Процитировано
Год
A Tutorial on Uppaal
G Behrmann, A David, KG Larsen
Formal methods for the design of real-time systems, 200-236, 2004
25212004
Uppaal SMC tutorial
A David, KG Larsen, A Legay, M Mikučionis, DB Poulsen
International journal on software tools for technology transfer 17 (4), 397-415, 2015
6452015
Uppaal 4.0
G Behrmann, A David, KG Larsen, J Håkansson, P Pettersson, W Yi, ...
QEST 6, 125-126, 2006
5642006
Efficient on-the-fly algorithms for the analysis of timed games
F Cassez, A David, E Fleury, KG Larsen, D Lime
CONCUR 2005–Concurrency Theory: 16th International Conference, CONCUR 2005 …, 2005
4132005
UPPAAL-Tiga: Time for Playing Games! (Tool Paper)
G Behrmann, A Cougnard, A David, E Fleury, KG Larsen, D Lime
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007
3912007
Uppaal stratego
A David, PG Jensen, KG Larsen, M Mikučionis, JH Taankvist
Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015
2402015
Timed I/O automata: a complete specification theory for real-time systems
A David, KG Larsen, A Legay, U Nyman, A Wasowski
Proceedings of the 13th ACM international conference on Hybrid systems …, 2010
2342010
UPPAAL-SMC: Statistical model checking for priced timed automata
P Bulychev, A David, KG Larsen, M Mikučionis, DB Poulsen, A Legay, ...
arXiv preprint arXiv:1207.1272, 2012
2202012
Statistical model checking for networks of priced timed automata
A David, KG Larsen, A Legay, M Mikučionis, DB Poulsen, J Van Vliet, ...
International conference on formal modeling and analysis of timed systems, 80-96, 2011
2162011
Time for statistical model checking of real-time systems
A David, KG Larsen, A Legay, M Mikučionis, Z Wang
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
1982011
A tutorial on Uppaal 4.0
G Behrmann, A David, KG Larsen
Department of computer science, Aalborg university 1 (1), 1-48, 2006
1942006
Formal verification of UML statecharts with real-time extensions
A David, MO Möller, W Yi
International Conference on Fundamental Approaches to Software Engineering …, 2002
1762002
UPPAAL-now, next, and future
T Amnell, G Behrmann, J Bengtsson, PR D’argenio, A David, A Fehnker, ...
Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP …, 2001
1572001
UppaaL Implementation Secrets
G Behrmann, J Bengtsson, A David, KG Larsen, P Pettersson, W Yi
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International …, 2002
1552002
Model-based framework for schedulability analysis using UPPAAL 4.1
A David, J Illum, KG Larsen, A Skou
Model-based design for embedded systems, 117-144, 2018
1412018
Moving from specifications to contracts in component-based design
SS Bauer, A David, R Hennicker, K Guldstrand Larsen, A Legay, ...
Fundamental Approaches to Software Engineering: 15th International …, 2012
1342012
Developing UPPAAL over 15 years
G Behrmann, A David, KG Larsen, P Pettersson, W Yi
Software: Practice and Experience 41 (2), 133-142, 2011
1272011
Uppaal-present and future
G Behrmann, KG Larsen, O Moller, A David, P Pettersson, W Yi
Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No …, 2001
1172001
Statistical model checking for stochastic hybrid systems
A David, D Du, KG Larsen, A Legay, M Mikučionis, DB Poulsen, ...
arXiv preprint arXiv:1208.3856, 2012
1152012
TAPAAL 2.0: Integrated development environment for timed-arc Petri nets
A David, L Jacobsen, M Jacobsen, KY Jørgensen, MH Møller, J Srba
Tools and Algorithms for the Construction and Analysis of Systems: 18th …, 2012
1082012
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20