CORDIS provides links to public deliverables and publications of HORIZON projects.
Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .
Publications
Author(s):
Goorden, M., Larsen, K. G., Nielsen, J. E., Nielsen, T. D., Rasmussen, M. R., Srba, J.
Published in:
IFAC-PapersOnLine : 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021, Page(s) 13-18, ISSN 2405-8963
Publisher:
Elsevier
DOI:
10.1016/j.ifacol.2021.08.467
Author(s):
Franck Cassez, Peter Gjøl Jensen, Kim Guldstrand Larsen
Published in:
Fundamenta Informaticae, Issue 178, 2021, Page(s) 31-57, ISSN 0169-2968
Publisher:
IOS Press
DOI:
10.3233/fi-2021-1997
Author(s):
Tappler, M., Aichernig, B. K., Bacci, G., Eichlseder, M., Larsen, K. G.
Published in:
Formal Aspects of Computing, Issue 33, 4-5, 2021, Page(s) 575-615, ISSN 0934-5043
Publisher:
Springer Verlag
DOI:
10.1007/s00165-021-00536-5
Author(s):
Giovanni Bacci, Giorgio Bacci, Kim G. Larsen, Radu Mardare
Published in:
Journal of Logical and Algebraic Methods in Programming, 2018, Page(s) 36-56, ISSN 2352-2208
Publisher:
Elsevier
DOI:
10.1016/j.jlamp.2018.05.006
Author(s):
Frederik Meyer Bønneland ; Peter Gjøl Jensen ; Kim Guldstrand Larsen ; Marco Muñiz ; Jiří Srb
Published in:
Logic in Computer Science, Issue Volume 17, Issue 1, 2021, Page(s) 21-26, ISSN 1860-5974
Publisher:
Technischen Universitat Braunschweig
DOI:
10.23638/lmcs-17(1:21)2021
Author(s):
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel
Published in:
Logic in Computer Science, Issue Volume 17, Issue 1, 2021, ISSN 1860-5974
Publisher:
Technischen Universitat Braunschweig
DOI:
10.23638/lmcs-17(1:9)2021
Author(s):
J.S. Jensen, Isabella Kaufmann, Kim Guldstrand Larsen, S.M. Nielsen, Jiri Srba
Published in:
Journal of Logic and Algebraic Programming, Issue 105, 2019, Page(s) 28-46, ISSN 2352-2208
Publisher:
Elsevier
DOI:
10.1016/j.jlamp.2019.02.001
Author(s):
Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim G. Larsen
Published in:
Formal Aspects of Computing, 2021, Page(s) 575-615, ISSN 0934-5043
Publisher:
Springer Verlag
DOI:
10.48550/arxiv.1906.12239
Author(s):
Daniel Gebler, Simone Tini, Kim Larsen
Published in:
Logical Methods in Computer Science, Issue 12/4, 2016, ISSN 1860-5974
Publisher:
Technischen Universitat Braunschweig
DOI:
10.2168/LMCS-12(4:12)2016
Author(s):
Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto Sangiovanni-Vincentelli, Werner Damm, Thomas A. Henzinger, Kim G. Larsen
Published in:
Foundations and Trends® in Electronic Design Automation, Issue 12/2-3, 2018, Page(s) 124-400, ISSN 1551-3939
Publisher:
Now Publishers Inc.
DOI:
10.1561/1000000053
Author(s):
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
Published in:
Electronic Notes in Theoretical Computer Science, Issue 336, 2018, Page(s) 27-39, ISSN 1571-0661
Publisher:
Elsevier BV
DOI:
10.1016/j.entcs.2018.03.014
Author(s):
Kim G. Larsen, Radu Mardare, Bingtian Xue
Published in:
Soft Computing, Issue 22/4, 2018, Page(s) 1085-1102, ISSN 1432-7643
Publisher:
Springer Verlag
DOI:
10.1007/s00500-016-2193-z
Author(s):
Louise Foshammer, Kim Guldstrand Larsen, Anders Mariegaard
Published in:
Electronic Proceedings in Theoretical Computer Science, Issue 220, 2016, Page(s) 63-75, ISSN 2075-2180
Publisher:
Computing Research Repository (CoRR)
DOI:
10.4204/EPTCS.220.6
Author(s):
Jonas Finnemann Jensen, Kim Guldstrand Larsen, Jiří Srba, Lars Kaerlund Oestergaard
Published in:
International Journal on Software Tools for Technology Transfer, Issue 18/4, 2016, Page(s) 409-426, ISSN 1433-2779
Publisher:
Springer Verlag
DOI:
10.1007/s10009-014-0359-5
Author(s):
Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikučionis, Ulrik Nyman, Arne Skou
Published in:
Science of Computer Programming, Issue 127, 2016, Page(s) 103-130, ISSN 0167-6423
Publisher:
Elsevier BV
DOI:
10.1016/j.scico.2016.05.008
Author(s):
Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikučionis, Danny Bøgsted Poulsen
Published in:
International Journal on Software Tools for Technology Transfer, Issue 17/4, 2015, Page(s) 397-415, ISSN 1433-2779
Publisher:
Springer Verlag
DOI:
10.1007/s10009-014-0361-y
Author(s):
Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikučionis, Danny Bøgsted Poulsen, Sean Sedwards
Published in:
International Journal on Software Tools for Technology Transfer, Issue 17/3, 2015, Page(s) 351-367, ISSN 1433-2779
Publisher:
Springer Verlag
DOI:
10.1007/s10009-014-0323-4
Author(s):
Hua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, Brian Nielsen
Published in:
Machine Learning, Issue 105/2, 2016, Page(s) 255-299, ISSN 0885-6125
Publisher:
Kluwer Academic Publishers
DOI:
10.1007/s10994-016-5565-9
Author(s):
Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Abdeldjalil Boudjadar, Ulrik Nyman, Kim G. Larsen, Insup Lee, Jin-Young Choi
Published in:
ACM SIGBED Review, Issue 13/3, 2016, Page(s) 41-48, ISSN 1551-3688
Publisher:
ACM
DOI:
10.1145/2983185.2983192
Author(s):
Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim G. Larsen, Simon Laursen
Published in:
Acta Informatica, Issue 55/2, 2018, Page(s) 91-127, ISSN 0001-5903
Publisher:
Springer Verlag
DOI:
10.1007/s00236-016-0274-1
Author(s):
Kim G. Larsen, Simon Laursen, Martin Zimmermann
Published in:
Electronic Proceedings in Theoretical Computer Science, Issue 227, 2016, Page(s) 1-14, ISSN 2075-2180
Publisher:
EPTCS 227
DOI:
10.4204/EPTCS.227.1
Author(s):
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
Published in:
Logical Methods in Computer Science, Issue 13/2, 2017, ISSN 1860-5974
Publisher:
Technischen Universitat Braunschweig
DOI:
10.23638/LMCS-13(2:13)2017
Author(s):
Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Peter Fogh, Lasse S. Jensen, Tobias S. Jepsen, Isabella Kaufmann, Kim G. Larsen, Søren M. Nielsen, Mads Chr. Olesen, Samuel Pastva, Jirí Srba
Published in:
Fundamenta Informaticae, 2018, ISSN 0169-2968
Publisher:
IOS Press
Author(s):
Giorgio Bacci ; Giovanni Bacci ; Kim G. Larsen ; Radu Mardare
Published in:
Logical Methods in Computer Science, 2018, Page(s) 1-29, ISSN 1860-5974
Publisher:
Technischen Universitat Braunschweig
DOI:
10.23638/lmcs-14(4:15)2018
Author(s):
Enevoldsen, S., Larsen, K. G., Srba, J.
Published in:
International Journal on Software Tools for Technology Transfer, 2021, Page(s) 1-17, ISSN 1433-2779
Publisher:
Springer Verlag
DOI:
10.1007/s10009-021-00638-8
Author(s):
Mikkel Hansen ; Kim Guldstrand Larsen ; Radu Mardare ; Mathias Ruggaard Pedersen
Published in:
Logical Methods in Computer Science, 2018, Page(s) 1-32, ISSN 1860-5974
Publisher:
Technischen Universitat Braunschweig
DOI:
10.23638/lmcs-14(4:19)2018
Author(s):
Søren Enevoldsen, Kim G. Larsen, Anders Mariegaard, Jiří Srba
Published in:
International Journal on Software Tools for Technology Transfer, Issue 5, 2020, Page(s) 635-654, ISSN 1433-2779
Publisher:
Springer Verlag
DOI:
10.1007/s10009-020-00578-9
Author(s):
Mathias Ruggaard Pedersen, Giorgio Bacci, Kim Guldstrand Larsen
Published in:
Electronic Proceedings in Theoretical Computer Science, Issue 312, 2019, Page(s) 29-42
Publisher:
Open Publishing Association
DOI:
10.4204/eptcs.312.3
Author(s):
Isabella Kaufmann, Kim Guldstrand Larsen, Jiří Srba
Published in:
Application and Theory of Petri Nets and Concurrency - 41st International Conference, PETRI NETS 2020, Proceedings, 2020, Page(s) 46-66, ISBN 9783030518301
Publisher:
Springer VS
DOI:
10.1007/978-3-030-51831-8_3
Author(s):
Luca Cardelli, Radu Grosu, Kim Guldstrand Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Published in:
Quantitative Evaluation of Systems : 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings, 2021, Page(s) 391-409, ISBN 978-3-030-85171-2
Publisher:
Springer
DOI:
10.1007/978-3-030-85172-9_21
Author(s):
Mathias Claus Jensen, Anders Mariegaard, and Kim Guldstrand Larsen
Published in:
NASA Formal Methods - 11th International Symposium, NFM 2019, Proceedings, 2019, Page(s) 298-315, ISBN 978-3-030-20651-2
Publisher:
Springer
DOI:
10.1007/978-3-030-20652-9_20
Author(s):
Michele Albano, Stefano Chessa, Kim Guldstrand Larsen
Published in:
26th IEEE Symposium on Computers and Communications, 2021, ISBN 978-1-6654-2745-6
Publisher:
IEEE
DOI:
10.1109/iscc53001.2021.9631383
Author(s):
Manfred Jaeger, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Bernard E Legay, Sean Sedwards, Jakob Haahr Taankvist
Published in:
Automated Technology for Verification and Analysis- 17th International Symposium, AVTA 2019, Proceedings : ATVA 2019: Automated Technology for Verification and Analysis, 2019, Page(s) 81-97, ISBN 978-3-030-31783-6
Publisher:
Springer
DOI:
10.1007/978-3-030-31784-3_5
Author(s):
Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel
Published in:
30th International Conference on Concurrency Theory (CONCUR 2019), 2019, Page(s) 1-17, ISBN 978-3-95977-121-4
Publisher:
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH
DOI:
10.4230/lipics.concur.2019.9
Author(s):
Shyam Lal Karra, Kim Guldstrand Larsen, Marco Antonio Muniz Rodriguez, Jiri Srba
Published in:
Proceedings of the 41st International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets'20), 2020, Page(s) 109-128, ISBN 9783030518301
Publisher:
Springer
DOI:
10.1007/978-3-030-51831-8_6
Author(s):
Giovanni Bacci, Mikkel Hansen, Kim Guldstrand Larsen
Published in:
Quantitative Evaluation of Systems - 16th International Conference, QEST 2019, Proceedings, 2019, Page(s) 37-51, ISBN 978-3-030-30281-8
Publisher:
Springer
DOI:
10.1007/978-3-030-30281-8_3
Author(s):
Kim Guldstrand Larsen
Published in:
Proceedings of 30th International Conference on Concurrency Theory, CONCUR 2019, 2019, ISBN 978-3-95977-121-4
Publisher:
Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
DOI:
10.4230/lipics.concur.2019.2
Author(s):
Frederik Meyer Bønneland, Peter Gjøl Jensen, Kim G. Larsen, Marco Muñiz, Jiří Srba
Published in:
30th International Conference on Concurrency Theory, CONCUR 2019, 2019, ISBN 9783959771214
Publisher:
Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
DOI:
10.4230/lipics.concur.2019.23
Author(s):
Kim G. Larsen, Radu Mardare, Bingtian Xue
Published in:
LIPIcs, Issue 65, 2016, Page(s) 25:1--25:18, ISBN 978-3-95977-027-9
Publisher:
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI:
10.4230/LIPIcs.FSTTCS.2016.25
Author(s):
Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen, Bingtian Xue
Published in:
Lecture Notes in Computer Science, Issue 9984, 2016, Page(s) 213-228, ISBN 978-3-319-47676-6
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-47677-3_14
Author(s):
Giovanni Bacci, Giorgio Bacci, Radu Mardare, Kim G. Larsen
Published in:
LIPIcs, Issue 80, 2017, Page(s) 104:1--104:14
Publisher:
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI:
10.4230/LIPIcs.ICALP.2017.104
Author(s):
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
Published in:
LIPIcs, Issue 59, 2016, Page(s) 21:1--21:14
Publisher:
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI:
10.4230/LIPIcs.CONCUR.2016.21
Author(s):
Robert Furber, Dexter Kozen, Kim Larsen, Radu Mardare, Prakash Panangaden
Published in:
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017, Page(s) 1-9, ISBN 978-1-5090-3018-7
Publisher:
IEEE
DOI:
10.1109/LICS.2017.8005152
Author(s):
Mathias R. Pedersen, Nathanaël Fijalkow, Giorgio Bacci, Kim G. Larsen, Radu Mardare
Published in:
Lecture Notes in Computer Science, Issue 10792, 2018, Page(s) 271-283
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-77313-1_21
Author(s):
Andreas E. Dalsgaard, Søren Enevoldsen, Peter Fogh, Lasse S. Jensen, Tobias S. Jepsen, Isabella Kaufmann, Kim G. Larsen, Søren M. Nielsen, Mads Chr. Olesen, Samuel Pastva, Jiří Srba
Published in:
Lecture Notes in Computer Science, Issue 10258, 2017, Page(s) 139-158, ISBN 978-3-319-57860-6
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-57861-3_10
Author(s):
Peter Gjøl Jensen, Kim Guldstrand Larsen, Jiří Srba
Published in:
Lecture Notes in Computer Science, Issue 10580, 2017, Page(s) 248-265, ISBN 978-3-319-67728-6
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-67729-3_15
Author(s):
Franck Cassez, Peter Gjøl Jensen, Kim Guldstrand Larsen
Published in:
Lecture Notes in Computer Science, Issue 10506, 2017, Page(s) 42-58, ISBN 978-3-319-67088-1
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-67089-8_4
Author(s):
Anders Mariegaard, Kim Guldstrand Larsen
Published in:
Lecture Notes in Computer Science, Issue 10419, 2017, Page(s) 153-169, ISBN 978-3-319-65764-6
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-65765-3_9
Author(s):
Zhengkui Zhang, Brian Nielsen, Kim Guldstrand Larsen, Gilles Nies, Marvin Stenger, Holger Hermanns
Published in:
Lecture Notes in Computer Science, Issue 10610, 2017, Page(s) 481-495, ISBN 978-3-319-68689-9
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-68690-5_29
Author(s):
Kim Guldstrand Larsen
Published in:
Lecture Notes in Computer Science, Issue 10205, 2017, Page(s) 3-20, ISBN 978-3-662-54576-8
Publisher:
Springer Berlin Heidelberg
DOI:
10.1007/978-3-662-54577-5_1
Author(s):
Kim Larsen, Doron Peled, Sean Sedwards
Published in:
Lecture Notes in Computer Science, Issue 10712, 2017, Page(s) 152-169, ISBN 978-3-319-72307-5
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-72308-2_10
Author(s):
Zhengkui Zhang, Brian Nielsen, Kim G. Larsen
Published in:
Lecture Notes in Computer Science, Issue 9884, 2016, Page(s) 157-173, ISBN 978-3-319-44877-0
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-44878-7_10
Author(s):
Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Kim Guldstrand Larsen, Jiří Srba
Published in:
Lecture Notes in Computer Science, Issue 9984, 2016, Page(s) 197-212, ISBN 978-3-319-47676-6
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-47677-3_13
Author(s):
Kim G. Larsen, Axel Legay
Published in:
Lecture Notes in Computer Science, Issue 9952, 2016, Page(s) 3-15
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-47166-2_1
Author(s):
Kim G. Larsen, Axel Legay
Published in:
Lecture Notes in Computer Science, Issue 9953, 2016, Page(s) 843-862, ISBN 978-3-319-47168-6
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-47169-3_62
Author(s):
Cyrille Jegourel, Kim G. Larsen, Axel Legay, Marius Mikučionis, Danny Bøgsted Poulsen, Sean Sedwards
Published in:
Lecture Notes in Computer Science, Issue 9984, 2016, Page(s) 163-178, ISBN 978-3-319-47676-6
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-47677-3_11
Author(s):
Mads Kronborg Agesen, Kim Guldstrand Larsen, Marius Mikucionis, Marco Muniz, Petur Olsen, Thomas Pedersen, Jiri Srba, Arne Skou
Published in:
IECON 2016 - 42nd Annual Conference of the IEEE Industrial Electronics Society, 2016, Page(s) 5296-5301, ISBN 978-1-5090-3474-1
Publisher:
IEEE
DOI:
10.1109/IECON.2016.7794040
Author(s):
Kim Guldstrand Larsen
Published in:
Lecture Notes in Computer Science, Issue 10139, 2017, Page(s) 3-10, ISBN 978-3-319-51962-3
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-51963-0_1
Author(s):
René Rydhof Hansen, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen
Published in:
Lecture Notes in Computer Science, Issue 10744, 2017, Page(s) 75-90, ISBN 978-3-319-74859-7
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-74860-3_5
Author(s):
Olga Gadyatskaya, René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Mads Chr. Olesen, Danny Bøgsted Poulsen
Published in:
Lecture Notes in Computer Science, Issue 9884, 2016, Page(s) 35-50, ISBN 978-3-319-44877-0
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-44878-7_3
Author(s):
Peter Gjol Jensen, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman
Published in:
2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS), 2017, Page(s) 11-19, ISBN 978-1-5386-2431-9
Publisher:
IEEE
DOI:
10.1109/ICECCS.2017.33
Author(s):
Zhengkui Zhang, Brian Nielsen, Kim G. Larsen
Published in:
Proceedings of the 31st Annual ACM Symposium on Applied Computing - SAC '16, 2016, Page(s) 1634-1640, ISBN 9781-450337397
Publisher:
ACM Press
DOI:
10.1145/2851613.2851828
Author(s):
Kim Guldstrand Larsen
Published in:
Lecture Notes in Computer Science, Issue 10329, 2017, Page(s) xiii-xvi, ISBN 978-3-319-60133-5
Publisher:
Springer
Author(s):
Kim G. Larsen, Marius Mikučionis, Marco Muñiz, Jiří Srba, Jakob Haahr Taankvist
Published in:
Lecture Notes in Computer Science, Issue 9636, 2016, Page(s) 244-259, ISBN 978-3-662-49673-2
Publisher:
Springer Berlin Heidelberg
DOI:
10.1007/978-3-662-49674-9_14
Author(s):
Guangyuan Li, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen
Published in:
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software - SPIN 2017, 2017, Page(s) 102-111, ISBN 9781450350778
Publisher:
ACM Press
DOI:
10.1145/3092282.3092303
Author(s):
Peter Gjøl Jensen, Kim Guldstrand Larsen, Jiří Srba
Published in:
Lecture Notes in Computer Science, Issue 9641, 2016, Page(s) 129-146, ISBN 978-3-319-32581-1
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-32582-8_9
Author(s):
Giovanni Bacci, Mikkel Hansen and Kim Guldstrand Larsen
Published in:
Lecture Notes in Computer Science, 2018
Publisher:
Springer
Author(s):
Gilles Nies, Marvin Stenger, Jan Krčál, Holger Hermanns, Morten Bisgaard, David Gerhardt, Boudewijn RHM Haverkort, MR Jongerden, Kim G Larsen, Erik R Wognsen
Published in:
2016
Publisher:
International Astronautical Federation (IAF)
Author(s):
Dmitry Ivanov, Kim Larsen, Sibylle Schupp and Jiri Srba
Published in:
Lecture Notes in Computer Science, 2018
Publisher:
Springer
Author(s):
Giovanni Bacci, Kim Guldstrand Larsen, Nicolas Markey, Patricia Bouyer-Decitre, Uli Fahrenberg and Pierre-Alain Reynier
Published in:
Lecture Notes in Computer Science, 2018
Publisher:
Springer
Author(s):
Henrik Schiøler, Luminita Totu, Jan Dimon, Kim Guldstrand Larsen, Jakob Haahr Taankvist
Published in:
2018
Publisher:
IEEE/ACM
Author(s):
F.M. Boenneland, P.G. Jensen, K.G. Larsen, M. Muniz, J. Srba
Published in:
Lecture Notes in Computer Science, 2018
Publisher:
Springer
Author(s):
Andreas Berre Eriksen, Chao Huang, Jan Kildebogaard, Harry Spaabæk Lahrmann, Kim Guldstrand Larsen, Marco Muniz, Jakob Haahr Taankvist
Published in:
2017
Publisher:
ERTICO - ITS Europe
Author(s):
Mathias Ruggaard Pedersen, Giorgio Bacci, Kim Guldstrand Larsen and Radu Mardare
Published in:
Lecture Notes in Computer Science, 2018
Publisher:
Springer
Author(s):
Kim Guldstrand Larsen, Florian Lorber and Brian Nielsen
Published in:
2018
Publisher:
Springer
Author(s):
Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Published in:
36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, Page(s) 1-14, ISBN 978-1-6654-4896-3
Publisher:
IEEE
DOI:
10.1109/lics52264.2021.9470555
Author(s):
Muhammad Naeem, Michele Albano, Kim G. Larsen, Brian Nielsen, Anders Hoedholt, Christian Ø. Laursen
Published in:
2021 10th Mediterranean Conference on Embedded Computing, MECO 2021, 2021, Page(s) 1-6, ISBN 978-1-6654-3911-4
Publisher:
IEEE
DOI:
10.1109/meco52532.2021.9460152
Author(s):
Shyamlal Karra, Kim Guldstrand Larsen, Florian Lorber, Jiri Srba
Published in:
Proceedings of International Conference on Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification (RSSRail'19), 2019, Page(s) 106-122, ISBN 978-3-030-18743-9
Publisher:
Springer
DOI:
10.1007/978-3-030-18744-6_7
Author(s):
Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman
Published in:
Proceedings of SETTA 2020 : Dependable Software Engineering. Theories, Tools, and Applications, 2020, Page(s) 70-88, ISBN 978-3-030-62821-5
Publisher:
Springer
DOI:
10.1007/978-3-030-62822-2_5
Author(s):
Søren Enevoldsen, Kim Guldstrand Larsen, and Jiri Srba
Published in:
Proceedings of the 26th International SPIN Symposium on Model Checking of Software (SPIN'19), 2019, Page(s) 1-19, ISBN 978-3-030-30922-0
Publisher:
Springer
DOI:
10.1007/978-3-030-30923-7_1
Author(s):
Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim Guldstrand Larsen
Published in:
Formal Methods – The Next 30 Years - 3rd World Congress, FM 2019, Proceedings : FM 2019: Formal Methods – The Next 30 Years, 2019, Page(s) 651-669, ISBN 978-3-030-30941-1
Publisher:
Springer
DOI:
10.1007/978-3-030-30942-8_38
Author(s):
Pranav Ashok, Jan Křetínský, Kim Guldstrand Larsen, Adrien Le Coënt, Jakob Haahr Taankvist & Maximilian Weininger
Published in:
Quantitative Evaluation of Systems - 16th International Conference, QEST 2019, Proceedings, 2019, Page(s) 147-164, ISBN 978-3-030-30280-1
Publisher:
Springer
DOI:
10.1007/978-3-030-30281-8_9
Author(s):
Kiviriga, A., Larsen, K. G., Nyman, U.
Published in:
Formal Methods for Industrial Critical Systems : 26th International Conference, FMICS 2021, Proceedings, 2021, Page(s) 149-166, ISBN 9783030852474
Publisher:
Springer Science+Business Media
DOI:
10.1007/978-3-030-85248-1_9
Author(s):
Søren Enevoldsen, Kim Guldstrand Larsen, and Jiri Srba
Published in:
Tools and Algorithms for the Construction and Analysis of Systems, 2019, Page(s) 316-333, ISBN 978-3-030-17461-3
Publisher:
Springer, Cham
DOI:
10.1007/978-3-030-17462-0
Author(s):
Mads Christian Olesen, René Rydhof Hansen, Kim Guldstrand Larsen
Published in:
Lecture Notes in Computer Science, Issue 9560, 2016, Page(s) 88-110, ISBN 978-3-319-27809-4
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-27810-0_5
Author(s):
Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Joël Ouaknine, James Worrell
Published in:
Handbook of Model Checking, 2018, Page(s) 1001-1046
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-10575-8_29
Author(s):
Kim Guldstrand Larsen, Marius Mikučionis, Jakob Haahr Taankvist
Published in:
Lecture Notes in Computer Science, Issue 9360, 2015, Page(s) 260-277, ISBN 978-3-319-23505-9
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-23506-6_17
Author(s):
Kim G. Larsen, Uli Fahrenberg, Axel Legay
Published in:
Dependable Software Systems Engineering, Issue 50, 2017, Page(s) 60-103
Publisher:
IOS Press Ebooks
DOI:
10.3233/978-1-61499-810-5-60
Author(s):
Active Learning of Markov Decision Processes using Baum-Welch algorithm
Published in:
2021 20th IEEE International Conference on Machine Learning and Applications (ICMLA), 2021, Page(s) 1203-1208, ISBN 978-1-6654-4337-1
Publisher:
IEEE
DOI:
10.1109/icmla52953.2021.00195
Searching for OpenAIRE data...
There was an error trying to search data from OpenAIRE
No results available