Kim G. Larsen - RankMe

247 papers A* 8A 6B 28C 16Misc 7Journal 95Unranked 79

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Safe and infinite resource scheduling using energy timed automata. Sci. Comput. Program. Pieter J. L. Cuijpers, Jonas Hansen, Kim G. Larsen
2025	J	`jnl`	A Neuro-Symbolic Approach for Probabilistic Reasoning on Graph Data. CoRR Raffaele Pojer, Andrea Passerini, Kim G. Larsen, Manfred Jaeger
2025	J	`jnl`	Data-Selective Online Battery Identification Using Extended Time Regular Expressions. CoRR Nicolai A. Weinreich, Marco Muñiz, Marius Mikucionis, Kim G. Larsen, Remus Teodorescu
2025	J	`jnl`	Doing More With Less: A Survey of Data Selection Methods for Mathematical Modeling. IEEE Trans. Knowl. Data Eng. Nicolai A. Weinreich, Arman Oshnoei, Remus Teodorescu, Kim G. Larsen
2025	A	`conf`	Exact Schedulability Analysis for Limited-Preemptive Parallel Applications Using Timed Automata in UPPAAL. DATE Jonas Hansen, Srinidhi Srinivasan, Geoffrey Nelissen, Kim G. Larsen
2025	B	`conf`	Extended Timed Regular Expressions. RV Marco Muñiz, Marius Mikucionis, Kim G. Larsen
2025	B	`conf`	On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions. CONCUR Nicolaj Ø. Jensen, Kim G. Larsen, Didier Lime, Jirí Srba
2025	J	`jnl`	On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions. CoRR Nicolaj Ø. Jensen, Kim G. Larsen, Didier Lime, Jirí Srba
2025	B	`conf`	Statistical Model Checking of Stochastic Timed-Arc Petri Nets. Petri Nets Tanguy Dubois, Kim G. Larsen, Jirí Srba
2025	B	`conf`	Time for Timed Monitorability. CONCUR Thomas Møller Grosen, Sean Kauffman, Kim G. Larsen, Martin Zimmermann
2025	J	`jnl`	Time for Timed Monitorability. CoRR Thomas Møller Grosen, Sean Kauffman, Kim G. Larsen, Martin Zimmermann
2025	—	`conf`	Token Elimination in Model Checking of Petri Nets. TACAS (1) Nicolaj Ø. Jensen, Kim G. Larsen, Jirí Srba
2025	A*	`conf`	What Makes You Special? Contrastive Heuristics Based on Qualified Dominance. IJCAI Rasmus G. Tollund, Kim G. Larsen, Álvaro Torralba
2025	J	`jnl`	You May Delay, but Time Will Not: Timed Games Under Delayed Control. CoRR Kim G. Larsen, Martin Zimmermann
2024	—	`conf`	Compositional Control Synthesis for Water Management System. ECC Esther Hahyeon Kim, Kim G. Larsen, Martijn A. Goorden, Thomas D. Nielsen
2024	J	`jnl`	Controlling stormwater detention ponds under partial observability. J. Log. Algebraic Methods Program. Esther Hahyeon Kim, Martijn A. Goorden, Kim G. Larsen, Thomas D. Nielsen
2024	B	`conf`	Exploiting Assumptions for Effective Monitoring of Real-Time Properties Under Partial Observability. SEFM Alessandro Cimatti, Thomas Møller Grosen, Kim G. Larsen, Stefano Tonetta, Martin Zimmermann
2024	J	`jnl`	Exploiting Assumptions for Effective Monitoring of Real-Time Properties under Partial Observability. CoRR Alessandro Cimatti, Thomas Møller Grosen, Kim G. Larsen, Stefano Tonetta, Martin Zimmermann
2024	—	`conf`	Forward and Backward Constrained Bisimulations for Quantum Circuits. TACAS (2) Antonio Jiménez-Pastor, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski
2024	—	`conf`	GPU Accelerating Statistical Model Checking for Extended Timed Automata. Principles of Verification (2) Oliver S. Bak, Mathias W. B. Christiansen, Oliver V. Eriksen, Sergio Feo-Arenis, Peter Gjøl Jensen, Marcus D. Jensen, Simas Juozapaitis, Kim G. Larsen, Marius Mikucionis, Marco Muñiz, Andreas Windfeld
2024	B	`conf`	Monitoring Real-Time Systems Under Parametric Delay. IFM Martin Fränzle, Thomas Møller Grosen, Kim G. Larsen, Martin Zimmermann
2024	J	`jnl`	Monitoring Real-Time Systems under Parametric Delay. CoRR Martin Fränzle, Thomas Møller Grosen, Kim G. Larsen, Martin Zimmermann
2024	A*	`conf`	Optimal Infinite Temporal Planning: Cyclic Plans for Priced Timed Automata. ICAPS Rasmus G. Tollund, Nicklas S. Johansen, Kristian Ø. Nielsen, Álvaro Torralba, Kim G. Larsen
2024	—	`conf`	Optimality-Preserving Reduction of Chemical Reaction Networks. ISoLA (2) Kim G. Larsen, Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2024	Misc	`conf`	Safe and Infinite Resource Scheduling Using Energy Timed Automata. TASE Pieter J. L. Cuijpers, Jonas Hansen, Kim G. Larsen
2024	—	`conf`	Statistical Model Checking the 2024 Edition! AISoLA Sudeep Kanav, Jan Kretínský, Kim G. Larsen
2024	A*	`conf`	SyPer: Synthesis of Perfectly Resilient Local Fast Re-Routing Rules for Highly Dependable Networks. INFOCOM Csaba Györgyi, Kim G. Larsen, Stefan Schmid, Jirí Srba
2024	A	`conf`	SyRep: Efficient Synthesis and Repair of Fast Re-Route Forwarding Tables for Resilient Networks. DSN Csaba Györgyi, Kim G. Larsen, Stefan Schmid, Jirí Srba
2023	J	`jnl`	AllSynth: A BDD-based approach for network update synthesis. Sci. Comput. Program. Kim G. Larsen, Anders Mariegaard, Stefan Schmid, Jirí Srba
2023	—	`conf`	An MM Algorithm to Estimate Parameters in Continuous-Time Markov Chains. QEST Giovanni Bacci, Anna Ingólfsdóttir, Kim G. Larsen, Raphaël Reynouard
2023	—	`conf`	Assume-Guarantee Reasoning for Additive Hybrid Behaviour. Theories of Programming and Formal Methods Pieter J. L. Cuijpers, Jonas Hansen, Kim G. Larsen
2023	—	`conf`	CGAAL: Distributed On-The-Fly ATL Model Checker with Heuristics. GandALF Falke B. Ø. Carlsen, Lars Bo P. Frydenskov, Nicolaj Ø. Jensen, Jener Rasmussen, Mathias M. Sørensen, Asger G. Weirsøe, Mathias Claus Jensen, Kim G. Larsen
2023	C	`conf`	Dynamic Extrapolation in Extended Timed Automata. ICFEM Nicolaj Ø. Jensen, Peter Gjøl Jensen, Kim G. Larsen
2023	J	`jnl`	Efficient Simulation of Quantum Circuits by Model Order Reduction. CoRR Antonio Jiménez-Pastor, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski
2023	J	`jnl`	Energy Consumption Optimization in Radio Access Networks (ECO-RAN). CoRR Anders Mariegaard, Kim G. Larsen, Marco Muñiz, Thomas Dyhre Nielsen
2023	—	`conf`	Guaranteed safe controller synthesis for switched systems using analytical solutions CCTA Martijn A. Goorden, Kim G. Larsen, Jesper E. Nielsen, Thomas D. Nielsen, Weizhu Qian, Michael R. Rasmussen, Guohan Zhao
2023	J	`jnl`	MM Algorithms to Estimate Parameters in Continuous-time Markov Chains. CoRR Giovanni Bacci, Anna Ingólfsdóttir, Kim G. Larsen, Raphaël Reynouard
2023	J	`jnl`	Optimality-preserving Reduction of Chemical Reaction Networks. CoRR Kim G. Larsen, Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2023	J	`jnl`	Timed I/O Automata: It is never too late to complete your timed specification theory. CoRR Martijn A. Goorden, Kim G. Larsen, Axel Legay, Florian Lorber, Ulrik Nyman, Andrzej Wasowski
2023	—	`conf`	Welcome Remarks from AISoLA 2023/Track C2 Chairs. AISoLA Nils Jansen, Bettina Könighofer, Jan Kretínský, Kim G. Larsen
2022	—	`conf`	Automata Learning Meets Shielding. ISoLA (1) Martin Tappler, Stefan Pranger, Bettina Könighofer, Edi Muskardin, Roderick Bloem, Kim G. Larsen
2022	J	`jnl`	Automata Learning meets Shielding. CoRR Martin Tappler, Stefan Pranger, Bettina Könighofer, Edi Muskardin, Roderick Bloem, Kim G. Larsen
2022	—	`conf`	Convex Lattice Equation Systems. Principles of Systems Design Giorgio Bacci, Giovanni Bacci, Mathias Claus Jensen, Kim G. Larsen
2022	—	`conf`	Formal Methods Meet Machine Learning (F3ML). ISoLA (3) Kim G. Larsen, Axel Legay, Gerrit Nolte, Maximilian Schlüter, Mariëlle Stoelinga, Bernhard Steffen
2022	J	`jnl`	Formal methods and tools for industrial critical systems. Int. J. Softw. Tools Technol. Transf. Maurice H. ter Beek, Kim G. Larsen, Dejan Nickovic, Tim A. C. Willemse
2022	J	`jnl`	Hierarchical identification of nonlinear hybrid systems in a Bayesian framework. Inf. Comput. Ahmad Madary, Hamid Reza Momeni, Alessandro Abate, Kim G. Larsen
2022	—	`conf`	Playing Wordle with Uppaal Stratego. A Journey from Process Algebra via Timed Automata to Model Learning Peter Gjøl Jensen, Kim G. Larsen, Marius Mikucionis
2022	B	`conf`	STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego. ATVA Martijn A. Goorden, Peter Gjøl Jensen, Kim G. Larsen, Mihhail Samusev, Jirí Srba, Guohan Zhao
2022	—	`conf`	Simulation Relations and Applications in Formal Methods. Principles of Systems Design Kim G. Larsen, Christian Schilling, Jirí Srba
2021	J	`jnl`	2018 CAV award. Formal Methods Syst. Des. Kim G. Larsen, Natarajan Shankar, Pierre Wolper, Somesh Jha
2021	—	`conf`	A Bayesian Framework for Large-Scale Identification of Nonlinear Hybrid Systems. ADHS Ahmad Madary, Hamid Reza Momeni, Alessandro Abate, Kim G. Larsen
2021	J	`jnl`	Active Learning of Markov Decision Processes using Baum-Welch algorithm (Extended). CoRR Giovanni Bacci, Anna Ingólfsdóttir, Kim G. Larsen, Raphaël Reynouard
2021	C	`conf`	Active Learning of Markov Decision Processes using Baum-Welch algorithm. ICMLA Giovanni Bacci, Anna Ingólfsdóttir, Kim G. Larsen, Raphaël Reynouard
2021	—	`conf`	An Integer Static Analysis for Better Extrapolation in Uppaal. FORMATS Sebastian Lund, Jesper van Diepen, Kim G. Larsen, Marco Muñiz, Tobias Ringholm Jørgensen, Tobias Skaarup Daa Andersen
2021	—	`conf`	Battery Aware Analysis of Sensor Networks in Uppaal SMC. MECO Muhammad Naeem, Michele Albano, Kim G. Larsen, Brian Nielsen, Anders Høedholt, Christian Ø. Laursen
2021	J	`jnl`	Computing Probabilistic Bisimilarity Distances for Probabilistic Automata. Log. Methods Comput. Sci. Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel
2021	A*	`conf`	Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods. LICS Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2021	J	`jnl`	Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods. CoRR Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2021	J	`jnl`	L Formal Aspects Comput. Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim G. Larsen
2021	—	`conf`	Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds. ADHS Martijn A. Goorden, Kim G. Larsen, Jesper E. Nielsen, Thomas D. Nielsen, Michael R. Rasmussen, Jirí Srba
2021	J	`jnl`	Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds. CoRR Martijn A. Goorden, Kim G. Larsen, Jesper E. Nielsen, Thomas D. Nielsen, Michael R. Rasmussen, Jirí Srba
2021	—	`conf`	Lumpability for Uncertain Continuous-Time Markov Chains. QEST Luca Cardelli, Radu Grosu, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2021	J	`jnl`	Optimal and robust controller synthesis using energy timed automata with uncertainty. Formal Aspects Comput. Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey, Pierre-Alain Reynier
2021	J	`jnl`	Preface to the Special Issue on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2017). Sci. Comput. Program. Kim G. Larsen, Oleg Sokolsky, Ji Wang
2021	—	`conf`	Quantitative Analysis of Interval Markov Chains. Model Checking, Synthesis, and Learning Giovanni Bacci, Benoît Delahaye, Kim G. Larsen, Anders Mariegaard
2021	—	`conf`	Stubborn Set Reduction for Timed Reachability and Safety Games. FORMATS Frederik M. Bønneland, Peter Gjøl Jensen, Kim G. Larsen, Marco Muñiz, Jirí Srba
2020	—	`conf`	30 Years of Statistical Model Checking. ISoLA (1) Kim G. Larsen, Axel Legay
2020	J	`jnl`	A general framework for defining and optimizing robustness. CoRR Alessandro Tibo, Manfred Jaeger, Kim G. Larsen
2020	J	`jnl`	Dependency graphs with applications to verification. Int. J. Softw. Tools Technol. Transf. Søren Enevoldsen, Kim G. Larsen, Anders Mariegaard, Jirí Srba
2020	—	`conf`	Fluid Model-Checking in UPPAAL for Covid-19. ISoLA (1) Peter Gjøl Jensen, Kenneth Yrke Jørgensen, Kim G. Larsen, Marius Mikucionis, Marco Muñiz, Danny Bøgsted Poulsen
2020	B	`conf`	From Statistical Model Checking to Run-Time Monitoring Using a Bayesian Network Approach. RV Manfred Jaeger, Kim G. Larsen, Alessandro Tibo
2020	J	`jnl`	Mixed Nondeterministic-Probabilistic Interfaces. CoRR Albert Benveniste, Kim G. Larsen, Jean-Baptiste Raclet
2020	B	`conf`	Urgent Partial Order Reduction for Extended Timed Automata. ATVA Kim G. Larsen, Marius Mikucionis, Marco Muñiz, Jirí Srba
2019	—	`conf`	A Faster-Than Relation for Semi-Markov Decision Processes. QAPL Mathias Ruggaard Pedersen, Giorgio Bacci, Kim G. Larsen
2019	B	`conf`	Computing Probabilistic Bisimilarity Distances for Probabilistic Automata. CONCUR Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel
2019	J	`jnl`	Computing Probabilistic Bisimilarity Distances for Probabilistic Automata. CoRR Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel
2019	—	`ch.`	Continuous-Time Models for System Design and Analysis. Computing and Software Science Rajeev Alur, Mirco Giacobbe, Thomas A. Henzinger, Kim G. Larsen, Marius Mikucionis
2019	J	`jnl`	Converging from branching to linear metrics on Markov chains. Math. Struct. Comput. Sci. Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
2019	B	`conf`	L FM Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim G. Larsen
2019	J	`jnl`	L*-Based Learning of Markov Decision Processes (Extended Version). CoRR Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim G. Larsen
2019	J	`jnl`	Model checking and synthesis for branching multi-weighted logics. J. Log. Algebraic Methods Program. Lasse S. Jensen, Isabella Kaufmann, Kim G. Larsen, Søren M. Nielsen, Jirí Srba
2019	—	`ed.`	Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday Models, Mindsets, Meta Tiziana Margaria, Susanne Graf, Kim G. Larsen
2019	B	`conf`	Partial Order Reduction for Reachability Games. CONCUR Frederik M. Bønneland, Peter Gjøl Jensen, Kim G. Larsen, Marco Muñiz, Jirí Srba
2019	J	`jnl`	Selected papers from the 28th Nordic Workshop on Programming Theory (NWPT'16). J. Log. Algebraic Methods Program. Kim G. Larsen, Jirí Srba
2019	B	`conf`	Synthesis of Safe, Optimal and Compact Strategies for Stochastic Hybrid Games (Invited Paper). CONCUR Kim G. Larsen
2018	—	`conf`	20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond. ISoLA (4) Kim G. Larsen, Florian Lorber, Brian Nielsen
2018	J	`jnl`	A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains. Log. Methods Comput. Sci. Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
2018	J	`jnl`	A Distributed Fixed-Point Algorithm for Extended Dependency Graphs. Fundam. Informaticae Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Peter Fogh, Lasse S. Jensen, Peter Gjøl Jensen, Tobias Skovgaard Jepsen, Isabella Kaufmann, Kim G. Larsen, Søren M. Nielsen, Mads Chr. Olesen, Samuel Pastva, Jirí Srba
2018	—	`conf`	Analytical Solution for Long Battery Lifetime Prediction in Nonadaptive Systems. QEST Dmitry Ivanov, Kim G. Larsen, Sibylle Schupp, Jirí Srba
2018	—	`conf`	Analyzing Spreadsheets for Parallel Execution via Model Checking. Models, Mindsets, Meta Thomas Bøgholm, Kim G. Larsen, Marco Muñiz, Bent Thomsen, Lone Leth Thomsen
2018	J	`jnl`	Average-energy games. Acta Informatica Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim G. Larsen, Simon Laursen
2018	B	`conf`	Complete Axiomatization for the Total Variation Distance of Markov Chains. MFPS Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
2018	J	`jnl`	Contracts for System Design. Found. Trends Electron. Des. Autom. Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto L. Sangiovanni-Vincentelli, Werner Damm, Thomas A. Henzinger, Kim G. Larsen
2018	—	`conf`	Energiautomater, energifunktioner og Kleene-algebra. NIK Uli Fahrenberg, Kim G. Larsen
2018	C	`conf`	Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems. ISORC Jalil Boudjadar, Jin Hyun Kim, Linh Thi Xuan Phan, Insup Lee, Kim G. Larsen, Ulrik Nyman
2018	J	`jnl`	High-level frameworks for the specification and verification of scheduling problems. Int. J. Softw. Tools Technol. Transf. Mounir Chadli, Jin Hyun Kim, Kim G. Larsen, Axel Legay, Stefan Naujokat, Bernhard Steffen, Louis-Marie Traonouez
2018	—	`conf`	Model-Based Mutation Testing of Real-Time Systems via Model Checking. ICST Workshops Florian Lorber, Kim G. Larsen, Brian Nielsen
2018	—	`conf`	Models, Mindsets, Meta: The What, the How, and the Why Not? Models, Mindsets, Meta Tiziana Margaria, Susanne Graf, Kim G. Larsen
2018	J	`jnl`	On decidability of recursive weighted logics. Soft Comput. Kim G. Larsen, Radu Mardare, Bingtian Xue
2018	J	`jnl`	On the Metric-based Approximate Minimization of Markov Chains. CoRR Giovanni Bacci, Giorgio Bacci, Kim G. Larsen, Radu Mardare
2018	J	`jnl`	On the metric-based approximate minimization of Markov Chains. J. Log. Algebraic Methods Program. Giovanni Bacci, Giorgio Bacci, Kim G. Larsen, Radu Mardare
2018	J	`jnl`	Optimal and Robust Controller Synthesis: using Energy Timed Automata with Uncertainty. CoRR Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey, Pierre-Alain Reynier
2018	J	`jnl`	Parameter Synthesis Problems for one parametric clock Timed Automata. CoRR Liyun Dai, Taolue Chen, Zhiming Liu, Bican Xia, Naijun Zhan, Kim G. Larsen
2018	J	`jnl`	Preface: Dedicated to the memory of Zoltán Ésik (1951-2016). Soft Comput. Manfred Droste, Kim G. Larsen
2018	J	`jnl`	Reachability problems: Special issue. Theor. Comput. Sci. Kim G. Larsen, Igor Potapov, Jirí Srba
2018	C	`conf`	Timed Comparisons of Semi-Markov Processes. LATA Mathias Ruggaard Pedersen, Nathanaël Fijalkow, Giorgio Bacci, Kim G. Larsen, Radu Mardare
2017	B	`ed.`	42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017, Aalborg, Denmark, August 21-25, 2017 MFCS Kim G. Larsen, Hans L. Bodlaender, Jean-François Raskin
2017	J	`jnl`	A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains. CoRR Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
2017	—	`conf`	Compositional Testing of Real-Time Systems. ModelEd, TestEd, TrustEd Kim G. Larsen, Axel Legay, Marius Mikucionis, Brian Nielsen, Ulrik Nyman
2017	B	`conf`	Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation. Petri Nets Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Peter Fogh, Lasse S. Jensen, Tobias Skovgaard Jepsen, Isabella Kaufmann, Kim G. Larsen, Søren M. Nielsen, Mads Chr. Olesen, Samuel Pastva, Jirí Srba
2017	C	`conf`	Formal validation of supervisory energy management systems for microgrids. IECON Gayathri Sugumar, Rajasekar Selvamuthukumaran, Tomislav Dragicevic, Ulrik Nyman, Kim G. Larsen, Frede Blaabjerg
2017	—	`ch.`	From Timed Automata to Stochastic Hybrid Games Model Checking, Synthesis, Performance Analysis and Machine Learning. Dependable Software Systems Engineering Kim G. Larsen, Uli Fahrenberg, Axel Legay
2017	—	`conf`	Memory-Efficient Tactics for Randomized LTL Model Checking. VSTTE Kim G. Larsen, Doron Peled, Sean Sedwards
2017	—	`conf`	Mutation-Based Test-Case Generation with Ecdar. ICST Workshops Kim G. Larsen, Florian Lorber, Brian Nielsen, Ulrik Nyman
2017	A*	`conf`	On the Metric-Based Approximate Minimization of Markov Chains. ICALP Giovanni Bacci, Giorgio Bacci, Kim G. Larsen, Radu Mardare
2017	J	`jnl`	On-the-Fly Computation of Bisimilarity Distances. CoRR Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
2017	J	`jnl`	On-the-Fly Computation of Bisimilarity Distances. Log. Methods Comput. Sci. Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
2017	A*	`conf`	Unrestricted stone duality for Markov processes. LICS Robert Furber, Dexter Kozen, Kim G. Larsen, Radu Mardare, Prakash Panangaden
2016	B	`conf`	Complete Axiomatization for the Bisimilarity Distance on Markov Chains. CONCUR Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
2016	J	`jnl`	Compositional bisimulation metric reasoning with Probabilistic Process Calculi. Log. Methods Comput. Sci. Daniel Gebler, Kim G. Larsen, Simone Tini
2016	—	`conf`	Distributed Algorithms for Time Optimal Reachability Analysis. FORMATS Zhengkui Zhang, Brian Nielsen, Kim G. Larsen
2016	Misc	`conf`	Importance Sampling for Stochastic Timed Automata. SETTA Cyrille Jégourel, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards
2016	J	`jnl`	Learning deterministic probabilistic automata from a model checking perspective. Mach. Learn. Hua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, Brian Nielsen
2016	—	`conf`	Limit Your Consumption! Finding Bounds in Average-energy Games. QAPL Kim G. Larsen, Simon Laursen, Martin Zimmermann
2016	—	`conf`	On the Power of Statistical Model Checking. ISoLA (2) Kim G. Larsen, Axel Legay
2016	A	`conf`	Online and Compositional Learning of Controllers with Application to Floor Heating. TACAS Kim G. Larsen, Marius Mikucionis, Marco Muñiz, Jirí Srba, Jakob Haahr Taankvist
2016	J	`jnl`	Optimizing the resource requirements of hierarchical scheduling systems. SIGBED Rev. Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Abdeldjalil Boudjadar, Ulrik Nyman, Kim G. Larsen, Insup Lee, Jin-Young Choi
2016	—	`conf`	Probabilistic Mu-Calculus: Decidability and Complete Axiomatization. FSTTCS Kim G. Larsen, Radu Mardare, Bingtian Xue
2016	—	`conf`	Statistical Model Checking: Past, Present, and Future. ISoLA (1) Kim G. Larsen, Axel Legay
2016	J	`jnl`	Statistical and exact schedulability analysis of hierarchical scheduling systems. Sci. Comput. Program. Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou
2016	Misc	`conf`	Time optimal reachability analysis using swarm verification. SAC Zhengkui Zhang, Brian Nielsen, Kim G. Larsen
2016	B	`conf`	WNetKAT: A Weighted SDN Programming and Verification Language. OPODIS Kim G. Larsen, Stefan Schmid, Bingtian Xue
2016	J	`jnl`	WNetKAT: A Weighted SDN Programming and Verification Language. CoRR Bingtian Xue, Stefan Schmid, Kim G. Larsen
2015	—	`conf`	A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing. FACS Luca Aceto, Kim G. Larsen, Andrea Morichetta, Francesco Tiezzi
2015	J	`jnl`	A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling. Sci. Comput. Program. Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou
2015	B	`conf`	Alternation-Free Weighted Mu-Calculus: Decidability and Completeness. MFPS Kim G. Larsen, Radu Mardare, Bingtian Xue
2015	J	`jnl`	Average-energy games (full version). CoRR Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim G. Larsen, Simon Laursen
2015	C	`conf`	CAAL: Concurrency Workbench, Aalborg Edition. ICTAC Jesper Rank Andersen, Nicklas Andersen, Søren Enevoldsen, Mathias M. Hansen, Kim G. Larsen, Simon R. Olesen, Jirí Srba, Jacob K. Wortmann
2015	J	`jnl`	Concurrent weighted logic. J. Log. Algebraic Methods Program. Kim G. Larsen, Radu Mardare, Bingtian Xue
2015	C	`conf`	Converging from Branching to Linear Metrics on Markov Chains. ICTAC Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
2015	C	`conf`	Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks. ISORC Abdeldjalil Boudjadar, Jin Hyun Kim, Alexandre David, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou, Insup Lee, Linh Thi Xuan Phan
2015	C	`conf`	Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools. FMICS Jin Hyun Kim, Kim G. Larsen, Brian Nielsen, Marius Mikucionis, Petur Olsen
2015	J	`jnl`	Language Emptiness of Continuous-Time Parametric Timed Automata. CoRR Nikola Benes, Peter Bezdek, Kim G. Larsen, Jirí Srba
2015	—	`conf`	Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context. CBSE Jin Hyun Kim, Abdeldjalil Boudjadar, Ulrik Nyman, Marius Mikucionis, Kim G. Larsen, Arne Skou, Insup Lee, Linh Thi Xuan Phan
2015	J	`jnl`	Real-time specifications. Int. J. Softw. Tools Technol. Transf. Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Louis-Marie Traonouez, Andrzej Wasowski
2015	J	`jnl`	Refinement checking on parametric modal transition systems. Acta Informatica Nikola Benes, Jan Kretínský, Kim G. Larsen, Mikael H. Møller, Salomon Sickert, Jirí Srba
2015	J	`jnl`	Statistical model checking for biological systems. Int. J. Softw. Tools Technol. Transf. Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards
2015	J	`jnl`	Uppaal SMC tutorial. Int. J. Softw. Tools Technol. Transf. Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen
2014	J	`jnl`	A modal specification theory for components with data. Sci. Comput. Program. Sebastian S. Bauer, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski
2014	J	`jnl`	Complete proof systems for weighted modal logic. Theor. Comput. Sci. Kim G. Larsen, Radu Mardare
2014	Misc	`conf`	Degree of Schedulability of Mixed-Criticality Real-Time Systems with Probabilistic Sporadic Tasks. TASE Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou
2014	J	`jnl`	Efficient controller synthesis for a fragment of MTL Acta Informatica Peter E. Bulychev, Alexandre David, Kim G. Larsen, Guangyuan Li
2014	J	`jnl`	Lower-bound-constrained runs in weighted timed automata. Perform. Evaluation Patricia Bouyer, Kim G. Larsen, Nicolas Markey
2014	B	`conf`	Model Checking Process Algebra of Communicating Resources for Real-Time Systems. ECRTS Abdeldjalil Boudjadar, Jin Hyun Kim, Kim G. Larsen, Ulrik Nyman
2014	—	`conf`	Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata. ACSD Alexandre David, Kim G. Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen
2014	J	`jnl`	Refinement and Difference for Probabilistic Automata Log. Methods Comput. Sci. Benoît Delahaye, Uli Fahrenberg, Kim G. Larsen, Axel Legay
2014	J	`jnl`	Robust synthesis for real-time systems. Theor. Comput. Sci. Kim G. Larsen, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski
2014	J	`jnl`	Stuttering for Abstract Probabilistic Automata. J. Log. Algebraic Methods Program. Benoît Delahaye, Kim G. Larsen, Axel Legay
2014	J	`jnl`	Topologies of Stochastic Markov Models: Computational Aspects. CoRR Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
2014	C	`conf`	Verification and Performance Analysis of Embedded and Cyber-Physical Systems using UPPAAL. MODELSWARD Kim G. Larsen
2014	—	`conf`	Verification and Performance Analysis of Embedded and Cyber-Physical Systems using UPPAAL. PECCS Kim G. Larsen
2013	J	`jnl`	Abstract Probabilistic Automata. Inf. Comput. Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski
2013	B	`conf`	Computing Behavioral Distances, Compositionally. MFCS Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
2013	—	`conf`	Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems. ICTAC Training School on Software Engineering Uli Fahrenberg, Kim G. Larsen, Axel Legay
2013	—	`ch.`	Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems. Engineering Dependable Software Systems Uli Fahrenberg, Kim G. Larsen, Axel Legay, Claus R. Thrane
2013	A	`conf`	On-the-Fly Exact Computation of Bisimilarity Distances. TACAS Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
2013	—	`conf`	Probabilistic Modal Specifications (Invited Extended Abstract). FACS Kim G. Larsen, Axel Legay
2013	—	`ed.`	Proceedings 1st Workshop on Advances in Systems of Systems, AiSoS 2013, Rome, Italy, 16th March 2013. AiSoS Kim G. Larsen, Axel Legay, Ulrik Nyman
2013	C	`conf`	Remote Testing of Timed Specifications. ICTSS Alexandre David, Kim G. Larsen, Marius Mikucionis, Omer Nguena-Timo, Antoine Rollet
2013	J	`jnl`	Statistical Model Checking of Dynamic Networks of Stochastic Hybrid Automata. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Alexandre David, Kim G. Larsen, Axel Legay, Danny Bøgsted Poulsen
2013	A*	`conf`	Stone Duality for Markov Processes. LICS Dexter Kozen, Kim G. Larsen, Radu Mardare, Prakash Panangaden
2013	Misc	`conf`	Stuttering for Abstract Probabilistic Automata. LFCS Benoît Delahaye, Kim G. Larsen, Axel Legay
2013	—	`ch.`	Tools for Model-Checking Timed Systems. Communicating Embedded Systems Alexandre David, Gerd Behrmann, Peter E. Bulychev, Joakim Byg, Thomas Chatain, Kim G. Larsen, Paul Pettersson, Jacob Illum Rasmussen, Jirí Srba, Wang Yi, Kenneth Yrke Jørgensen, Didier Lime, Morgan Magnin, Olivier H. Roux, Louis-Marie Traonouez
2013	J	`jnl`	Weighted modal transition systems. Formal Methods Syst. Des. Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane
2012	J	`jnl`	A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example CoRR Hengjun Zhao, Naijun Zhan, Deepak Kapur, Kim G. Larsen
2012	B	`conf`	A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example. FM Hengjun Zhao, Naijun Zhan, Deepak Kapur, Kim G. Larsen
2012	Misc	`conf`	A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata. TASE Sebastian S. Bauer, Line Juhl, Kim G. Larsen, Jirí Srba, Axel Legay
2012	—	`conf`	Action Investment Energy Games. MEMICS Kim G. Larsen, Simon Laursen, Jirí Srba
2012	J	`jnl`	An evaluation framework for energy aware buildings using statistical model checking. Sci. China Inf. Sci. Alexandre David, Dehui Du, Kim G. Larsen, Marius Mikucionis, Arne Skou
2012	Misc	`conf`	Code-level timing analysis of embedded software: emsoft'12 invited talk session outline. EMSOFT Heiko Falk, Kevin Hammond, Kim G. Larsen, Björn Lisper, Stefan M. Petters
2012	—	`conf`	Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach IWIGP Peter E. Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis
2012	J	`jnl`	Consistency and refinement for Interval Markov Chains. J. Log. Algebraic Methods Program. Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski
2012	J	`jnl`	Continuous Markovian Logics - Axiomatization and Quantified Metatheory Log. Methods Comput. Sci. Radu Mardare, Luca Cardelli, Kim G. Larsen
2012	J	`jnl`	Controllers with Minimal Observation Power (Application to Timed Systems) CoRR Peter E. Bulychev, Franck Cassez, Alexandre David, Kim G. Larsen, Jean-François Raskin, Pierre-Alain Reynier
2012	J	`jnl`	EXPTIME-completeness of thorough refinement on modal transition systems. Inf. Comput. Nikola Benes, Jan Kretínský, Kim G. Larsen, Jirí Srba
2012	J	`jnl`	Extending modal transition systems with structured labels. Math. Struct. Comput. Sci. Sebastian S. Bauer, Line Juhl, Kim G. Larsen, Axel Legay, Jirí Srba
2012	—	`conf`	Learning Markov Decision Processes for Model Checking QFM Hua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, Brian Nielsen
2012	—	`conf`	MDM: A Mode Diagram Modeling Framework FTSCS Zheng Wang, Geguang Pu, Jianwen Li, Jifeng He, Shengchao Qin, Kim G. Larsen, Jan Madsen, Bin Gu
2012	J	`jnl`	MDM: A Mode Diagram Modeling Framework for Periodic Control Systems CoRR Zheng Wang, Geguang Pu, Shengchao Qin, Jianwen Li, Kim G. Larsen, Jan Madsen, Bin Gu, Jifeng He
2012	J	`jnl`	Modal transition systems with weight intervals. J. Log. Algebraic Methods Program. Line Juhl, Kim G. Larsen, Jirí Srba
2012	—	`conf`	Multi-core Reachability for Timed Automata. FORMATS Andreas Engelbredt Dalsgaard, Alfons Laarman, Kim G. Larsen, Mads Chr. Olesen, Jaco van de Pol
2012	C	`conf`	Nash Equilibria in Concurrent Priced Games. LATA Miroslav Klimos, Kim G. Larsen, Filip Stefanak, Jeppe Thaarup
2012	J	`jnl`	New results for Constraint Markov Chains. Perform. Evaluation Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski
2012	J	`jnl`	On the Relationship between LTL Normal Forms and Buechi Automata CoRR Jianwen Li, Geguang Pu, Lijun Zhang, Zheng Wang, Jifeng He, Kim G. Larsen
2012	—	`conf`	Parameterized Metatheory for Continuous Markovian Logic QFM Kim G. Larsen, Radu Mardare, Claus R. Thrane
2012	—	`conf`	Quantitative Modal Transition Systems. WADT Kim G. Larsen, Axel Legay
2012	J	`jnl`	Reachability analysis for timed automata using max-plus algebra. J. Log. Algebraic Methods Program. Qi Lu, Michael Madsen, Martin Milata, Søren Ravn, Uli Fahrenberg, Kim G. Larsen
2012	B	`conf`	Rewrite-Based Statistical Model Checking of WMTL. RV Peter E. Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen
2012	C	`conf`	Schedulability Analysis Abstractions for Safety Critical Java. ISORC Thomas Bøgholm, Bent Thomsen, Kim G. Larsen, Alan Mycroft
2012	A	`conf`	State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems. DATE Marius Bozga, Alexandre David, Arnd Hartmanns, Holger Hermanns, Kim G. Larsen, Axel Legay, Jan Tretmans
2012	—	`conf`	Statistical Model Checking for Stochastic Hybrid Systems HSB Alexandre David, Dehui Du, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards
2012	—	`conf`	Statistical Model Checking, Refinement Checking, Optimization, ... for Stochastic Hybrid Systems. FORMATS Kim G. Larsen
2012	—	`conf`	Time-Darts: A Data Structure for Verification of Closed Timed Automata SSV Kenneth Yrke Jørgensen, Kim G. Larsen, Jirí Srba
2012	J	`jnl`	Weighted Modal Transition Systems CoRR Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane
2011	—	`conf`	APAC: A Tool for Reasoning about Abstract Probabilistic Automata. QEST Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski
2011	B	`conf`	Abstract Probabilistic Automata. VMCAI Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski
2011	—	`conf`	Adaptable Value-Set Analysis for Low-Level Code. SSV Jörg Brauer, René Rydhof Hansen, Stefan Kowalewski, Kim G. Larsen, Mads Chr. Olesen
2011	J	`jnl`	Constraint Markov Chains. Theor. Comput. Sci. Benoît Caillaud, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski
2011	B	`conf`	Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas. CSL Luca Cardelli, Kim G. Larsen, Radu Mardare
2011	C	`conf`	Decision Problems for Interval Markov Chains. LATA Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski
2011	—	`conf`	Distances for Weighted Transition Systems: Games and Properties QAPL Uli Fahrenberg, Claus R. Thrane, Kim G. Larsen
2011	C	`conf`	Energy Games in Multiweighted Automata. ICTAC Uli Fahrenberg, Line Juhl, Kim G. Larsen, Jirí Srba
2011	—	`conf`	Learning Probabilistic Automata for Model Checking. QEST Hua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, Brian Nielsen
2011	J	`jnl`	Metrics for weighted transition systems: Axiomatization and complexity. Theor. Comput. Sci. Kim G. Larsen, Uli Fahrenberg, Claus R. Thrane
2011	—	`ch.`	Model-Based Verification and Analysis for Real-Time Systems. Software and Systems Safety - Specification and Verification Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane
2011	—	`conf`	Modular Markovian Logic. ICALP (2) Luca Cardelli, Kim G. Larsen, Radu Mardare
2011	C	`conf`	Monitoring Dynamical Signals While Testing Timed Aspects of a System. ICTSS Goran Frehse, Kim G. Larsen, Marius Mikucionis, Brian Nielsen
2011	—	`conf`	New Results on Abstract Probabilistic Automata. ACSD Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski
2011	B	`conf`	Parametric Modal Transition Systems. ATVA Nikola Benes, Jan Kretínský, Kim G. Larsen, Mikael H. Møller, Jirí Srba
2011	B	`conf`	Quantitative Refinement for Weighted Modal Transition Systems. MFCS Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane
2011	J	`jnl`	Quantitative analysis of real-time systems using priced timed automata. Commun. ACM Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey
2011	—	`conf`	Robust Specification of Real Time Components. FORMATS Kim G. Larsen, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski
2011	—	`conf`	Statistical Model Checking for Networks of Priced Timed Automata. FORMATS Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang
2011	J	`jnl`	Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed Automata CoRR Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang
2011	A*	`conf`	Time for Statistical Model Checking of Real-Time Systems. CAV Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Zheng Wang
2011	B	`conf`	Timed Automata Can Always Be Made Implementable. CONCUR Patricia Bouyer, Kim G. Larsen, Nicolas Markey, Ocan Sankur, Claus R. Thrane
2010	—	`conf`	Compositional Design Methodology with Constraint Markov Chains. QEST Benoît Caillaud, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski
2010	J	`jnl`	Modal and mixed specifications: key decision problems and their complexities. Math. Struct. Comput. Sci. Adam Antonik, Michael Huth, Kim G. Larsen, Ulrik Nyman, Andrzej Wasowski
2010	—	`conf`	New Results on Timed Specifications. WADT Timothy Bourke, Alexandre David, Kim G. Larsen, Axel Legay, Didier Lime, Ulrik Nyman, Andrzej Wasowski
2010	—	`conf`	On Zone-Based Analysis of Duration Probabilistic Automata INFINITY Oded Maler, Kim G. Larsen, Bruce H. Krogh
2010	—	`conf`	Present and Absent Sets: Abstraction for Testing of Reactive Systems with Databases. MBT@ETAPS Petur Olsen, Kim G. Larsen, Arne Skou
2010	—	`conf`	Quantitative Verification in Practice. ISoLA (2) Boudewijn R. Haverkort, Joost-Pieter Katoen, Kim G. Larsen
2010	J	`jnl`	Quantitative analysis of weighted transition systems. J. Log. Algebraic Methods Program. Claus R. Thrane, Uli Fahrenberg, Kim G. Larsen
2010	J	`jnl`	Scenario-based verification of real-time systems using Uppaal. Formal Methods Syst. Des. Shuhao Li, Sandie Balaguer, Alexandre David, Kim G. Larsen, Brian Nielsen, Saulius Pusinskas
2010	—	`conf`	Timed I/O automata: a complete specification theory for real-time systems. HSCC Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski
2010	—	`conf`	Timed automata with observers under energy constraints. HSCC Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey
2009	—	`conf`	A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic. MEMICS Kim G. Larsen, Uli Fahrenberg, Claus R. Thrane
2009	—	`conf`	Compositional and Quantitative Model Checking (Extended Abstract). Ershov Memorial Conference Kim G. Larsen
2009	—	`conf`	Methodologies for Specification of Real-Time Systems Using Timed I/O Automata. FMCO Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski
2009	—	`conf`	Playing Games with Timed Games. ADHS Thomas Chatain, Alexandre David, Kim G. Larsen
2009	—	`conf`	Priced Timed Automata: Theory and Tools. FSTTCS Kim G. Larsen
2009	—	`conf`	Verification, Performance Analysis and Controller Synthesis for Real-Time Systems. FSEN Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane
2008	J	`jnl`	20 Years of Modal and Mixed Specifications. Bull. EATCS Adam Antonik, Michael Huth, Kim G. Larsen, Ulrik Nyman, Andrzej Wasowski
2001	A	`conf`	Efficient Guiding Towards Cost-Optimality in UPPAAL. TACAS Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim G. Larsen, Paul Pettersson, Judi Romijn
2001	—	`ch.`	Probabilistic Extensions of Process Algebras. Handbook of Process Algebra Bengt Jonsson, Wang Yi, Kim G. Larsen
2001	—	`conf`	UPPAAL - present and future. CDC Gerd Behrmann, Kim G. Larsen, Oliver Möller, Alexandre David, Paul Pettersson, Wang Yi
1996	—	`conf`	Modelling and analysis of a collision avoidance protocol using Spin and Uppaal. The Spin Verification System Henrik Ejersbo Jensen, Kim G. Larsen, Arne Skou