Find Publications

Search concepts
Selected filters
2011
86 Citations (Scopus)

Time for Statistical Model Checking of Real-Time Systems

David, A., Larsen, K. G., Legay, A., Mikucionis, M. & Wang, Z., 1 Jan 2011, In : Lecture Notes in Computer Science. 6806 LNCS, p. 349-355 7 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Model checking
Real time systems
Model Checking
Statistical Model
Real-time
2012
8 Citations (Scopus)

Testing real-time systems under uncertainty

David, A., Larsen, K. G., Li, S., Mikucionis, M. & Nielsen, B., 2012, Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers. Berlin: Springer, Vol. 6957. p. 352-371 20 p. (Lecture Notes in Computer Science, Vol. 6957).

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

Real time systems
Testing
Observability
Controllability
Embedded systems
2017
3 Citations (Scopus)

Symbolic Dependency Graphs for PCTL Model-Checking

Mariegaard, A. & Larsen, K. G., 2017, Formal Modeling and Analysis of Timed Systens. Springer Publishing Company, Vol. 10419. p. 153-169 17 p. (Lecture Notes in Computer Science, Vol. 10419).

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

Model checking
Costs
Specifications
2014
7 Citations (Scopus)

Verification and Performance Evaluation of Timed Game Strategies

David, A., Fang, H., Larsen, K. G. & Zhang, Z., 2014, Formal Modeling and Analysis of Timed Systems. Legay, A. & Bozga, M. (eds.). Springer, Vol. 8711. p. 100-114 15 p. (Lecture Notes in Computer Science).

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

2012
10 Citations (Scopus)

A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example

Zhao, H., Zhan, N., Kapur, D. & Larsen, K. G., 2012, FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings. Springer, Vol. 7436. p. 471-485 (Lecture Notes in Computer Science).

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

2017
6 Citations (Scopus)

Formal validation of supervisory energy management systems for microgrids

Sugumar, G., Selvamuthukumaran, R., Dragicevic, T., Nyman, U., Larsen, K. G. & Blaabjerg, F., Oct 2017, Proceedings of 43rd Annual Conference of the IEEE Industrial Electronics Society, IECON 2017. IEEE Press, p. 1154-1159 6 p.

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

Energy management systems
Renewable energy resources
Real time systems
Energy storage
Physics
2014
4 Citations (Scopus)

Continuity Properties of Distances for Markov Processes

Jaeger, M., Mao, H., Larsen, K. G. & Mardare, R. I., 2014, Quantitative Evaluation of Systems: 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings. Norman, G. & Sanders, W. (eds.). Springer, Vol. 8657. p. 297-312 (Lecture Notes in Computer Science).

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

Distance Function
Markov Process
Kullback-Leibler Distance
Trace
Metric
2012
29 Citations (Scopus)

An Evaluation Framework for Energy Aware Buildings using Statistical Model Checking

David, A., Du, D., Larsen, K. G., Mikučionis, M. & Skou, A., Dec 2012, In : Science in China. Series F: Information Sciences. 55, 12, p. 2694-2707 14 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Model checking
Hybrid systems
Specifications
Statistical Models
Cyber Physical System
2018

Weighted branching systems: Behavioural equivalence, behavioural distance, and their logical characterisations

Jensen, M. C., Larsen, K. G. & Mardare, R., 1 Jan 2018, Formal Modeling and Analysis of Timed Systems: FORMATS 2018. Jansen, D. N. & Prabhakar, P. (eds.). Springer, p. 145-161 17 p. (Lecture Notes in Computer Science, Vol. 11022 LNCS).

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

Bisimulation
Branching
Equivalence
Pseudometric
Logic
1 Citation (Scopus)

On decidability of recursive weighted logics.

Larsen, K. G., Mardare, R. & Xue, B., 2018, In : Soft Computing. 22, 4, p. 1085-1102

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
Computability and decidability
Decidability
Logic
Transition Systems
Syntactics
2014
481 Downloads (Pure)

