Find Publications

Search in all content

Filters for Publications

Search concepts
Selected filters

Publication Year

  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011

Author

  • Kim Guldstrand Larsen
2012

Schedulability Analysis Abstractions for Safety Critical Java

Bøgholm, T., Thomsen, B., Larsen, K. G. & Mycroft, A., 2012, Proceedings of the IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2012. IEEE Computer Society Press, p. 71-78 8 p. (International Symposium on Object-Oriented Real-Time Distributed Computing).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

2 Citations (Scopus)
2016

Distributed computation of fixed points on dependency graphs

Dalsgaard, A. E., Enevoldsen, S., Larsen, K. G. & Srba, J., Nov 2016, Dependable Software Engineering: Theories, Tools, and Applications. Springer, p. 197-212 16 p. (Lecture Notes in Computer Science, Vol. 9984).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

7 Citations (Scopus)
2017

Validation, synthesis and optimization for cyber-physical systems

Larsen, K. G., 2017, Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings. Springer, Vol. 10205 LNCS. p. 3-20 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10205 LNCS).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

3 Citations (Scopus)
2015

Average-energy games

Bouyer, P., Markey, N., Randour, M., Larsen, K. G. & Laursen, S., 2015, Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification . Open Publishing Association, p. 1-15 (Electronic Proceedings in Theoretical Computer Science).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Open Access
7 Citations (Scopus)
2019

Model checking constrained markov reward models with uncertainties

Bacci, G., Hansen, M. & Larsen, K. G., 1 Sep 2019, Quantitative Evaluation of Systems - 16th International Conference, QEST 2019, Proceedings. Parker, D. & Wolf, V. (eds.). Springer, p. 37-51 15 p. (Lecture Notes in Computer Science, Vol. 11785).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

1 Citation (Scopus)
2014

Memory Efficient Data Structures for Explicit Verification of Timed Systems

Taankvist, J. H., Srba, J., Larsen, K. G., Sørensen, M. G. & Jensen, P. G., 2014, NASA Formal Methods. Badger, J. M. & Rozier, K. Y. (eds.). Springer Publishing Company, Vol. 8430. p. 307-312 6 p. (Lecture Notes in Computer Science).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

7 Citations (Scopus)
2012

Extending Modal Transition Systems with Structured Labels

Bauer, S. S., Juhl, L., Larsen, K. G., Legay, A. & Srba, J., 8 May 2012, In : Mathematical Structures in Computer Science. 22, 4, p. 581-617 37 p.

Research output: Contribution to journalJournal articleResearchpeer-review

20 Citations (Scopus)
2015

Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015 Mumbai, India, January 12-14, 2015 Proceedings

D’Souza, D. (ed.), Lal, A. (ed.) & Larsen, K. G. (ed.), 2015, Springer. (Lecture Notes in Computer Science, Vol. 8931).

Research output: Book/ReportAnthology

1 Citation (Scopus)
2013

Abstract probabilistic automata

Delahaye, B., Katoen, J. P., Larsen, K. G., Legay, A., Pedersen, M. L., Sher, F. & Wa̧sowski, A., 4 Nov 2013, In : Information and Computation. 232, p. 66-116 51 p.

Research output: Contribution to journalJournal articleResearchpeer-review

13 Citations (Scopus)

On the Relationship between LTL Normal Forms and Büchi Automata

Li, J., Pu, G., Zhang, L., Wang, Z., He, J. & Larsen, K. G., 2013, Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Vol. 8051. p. 256-270 (Lecture Notes in Computer Science, Vol. 8051).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

2 Citations (Scopus)

TetaSARTS: A tool for modular timing analysis of safety critical Java systems

Luckow, K. S., Bøgholm, T., Thomsen, B. & Larsen, K. G., 2013, Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems. 11 ed. Association for Computing Machinery, p. 11-20 10 p. (Proceedings of the International Workshop of Java Technologies for Real-Time and Embedded Systems).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

6 Citations (Scopus)
2012

Modal Transition Systems with Weight Intervals

Juhl, L., Larsen, K. G. & Srba, J., May 2012, In : Journal of Logic and Algebraic Programming. 81, 4, p. 408-421 14 p.

