Kim G. Larsen
发表
Kim G. Larsen,
Patricia Bouyer,
Nicolas Markey,
2015,
ArXiv.
Kim G. Larsen,
Axel Legay,
Andrzej Wasowski,
2011,
LATA.
Kim G. Larsen,
Marius Mikucionis,
Brian Nielsen,
2005,
EMSOFT.
Kim G. Larsen,
Giorgio Bacci,
Giovanni Bacci,
2017,
Log. Methods Comput. Sci..
Kim G. Larsen,
Jirí Srba,
Paul Pettersson,
2013,
Communicating Embedded Systems.
Kim G. Larsen,
K. Larsen,
1989,
Automatic Verification Methods for Finite State Systems.
Kim G. Larsen,
Jirí Srba,
Frederik M. Bønneland,
2019,
CONCUR.
Kim G. Larsen,
Marius Mikucionis,
Axel Legay,
2012,
ISoLA.
Kim G. Larsen,
Marius Mikucionis,
Kenneth Yrke Jørgensen,
2020,
ISoLA.
Kim G. Larsen,
Axel Legay,
Ulrich Fahrenberg,
2014,
FPS@ETAPS.
Wang Yi,
Kim G. Larsen,
K. Larsen,
1997,
Inf. Comput..
Kim G. Larsen,
Axel Legay,
Alexandre David,
2014,
ATVA.
Wang Yi,
Kim G. Larsen,
Paul Pettersson,
2002,
FTRTFT.
Kim G. Larsen,
Patricia Bouyer,
Nicolas Markey,
2007,
FoSSaCS.
Kim G. Larsen,
Patricia Bouyer,
Ed Brinksma,
2004,
HSCC.
Kim G. Larsen,
Marius Mikucionis,
Axel Legay,
2011,
CAV.
Kim G. Larsen,
Marius Mikucionis,
Peter Gjøl Jensen,
2015,
TACAS.
Kim G. Larsen,
Axel Legay,
Jirí Srba,
2012,
2012 Sixth International Symposium on Theoretical Aspects of Software Engineering.
Kim G. Larsen,
2017,
SOFSEM.
Kim G. Larsen,
Arne Skou,
Jens Chr. Godskesen,
1995,
PSTV.
Kim G. Larsen,
Giorgio Bacci,
Giovanni Bacci,
2013,
MFCS.
Kim G. Larsen,
Gerd Behrmann,
Jacob Illum Rasmussen,
2005,
PERV.
Kim G. Larsen,
Patricia Bouyer,
Gerd Behrmann,
2004,
International Journal on Software Tools for Technology Transfer.
Kim G. Larsen,
Brian Nielsen,
Paul Pettersson,
2003,
FORMATS.
Kim G. Larsen,
Brian Nielsen,
Shuhao Li,
2009,
FM.
Kim G. Larsen,
Marius Mikucionis,
Alexandre David,
2013,
ICTSS.
Kim G. Larsen,
2014,
MODELSWARD.
Kim G. Larsen,
Radu Mardare,
Samy Jaziri,
2014,
MFPS.
Kim G. Larsen,
Marius Mikucionis,
Jirí Srba,
2016,
IECON 2016 - 42nd Annual Conference of the IEEE Industrial Electronics Society.
Kim G. Larsen,
Radu Mardare,
Bingtian Xue,
2015,
J. Log. Algebraic Methods Program..
Kim G. Larsen,
Giorgio Bacci,
Giovanni Bacci,
2015,
Mathematical Structures in Computer Science.
Kim G. Larsen,
Finn Verner Jensen,
F. V. Jensen,
1987,
Theor. Comput. Sci..
Kim G. Larsen,
Arne Skou,
Gerd Behrmann,
2000,
Computer.
Scaling up Uppaal Automatic Verification of Real-Time Systems Using Compositionality and Abstraction
Kim G. Larsen,
Arne Skou,
Henrik Ejersbo Jensen,
2000,
FTRTFT.
Kim G. Larsen,
Tiziana Margaria,
Susanne Graf,
2019,
Lecture Notes in Computer Science.
Kim G. Larsen,
Igor Potapov,
Jirí Srba,
2018,
Theoretical Computer Science.
Kim G. Larsen,
Axel Legay,
Guangyuan Li,
2012,
LPAR.
Kim G. Larsen,
Gerd Behrmann,
Radek Pelánek,
2003,
CAV.
Kim G. Larsen,
Gerd Behrmann,
Jacob Illum Rasmussen,
2005,
FORMATS.
Kim G. Larsen,
K. Larsen,
2017,
TACAS.
Kim G. Larsen,
Lone Leth Thomsen,
Bent Thomsen,
2018,
Models, Mindsets, Meta.
Kim G. Larsen,
Marius Mikucionis,
Jirí Srba,
2020,
ATVA.
Kim G. Larsen,
Axel Legay,
Andrzej Wasowski,
2010,
ATVA.
Kim G. Larsen,
Patricia Bouyer,
Nicolas Markey,
2012,
2012 Ninth International Conference on Quantitative Evaluation of Systems.
Kim G. Larsen,
Gerd Behrmann,
Henrik Reif Andersen,
1998,
TACAS.
Kim G. Larsen,
Prakash Panangaden,
Radu Mardare,
2013,
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
Kim G. Larsen,
Axel Legay,
K. Larsen,
2016,
ISoLA.
Kim G. Larsen,
Florian Lorber,
Bernhard K. Aichernig,
2018,
ArXiv.
Kim G. Larsen,
Axel Legay,
Andrzej Wasowski,
2011,
Sci. Comput. Program..
Robin Milner,
Kim G. Larsen,
R. Milner,
1992,
Inf. Comput..
Kim G. Larsen,
Andrzej Wasowski,
Michael Huth,
2010,
Mathematical Structures in Computer Science.
Kim G. Larsen,
1987,
Theor. Comput. Sci..
Kim G. Larsen,
Luca Cardelli,
Radu Mardare,
2012,
Log. Methods Comput. Sci..
Kim G. Larsen,
Ulrich Fahrenberg,
Claus R. Thrane,
2010,
J. Log. Algebraic Methods Program..
Kim G. Larsen,
Jirí Srba,
Kenneth Yrke Jørgensen,
2011,
NASA Formal Methods.
Kim G. Larsen,
Giorgio Bacci,
Giovanni Bacci,
2014,
Horizons of the Mind.
Kim G. Larsen,
Florian Lorber,
Jirí Srba,
2019,
RSSRail.
Kim G. Larsen,
Jacob Illum Rasmussen,
K. Larsen,
2005,
FoSSaCS.
Kim G. Larsen,
K. Larsen,
2003,
EMSOFT.
Wang Yi,
Kim G. Larsen,
Uno Holmer,
1991,
CAV.
Kim G. Larsen,
Brian Nielsen,
Paul Pettersson,
2003,
FATES.
Wang Yi,
Kim G. Larsen,
Paul Pettersson,
1995,
Hybrid Systems.
Kim G. Larsen,
Ulrich Fahrenberg,
2018,
NIK.
Kim G. Larsen,
Insup Lee,
Axel Legay,
2016,
SIGBED.
Kim G. Larsen,
Bent Thomsen,
Kasper Søe Luckow,
2013,
JTRES '13.
Kim G. Larsen,
Jirí Srba,
Line Juhl,
2012,
J. Log. Algebraic Methods Program..
Kim G. Larsen,
Luca Aceto,
Patricia Bouyer,
1998,
Theor. Comput. Sci..
Kim G. Larsen,
Hans Hüttel,
K. Larsen,
1989,
Logic at Botik.
Kim G. Larsen,
Jens Chr. Godskesen,
K. Larsen,
1994,
Nord. J. Comput..
Kim G. Larsen,
Axel Legay,
K. Larsen,
2020,
ISoLA.
Kim G. Larsen,
Jirí Srba,
Jan Kretínský,
2015,
Acta Informatica.
Kim G. Larsen,
Radu Mardare,
Bingtian Xue,
2016,
FSTTCS.
Kim G. Larsen,
Bent Thomsen,
Petur Olsen,
2008,
JTRES '08.
Kim G. Larsen,
Radu Mardare,
Mathias Claus Jensen,
2018,
International Conference on Formal Modeling and Analysis of Timed Systems.
Kim G. Larsen,
Bernhard K. Aichernig,
Giovanni Bacci,
2019,
FM.
Kim G. Larsen,
Ulrich Fahrenberg,
Claus R. Thrane,
2011,
Theor. Comput. Sci..
Kim G. Larsen,
Axel Legay,
Holger Hermanns,
2012,
2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Kim G. Larsen,
Arne Skou,
Klaus Havelund,
1997,
Proceedings Real-Time Systems Symposium.
Kim G. Larsen,
Jirí Srba,
Peter Gjøl Jensen,
2016,
SPIN.
Kim G. Larsen,
Andrzej Wasowski,
Michael Huth,
2008,
Bull. EATCS.
Kim G. Larsen,
Insup Lee,
Jin Hyun Kim,
2018,
2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC).
Kim G. Larsen,
Axel Legay,
Andrzej Wasowski,
2014,
Sci. Comput. Program..
Kim G. Larsen,
Jirí Srba,
Andreas Engelbredt Dalsgaard,
2016,
SETTA.
Wang Yi,
Kim G. Larsen,
Paul Pettersson,
1996,
TACAS.
Kim G. Larsen,
Marius Mikucionis,
Brian Nielsen,
2017,
ModelEd, TestEd, TrustEd.
Kim G. Larsen,
Zoltán Ésik,
2003,
RAIRO Theor. Informatics Appl..
Kim G. Larsen,
Axel Legay,
Guangyuan Li,
2017,
SPIN.
Kim G. Larsen,
Marius Mikucionis,
Arne Skou,
2016,
Sci. Comput. Program..
Kim G. Larsen,
Axel Legay,
Ulrich Fahrenberg,
2011,
MFCS.
Kim G. Larsen,
Giorgio Bacci,
Giovanni Bacci,
2017,
Log. Methods Comput. Sci..
Kim G. Larsen,
Andrzej Wasowski,
Ulrik Nyman,
2005,
FASE.
Kim G. Larsen,
Andrzej Wasowski,
Ulrik Nyman,
2007,
ESOP.
Kim G. Larsen,
2012,
FORMATS.
Kim G. Larsen,
Axel Legay,
Ulrich Fahrenberg,
2013,
ICTAC Training School on Software Engineering.
Kim G. Larsen,
Prakash Panangaden,
Radu Mardare,
2012,
MFCS.
Kim G. Larsen,
Holger Hermanns,
Jean-François Raskin,
2010,
EMSOFT '10.
Kim G. Larsen,
Luca Aceto,
Augusto Burgueño,
1997,
TACAS.
Kim G. Larsen,
Axel Legay,
K. Larsen,
2012,
WADT.
Kim G. Larsen,
Axel Legay,
Bernhard Steffen,
2016,
FMICS-AVoCS.
Wang Yi,
Kim G. Larsen,
Paul Pettersson,
1996,
Hybrid Systems.
Alberto L. Sangiovanni-Vincentelli,
Kim G. Larsen,
Dejan Nickovic,
2018,
Found. Trends Electron. Des. Autom..
Wang Yi,
Kim G. Larsen,
Paul Pettersson,
1997,
International Journal on Software Tools for Technology Transfer.
Kim G. Larsen,
Brian Nielsen,
Yingke Chen,
2016,
Machine Learning.
Wang Yi,
Kim G. Larsen,
John Håkansson,
2006,
Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).
Kim G. Larsen,
Marius Mikucionis,
Brian Nielsen,
2010,
ISoLA.
Kim G. Larsen,
K. Larsen,
2010,
RP.
Kim G. Larsen,
Arne Skou,
Jacob Illum Rasmussen,
2009,
FM.
Kim G. Larsen,
Marius Mikucionis,
Brian Nielsen,
2011,
ICTSS.
Kim G. Larsen,
Anders Mariegaard,
Louise Foshammer,
2016,
Cassting/SynCoP.
Kim G. Larsen,
2009,
FSTTCS.
Glynn Winskel,
Kim G. Larsen,
K. Larsen,
1991,
Inf. Comput..
Kim G. Larsen,
Giorgio Bacci,
Giovanni Bacci,
2017,
ICALP.
Kim G. Larsen,
Jean-François Raskin,
Pierre-Alain Reynier,
2012,
ATVA.
Glynn Winskel,
Kim G. Larsen,
K. Larsen,
1984,
Semantics of Data Types.
Kim G. Larsen,
Jirí Srba,
Simon Laursen,
2015,
CONCUR.
Kim G. Larsen,
Bent Thomsen,
1991,
Theor. Comput. Sci..
Kim G. Larsen,
Kim G. Larsen,
2015,
Bull. EATCS.
Kim G. Larsen,
John Håkansson,
Paul Pettersson,
2006,
FORMATS.
Kim G. Larsen,
Alexandre David,
Huixing Fang,
2014,
FORMATS.
Kim G. Larsen,
Jirí Srba,
Andreas Engelbredt Dalsgaard,
2017,
Petri Nets.
Kim G. Larsen,
Sean Sedwards,
Doron A. Peled,
2017,
VSTTE.
Kim G. Larsen,
René Rydhof Hansen,
Mads Chr. Olesen,
2015,
2015 IEEE International Conference on Information Reuse and Integration.
Christel Baier,
Kim G. Larsen,
Paul Gastin,
2010,
Quantitative Models: Expressiveness and Analysis.
Kim G. Larsen,
Bernhard Steffen,
Carsten Weise,
1994,
TACAS.
Kim G. Larsen,
Brian Nielsen,
Yingke Chen,
2011,
2011 Eighth International Conference on Quantitative Evaluation of SysTems.
Kim G. Larsen,
Jirí Srba,
Luca Aceto,
2009,
TFM.
Kim G. Larsen,
Bernhard Steffen,
Carsten Weise,
1997,
International Journal on Software Tools for Technology Transfer.
Kim G. Larsen,
Ulrich Fahrenberg,
Claus R. Thrane,
2009,
MEMICS.
Kim G. Larsen,
Brian Nielsen,
Alexandre David,
2008,
Electron. Notes Theor. Comput. Sci..
Kim G. Larsen,
Patricia Bouyer,
Gerd Behrmann,
2003,
TACAS.
Kim G. Larsen,
Patricia Bouyer,
Emmanuel Fleury,
2004,
FSTTCS.
Kim G. Larsen,
Jan Kretínský,
Jakob Haahr Taankvist,
2019,
QEST.
Kim G. Larsen,
K. Larsen,
1990,
Theor. Comput. Sci..
Kim G. Larsen,
Marius Mikucionis,
Axel Legay,
2011,
PDMC.
Kim G. Larsen,
Franck Cassez,
K. Larsen,
2000,
CONCUR.
Kim G. Larsen,
Ulrich Fahrenberg,
K. Larsen,
2009,
QAPL.
Kim G. Larsen,
Joost-Pieter Katoen,
Axel Legay,
2011,
VMCAI.
Kim G. Larsen,
Finn Verner Jensen,
F. V. Jensen,
1985,
FSTTCS.
Kim G. Larsen,
Marius Mikucionis,
Axel Legay,
2013,
NASA Formal Methods.
Kim G. Larsen,
Bent Thomsen,
K. Larsen,
1988,
[1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
Kim G. Larsen,
Marius Mikucionis,
Brian Nielsen,
2004,
Proceedings. 19th International Conference on Automated Software Engineering, 2004..
Kim G. Larsen,
Giorgio Bacci,
Giovanni Bacci,
2014,
ArXiv.
Wang Yi,
Kim G. Larsen,
Paul Pettersson,
2002,
J. Log. Algebraic Methods Program..
Kim G. Larsen,
Marius Mikucionis,
Arne Skou,
2013,
FACS.
Kim G. Larsen,
Andrzej Wasowski,
Michael Huth,
2009,
EXPRESS.
Kim G. Larsen,
Klaus Havelund,
1993,
Nord. J. Comput..
Kim G. Larsen,
Jirí Srba,
Peter Gjøl Jensen,
2014,
NASA Formal Methods.
Kim G. Larsen,
Andrzej Wasowski,
Michael Huth,
2008,
FoSSaCS.
Kim G. Larsen,
Axel Legay,
Peter Gjøl Jensen,
2017,
2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS).
Kim G. Larsen,
K. Larsen,
2009,
Ershov Memorial Conference.
Kim G. Larsen,
Paul Pettersson,
Thomas Hune,
2000,
Nord. J. Comput..
Kim G. Larsen,
Axel Legay,
Andrzej Wasowski,
2011,
2011 Eighth International Conference on Quantitative Evaluation of SysTems.
Kim G. Larsen,
Jirí Srba,
Ulrich Fahrenberg,
2011,
ICTAC.
Kim G. Larsen,
Simone Tini,
Daniel Gebler,
2016,
Log. Methods Comput. Sci..
Kim G. Larsen,
Luca Aceto,
Francesco Tiezzi,
2015,
FACS.
Kim G. Larsen,
Martijn Hendriks,
K. Larsen,
2002,
Theory and Practice of Timed Systems @ ETAPS.
Kim G. Larsen,
Bent Thomsen,
1988,
MFCS.
Kim G. Larsen,
Jirí Srba,
K. Larsen,
2019,
J. Log. Algebraic Methods Program..
Kim G. Larsen,
Jirí Srba,
Peter Gjøl Jensen,
2017,
International Journal on Software Tools for Technology Transfer.
Kim G. Larsen,
Marius Mikucionis,
Jakob Haahr Taankvist,
2018,
CyPhy/WESE.
Kim G. Larsen,
Brian Nielsen,
Zhengkui Zhang,
2016,
FORMATS.
Kim G. Larsen,
Qi Lu,
Ulrich Fahrenberg,
2012,
J. Log. Algebraic Methods Program..
Kim G. Larsen,
Axel Legay,
Andrzej Wasowski,
2013,
International Journal on Software Tools for Technology Transfer.
Kim G. Larsen,
Axel Legay,
K. Larsen,
2014,
ISoLA.
Kim G. Larsen,
Giorgio Bacci,
Giovanni Bacci,
2015,
FoSSaCS.
Kim G. Larsen,
Axel Legay,
Ulrich Fahrenberg,
2013,
ICTAC Training School on Software Engineering.
Kim G. Larsen,
Simone Tini,
Daniel Gebler,
2015,
FoSSaCS.
Kim G. Larsen,
Axel Legay,
Ulrich Fahrenberg,
2017,
Dependable Software Systems Engineering.
Kim G. Larsen,
Giorgio Bacci,
Radu Mardare,
2018,
LATA.
Kim G. Larsen,
Timothy Bourke,
Axel Legay,
2010,
WADT.
Kim G. Larsen,
Anders Mariegaard,
Mathias Claus Jensen,
2019,
NFM.
Kim G. Larsen,
Ole Høgh Jensen,
Christian Jeppesen,
1993,
CONCUR.
Kim G. Larsen,
Axel Legay,
Andrzej Wasowski,
2012,
J. Log. Algebraic Methods Program..
Kim G. Larsen,
Florian Lorber,
Bernhard K. Aichernig,
2019,
FORMATS.
Kim G. Larsen,
Andrzej Wasowski,
Ulrik Nyman,
2007,
CONCUR.
Kim G. Larsen,
Marius Mikucionis,
Axel Legay,
2012,
QAPL.
Kim G. Larsen,
Gerd Behrmann,
Alexandre David,
2004,
SFM.
Kim G. Larsen,
Bernhard Steffen,
Carsten Weise,
1994,
Formal Systems Specification.
Kim G. Larsen,
Xinxin Liu,
K. Larsen,
1990,
[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
Kim G. Larsen,
Brian Nielsen,
Florian Lorber,
2018,
ISoLA.
Kim G. Larsen,
Brian Nielsen,
Alexandre David,
2010,
Formal Methods Syst. Des..
Kim G. Larsen,
Peter E. Bulychev,
Thomas Chatain,
2009,
FORMATS.
Kim G. Larsen,
Joost-Pieter Katoen,
Axel Legay,
2013,
Inf. Comput..
Kim G. Larsen,
Patricia Bouyer,
Nicolas Markey,
2007,
Log. Methods Comput. Sci..
Kim G. Larsen,
Ulrich Fahrenberg,
Patricia Bouyer,
2010,
HSCC '10.
Kim G. Larsen,
Ulrich Fahrenberg,
Patricia Bouyer,
2011,
Commun. ACM.
Kim G. Larsen,
Brian Nielsen,
Florian Lorber,
2018,
2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
Kim G. Larsen,
K. Larsen,
2019,
CONCUR.
Kim G. Larsen,
Marius Mikucionis,
Arne Skou,
2012,
Science China Information Sciences.
Kim G. Larsen,
Paul Pettersson,
Kåre J. Kristoffersen,
2000,
Proceedings 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000.
Kim G. Larsen,
Gerd Behrmann,
Henrik Reif Andersen,
1999,
Formal Methods Syst. Des..
Kim G. Larsen,
K. Larsen,
2009,
2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering.
Alfons Laarman,
Kim G. Larsen,
Jaco van de Pol,
2013,
CAV.
Kim G. Larsen,
Bent Thomsen,
Thomas Bøgholm,
2012,
2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.
Kim G. Larsen,
Henning Dierks,
Sebastian Kupferschmid,
2007,
FORMATS.
Kim G. Larsen,
Arne Skou,
K. Larsen,
1989,
POPL '89.
Kim G. Larsen,
Radu Mardare,
K. Larsen,
2014,
Theor. Comput. Sci..
Kim G. Larsen,
Stefan Schmid,
Bingtian Xue,
2016,
OPODIS.
Kim G. Larsen,
Radu Mardare,
Bingtian Xue,
2014,
ICTAC.
Kim G. Larsen,
Axel Legay,
Peter Gjøl Jensen,
2017,
GraMSec@CSF.
Kim G. Larsen,
Florian Lorber,
Peter Gjøl Jensen,
2020,
ArXiv.
Kim G. Larsen,
Brian Nielsen,
Florian Lorber,
2017,
2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
Wang Yi,
Kim G. Larsen,
K. Larsen,
1993,
MFPS.
Kim G. Larsen,
Jirí Srba,
Jan Kretínský,
2009,
Theor. Comput. Sci..
Kim G. Larsen,
Robert Furber,
Prakash Panangaden,
2017,
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Kim G. Larsen,
Bernhard Steffen,
Carsten Weise,
1996,
Hybrid Systems.
Kim G. Larsen,
Arne Skou,
K. Larsen,
1991,
Inf. Comput..
Wang Yi,
Kim G. Larsen,
Paul Pettersson,
2003,
Real-Time Systems.
Kim G. Larsen,
Axel Legay,
Andrzej Wasowski,
2011,
FORMATS.
Kim G. Larsen,
K. Larsen,
1991,
Theor. Comput. Sci..
Kim G. Larsen,
Simon Laursen,
Martin Zimmermann,
2015,
QAPL.
Kim G. Larsen,
Gérard Boudol,
K. Larsen,
1990,
Theor. Comput. Sci..
Kim G. Larsen,
Luca Cardelli,
Radu Mardare,
2011,
CSL.
Kim G. Larsen,
Manfred Jaeger,
Radu Mardare,
2014,
QEST.
Kim G. Larsen,
Alessandro Tibo,
Manfred Jaeger,
2020,
Runtime Verification.
Kim G. Larsen,
Frits W. Vaandrager,
Paul Pettersson,
2001,
HSCC.
Kim G. Larsen,
K. Larsen,
1985,
Theor. Comput. Sci..
Kim G. Larsen,
Marius Mikucionis,
Axel Legay,
2011,
FORMATS.
Kim G. Larsen,
René Rydhof Hansen,
Mladen Skelin,
2015,
10th IEEE International Symposium on Industrial Embedded Systems (SIES).
Kim G. Larsen,
Bernhard K. Aichernig,
Giovanni Bacci,
2019,
ArXiv.
Kim G. Larsen,
Marius Mikucionis,
Brian Nielsen,
2008,
Formal Methods and Testing.
Kim G. Larsen,
Axel Legay,
Guangyuan Li,
2012,
RV.
Kim G. Larsen,
Manfred Droste,
K. Larsen,
2018,
Soft Computing - A Fusion of Foundations, Methodologies and Applications.
Kim G. Larsen,
1993,
Theor. Comput. Sci..
Kim G. Larsen,
Stefan Kowalewski,
Jörg Brauer,
2011,
SSV.
Kim G. Larsen,
Ulrich Fahrenberg,
K. Larsen,
2009,
INFINITY.
Kim G. Larsen,
Jirí Srba,
Simon Laursen,
2012,
MEMICS.
Kim G. Larsen,
Jacob Illum Rasmussen,
K. Larsen,
2008,
Theor. Comput. Sci..
Kim G. Larsen,
Marius Mikucionis,
Axel Legay,
2014,
International Journal on Software Tools for Technology Transfer.
Kim G. Larsen,
Nicolas Markey,
Laurent Doyen,
2014,
FSTTCS.
Kim G. Larsen,
Axel Legay,
Andrzej Wasowski,
2012,
Perform. Evaluation.
Kim G. Larsen,
Axel Legay,
Benoît Delahaye,
2014,
J. Log. Algebraic Methods Program..
Kim G. Larsen,
Arne Skou,
Anders Børjesson,
1992,
Formal Methods Syst. Des..
Kim G. Larsen,
Brian Nielsen,
Shuhao Li,
2010,
2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).
Wang Yi,
Kim G. Larsen,
Paul Pettersson,
1997,
Proceedings Real-Time Systems Symposium.
Kim G. Larsen,
Axel Legay,
Ulrich Fahrenberg,
2012,
Formal Methods Syst. Des..
Kim G. Larsen,
Axel Legay,
K. Larsen,
2016,
ISoLA.
Kim G. Larsen,
Brian Nielsen,
Holger Hermanns,
2017,
ICFEM.
Kim G. Larsen,
Radu Mardare,
Mathias Ruggaard Pedersen,
2016,
SETTA.
Kim G. Larsen,
Patricia Bouyer,
Nicolas Markey,
2012,
2012 Ninth International Conference on Quantitative Evaluation of Systems.
Kim G. Larsen,
Jörg Hoffmann,
Sebastian Kupferschmid,
2008,
TACAS.
Kim G. Larsen,
Marius Mikucionis,
Insup Lee,
2015,
2015 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE).
Kim G. Larsen,
K. Larsen,
1989,
REX Workshop.
Kim G. Larsen,
Bruce H. Krogh,
Oded Maler,
2010,
INFINITY.
Wang Yi,
Kim G. Larsen,
Paul Pettersson,
1997,
CAV.
Kim G. Larsen,
Ulrich Fahrenberg,
Claus R. Thrane,
2011,
Software and Systems Safety - Specification and Verification.
Kim G. Larsen,
K. Larsen,
2013,
IFM.
Kim G. Larsen,
K. Larsen,
1988,
CAAP.
Kim G. Larsen,
Henrik Schiøler,
Jens Dalsgaard Nielsen,
2005,
Computers and Their Applications.
Kim G. Larsen,
Ulrich Fahrenberg,
Claus R. Thrane,
2009,
FSEN.
Kim G. Larsen,
Sibylle Schupp,
Jirí Srba,
2018,
QEST.
Kim G. Larsen,
Jean-François Raskin,
Pierre-Alain Reynier,
2009,
HSCC.
Robin Milner,
Kim G. Larsen,
R. Milner,
1987,
ICALP.
Kim G. Larsen,
Jirí Srba,
Jan Kretínský,
2011,
ATVA.
Wang Yi,
Kim G. Larsen,
Paul Pettersson,
2011,
Softw. Pract. Exp..
Kim G. Larsen,
Jirí Srba,
Jonas Finnemann Jensen,
2013,
SPIN.
Kim G. Larsen,
Axel Legay,
Andrzej Wasowski,
2009,
FMCO.
Kim G. Larsen,
Jirí Srba,
Frederik M. Bønneland,
2018,
CAV.
Kim G. Larsen,
Brian Nielsen,
Florian Lorber,
2018,
FM.
Christel Baier,
Kim G. Larsen,
Paul Gastin,
2010,
Quantitative Models: Expressiveness and Analysis.
Kim G. Larsen,
Axel Legay,
Nicolas David,
2015,
MIST@CCS.
Kim G. Larsen,
Marius Mikucionis,
Thomas A. Henzinger,
2019,
Computing and Software Science.
Kim G. Larsen,
Jean-François Raskin,
Line Juhl,
2013,
Theories of Programming and Formal Methods.
Kim G. Larsen,
René Rydhof Hansen,
Mads Chr. Olesen,
2015,
Semantics, Logics, and Calculi.
Kim G. Larsen,
Paul Pettersson,
Gerd Behrmann,
2001,
CAV.
Kim G. Larsen,
René Rydhof Hansen,
Andreas Engelbredt Dalsgaard,
2010,
WCET.
Kim G. Larsen,
Gerd Behrmann,
Alexandre David,
2006
.
Kim G. Larsen,
Patricia Bouyer,
Nicolas Markey,
2015,
Acta Informatica.
Kim G. Larsen,
Arne Skou,
Petur Olsen,
2010,
Electron. Notes Theor. Comput. Sci..
Kim G. Larsen,
Ulrik Nyman,
Andrej Kiviriga,
2020,
SETTA.
Kim G. Larsen,
Marius Mikucionis,
Axel Legay,
2012,
HSB.
Wang Yi,
Kim G. Larsen,
Gerd Behrmann,
2002,
10th Anniversary Colloquium of UNU/IIST.
Kim G. Larsen,
2000,
ICATPN.
Kim G. Larsen,
Shengchao Qin,
Bin Gu,
2012,
ArXiv.
Kim G. Larsen,
Jens Chr. Godskesen,
K. Larsen,
1992,
North American Process Algebra Workshop.
Kim G. Larsen,
Axel Legay,
Andrzej Wasowski,
2011,
Theor. Comput. Sci..
Kim G. Larsen,
Giorgio Bacci,
Giovanni Bacci,
2018,
MFPS.
Kim G. Larsen,
Arne Skou,
Henrik Ejersbo Jensen,
1996,
The Spin Verification System.
Kim G. Larsen,
Arne Skou,
Klaus Havelund,
1999,
ARTS.
Kim G. Larsen,
Jacob Illum Rasmussen,
Alexandre David,
2007,
FORMATS.
Kim G. Larsen,
Gerd Behrmann,
Jacob Illum Rasmussen,
2007,
TACAS.
Wang Yi,
Kim G. Larsen,
Justin Pearson,
1998,
CAV.
Kim G. Larsen,
Marius Mikucionis,
Arne Skou,
2015,
Sci. Comput. Program..
Kim G. Larsen,
2016,
2016 23rd International Symposium on Temporal Representation and Reasoning (TIME).
Kim G. Larsen,
Giorgio Bacci,
Giovanni Bacci,
2019,
CONCUR.
Lijun Zhang,
Kim G. Larsen,
Jifeng He,
2012,
Theories of Programming and Formal Methods.
Kim G. Larsen,
Giorgio Bacci,
Giovanni Bacci,
2013,
TACAS.
Kim G. Larsen,
Gérard Boudol,
K. Larsen,
1990,
Theoretical Computer Science.
Kim G. Larsen,
Patricia Bouyer,
Nicolas Markey,
2011,
CONCUR.
Wang Yi,
Kim G. Larsen,
Paul Pettersson,
1995,
Proceedings 16th IEEE Real-Time Systems Symposium.
Kim G. Larsen,
Jirí Srba,
Nikola Benes,
2015,
ICALP.
Kim G. Larsen,
Marius Mikucionis,
Brian Nielsen,
2015,
Haifa Verification Conference.
Kim G. Larsen,
Marius Mikucionis,
Axel Legay,
2012,
IWIGP.
Kim G. Larsen,
Jirí Srba,
Peter Gjøl Jensen,
2017,
ICTAC.
Kim G. Larsen,
Axel Legay,
Olga Gadyatskaya,
2016,
FORMATS.
Kim G. Larsen,
Joost-Pieter Katoen,
Axel Legay,
2011,
2011 Eleventh International Conference on Application of Concurrency to System Design.
Kim G. Larsen,
Axel Legay,
Sean Sedwards,
2019,
ATVA.
Kim G. Larsen,
K. Subramani,
Jacob Illum Rasmussen,
2006,
Formal Methods Syst. Des..
Kim G. Larsen,
Bertrand Jeannet,
Pedro R. D'Argenio,
2002,
PAPM-PROBMIV.
Kim G. Larsen,
François Laroussinie,
1998,
FORTE.
Kim G. Larsen,
K. Subramani,
Jacob Illum Rasmussen,
2004,
TACAS.
Kim G. Larsen,
Joost-Pieter Katoen,
Boudewijn R. Haverkort,
2010,
ISoLA.
Kim G. Larsen,
Carsten Weise,
François Laroussinie,
1995,
MFCS.
Kim G. Larsen,
Brian Nielsen,
Yingke Chen,
2012,
QFM.
Kim G. Larsen,
René Rydhof Hansen,
Erik Ramsgaard Wognsen,
2014,
ISoLA.
Kim G. Larsen,
Ulrich Fahrenberg,
Patricia Bouyer,
2018,
FM.
Kim G. Larsen,
Brian Nielsen,
Alexandre David,
2008,
2008 Design, Automation and Test in Europe.
Kim G. Larsen,
Axel Legay,
Andrzej Wasowski,
2012,
FASE.
Kim G. Larsen,
Patricia Bouyer,
Nicolas Markey,
2006,
FSTTCS.
Wang Yi,
Kim G. Larsen,
Justin Pearson,
1998,
Nord. J. Comput..
Kim G. Larsen,
Radu Mardare,
Bingtian Xue,
2015,
MFPS.
Kim G. Larsen,
Jirí Srba,
Kenneth Yrke Jørgensen,
2012,
SSV.
Kim G. Larsen,
Giorgio Bacci,
Giovanni Bacci,
2013,
QEST.
Xinxin Liu,
Kim G. Larsen,
K. Larsen,
1990,
Journal of Logic and Computation.
Kim G. Larsen,
Radu Mardare,
Claus R. Thrane,
2012,
QFM.
Kim G. Larsen,
Axel Legay,
Benoît Delahaye,
2012,
QEST.
Kim G. Larsen,
Andrzej Wasowski,
Ulrik Nyman,
2007,
International Journal on Software Tools for Technology Transfer.
Kim G. Larsen,
Boudewijn R. Haverkort,
René Rydhof Hansen,
2015,
FORMATS.
Kim G. Larsen,
Henrik Schiøler,
Jens Dalsgaard Nielsen,
2006,
ISCA International Conference on Computer Applications in Industry and Engineering.
Kim G. Larsen,
Björn Lisper,
Stefan M. Petters,
2012,
EMSOFT '12.
Kim G. Larsen,
Brian Nielsen,
Alexandre David,
2009,
2009 International Conference on Software Testing Verification and Validation.
Kim G. Larsen,
Giorgio Bacci,
Giovanni Bacci,
2019,
Math. Struct. Comput. Sci..
Kim G. Larsen,
Didier Lime,
Alexandre David,
2005,
CONCUR.
Kim G. Larsen,
Jirí Srba,
Peter Gjøl Jensen,
2018,
Fundam. Informaticae.
Kim G. Larsen,
Peter Gjøl Jensen,
Franck Cassez,
2017,
RP.
Alfons Laarman,
Kim G. Larsen,
Jaco van de Pol,
2012,
FORMATS.
Kim G. Larsen,
Patricia Bouyer,
Emmanuel Fleury,
2005,
GDV@CAV.
Kim G. Larsen,
Jirí Srba,
Jan Kretínský,
2012,
Inf. Comput..
Wang Yi,
Kim G. Larsen,
K. Larsen,
1992,
PSTV.
Kim G. Larsen,
Axel Legay,
Andrzej Wasowski,
2010,
HSCC '10.
Kim G. Larsen,
Jirí Srba,
Simon Laursen,
2014,
CONCUR.
Kim G. Larsen,
Andrzej Wasowski,
Ulrik Nyman,
2006,
FM.
Kim G. Larsen,
Guangyuan Li,
Peter E. Bulychev,
2013,
Acta Informatica.
Kim G. Larsen,
Axel Legay,
Andrzej Wasowski,
2010,
2010 Seventh International Conference on the Quantitative Evaluation of Systems.
Kim G. Larsen,
Axel Legay,
Alexandre David,
2014,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Kim G. Larsen,
Marius Mikucionis,
Jirí Srba,
2016,
TACAS.
Kim G. Larsen,
Patricia Bouyer,
Gerd Behrmann,
2004,
TACAS.
Kim G. Larsen,
Gerd Behrmann,
Didier Lime,
2007,
CAV.
Wang Yi,
Kim G. Larsen,
Paul Pettersson,
1996,
CAV.
Kim G. Larsen,
Jens Chr. Godskesen,
K. Larsen,
1992,
NAPAW.
Joël Ouaknine,
James Worrell,
Kim G. Larsen,
1995,
FCT.
Kim G. Larsen,
Klaus Havelund,
K. Larsen,
1995,
PSTV.
Kim G. Larsen,
K. Larsen,
1990,
CONCUR.
Kim G. Larsen,
Joost-Pieter Katoen,
K. Larsen,
2012,
ISoLA.
Kim G. Larsen,
Radu Mardare,
Bingtian Xue,
2018,
Soft Comput..
Kim G. Larsen,
Jirí Srba,
Jan Kretínský,
2009,
ICTAC.
Xinxin Liu,
Kim G. Larsen,
Xinxin Liu,
1990,
J. Log. Comput..
Kim G. Larsen,
Axel Legay,
Guangyuan Li,
2014,
2014 14th International Conference on Application of Concurrency to System Design.
Kim G. Larsen,
Jirí Srba,
Søren Enevoldsen,
2019,
TACAS.
Kim G. Larsen,
Brian Nielsen,
Yingke Chen,
2012,
NASA Formal Methods.
Kim G. Larsen,
Axel Legay,
Benoît Delahaye,
2013,
QEST.
Kim G. Larsen,
Ulrich Fahrenberg,
Claus R. Thrane,
2011,
QAPL.
Kim G. Larsen,
Giorgio Bacci,
Giovanni Bacci,
2016,
CONCUR.
Kim G. Larsen,
Thomas Chatain,
Alexandre David,
2009,
ADHS.
Kim G. Larsen,
Marius Mikucionis,
Brian Nielsen,
2015,
FMICS.
Kim G. Larsen,
Karlis Cerans,
Jens Chr. Godskesen,
1993,
CAV.
Kim G. Larsen,
Axel Legay,
Andrzej Wasowski,
2014,
Theor. Comput. Sci..
Frede Blaabjerg,
Kim G. Larsen,
Tomislav Dragicevic,
2017,
IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society.
Kim G. Larsen,
Axel Legay,
Alexandre David,
2015,
International Journal on Software Tools for Technology Transfer.
Kim G. Larsen,
Jin Hyun Kim,
Ulrik Nyman,
2014,
2014 26th Euromicro Conference on Real-Time Systems.
Kim G. Larsen,
Brian Nielsen,
Zhengkui Zhang,
2016,
SAC.
Kim G. Larsen,
Axel Legay,
K. Larsen,
2013,
FACS.
Kim G. Larsen,
Marius Mikucionis,
Axel Legay,
2015,
International Journal on Software Tools for Technology Transfer.
Kim G. Larsen,
Jacob Illum Rasmussen,
Jacob Deleuran Grunnet,
2010,
FMCO.
Kim G. Larsen,
Giorgio Bacci,
Radu Mardare,
2018,
QEST.
Kim G. Larsen,
Henrik Schiøler,
Jakob Haahr Taankvist,
2018,
2018 IEEE Conference on Control Technology and Applications (CCTA).
Kim G. Larsen,
Marius Mikucionis,
Brian Nielsen,
2010,
FMCO.
Kim G. Larsen,
Arne Skou,
K. Larsen,
1992,
CONCUR.
Kim G. Larsen,
Gerd Behrmann,
Jacob Illum Rasmussen,
2004,
FMCO.
Kim G. Larsen,
Liyun Dai,
Bican Xia,
2018,
ArXiv.
Kim G. Larsen,
Kåre J. Kristoffersen,
J. H. Andersen,
1994,
ICALP.
Kim G. Larsen,
Axel Legay,
Ulrik Nyman,
2013
.
Wang Yi,
Kim G. Larsen,
Gerd Behrmann,
2003,
SPIN.
Wang Yi,
Kim G. Larsen,
Paul Pettersson,
1996,
TAPSOFT.
Kim G. Larsen,
Jirí Srba,
Jan Kretínský,
2012,
LPAR.
Kim G. Larsen,
Luca Cardelli,
Radu Mardare,
2011,
ICALP.
Kim G. Larsen,
Marius Mikucionis,
Axel Legay,
2012,
ISoLA.
Kim G. Larsen,
Axel Legay,
Jirí Srba,
2012,
Mathematical Structures in Computer Science.
Kim G. Larsen,
Peter Koch,
René Rydhof Hansen,
2016,
2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS).
Kim G. Larsen,
K. Larsen,
1992,
CAV.
Kim G. Larsen,
Marius Mikucionis,
Axel Legay,
2012,
NASA Formal Methods.
Kim G. Larsen,
Anders Mariegaard,
2017,
FORMATS.
Kim G. Larsen,
Giorgio Bacci,
Giovanni Bacci,
2017,
ICALP.
Kim G. Larsen,
Jean-François Raskin,
Didier Lime,
2007,
ATVA.
Kim G. Larsen,
Gerd Behrmann,
Henrik Reif Andersen,
1998,
Formal Methods Syst. Des..
Kim G. Larsen,
Marius Mikucionis,
Cyrille Jégourel,
2016,
SETTA.
Kim G. Larsen,
Axel Legay,
Anders P. Ravn,
2012,
International Journal on Software Tools for Technology Transfer.
Kim G. Larsen,
Valentín Valero,
Gregorio Díaz,
2005,
SAC '05.
Kim G. Larsen,
Giovanni Bacci,
Mikkel Hansen,
2018,
QEST.
Kim G. Larsen,
Jirí Srba,
Søren Enevoldsen,
2015,
ICTAC.
Kim G. Larsen,
Bengt Jonsson,
K. Larsen,
1991,
TAPSOFT, Vol.1.
Kim G. Larsen,
Axel Legay,
K. Larsen,
2018,
ISoLA.
Kim G. Larsen,
Henrik Schiøler,
Jens Dalsgaard Nielsen,
2006,
J. Embed. Comput..
Kim G. Larsen,
Jirí Srba,
Jonas Finnemann Jensen,
2016,
International Journal on Software Tools for Technology Transfer.
Kim G. Larsen,
Miroslav Klimos,
Filip Stefanak,
2012,
LATA.
Kim G. Larsen,
Radu Mardare,
Bingtian Xue,
2014,
Ershov Memorial Conference.
Kim G. Larsen,
Jens Chr. Godskesen,
K. Larsen,
1995,
MFCS.
Kim G. Larsen,
Radu Mardare,
Mikkel Hansen,
2015,
SynCoP.
Kim G. Larsen,
Gerd Behrmann,
Henrik Reif Andersen,
1999,
TACAS.
Kim G. Larsen,
Jirí Srba,
Lasse S. Jensen,
2019,
J. Log. Algebraic Methods Program..
Kim G. Larsen,
Marius Mikucionis,
Jakob Haahr Taankvist,
2015,
Correct System Design.
Kim G. Larsen,
Patricia Bouyer,
Ed Brinksma,
2008,
Formal Methods Syst. Des..
Kim G. Larsen,
Jian Guo,
Jianqi Shi,
2014,
International Journal on Software Tools for Technology Transfer.
Kim G. Larsen,
Axel Legay,
Bernhard Steffen,
2017,
International Journal on Software Tools for Technology Transfer.
Kim G. Larsen,
Jirí Srba,
Ulrich Fahrenberg,
2008,
FORMATS.
Kim G. Larsen,
Axel Legay,
Benoît Delahaye,
2013,
J. Log. Algebraic Methods Program..
Kim G. Larsen,
Giorgio Bacci,
Mathias Ruggaard Pedersen,
2018,
QAPL@ETAPS.
Wang Yi,
Kim G. Larsen,
Bertrand Jeannet,
2000,
MOVEP.
Kim G. Larsen,
Marco Muñiz,
Sebastian Lund,
2021,
International Conference on Formal Modeling and Analysis of Timed Systems.
Kim G. Larsen,
Jirí Srba,
Frederik M. Bønneland,
2021,
FORMATS.
Kim G. Larsen,
Ulrik Nyman,
Andrej Kiviriga,
2022,
International Journal on Software Tools for Technology Transfer.
Kim G. Larsen,
Giorgio Bacci,
Giovanni Bacci,
2021
.
Kim G. Larsen,
Giorgio Bacci,
Giovanni Bacci,
2021,
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Kim G. Larsen,
Alessandro Abate,
Hamid Reza Momeni,
2021,
ADHS.
Kim G. Larsen,
Marco Muñiz,
Harry Lahrmann,
2021,
Transportation Research Record: Journal of the Transportation Research Board.
Kim G. Larsen,
Benoît Delahaye,
Giovanni Bacci,
2021,
Model Checking, Synthesis, and Learning.
Kim G. Larsen,
Thomas D. Nielsen,
Jiri Srba,
2021,
ADHS.
Kim G. Larsen,
Michele Albano,
Christian Ø. Laursen,
2021,
2021 10th Mediterranean Conference on Embedded Computing (MECO).
Kim G. Larsen,
Luca Cardelli,
Radu Grosu,
2021,
QEST.
Kim G. Larsen,
Oleg Sokolsky,
Ji Wang,
2021,
Science of Computer Programming.
Wang Yi,
Kim G. Larsen,
Justin Pearson,
1998
.
Wang Yi,
Kim G. Larsen,
Paul Pettersson,
1995
.
Kim G. Larsen,
Axel Legay,
Andrzej Wasowski,
2010
.
Kim G. Larsen,
Brian Nielsen,
Marius Mikučionis,
2004
.