Schedulability and Energy Efficiency for Multi-core Hierarchical Scheduling Systems

Boudjadar, J., David, A., Kim, J. H., Larsen, K. G., Nyman, U. & Skou, A., 2014, Proceedings of ERTS2 2014. p. 1-4 4 p.

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

File
2017
7 Citations (Scopus)

Extended dependency graphs and efficient distributed fixed-point computation

Dalsgaard, A. E., Enevoldsen, S., Fogh, P., Jensen, L. S., Jepsen, T. S., Kaufmann, I., Larsen, K. G., Nielsen, S. M., Olesen, M. C., Pastva, S. & Srba, J., 2017, Application and Theory of Petri Nets and Concurrency - 38th International Conference, PETRI NETS 2017, Proceedings. Springer, Vol. 10258 LNCS. p. 139-158 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10258 LNCS).

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

Model checking
Petri nets
Backpropagation
Explosions
2019

Controlling Signalized Intersections using Machine Learning

Eriksen, A. B., Lahrmann, H., Larsen, K. G. & Taankvist, J. H., 2019, In : Transportation Research Procedia.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Learning systems
traffic
Controllers
simulation
road
2017

Dependable and optimal cyber-physical systems

Larsen, K. G., 2017, SOFSEM 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Proceedings. LNCS ed. Springer, Vol. 10139. p. 3-10 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10139 LNCS).

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

2015
9 Citations (Scopus)

Schedulability of Herschel revisited using statistical model checking

David, A., Larsen, K. G., Legay, A. & Mikučionis, M., 2015, In : International Journal on Software Tools for Technology Transfer. 17, 2, p. 187-199 13 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Model checking
Stop watches
Statistical Models
Satellites
Industry
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
Decision trees
2012

Parameterized Metatheory for Continuous Markovian Logic

Larsen, K. G., Mardare, R. I. & Thrane, C., 2012, In : Electronic Proceedings in Theoretical Computer Science. 103, p. 33-47

Research output: Contribution to journalConference article in JournalResearchpeer-review

2019

Continuous-Time Models for System Design and Analysis

Alur, R., Giacobbe, M., Henzinger, T., Larsen, K. G. & Mikučionis, M., 2019, Computing and Software Services. Heidelberg: Springer, p. 452-477 (Lecture Notes in Computer Science, Vol. 10000).

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

Systems analysis
Pacemakers
Temporal logic
Controllers
Monitoring
2014
13 Citations (Scopus)

Statistical model checking past, present, and future (Track Introduction)

Larsen, K. G. & Legay, A., 18 Oct 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Vol. 8803. p. 135-142 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8803).

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

2015
20 Citations (Scopus)

Language Emptiness of Continuous-Time Parametric Timed Automata

Benes, N., Bezdek, P., Larsen, K. G. & Srba, J., 2015, Automata, Languages, and Programming: 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II. Halldórsson, M. M., Iwama, K., Kobayashi, N. & Speckmann, B. (eds.). Springer, p. 69-81 12 p. (Lecture Notes in Computer Science; No. 9135).

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

Clocks
Computability and decidability
Semantics
2018
4 Citations (Scopus)

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

Industry
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

2013
20 Citations (Scopus)

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

2015
15 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

modeling
simulation
analysis
2019

Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings.

Larsen, K. G. (ed.) & Willemse, T. (ed.), 2019, Springer Publishing Company. (Lecture Notes in Computer Science, Vol. 11687).

Research output: Book/ReportAnthologyResearchpeer-review

2013

Preface

Larsen, K. G., Legay, A. & Nyman, U., 3 Nov 2013, Proceedings 1st Workshop on Advances in Systems of Systems. Electronic Proceedings in Theoretical Computer Science, Vol. 133. p. 1-1 (Electronic Proceedings in Theoretical Computer Science).

Research output: Contribution to book/anthology/report/conference proceedingPreface/Introduction/postscriptResearch

