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