Alexandre David
发表
Axel Legay,
Kim Guldstrand,
Larsen,
2016
.
Alexandre David,
Alexandre David,
2003
.
Wang Yi,
Paul Pettersson,
Elena Fersman,
2001
.
Kim G. Larsen,
Marius Mikucionis,
Axel Legay,
2013,
NASA Formal Methods.
Kim G. Larsen,
Marius Mikucionis,
Axel Legay,
2012,
HSB.
Kim G. Larsen,
Marius Mikucionis,
Axel Legay,
2011,
FORMATS.
Kim Guldstrand Larsen,
Gerd Behrmann,
Alexandre David,
2004,
Lecture Notes in Computer Science.
K. Larsen,
Axel Legay,
Ulrik Nyman,
2015,
International Journal on Software Tools for Technology Transfer.
Kim G. Larsen,
Axel Legay,
Andrzej Wasowski,
2012,
FASE.
K. Larsen,
D. Lime,
Axel Legay,
2011
.
Kim G. Larsen,
Timothy Bourke,
Axel Legay,
2010,
WADT.
Kim G. Larsen,
Axel Legay,
Andrzej Wasowski,
2010,
HSCC '10.
Kim G. Larsen,
Axel Legay,
Andrzej Wasowski,
2009,
FMCO.
Kim G. Larsen,
Marius Mikucionis,
Axel Legay,
2011,
CAV.
Kim G. Larsen,
Marius Mikucionis,
Axel Legay,
2012,
ISoLA.
Kim G. Larsen,
Axel Legay,
Guangyuan Li,
2012,
LPAR.
Kim G. Larsen,
Marius Mikucionis,
Axel Legay,
2012,
IWIGP.
Kim G. Larsen,
Jean-François Raskin,
Didier Lime,
2007,
ATVA.
Kim G. Larsen,
Jacob Illum Rasmussen,
Alexandre David,
2007,
FORMATS.
Kim G. Larsen,
Gerd Behrmann,
Didier Lime,
2007,
CAV.
Kim G. Larsen,
Didier Lime,
Alexandre David,
2005,
CONCUR.
Kim G. Larsen,
Gerd Behrmann,
Alexandre David,
2004,
SFM.
Wang Yi,
Kim G. Larsen,
Paul Pettersson,
2002,
FTRTFT.
Wang Yi,
Kim G. Larsen,
Paul Pettersson,
2011,
Softw. Pract. Exp..
Kim G. Larsen,
Axel Legay,
Alexandre David,
2014,
ATVA.
Kim Guldstrand Larsen,
Arne Skou,
Jacob Illum Rasmussen,
2018,
Model-Based Design for Embedded Systems.
Kim G. Larsen,
Marius Mikucionis,
Arne Skou,
2016,
Sci. Comput. Program..
Kim G. Larsen,
Marius Mikucionis,
Arne Skou,
2015,
Sci. Comput. Program..
Kim G. Larsen,
Axel Legay,
Alexandre David,
2015,
International Journal on Software Tools for Technology Transfer.
Kim G. Larsen,
Marius Mikucionis,
Axel Legay,
2012,
ISoLA.
Kim G. Larsen,
Axel Legay,
Anders P. Ravn,
2012,
International Journal on Software Tools for Technology Transfer.
Kim G. Larsen,
Axel Legay,
Andrzej Wasowski,
2010,
ATVA.
Kim G. Larsen,
Axel Legay,
Guangyuan Li,
2012,
RV.
Kim G. Larsen,
Marius Mikucionis,
Axel Legay,
2012,
QAPL.
Wang Yi,
K.G. Larsen,
G. Behrmann,
2001,
Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).
Sébastien Gérard,
François Terrier,
Alexandre David,
2000,
ECOOP Workshops.
Kim G. Larsen,
Marius Mikucionis,
Axel Legay,
2011,
PDMC.
Jirí Srba,
Alexandre David,
Kenneth Yrke Jørgensen,
2012,
TACAS.
Kim G. Larsen,
Brian Nielsen,
Alexandre David,
2008,
2008 Design, Automation and Test in Europe.
Kim G. Larsen,
Marius Mikucionis,
Arne Skou,
2012,
Science China Information Sciences.
J. Bengtsson,
Fredrik Larsson,
P. Pettersson,
1999
.
Kim G. Larsen,
Marius Mikucionis,
Axel Legay,
2015,
International Journal on Software Tools for Technology Transfer.
K. Larsen,
J. Katoen,
H. Hermanns,
2022
.
Kim G. Larsen,
Axel Legay,
Guangyuan Li,
2014,
2014 14th International Conference on Application of Concurrency to System Design.
Wang Yi,
Kim G. Larsen,
Gerd Behrmann,
2002,
10th Anniversary Colloquium of UNU/IIST.
Wang Yi,
Alexandre David,
M. Oliver Möller,
2002,
FASE.
Peter E. Bulychev,
K. Larsen,
Guangyuan Li,
2013,
Acta Informatica.
Kim Guldstrand Larsen,
Guangyuan Li,
Peter E. Bulychev,
2014
.
Kim G. Larsen,
Jirí Srba,
Paul Pettersson,
2013,
Communicating Embedded Systems.
Kim G. Larsen,
Axel Legay,
Holger Hermanns,
2012,
2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Kim G. Larsen,
John Håkansson,
Paul Pettersson,
2006,
FORMATS.
Jacob H. Smedegård,
K. Larsen,
Alexandre David,
2011
.
Kim G. Larsen,
Gerd Behrmann,
Alexandre David,
2006
.
Alexandre David,
2005
.
Kim Guldstrand Larsen,
Paul Pettersson,
Alexandre David,
2004
.
Kim G. Larsen,
P. Pettersson,
Alexandre David,
2004
.
Alexandre David,
M. Oliver Möller,
M. Möller,
2001
.
Kim G. Larsen,
Axel Legay,
Alexandre David,
2014,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Kim G. Larsen,
Jacob Illum Rasmussen,
Jacob Deleuran Grunnet,
2010,
FMCO.
K. Larsen,
Axel Legay,
Zheng Wang,
2011,
ArXiv.
Peter E. Bulychev,
K. Larsen,
Axel Legay,
2011
.
Kim G. Larsen,
Alexandre David,
Huixing Fang,
2014,
FORMATS.
Kim G. Larsen,
Axel Legay,
Andrzej Wasowski,
2013,
International Journal on Software Tools for Technology Transfer.
Alexandre David,
Alexandre David,
2001
.
Marius Mikucionis,
Insup Lee,
Arne Skou,
2015,
2015 IEEE 18th International Symposium on Real-Time Distributed Computing.
Kim G. Larsen,
Peter E. Bulychev,
Thomas Chatain,
2009,
FORMATS.
K. Larsen,
Shuhao Li,
B. Nielsen,
2009,
2009 International Conference on Software Testing Verification and Validation.
Wang Yi,
Kim G. Larsen,
Gerd Behrmann,
2003,
SPIN.
Holger Hermanns,
Alexandre David,
Jonathan Bogdoll,
2012,
SPIN.