2012
10 Citations (Scopus)
377 Downloads (Pure)

Reachability analysis for timed automata using max-plus algebra

Lu, Q., Madsen, M., Milata, M., Ravn, S., Fahrenberg, U. & Larsen, K. G., 2012, In : Journal of Logic and Algebraic Programming. 81, 3, p. 298-313

Research output: Contribution to journalJournal articleResearchpeer-review

File
Max-plus Algebra
Reachability Analysis
Timed Automata
Polyhedron
Algebra
2015
1 Citation (Scopus)

Concurrent weighted logic

Xue, B., Larsen, K. G. & Mardare, R. I., 2015, In : Journal of Logical and Algebraic Methods in Programming. 84, 6, p. 884–897

Research output: Contribution to journalJournal articleResearchpeer-review

Transition Systems
Labels
Concurrent
Synchronization
Logic
2011
1 Citation (Scopus)

Monitoring Dynamical Signals While Testing Timed Aspects of a System

Frehse, G., Larsen, K. G., Mikucionis, M. & Nielsen, B., 1 Jan 2011, In : Lecture Notes in Computer Science. 7019 LNCS, p. 115-130 16 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Monitoring
Hybrid Automata
Testing
Nondeterminism
Timed Automata
54 Citations (Scopus)

Developing UPPAAL over 15 years

Behrmann, G., David, A., Larsen, K. G., Pettersson, P. & Yi, W., Jan 2011, In : Software: Practice & Experience. 41, 2, p. 133-142 10 p.

Research output: Contribution to journalJournal articleResearchpeer-review

2016
2 Citations (Scopus)

Probabilistic Mu-Calculus: Decidability and Complete Axiomatization

Larsen, K. G., Mardare, R. I. & Xue, B., 2016, 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science: FSTTCS 2016, December 13-15, 2016, Chennai, India. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 25:1-25:18 18 p. (Leibniz International Proceedings in Informatics, Vol. 65).

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

Open Access
μ-calculus
Axiomatization
Decidability
Calculus
Probabilistic Logic
2011

Distributed Parametric and Statistical Model Checking

Bulychev, P. E., David, A., Larsen, K. G., Mikucionis, M. & Legay, A., 2011, In : Electronic Proceedings in Theoretical Computer Science. 72, p. 30-42 13 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

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

Orbits
Earth (planet)
Satellites
Scheduling
Nanosatellites
2012
5 Citations (Scopus)

Statistical Model Checking, Refinement Checking, Optimization, … for Stochastic Hybrid Systems

Larsen, K. G., 2012, Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings. Springer, Vol. 7595. p. 7-10 (Lecture Notes in Computer Science).

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

2015
3 Citations (Scopus)

Resource-Parameterized Timing Analysis of Real-Time Systems

Kim, J. H., Legay, A., Larsen, K. G., Mikučionis, M. & Nielsen, B., 2015, Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings. Piterman, N. (ed.). Springer, p. 190-205 (Lecture Notes in Computer Science; No. 9434).

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

2019
2 Citations (Scopus)
1 Downloads (Pure)

Abstract Dependency Graphs and Their Application to Model Checking

Enevoldsen, S., Larsen, K. G. & Srba, J., 2019, Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19). Zhang, L. & Vojnar, T. (eds.). Springer, p. 316-333 18 p. (Lecture Notes in Computer Science, Vol. 11427).

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

Open Access
File
Model checking
Concretes
2016
7 Citations (Scopus)

Efficient model-checking of weighted CTL with upper-bound constraints

Jensen, J. F., Larsen, K. G., Srba, J. & Østergaard, L. K., 2016, In : International Journal on Software Tools for Technology Transfer. 18, 4, p. 409-426

Research output: Contribution to journalJournal articleResearchpeer-review

Model checking
Experiments
2014
7 Citations (Scopus)

Complete proof systems for weighted modal logic