Research output: Contribution to journalJournal articleResearchpeer-review

14 Citations (Scopus)
2018

Mastering operational limitations of LEO satellites – The GOMX-3 approach

Nies, G., Stenger, M., Krčál, J., Hermanns, H., Bisgaard, M., Gerhardt, D., Haverkort, B., Jongerden, M., Larsen, K. G. & Wognsen, E. R., 1 Oct 2018, In : Acta Astronautica. 151, p. 726-735 10 p.

Research output: Contribution to journalJournal articleResearchpeer-review

2012

Quantitative Modeling and Analysis

Katoen, J-P. & Larsen, K. G., 2012, Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II. Berlin: Springer, Vol. 7610. p. 290-292 (Lecture Notes in Computer Science, Vol. 7610).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

2014

Verification and Performance Analysis of Embedded and Cyber-Physical Systems using UPPAAL

Larsen, K. G., 17 Jul 2014, PECCS 2014 -- Proceedings of the 4th International Conference on Pervasive and Embedded Computing and Communication Systems. SCITEPRESS Digital Library, p. IS-9

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

2016

Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization

Jensen, P. G., Larsen, K. G. & Srba, J., 8 Apr 2016, Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings. Springer, p. 129-146 (Lecture Notes in Computer Science, Vol. 9641).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

5 Citations (Scopus)
2015

Refinement Checking on Parametric Modal Transition Systems

Benes, N., Kretínsky, J., Larsen, K. G., Møller, M. H., Sickert, S. & Srba, J., 2015, In : Acta Informatica. 52, 2, p. 269-297 31 p.

Research output: Contribution to journalJournal articleResearchpeer-review

3 Citations (Scopus)

CAAL: Concurrency Workbench, Aalborg Edition

Reimer Andersen, J., Andersen, N., Enevoldsen, S., Munk Hansen, M., Larsen, K. G., Reedtz Olesen, S., Srba, J. & Wortmann, J. K., 2015, Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings. Leucker, M., Rueda, C. & Valencia, F. D. (eds.). Netherlands: Springer, p. 573-582 10 p. (Lecture Notes in Computer Science; No. 9399).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

18 Citations (Scopus)
2014

Probabilistic modal specifications (invited extended abstract)

Larsen, K. G. & Legay, A., 1 Jan 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Vol. 8348 LNCS. p. 1-4 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8348 LNCS).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

2012

Multi-core reachability for timed automata

Dalsgaard, A. E., Laarman, A., Larsen, K. G., Olesen, M. C. & Van De Pol, J., 2012, Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings. Jurdzinski, M. & Nickovic, D. (eds.). Springer Publishing Company, p. 91-106 16 p. (Lecture Notes in Computer Science, Vol. 7595).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

13 Citations (Scopus)
2011

Abstract Probabilistic Automata

Delahaye, B., Katoen, J-P., Larsen, K. G., Legay, A., Pedersen, M. L., Sher, F. & Wasowski, A., 2011, In : Lecture Notes in Computer Science. 6538, p. 324-339

Research output: Contribution to journalConference article in JournalResearchpeer-review

33 Citations (Scopus)
2017

Practical controller synthesis for MTL0,∞

Li, G., Jensen, P. G., Larsen, K. G., Legay, A. & Poulsen, D. B., 13 Jul 2017, SPIN 2017 - Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. Association for Computing Machinery, p. 102-111 10 p.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

2011

APAC: A tool for Reasoning about Abstract Probabilistic Automata

Delahaye, B., Larsen, K. G., Legay, A., Pedersen, M. L. & Wasowski, A., 1 Jan 2011, Proceedings of the 2011 8th International Conference on Quantitative Evaluation of Systems, QEST 2011. IEEE Computer Society Press, p. 151-152 2 p.

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

8 Citations (Scopus)
2018

Time Optimal Robust Fleet Management of Micro UAV Through Timed Games Formulation

Schioler, H., Totu, L., Dimon, J., Larsen, K. G. & Taankvist, J. H., 26 Oct 2018, 2018 IEEE Conference on Control Technology and Applications (CCTA). IEEE, p. 146-152 7 p. 8511477

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

