Kim G. Larsen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
75
Venues
36
Active years
2001–2025
Best venue rank
A*
Where they publish
- CISoLA9 papers
- BCONCUR7 papers
- ATACAS5 papers
- CICTAC4 papers
- BRV3 papers
- NationalTASE3 papers
- BATVA3 papers
- A*LICS3 papers
- CISORC3 papers
- CLATA3 papers
- ADATE2 papers
- CVECoS2 papers
- BFM2 papers
- AICST2 papers
- A*ICALP2 papers
- BMFCS2 papers
- A*IJCAI1 paper
- ADSN1 paper
- A*ICAPS1 paper
- A*INFOCOM1 paper
- BIFM1 paper
- BSEFM1 paper
- CICFEM1 paper
- CICMLA1 paper
- CIECON1 paper
- BOPODIS1 paper
- MulticonferenceSAC1 paper
- NationalSETTA1 paper
- CFMICS1 paper
- BECRTS1 paper
- CMODELSWARD1 paper
- NationalLFCS1 paper
- Journal PublishedEMSOFT1 paper
- A*CAV1 paper
- BCSL1 paper
- BVMCAI1 paper
Papers
75 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CONCUR | Time for Timed Monitorability. | Thomas Mller Grosen, Sean Kauffman, Kim G. Larsen, Martin Zimmermann |
| 2025 | CONCUR | On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions. | Nicolaj . Jensen, Kim G. Larsen, Didier Lime, Jir Srba |
| 2025 | DATE | Exact Schedulability Analysis for Limited-Preemptive Parallel Applications Using Timed Automata in UPPAAL. | Jonas Hansen, Srinidhi Srinivasan, Geoffrey Nelissen, Kim G. Larsen |
| 2025 | IJCAI | What Makes You Special? Contrastive Heuristics Based on Qualified Dominance. | Rasmus G. Tollund, Kim G. Larsen, lvaro Torralba |
| 2025 | RV | Extended Timed Regular Expressions. | Marco Muiz, Marius Mikucionis, Kim G. Larsen |
| 2025 | TACAS | Token Elimination in Model Checking of Petri Nets. | Nicolaj . Jensen, Kim G. Larsen, Jir Srba |
| 2024 | DSN | SyRep: Efficient Synthesis and Repair of Fast Re-Route Forwarding Tables for Resilient Networks. | Csaba Gyrgyi, Kim G. Larsen, Stefan Schmid, Jir Srba |
| 2024 | ICAPS | Optimal Infinite Temporal Planning: Cyclic Plans for Priced Timed Automata. | Rasmus G. Tollund, Nicklas S. Johansen, Kristian . Nielsen, lvaro Torralba, Kim G. Larsen |
| 2024 | INFOCOM | SyPer: Synthesis of Perfectly Resilient Local Fast Re-Routing Rules for Highly Dependable Networks. | Csaba Gyrgyi, Kim G. Larsen, Stefan Schmid, Jir Srba |
| 2024 | IFM | Monitoring Real-Time Systems Under Parametric Delay. | Martin Frnzle, Thomas Mller Grosen, Kim G. Larsen, Martin Zimmermann |
| 2024 | ISoLA | Optimality-Preserving Reduction of Chemical Reaction Networks. | Kim G. Larsen, Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2024 | SEFM | Exploiting Assumptions for Effective Monitoring of Real-Time Properties Under Partial Observability. | Alessandro Cimatti, Thomas Mller Grosen, Kim G. Larsen, Stefano Tonetta, Martin Zimmermann |
| 2024 | TACAS | Forward and Backward Constrained Bisimulations for Quantum Circuits. | Antonio Jimnez-Pastor, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski |
| 2024 | TASE | Safe and Infinite Resource Scheduling Using Energy Timed Automata. | Pieter J. L. Cuijpers, Jonas Hansen, Kim G. Larsen |
| 2024 | VECoS | Statistical Model Checking the 2024 Edition! | Sudeep Kanav, Jan Kretnsk, Kim G. Larsen |
| 2023 | ICFEM | Dynamic Extrapolation in Extended Timed Automata. | Nicolaj . Jensen, Peter Gjl Jensen, Kim G. Larsen |
| 2023 | VECoS | Welcome Remarks from AISoLA 2023/Track C2 Chairs. | Nils Jansen, Bettina Knighofer, Jan Kretnsk, Kim G. Larsen |
| 2022 | ATVA | STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego. | Martijn A. Goorden, Peter Gjl Jensen, Kim G. Larsen, Mihhail Samusev, Jir Srba, Guohan Zhao |
| 2022 | ISoLA | Formal Methods Meet Machine Learning (F3ML). | Kim G. Larsen, Axel Legay, Gerrit Nolte, Maximilian Schlter, Marille Stoelinga, Bernhard Steffen |
| 2022 | ISoLA | Automata Learning Meets Shielding. | Martin Tappler, Stefan Pranger, Bettina Knighofer, Edi Muskardin, Roderick Bloem, Kim G. Larsen |
| 2021 | ICMLA | Active Learning of Markov Decision Processes using Baum-Welch algorithm. | Giovanni Bacci, Anna Inglfsdttir, Kim G. Larsen, Raphal Reynouard |
| 2021 | LICS | Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods. | Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2020 | ATVA | Urgent Partial Order Reduction for Extended Timed Automata. | Kim G. Larsen, Marius Mikucionis, Marco Muiz, Jir Srba |
| 2020 | ISoLA | Fluid Model-Checking in UPPAAL for Covid-19. | Peter Gjl Jensen, Kenneth Yrke Jrgensen, Kim G. Larsen, Marius Mikucionis, Marco Muiz, Danny Bgsted Poulsen |
| 2020 | ISoLA | 30 Years of Statistical Model Checking. | Kim G. Larsen, Axel Legay |
| 2020 | RV | From Statistical Model Checking to Run-Time Monitoring Using a Bayesian Network Approach. | Manfred Jaeger, Kim G. Larsen, Alessandro Tibo |
| 2019 | CONCUR | Computing Probabilistic Bisimilarity Distances for Probabilistic Automata. | Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel |
| 2019 | CONCUR | Partial Order Reduction for Reachability Games. | Frederik M. Bnneland, Peter Gjl Jensen, Kim G. Larsen, Marco Muiz, Jir Srba |
| 2019 | CONCUR | Synthesis of Safe, Optimal and Compact Strategies for Stochastic Hybrid Games (Invited Paper). | Kim G. Larsen |
| 2019 | FM | L | Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim G. Larsen |
| 2018 | ICST | Model-Based Mutation Testing of Real-Time Systems via Model Checking. | Florian Lorber, Kim G. Larsen, Brian Nielsen |
| 2018 | ISoLA | 20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond. | Kim G. Larsen, Florian Lorber, Brian Nielsen |
| 2018 | ISORC | Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems. | Jalil Boudjadar, Jin Hyun Kim, Linh Thi Xuan Phan, Insup Lee, Kim G. Larsen, Ulrik Nyman |
| 2018 | LATA | Timed Comparisons of Semi-Markov Processes. | Mathias Ruggaard Pedersen, Nathanal Fijalkow, Giorgio Bacci, Kim G. Larsen, Radu Mardare |
| 2017 | ICALP | On the Metric-Based Approximate Minimization of Markov Chains. | Giovanni Bacci, Giorgio Bacci, Kim G. Larsen, Radu Mardare |
| 2017 | ICST | Mutation-Based Test-Case Generation with Ecdar. | Kim G. Larsen, Florian Lorber, Brian Nielsen, Ulrik Nyman |
| 2017 | IECON | Formal validation of supervisory energy management systems for microgrids. | Gayathri Sugumar, Rajasekar Selvamuthukumaran, Tomislav Dragicevic, Ulrik Nyman, Kim G. Larsen, Frede Blaabjerg |
| 2017 | LICS | Unrestricted stone duality for Markov processes. | Robert Furber, Dexter Kozen, Kim G. Larsen, Radu Mardare, Prakash Panangaden |
| 2016 | CONCUR | Complete Axiomatization for the Bisimilarity Distance on Markov Chains. | Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare |
| 2016 | ISoLA | Statistical Model Checking: Past, Present, and Future. | Kim G. Larsen, Axel Legay |
| 2016 | ISoLA | On the Power of Statistical Model Checking. | Kim G. Larsen, Axel Legay |
| 2016 | OPODIS | WNetKAT: A Weighted SDN Programming and Verification Language. | Kim G. Larsen, Stefan Schmid, Bingtian Xue |
| 2016 | SAC | Time optimal reachability analysis using swarm verification. | Zhengkui Zhang, Brian Nielsen, Kim G. Larsen |
| 2016 | SETTA | Importance Sampling for Stochastic Timed Automata. | Cyrille Jgourel, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bgsted Poulsen, Sean Sedwards |
| 2016 | TACAS | Online and Compositional Learning of Controllers with Application to Floor Heating. | Kim G. Larsen, Marius Mikucionis, Marco Muiz, Jir Srba, Jakob Haahr Taankvist |
| 2015 | FMICS | Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools. | Jin Hyun Kim, Kim G. Larsen, Brian Nielsen, Marius Mikucionis, Petur Olsen |
| 2015 | ICTAC | CAAL: Concurrency Workbench, Aalborg Edition. | Jesper Rank Andersen, Nicklas Andersen, Sren Enevoldsen, Mathias M. Hansen, Kim G. Larsen, Simon R. Olesen, Jir Srba, Jacob K. Wortmann |
| 2015 | ICTAC | Converging from Branching to Linear Metrics on Markov Chains. | Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare |
| 2015 | ISORC | Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks. | Abdeldjalil Boudjadar, Jin Hyun Kim, Alexandre David, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou, Insup Lee, Linh Thi Xuan Phan |
| 2014 | ECRTS | Model Checking Process Algebra of Communicating Resources for Real-Time Systems. | Abdeldjalil Boudjadar, Jin Hyun Kim, Kim G. Larsen, Ulrik Nyman |
| 2014 | MODELSWARD | Verification and Performance Analysis of Embedded and Cyber-Physical Systems using UPPAAL. | Kim G. Larsen |
| 2014 | TASE | Degree of Schedulability of Mixed-Criticality Real-Time Systems with Probabilistic Sporadic Tasks. | Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou |
| 2013 | ICTAC | Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems. | Uli Fahrenberg, Kim G. Larsen, Axel Legay |
| 2013 | LFCS | Stuttering for Abstract Probabilistic Automata. | Benot Delahaye, Kim G. Larsen, Axel Legay |
| 2013 | LICS | Stone Duality for Markov Processes. | Dexter Kozen, Kim G. Larsen, Radu Mardare, Prakash Panangaden |
| 2013 | MFCS | Computing Behavioral Distances, Compositionally. | Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare |
| 2013 | TACAS | On-the-Fly Exact Computation of Bisimilarity Distances. | Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare |
| 2012 | DATE | State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems. | Marius Bozga, Alexandre David, Arnd Hartmanns, Holger Hermanns, Kim G. Larsen, Axel Legay, Jan Tretmans |
| 2012 | EMSOFT | Code-level timing analysis of embedded software: emsoft'12 invited talk session outline. | Heiko Falk, Kevin Hammond, Kim G. Larsen, Bjrn Lisper, Stefan M. Petters |
| 2012 | FM | A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example. | Hengjun Zhao, Naijun Zhan, Deepak Kapur, Kim G. Larsen |
| 2012 | ISORC | Schedulability Analysis Abstractions for Safety Critical Java. | Thomas Bgholm, Bent Thomsen, Kim G. Larsen, Alan Mycroft |
| 2012 | LATA | Nash Equilibria in Concurrent Priced Games. | Miroslav Klimos, Kim G. Larsen, Filip Stefanak, Jeppe Thaarup |
| 2012 | RV | Rewrite-Based Statistical Model Checking of WMTL. | Peter E. Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Guangyuan Li, Danny Bgsted Poulsen |
| 2012 | TASE | A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata. | Sebastian S. Bauer, Line Juhl, Kim G. Larsen, Jir Srba, Axel Legay |
| 2011 | ATVA | Parametric Modal Transition Systems. | Nikola Benes, Jan Kretnsk, Kim G. Larsen, Mikael H. Mller, Jir Srba |
| 2011 | CAV | Time for Statistical Model Checking of Real-Time Systems. | Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Zheng Wang |
| 2011 | CONCUR | Timed Automata Can Always Be Made Implementable. | Patricia Bouyer, Kim G. Larsen, Nicolas Markey, Ocan Sankur, Claus R. Thrane |
| 2011 | CSL | Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas. | Luca Cardelli, Kim G. Larsen, Radu Mardare |
| 2011 | ICALP | Modular Markovian Logic. | Luca Cardelli, Kim G. Larsen, Radu Mardare |
| 2011 | ICTAC | Energy Games in Multiweighted Automata. | Uli Fahrenberg, Line Juhl, Kim G. Larsen, Jir Srba |
| 2011 | LATA | Decision Problems for Interval Markov Chains. | Benot Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski |
| 2011 | MFCS | Quantitative Refinement for Weighted Modal Transition Systems. | Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane |
| 2011 | VMCAI | Abstract Probabilistic Automata. | Benot Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski |
| 2010 | ISoLA | Quantitative Verification in Practice. | Boudewijn R. Haverkort, Joost-Pieter Katoen, Kim G. Larsen |
| 2001 | TACAS | Efficient Guiding Towards Cost-Optimality in UPPAAL. | Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim G. Larsen, Paul Pettersson, Judi Romijn |