Larsen, K. G. & Mardare, R., 21 Aug 2014, In : Theoretical Computer Science. 546, p. 164-175

Research output: Contribution to journalJournal articleResearchpeer-review

Proof System
Modal Logic
Labels
Theorem proving
Model checking
2016
4 Citations (Scopus)

Limit Your Consumption! Finding Bounds in Average-energy Games

Larsen, K. G., Laursen, S. & Zimmermann, M., 2 Nov 2016, Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems, QAPL'16 2016, Eindhoven, The Netherlands, April 2-3, 2016. Tribastone, M. & Wiklicky, H. (eds.). p. 1-14 14 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 227).

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

Open Access
2015
2 Citations (Scopus)

Formal Methods for Modelling and Analysis of Single-Event Upsets

Hansen, R. R., Larsen, K. G., Olesen, M. C. & Wognsen, E. R., 2015, IEEE International Conference on Information Reuse and Integration (IRI 2015). IEEE, p. 287-294

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

2012
13 Citations (Scopus)

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

Model checking
Parallel algorithms
Data structures
Scalability
Hardware
9 Citations (Scopus)

Nash Equilibria in Concurrent Priced Games

Klimos, M., Larsen, K. G., Stefanak, F. & Thaarup, J., 2012, Language and Automata Theory and Applications: 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings. Berlin: Springer, Vol. 7183. p. 363-376 (Lecture Notes in Computer Science, Vol. 7183).

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

2011
18 Citations (Scopus)

Quantitative Refinement for Weighted Modal Transition Systems

Bauer, S. S., Fahrenberg, U., Juhl, L., Larsen, K. G., Legay, A. & Thrane, C., 1 Jan 2011, In : Lecture Notes in Computer Science. 6907 LNCS, p. 60-71 12 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Transition Systems
Refinement
Specification
Specifications
Software System
2014
6 Citations (Scopus)
656 Downloads (Pure)

A modal specification theory for components with data

Bauer, S. S., Larsen, K. G., Legay, A., Nyman, U. & Wasowski, A., 1 Apr 2014, In : Science of Computer Programming. 83, p. 106–128 22 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Specifications
Chemical analysis
2012
10 Citations (Scopus)

Dual-Priced Modal Transition Systems with Time Durations

Beneš, N., Kretínsky, J., Larsen, K. G., Møller, M. H. & Srba, J., 2012, Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings . Netherlands: Springer, Vol. LNCS 7180. p. 122-137 15 p. (Lecture Notes in Computer Science, Vol. 7180).

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

Hardware
Costs
Specifications
9 Citations (Scopus)

State-of-the-art Tools and Techniques for Quantitative Modeling and Analysis of Embedded Systems

Bozga, M., David, A., Hartmanns, A., Larsen, K. G., Legay, A. & Tretmans, J., 2012, In : A C M / I E E E Design Automation Conference. Proceedings. p. 370-375

Research output: Contribution to journalConference article in JournalResearchpeer-review

Embedded systems
Testing
2016
9 Citations (Scopus)
143 Downloads (Pure)

Statistical and exact schedulability analysis of hierarchical scheduling systems

Boudjadar, A., David, A., Kim, J. H., Larsen, K. G., Mikučionis, M., Nyman, U. & Skou, A., 27 May 2016, In : Science of Computer Programming. 127, p. 103-130 28 p.

Research output: Contribution to journalJournal articleResearchpeer-review

File
Scheduling
Model checking
2018

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

2011
24 Citations (Scopus)

Parametric modal transition systems

Beneš, N., Křetínský, J., Larsen, K. G., Møller, M. H. & Srba, J., 1 Jan 2011, In : Lecture Notes in Computer Science. 6996, p. 275-289 15 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Transition Systems
Computational complexity
Refinement
Specifications
Reactive Systems
2016
14 Citations (Scopus)
256 Downloads (Pure)

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
Model checking
Learning algorithms
Temporal logic
Hardware