2012

Learning Markov models for stationary system behaviors

Chen, Y., Mao, H., Jaeger, M., Nielsen, T. D., Larsen, K. G. & Nielsen, B., 2012, NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings. Goodloe, A. E. & Person, S. (eds.). Springer, p. 216-230 15 p. (Lecture Notes in Computer Science, Vol. 7226).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

File
10 Citations (Scopus)
373 Downloads (Pure)
2016

Distributed Algorithms for Time Optimal Reachability Analysis

Zhang, Z., Nielsen, B. & Larsen, K. G., 17 Aug 2016, Formal Modeling and Analysis of Timed Systems. Springer, p. 157-176 (Lecture Notes in Computer Science, Vol. 9884).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

1 Citation (Scopus)
2017

Pareto Optimal Reachability Analysis for Simple Priced Timed Automata

Nielsen, B., Zhang, Z., Larsen, K. G., Nies, G., Hermanns, H. & Stenger, M., 2017, Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings. Springer, p. 481-495 (Lecture Notes in Computer Science : Programming and Software Engineering, Vol. 10610).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

2 Citations (Scopus)
2011

Quasimodo Year 3 Management Report

Nielsen, B. & Larsen, K. G., 1 Jun 2011, 36 p.

Research output: Working paperResearch

2013

Weighted modal transition systems

Bauer, S., Fahrenberg, U., Juhl, L., Legay, A., Larsen, K. G. & Thrane, C., 2013, In : Formal Methods in System Design. 42, 2, p. 193-220

Research output: Contribution to journalJournal articleResearchpeer-review

15 Citations (Scopus)
2018

Contracts for System Design

Benveniste, A., Caillaud, B., Nicovic, D., Passerone, R., Raclet, J-B., Reinkemeier, P., Sangiovanni-Vincentelli, A., Damm, W., Henzinger, T. & Larsen, K. G., 2018, Now Foundations and Trends. 293 p.

Research output: Book/ReportBook

Open Access
23 Citations (Scopus)

Statistical model checking the 2018 edition!

Guldstrand Larsen, K. & Legay, A., 1 Jan 2018, ISoLA 2018: Leveraging Applications of Formal Methods, Verification and Validation. Verification. Margaria, T. & Steffen, B. (eds.). Springer, p. 261-270 10 p. (Lecture Notes in Computer Science, Vol. 11245 LNCS).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

2011

Robust specification of real time components

Larsen, K. G., Legay, A., Traonouez, L-M. & Wasowski, A., 1 Jan 2011, In : Lecture Notes in Computer Science. 6919 LNCS, p. 129-144 16 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

13 Citations (Scopus)
2013

Optimal Bounds for Multiweighted and Parametrised Energy Games

Juhl, L., Larsen, K. G. & Raskin, J-F., 2013, Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Springer Publishing Company, Vol. 8051. p. 244-255 (Lecture Notes in Computer Science, Vol. 8051).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

21 Citations (Scopus)
2016

Mastering operational limitations of LEO satellites - The GOMX3 approach

Nies, G., Stenger, M., Krčál, J., Hermanns, H., Bisgaard, M., Gerhardt, D., Haverkort, B., Jongerden, M., Larsen, K. G. & Wognsen, E. R., 2016, 67th International Astronautical Congress, IAC 2016. The International Astronautical Federation, (Proceedings of the International Astronautical Congress, IAC).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

2 Citations (Scopus)
2012

EXPTIME-Completeness of Thorough Refinement on Modal Transition Systems

Beneš, N., Křetínský, J., Larsen, K. G. & Srba, J., 2012, In : Information and Computation. 218, 1, p. 54-68 15 p.

Research output: Contribution to journalJournal articleResearchpeer-review

7 Citations (Scopus)
2019
2014

Synchronizing Strategies under Partial Observability

Larsen, K. G., Laursen, S. & Srba, J., 2014, CONCUR 2014 – Concurrency Theory. Baldan, P. & Gorla, D. (eds.). Springer Publishing Company, Vol. 8704. p. 188-202 (Lecture Notes in Computer Science).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Open Access
File
8 Citations (Scopus)
291 Downloads (Pure)

