Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKim G. Larsen
Kim Guldstrand Larsen
Person information
- affiliation: Aalborg University, Department of Computer Science, Denmark
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[c358]Leandro Batista Ribeiro, Florian Lorber, Ulrik Nyman, Kim Guldstrand Larsen, Marcel Baunach:
A Modeling Concept for Formal Verification of OS-Based Compositional Software. FASE 2023: 26-46- [c357]Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba, Nikolaj Jensen Ulrik:
Elimination of Detached Regions in Dependency Graph Verification. SPIN 2023: 163-179 - [i40]Kim G. Larsen, Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Optimality-preserving Reduction of Chemical Reaction Networks. CoRR abs/2301.08553 (2023) - [i39]Martijn A. Goorden, Kim G. Larsen, Axel Legay, Florian Lorber, Ulrik Nyman, Andrzej Wasowski:
Timed I/O Automata: It is never too late to complete your timed specification theory. CoRR abs/2302.04529 (2023) - [i38]Giovanni Bacci, Anna Ingólfsdóttir, Kim G. Larsen, Raphaël Reynouard:
MM Algorithms to Estimate Parameters in Continuous-time Markov Chains. CoRR abs/2302.08588 (2023) - [i37]Anders Mariegaard, Kim G. Larsen, Marco Muñiz, Thomas Dyhre Nielsen:
Energy Consumption Optimization in Radio Access Networks (ECO-RAN). CoRR abs/2304.00277 (2023) - 2022
- [j105]Ahmad Madary
, Hamid Reza Momeni, Alessandro Abate, Kim G. Larsen:
Hierarchical identification of nonlinear hybrid systems in a Bayesian framework. Inf. Comput. 289(Part): 104947 (2022) - [j104]Søren Enevoldsen, Kim Guldstrand Larsen, Jirí Srba:
Extended abstract dependency graphs. Int. J. Softw. Tools Technol. Transf. 24(1): 49-65 (2022) - [j103]Maurice H. ter Beek, Kim G. Larsen, Dejan Nickovic, Tim A. C. Willemse:
Formal methods and tools for industrial critical systems. Int. J. Softw. Tools Technol. Transf. 24(3): 325-330 (2022) - [j102]Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman:
Randomized reachability analysis in UPPAAL: fast error detection in timed systems. Int. J. Softw. Tools Technol. Transf. 24(6): 1025-1042 (2022) - [c356]Simon Bøgh, Peter Gjøl Jensen, Martin Kristjansen, Kim Guldstrand Larsen, Ulrik Nyman:
Distributed Fleet Management in Noisy Environments via Model-Predictive Control. ICAPS 2022: 565-573 - [c355]Martijn A. Goorden, Peter Gjøl Jensen, Kim G. Larsen, Mihhail Samusev, Jirí Srba, Guohan Zhao:
STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego. ATVA 2022: 327-333 - [c354]Kim G. Larsen, Christian Schilling, Jirí Srba:
Simulation Relations and Applications in Formal Methods. Principles of Systems Design 2022: 272-291 - [c353]Peter Gjøl Jensen, Kim G. Larsen, Marius Mikucionis:
Playing Wordle with Uppaal Stratego. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 283-305 - [c352]Giorgio Bacci, Giovanni Bacci, Mathias Claus Jensen, Kim G. Larsen:
Convex Lattice Equation Systems. Principles of Systems Design 2022: 438-455 - [c351]Thomas Møller Grosen, Sean Kauffman, Kim Guldstrand Larsen, Martin Zimmermann:
Monitoring Timed Properties (Revisited). FORMATS 2022: 43-62 - [c350]Martin Tappler, Stefan Pranger, Bettina Könighofer, Edi Muskardin, Roderick Bloem, Kim G. Larsen:
Automata Learning Meets Shielding. ISoLA (1) 2022: 335-359 - [c349]Kim G. Larsen, Axel Legay, Gerrit Nolte, Maximilian Schlüter, Mariëlle Stoelinga, Bernhard Steffen:
Formal Methods Meet Machine Learning (F3ML). ISoLA (3) 2022: 393-405 - [c348]Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen:
Importance Splitting in Uppaal. ISoLA (3) 2022: 433-447 - [c347]Jonas Hansen, Kim Guldstrand Larsen, Pieter J. L. Cuijpers:
Balancing Flexible Production and Consumption of Energy using Resource Timed Automata. MECO 2022: 1-6 - [c346]Peter Gjøl Jensen, Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman, Adriana Mijacika, Jeppe Høiriis Mortensen:
Monte Carlo Tree Search for Priced Timed Automata. QEST 2022: 381-398 - [c345]Shiraj Arora, René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen:
Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals. SPIN 2022: 61-78 - [c344]Kim Guldstrand Larsen, Anders Mariegaard, Stefan Schmid, Jirí Srba:
AllSynth: Transiently Correct Network Update Synthesis Accounting for Operator Preferences. TASE 2022: 344-362 - [c343]Imran Riaz Hasrat, Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba:
End-to-End Heat-Pump Control Using Continuous Time Stochastic Modelling and Uppaal Stratego. TASE 2022: 363-380 - [c342]Muhammad Naeem, Michele Albano, Davide Magrin, Brian Nielsen, Kim Guldstrand Larsen:
A Sigfox Module for the Network Simulator 3. WNS3 2022: 81-88 - [i36]Thomas Møller Grosen, Sean Kauffman, Kim Guldstrand Larsen, Martin Zimmermann:
Monitoring Timed Properties (Revisited). CoRR abs/2206.14590 (2022) - [i35]Martin Tappler, Stefan Pranger, Bettina Könighofer, Edi Muskardin, Roderick Bloem, Kim G. Larsen:
Automata Learning meets Shielding. CoRR abs/2212.01838 (2022) - 2021
- [j101]Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey, Pierre-Alain Reynier:
Optimal and robust controller synthesis using energy timed automata with uncertainty. Formal Aspects Comput. 33(1): 3-25 (2021) - [j100]Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim G. Larsen:
L*-based learning of Markov decision processes (extended version). Formal Aspects Comput. 33(4-5): 575-615 (2021) - [j99]Kim G. Larsen, Natarajan Shankar, Pierre Wolper, Somesh Jha:
2018 CAV award. Formal Methods Syst. Des. 57(1): 116-117 (2021) - [j98]Franck Cassez, Peter Gjøl Jensen, Kim Guldstrand Larsen:
Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction. Fundam. Informaticae 178(1-2): 31-57 (2021) - [j97]Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel:
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata. Log. Methods Comput. Sci. 17(1) (2021) - [j96]Frederik Meyer Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marco Muñiz, Jirí Srba:
Stubborn Set Reduction for Two-Player Reachability Games. Log. Methods Comput. Sci. 17(1) (2021) - [j95]Kim G. Larsen, Oleg Sokolsky, Ji Wang:
Preface to the Special Issue on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2017). Sci. Comput. Program. 206: 102622 (2021) - [j94]René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Peter Gjøl Jensen, Danny Bøgsted Poulsen:
ADTLang: a programming language approach to attack defense trees. Int. J. Softw. Tools Technol. Transf. 23(1): 89-104 (2021) - [c341]Martijn A. Goorden, Kim G. Larsen, Jesper E. Nielsen, Thomas D. Nielsen, Michael R. Rasmussen, Jirí Srba:
Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds. ADHS 2021: 13-18 - [c340]Ahmad Madary, Hamid Reza Momeni, Alessandro Abate, Kim G. Larsen:
A Bayesian Framework for Large-Scale Identification of Nonlinear Hybrid Systems. ADHS 2021: 259-264 - [c339]Giovanni Bacci, Benoît Delahaye, Kim G. Larsen, Anders Mariegaard:
Quantitative Analysis of Interval Markov Chains. Model Checking, Synthesis, and Learning 2021: 57-77 - [c338]Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman:
Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed Systems. FMICS 2021: 149-166 - [c337]Frederik M. Bønneland, Peter Gjøl Jensen, Kim G. Larsen, Marco Muñiz, Jirí Srba:
Stubborn Set Reduction for Timed Reachability and Safety Games. FORMATS 2021: 32-49 - [c336]Sebastian Lund, Jesper van Diepen, Kim G. Larsen, Marco Muñiz, Tobias Ringholm Jørgensen, Tobias Skaarup Daa Andersen:
An Integer Static Analysis for Better Extrapolation in Uppaal. FORMATS 2021: 84-99 - [c335]Giovanni Bacci, Anna Ingólfsdóttir, Kim G. Larsen, Raphaël Reynouard:
Active Learning of Markov Decision Processes using Baum-Welch algorithm. ICMLA 2021: 1203-1208 - [c334]Michele Albano, Stefano Chessa, Kim Guldstrand Larsen:
A Model-Checking Static Analysis of Task-Based Energy Neutrality for Energy Harvesting IoT. ISCC 2021: 1-7 - [c333]Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods. LICS 2021: 1-14 - [c332]Muhammad Naeem, Michele Albano, Kim G. Larsen, Brian Nielsen, Anders Høedholt, Christian Ø. Laursen:
Battery Aware Analysis of Sensor Networks in Uppaal SMC. MECO 2021: 1-6 - [c331]Bjarke Hilmer Møller, Jacob Gosch Søndergaard, Kristoffer Skagbæk Jensen, Magnus Winkel Pedersen, Tobias Worm Bøgedal, Anton Christensen, Danny Bøgsted Poulsen, Kim Guldstrand Larsen, René Rydhof Hansen, Thomas Rosted Jensen, Heino Juvoll Madsen, Henrik Uhrenfeldt:
Preliminary Security Analysis, Formalisation, and Verification of OpenTitan Secure Boot Code. NordSec 2021: 192-211 - [c330]Luca Cardelli, Radu Grosu, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Lumpability for Uncertain Continuous-Time Markov Chains. QEST 2021: 391-409 - [e16]Jan Friso Groote, Kim Guldstrand Larsen:
Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I. Lecture Notes in Computer Science 12651, Springer 2021, ISBN 978-3-030-72015-5 [contents] - [e15]Jan Friso Groote, Kim Guldstrand Larsen:
Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II. Lecture Notes in Computer Science 12652, Springer 2021, ISBN 978-3-030-72012-4 [contents] - [i34]Martijn A. Goorden, Kim G. Larsen, Jesper E. Nielsen, Thomas D. Nielsen, Michael R. Rasmussen, Jirí Srba:
Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds. CoRR abs/2104.12509 (2021) - [i33]Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods. CoRR abs/2104.13160 (2021) - [i32]Giovanni Bacci, Anna Ingólfsdóttir, Kim G. Larsen, Raphaël Reynouard:
Active Learning of Markov Decision Processes using Baum-Welch algorithm (Extended). CoRR abs/2110.03014 (2021) - 2020
- [j93]Mathias Claus Jensen, Kim Guldstrand Larsen:
A complete axiomatization of weighted branching bisimulation. Acta Informatica 57(3-5): 689-725 (2020) - [j92]Søren Enevoldsen, Kim G. Larsen, Anders Mariegaard, Jirí Srba:
Dependency graphs with applications to verification. Int. J. Softw. Tools Technol. Transf. 22(5): 635-654 (2020) - [c329]Isabella Kaufmann, Kim Guldstrand Larsen, Jirí Srba:
Synthesis for Multi-weighted Games with Branching-Time Winning Conditions. Petri Nets 2020: 46-66 - [c328]Shyam Lal Karra, Kim Guldstrand Larsen, Marco Muñiz, Jirí Srba:
On-the-Fly Synthesis for Strictly Alternating Games. Petri Nets 2020: 109-128 - [c327]Kim G. Larsen, Marius Mikucionis, Marco Muñiz, Jirí Srba:
Urgent Partial Order Reduction for Extended Timed Automata. ATVA 2020: 179-195 - [c326]Manfred Jaeger, Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Peter Gjøl Jensen:
Approximating Euclidean by Imprecise Markov Decision Processes. ISoLA (1) 2020: 275-289 - [c325]Kim G. Larsen, Axel Legay:
30 Years of Statistical Model Checking. ISoLA (1) 2020: 325-330 - [c324]Peter Gjøl Jensen, Kenneth Yrke Jørgensen, Kim G. Larsen, Marius Mikucionis, Marco Muñiz, Danny Bøgsted Poulsen:
Fluid Model-Checking in UPPAAL for Covid-19. ISoLA (1) 2020: 385-403 - [c323]Søren Enevoldsen, Mathias Claus Jensen, Kim Guldstrand Larsen, Anders Mariegaard, Jirí Srba:
Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs. LOPSTR 2020: 249-268 - [c322]Manfred Jaeger, Kim G. Larsen, Alessandro Tibo:
From Statistical Model Checking to Run-Time Monitoring Using a Bayesian Network Approach. RV 2020: 517-535 - [c321]Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman:
Randomized Refinement Checking of Timed I/O Automata. SETTA 2020: 70-88 - [i31]Alessandro Tibo, Manfred Jaeger, Kim G. Larsen:
A general framework for defining and optimizing robustness. CoRR abs/2006.11122 (2020) - [i30]Manfred Jaeger, Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Peter Gjøl Jensen:
Approximating Euclidean by Imprecise Markov Decision Processes. CoRR abs/2006.14923 (2020) - [i29]Roderick Bloem, Peter Gjøl Jensen, Bettina Könighofer, Kim Guldstrand Larsen, Florian Lorber, Alexander Palmisano:
It's Time to Play Safe: Shield Synthesis for Timed Systems. CoRR abs/2006.16688 (2020) - [i28]Franck Cassez, Peter Gjøl Jensen, Kim Guldstrand Larsen:
Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction. CoRR abs/2007.10539 (2020) - [i27]Albert Benveniste, Kim G. Larsen, Jean-Baptiste Raclet:
Mixed Nondeterministic-Probabilistic Interfaces. CoRR abs/2011.09435 (2020)
2010 – 2019
- 2019
- [j91]Kim G. Larsen, Jirí Srba:
Selected papers from the 28th Nordic Workshop on Programming Theory (NWPT'16). J. Log. Algebraic Methods Program. 107: 177-178 (2019) - [j90]Lasse S. Jensen, Isabella Kaufmann, Kim G. Larsen, Søren M. Nielsen, Jirí Srba:
Model checking and synthesis for branching multi-weighted logics. J. Log. Algebraic Methods Program. 105: 28-46 (2019) - [j89]Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare:
Converging from branching to linear metrics on Markov chains. Math. Struct. Comput. Sci. 29(1): 3-37 (2019) - [c320]Manfred Jaeger, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Sean Sedwards, Jakob Haahr Taankvist:
Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs. ATVA 2019: 81-97 - [c319]Kim G. Larsen:
Synthesis of Safe, Optimal and Compact Strategies for Stochastic Hybrid Games (Invited Paper). CONCUR 2019: 2:1-2:5 - [c318]Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel:
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata. CONCUR 2019: 9:1-9:17 - [c317]Frederik M. Bønneland, Peter Gjøl Jensen, Kim G. Larsen, Marco Muñiz, Jirí Srba:
Partial Order Reduction for Reachability Games. CONCUR 2019: 23:1-23:15 - [c316]Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim G. Larsen:
L*-Based Learning of Markov Decision Processes. FM 2019: 651-669 - [c315]Martin Tappler, Bernhard K. Aichernig, Kim Guldstrand Larsen, Florian Lorber:
Time to Learn - Learning Timed Automata from Tests. FORMATS 2019: 216-235 - [c314]Mathias Claus Jensen, Anders Mariegaard, Kim Guldstrand Larsen:
Symbolic Model Checking of Weighted PCTL Using Dependency Graphs. NFM 2019: 298-315 - [c313]Giovanni Bacci, Mikkel Hansen, Kim Guldstrand Larsen:
Model Checking Constrained Markov Reward Models with Uncertainties. QEST 2019: 37-51 - [c312]Pranav Ashok, Jan Kretínský, Kim Guldstrand Larsen, Adrien Le Coënt, Jakob Haahr Taankvist, Maximilian Weininger:
SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes. QEST 2019: 147-164 - [c311]Shyam Lal Karra, Kim Guldstrand Larsen, Florian Lorber, Jirí Srba:
Safe and Time-Optimal Control for Railway Games. RSSRail 2019: 106-122 - [c310]Søren Enevoldsen, Kim Guldstrand Larsen, Jirí Srba:
Model Verification Through Dependency Graphs. SPIN 2019: 1-19 - [c309]Søren Enevoldsen, Kim Guldstrand Larsen, Jirí Srba:
Abstract Dependency Graphs and Their Application to Model Checking. TACAS (1) 2019: 316-333 - [c308]Mathias Ruggaard Pedersen, Giorgio Bacci, Kim G. Larsen:
A Faster-Than Relation for Semi-Markov Decision Processes. QAPL@ETAPS 2019: 29-42 - [p7]Rajeev Alur, Mirco Giacobbe, Thomas A. Henzinger, Kim G. Larsen, Marius Mikucionis:
Continuous-Time Models for System Design and Analysis. Computing and Software Science 2019: 452-477 - [e14]Tiziana Margaria, Susanne Graf, Kim G. Larsen:
Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 11200, Springer 2019, ISBN 978-3-030-22347-2 [contents] - [e13]Kim Guldstrand Larsen, Tim A. C. Willemse:
Formal Methods for Industrial Critical Systems - 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings. Lecture Notes in Computer Science 11687, Springer 2019, ISBN 978-3-030-27007-0 [contents] - [i26]Pranav Ashok, Jan Kretínský, Kim Guldstrand Larsen, Adrien Le Coënt, Jakob Haahr Taankvist, Maximilian Weininger:
SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes. CoRR abs/1906.10640 (2019) - [i25]Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim G. Larsen:
L*-Based Learning of Markov Decision Processes (Extended Version). CoRR abs/1906.12239 (2019) - [i24]Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel:
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata. CoRR abs/1907.01768 (2019) - [i23]Frederik Meyer Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marco Muñiz, Jirí Srba:
Stubborn Set Reduction for Two-Player Reachability Games. CoRR abs/1912.09875 (2019) - 2018
- [j88]Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim G. Larsen, Simon Laursen:
Average-energy games. Acta Informatica 55(2): 91-127 (2018) - [j87]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:
Contracts for System Design. Found. Trends Electron. Des. Autom. 12(2-3): 124-400 (2018) - [j86]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:
A Distributed Fixed-Point Algorithm for Extended Dependency Graphs. Fundam. Informaticae 161(4): 351-381 (2018) - [j85]Giovanni Bacci, Giorgio Bacci, Kim G. Larsen, Radu Mardare:
On the metric-based approximate minimization of Markov Chains. J. Log. Algebraic Methods Program. 100: 36-56 (2018) - [j84]Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare:
A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains. Log. Methods Comput. Sci. 14(4) (2018) - [j83]Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen:
Reasoning About Bounds in Weighted Transition Systems. Log. Methods Comput. Sci. 14(4) (2018) - [j82]Manfred Droste, Kim G. Larsen:
Preface: Dedicated to the memory of Zoltán Ésik (1951-2016). Soft Comput. 22(4): 1033 (2018) - [j81]Kim G. Larsen, Radu Mardare, Bingtian Xue:
On decidability of recursive weighted logics. Soft Comput. 22(4): 1085-1102 (2018) - [j80]Mounir Chadli, Jin Hyun Kim, Kim G. Larsen, Axel Legay, Stefan Naujokat, Bernhard Steffen, Louis-Marie Traonouez:
High-level frameworks for the specification and verification of scheduling problems. Int. J. Softw. Tools Technol. Transf. 20(4): 397-422 (2018) - [j79]Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba:
Discrete and continuous strategies for timed-arc Petri net games. Int. J. Softw. Tools Technol. Transf. 20(5): 529-546 (2018) - [j78]Kim G. Larsen, Igor Potapov, Jirí Srba:
Reachability problems: Special issue. Theor. Comput. Sci. 750: 1 (2018) - [c307]Tiziana Margaria, Susanne Graf, Kim G. Larsen:
Models, Mindsets, Meta: The What, the How, and the Why Not? Models, Mindsets, Meta 2018: 3-13 - [c306]Thomas Bøgholm, Kim G. Larsen, Marco Muñiz, Bent Thomsen, Lone Leth Thomsen:
Analyzing Spreadsheets for Parallel Execution via Model Checking. Models, Mindsets, Meta 2018: 27-35 - [c305]Frederik M. Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marco Muñiz, Jirí Srba:
Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems. CAV (1) 2018: 527-546 - [c304]Henrik Schiøler, Luminita Totu, Jan Dimon Bendtsen, Kim Guldstrand Larsen, Jakob Haahr Taankvist:
Time Optimal Robust Fleet Management of Micro UAV Through Timed Games Formulation. CCTA 2018: 146-152 - [c303]Kim Guldstrand Larsen, Adrien Le Coënt, Marius Mikucionis, Jakob Haahr Taankvist:
Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga. CyPhy/WESE 2018: 113-133 - [c302]Kim Guldstrand Larsen, Florian Lorber, Brian Nielsen:
20 Years of Real Real Time Model Validation. FM 2018: 22-36 - [c301]Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Pierre-Alain Reynier:
Optimal and Robust Controller Synthesis - Using Energy Timed Automata with Uncertainty. FM 2018: 203-221 - [c300]Mathias Claus Jensen, Kim Guldstrand Larsen, Radu Mardare:
Weighted Branching Systems: Behavioural Equivalence, Behavioural Distance, and Their Logical Characterisations. FORMATS 2018: 145-161 - [c299]Florian Lorber, Kim G. Larsen, Brian Nielsen:
Model-Based Mutation Testing of Real-Time Systems via Model Checking. ICST Workshops 2018: 59-68 - [c298]Kim G. Larsen, Florian Lorber, Brian Nielsen:
20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond. ISoLA (4) 2018: 212-229 - [c297]Kim Guldstrand Larsen, Axel Legay:
Statistical Model Checking the 2018 Edition! ISoLA (2) 2018: 261-270 - [c296]