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