Model checking process algebra of communicating resources for real-time systems

Boudjadar, J., Kim, J. H., Larsen, K. G. & Nyman, U., 2014, 10 p.

Research output: Working paperResearch

Open Access
File
187 Downloads (Pure)
2019

Synthesis of Safe, Optimal and Compact Strategies for Stochastic Hybrid Games

Larsen, K. G., 2019, Proceedings of 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (eds.). Schloss Dagstuhl: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 5 p. 2. (Leibniz International Proceedings in Informatics, Vol. 140).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Open Access
File
1 Downloads (Pure)
2016

Learning deterministic probabilistic automata from a model checking perspective

Mao, H., Chen, Y., Jaeger, M., Nielsen, T. D., Larsen, K. G. & Nielsen, B., 2016, In : Machine Learning. 105, 2, p. 255-299 45 p.

Research output: Contribution to journalJournal articleResearchpeer-review

File
15 Citations (Scopus)
281 Downloads (Pure)
2018

20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond

Larsen, K. G., Lorber, F. & Nielsen, B., 9 Nov 2018, Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV. Springer, p. 212-229 (Lecture Notes in Computer Science, Vol. 11247).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

5 Citations (Scopus)

20 Years of Real Real Time Model Validation

Larsen, K. G., Lorber, F. & Nielsen, B., 2018, Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings. Springer, Vol. 10951. p. 22--36 (Lecture Notes in Computer Science, Vol. 10951).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Model-Based Mutation Testing of Real-Time Systems via Model Checking

Lorber, F., Larsen, K. G. & Nielsen, B., Apr 2018, 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE, p. 59-68

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

2 Citations (Scopus)
2019

Time to Learn - Learning Timed Automata from Tests

Tappler, M., Aichernig, B. K., Larsen, K. G. & Lorber, F., Aug 2019, Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Proceedings. André, É., Stoelinga, M. & Stoelinga, M. (eds.). Heidelberg: Springer, p. 216-235 20 p. (Lecture Notes in Computer Science, Vol. 11750).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

1 Citation (Scopus)
2018

Model Checking Real-Time Systems

Bouyer, P., Fahrenberg, U., Larsen, K. G., Markey, N., Ouaknine, J. & Worrell, J., 2018, Handbook of Model Checking. Springer Publishing Company, p. 1001-1046 46 p.

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

10 Citations (Scopus)

Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU

Nyman, U., Jensen, P. G., Larsen, K. G. & Legay, A., 15 Feb 2018, Proceedings - 2017 22nd International Conference on Engineering of Complex Computer Systems, ICECCS 2017. IEEE, p. 11-19 9 p.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Open Access
File
2 Citations (Scopus)
252 Downloads (Pure)
2016

A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems

Chadli, M., Kim, J. H., Legay, A., Traonouez, L. M., Naujokat, S., Bernhard, S. & Larsen, K. G., 2016, Critical Systems: Formal Methods and Automated Verification. Springer, p. 133–141 (Lecture Notes in Computer Science, Vol. 9933).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

3 Citations (Scopus)

Optimizing the resource requirements of hierarchical scheduling systems

Kim, J. H., Legay, A., Traonouez, L. M., Boudjadar, A., Nyman, U. M., Larsen, K. G., Lee, I. & Choi, J-Y., 2016, In : SIGBED Review. 13, 3, 8 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Statistical Model Checking: Past, Present, and Future

Larsen, K. G. & Legay, A., 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. Springer, p. 3–15 (Lecture Notes in Computer Science, Vol. 9952).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

15 Citations (Scopus)
2014

Adequacy and Complete Axiomatization for Timed Modal Logic

Jaziri, S., Larsen, K. G., Mardare, R. I. & Xue, B., 2014, Electronic Notes in Theoretical Computer Science: Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXX). Jacobs, B., Silva, A. & Staton, S. (eds.). Ithaca, New York: Elsevier, Vol. 308. p. 183-210 28 p. (Electronic Notes in Theoretical Computer Science, Vol. 308).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Open Access
5 Citations (Scopus)