default search action

combined dblp search
author search
venue search
publication search

ask others

Kim G. Larsen

Kim Guldstrand Larsen

> Home > Persons

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

see FAQ

What is the meaning of the colors in the publication lists?

2025
[j112]
- view
  authority control:
- export record
  dblp key:
  - journals/tkde/WeinreichOTL25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tkde/WeinreichOTL25
Nicolai A. Weinreich, Arman Oshnoei, Remus Teodorescu, Kim G. Larsen:
Doing More With Less: A Survey of Data Selection Methods for Mathematical Modeling. IEEE Trans. Knowl. Data Eng. 37(5): 2420-2439 (2025)
[j111]
- view
  authority control:
- export record
  dblp key:
  - journals/tnse/LiGLLAPHZ25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tnse/LiGLLAPHZ25
Yushuai Li, Peiyuan Guan, Tianyi Li, Kim Guldstrand Larsen, Marco Aiello, Torben Bach Pedersen, Tingwen Huang, Yan Zhang:
Digital Twin for Secure Peer-to-Peer Trading in Cyber-Physical Energy Systems. IEEE Trans. Netw. Sci. Eng. 12(2): 669-683 (2025)
[c392]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/KristjansenL25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/KristjansenL25
Martin Kristjansen, Kim Guldstrand Larsen:
Performance Analysis of Stochastic Digraph Real-Time Task Model. Real Time and Such 2025: 98-119
[c391]
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/KimGLN25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/KimGLN25
Esther H. Kim, Martijn A. Goorden, Kim Guldstrand Larsen, Thomas Dyhre Nielsen:
Data-Driven Shielding of Online Reinforcement Learning: A Stormwater Pond Case Study. FSEN 2025: 97-112
[i50]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2502-18972
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2502-18972
Kim G. Larsen, Martin Zimmermann:
You May Delay, but Time Will Not: Timed Games Under Delayed Control. CoRR abs/2502.18972 (2025)
2024
[j110]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlap/KimGLN24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/KimGLN24
Esther H. Kim, Martijn A. Goorden, Kim G. Larsen, Thomas D. Nielsen:
Controlling stormwater detention ponds under partial observability. J. Log. Algebraic Methods Program. 141: 100979 (2024)
[j109]
- view
  authority control:
- export record
  dblp key:
  - journals/tits/QianNZLY24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tits/QianNZLY24
Weizhu Qian, Thomas Dyhre Nielsen, Yan Zhao, Kim Guldstrand Larsen, James Jianqiao Yu:
Uncertainty-Aware Temporal Graph Convolutional Network for Traffic Speed Forecasting. IEEE Trans. Intell. Transp. Syst. 25(8): 8578-8590 (2024)
[c390]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BakCEFJJJLMMW25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BakCEFJJJLMMW25
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:
GPU Accelerating Statistical Model Checking for Extended Timed Automata. Principles of Verification (2) 2024: 267-292
[c389]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/GyorgyiLSS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/GyorgyiLSS24
Csaba Györgyi, Kim G. Larsen, Stefan Schmid, Jirí Srba:
SyRep: Efficient Synthesis and Repair of Fast Re-Route Forwarding Tables for Resilient Networks. DSN 2024: 483-494
[c388]
- view
  authority control:
- export record
  dblp key:
  - conf/eucc/KimLGN24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eucc/KimLGN24
Esther H. Kim, Kim G. Larsen, Martijn A. Goorden, Thomas D. Nielsen:
Compositional Control Synthesis for Water Management System. ECC 2024: 3130-3137
[c387]
- view
  authority control:
- export record
  dblp key:
  - conf/icaps/TollundJNTL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icaps/TollundJNTL24
Rasmus G. Tollund, Nicklas S. Johansen, Kristian Ø. Nielsen, Álvaro Torralba, Kim G. Larsen:
Optimal Infinite Temporal Planning: Cyclic Plans for Priced Timed Automata. ICAPS 2024: 588-596
[c386]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/FranzleGLZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/FranzleGLZ24
Martin Fränzle, Thomas Møller Grosen, Kim G. Larsen, Martin Zimmermann:
Monitoring Real-Time Systems Under Parametric Delay. IFM 2024: 194-213
[c385]
- view
  authority control:
- export record
  dblp key:
  - conf/infocom/GyorgyiL0S24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/infocom/GyorgyiL0S24
Csaba Györgyi, Kim G. Larsen, Stefan Schmid, Jirí Srba:
SyPer: Synthesis of Perfectly Resilient Local Fast Re-Routing Rules for Highly Dependable Networks. INFOCOM 2024: 2398-2407
[c384]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/LarsenTTTV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/LarsenTTTV24
Kim G. Larsen, Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Optimality-Preserving Reduction of Chemical Reaction Networks. ISoLA (2) 2024: 13-32
[c383]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/GuTHFL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/GuTHFL24
Rong Gu, Kaige Tan, Andreas Holck Høeg-Petersen, Lei Feng, Kim Guldstrand Larsen:
CommonUppRoad: A Framework of Formal Modelling, Verifying, Learning, and Visualisation of Autonomous Vehicles. ISoLA (3) 2024: 385-404
[c382]
- view
  authority control:
- export record
  dblp key:
  - conf/qestformats/BacciBLSTTV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qestformats/BacciBLSTTV24
Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Dissimilarity for Linear Dynamical Systems. QEST+FORMATS 2024: 125-142
[c381]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/KauffmanLZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/KauffmanLZ24
Sean Kauffman, Kim Guldstrand Larsen, Martin Zimmermann:
The Complexity of Data-Free Nfer. RV 2024: 174-191
[c380]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/CimattiGLTZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/CimattiGLTZ24
Alessandro Cimatti, Thomas Møller Grosen, Kim G. Larsen, Stefano Tonetta, Martin Zimmermann:
Exploiting Assumptions for Effective Monitoring of Real-Time Properties Under Partial Observability. SEFM 2024: 70-88
[c379]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/JimenezPastorLTT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/JimenezPastorLTT24
Antonio Jiménez-Pastor, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski:
Forward and Backward Constrained Bisimulations for Quantum Circuits. TACAS (2) 2024: 343-362
[c378]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/CuijpersHL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/CuijpersHL24
Pieter J. L. Cuijpers, Jonas Hansen, Kim G. Larsen:
Safe and Infinite Resource Scheduling Using Energy Timed Automata. TASE 2024: 73-90
[c377]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/NaeemGSLNA24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/NaeemGSLNA24
Muhammad Naeem, Rong Gu, Cristina Seceleanu, Kim Guldstrand Larsen, Brian Nielsen, Michele Albano:
Energy-Efficient Motion Planning for Autonomous Vehicles Using Uppaal Stratego. TASE 2024: 356-373
[c376]
- view
  authority control:
- export record
  dblp key:
  - conf/vecos/BrorholtHLS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vecos/BrorholtHLS24
Asger Horn Brorholt, Andreas Holck Høeg-Petersen, Kim Guldstrand Larsen, Christian Schilling:
Efficient Shield Synthesis via State-Space Transformation. AISoLA 2024: 206-224
[c375]
- view
  authority control:
- export record
  dblp key:
  - conf/vecos/KanavKL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vecos/KanavKL24
Sudeep Kanav, Jan Kretínský, Kim G. Larsen:
Statistical Model Checking the 2024 Edition! AISoLA 2024: 303-311
[c374]
- view
  authority control:
- export record
  dblp key:
  - conf/vecos/JaegerL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vecos/JaegerL24
Manfred Jaeger, Kim Guldstrand Larsen:
Reinforcement Learning for Discretized Euclidean MDPs. AISoLA 2024: 312-335
[c373]
- view
  authority control:
- export record
  dblp key:
  - conf/vecos/BogedalHLLP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vecos/BogedalHLLP24
Tobias Worm Bøgedal, René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen:
Statistical Analysis of the Impact of Bit-Flips in Security Critical Code. AISoLA 2024: 379-397
[d2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/GyorgyiLSS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/GyorgyiLSS24
Csaba Györgyi, Kim Guldstrand Larsen, Stefan Schmid, Jirí Srba:
Reproducibility Package for SYPER: Synthesis of Perfectly Resilient Local Fast Re-Routing Rules for Highly Dependable Networks. Zenodo, 2024
[d1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/TollundJKLT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/TollundJKLT24
Rasmus G. Tollund, Nicklas S. Johansen, Kristian Ødum Knorborg, Kim Guldstrand Larsen, Álvaro Torralba:
Artefact for: "Optimal Infinite Temporal Planning: Cyclic Plans for Priced Timed Automata". Zenodo, 2024
[i49]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-18282
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-18282
Martin Fränzle, Thomas Møller Grosen, Kim G. Larsen, Martin Zimmermann:
Monitoring Real-Time Systems under Parametric Delay. CoRR abs/2404.18282 (2024)
[i48]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2407-03155
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2407-03155
Sean Kauffman, Kim Guldstrand Larsen, Martin Zimmermann:
The Complexity of Data-Free Nfer. CoRR abs/2407.03155 (2024)
[i47]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2407-19911
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2407-19911
Asger Horn Brorholt, Andreas Holck Høeg-Petersen, Kim Guldstrand Larsen, Christian Schilling:
Efficient Shield Synthesis via State-Space Transformation. CoRR abs/2407.19911 (2024)
[i46]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2408-01093
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2408-01093
Rong Gu, Kaige Tan, Andreas Holck Høeg-Petersen, Lei Feng, Kim Guldstrand Larsen:
CommonUppRoad: A Framework of Formal Modelling, Verifying, Learning, and Visualisation of Autonomous Vehicles. CoRR abs/2408.01093 (2024)
[i45]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2409-05456
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2409-05456
Alessandro Cimatti, Thomas Møller Grosen, Kim G. Larsen, Stefano Tonetta, Martin Zimmermann:
Exploiting Assumptions for Effective Monitoring of Real-Time Properties under Partial Observability. CoRR abs/2409.05456 (2024)
[i44]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2410-10460
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2410-10460
Asger Horn Brorholt, Kim Guldstrand Larsen, Christian Schilling:
Compositional Shielding and Reinforcement Learning for Multi-Agent Systems. CoRR abs/2410.10460 (2024)
[i43]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2412-06940
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2412-06940
Jiachen Xu, Yushuai Li, Torben Bach Pedersen, Yuqiang He, Kim Guldstrand Larsen, Tianyi Li:
Digital Twin-Empowered Voltage Control for Power Systems. CoRR abs/2412.06940 (2024)
2023
[j108]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/HasratJLS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/HasratJLS23
Imran Riaz Hasrat, Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba:
A toolchain for domestic heat-pump control using Uppaal Stratego. Sci. Comput. Program. 230: 102987 (2023)
[j107]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/LarsenMSS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/LarsenMSS23
Kim G. Larsen, Anders Mariegaard, Stefan Schmid, Jirí Srba:
AllSynth: A BDD-based approach for network update synthesis. Sci. Comput. Program. 230: 102992 (2023)
[j106]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/CardelliGLTTV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/CardelliGLTTV23
Luca Cardelli, Radu Grosu, Kim Guldstrand Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Algorithmic Minimization of Uncertain Continuous-Time Markov Chains. IEEE Trans. Autom. Control. 68(11): 6557-6572 (2023)
[c372]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/CuijpersHL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/CuijpersHL23
Pieter J. L. Cuijpers, Jonas Hansen, Kim G. Larsen:
Assume-Guarantee Reasoning for Additive Hybrid Behaviour. Theories of Programming and Formal Methods 2023: 297-322
[c371]
- view
  authority control:
- export record
  dblp key:
  - conf/ccta/GoordenLNNQRZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccta/GoordenLNNQRZ23
Martijn A. Goorden, Kim G. Larsen, Jesper E. Nielsen, Thomas D. Nielsen, Weizhu Qian, Michael R. Rasmussen, Guohan Zhao:
Guaranteed safe controller synthesis for switched systems using analytical solutions^*. CCTA 2023: 784-790
[c370]
- view
  authority control:
- export record
  dblp key:
  - conf/ecbseerc/NaeemALN23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecbseerc/NaeemALN23
Muhammad Naeem, Michele Albano, Kim Guldstrand Larsen, Brian Nielsen:
Comparative Analysis of Uppaal SMC, ns-3 and MATLAB/Simulink. ECBS 2023: 153-169
[c369]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/RibeiroLNLB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/RibeiroLNLB23
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
[c368]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/LarsenLP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/LarsenLP23
Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen:
Refinement of Systems with an Attacker Focus. FMICS 2023: 96-112
[c367]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/HasratJLS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/HasratJLS23
Imran Riaz Hasrat, Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba:
Modelling of Hot Water Buffer Tank and Mixing Loop for an Intelligent Heat Pump Control. FMICS 2023: 113-130
[c366]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/KivirigaLNN23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/KivirigaLNN23
Andrej Kiviriga, Kim Guldstrand Larsen, Dejan Nickovic, Ulrik Nyman:
Usage-and Risk-Aware Falsification Testing for Cyber-Physical Systems. FORMATS 2023: 141-157
[c365]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/JensenJL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/JensenJL23
Nicolaj Ø. Jensen, Peter Gjøl Jensen, Kim G. Larsen:
Dynamic Extrapolation in Extended Timed Automata. ICFEM 2023: 83-99
[c364]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/KristjansenKJTL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/KristjansenKJTL23
Martin Kristjansen, Abhijit Kulkarni, Peter Gjøl Jensen, Remus Teodorescu, Kim Guldstrand Larsen:
Dual Balancing of SoC/SoT in Smart Batteries Using Reinforcement Learning in Uppaal Stratego. IECON 2023: 1-6
[c363]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/DierlHKKLLM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/DierlHKKLLM23
Simon Dierl, Falk Maria Howar, Sean Kauffman, Martin Kristjansen, Kim Guldstrand Larsen, Florian Lorber, Malte Mauritz:
Learning Symbolic Timed Models from Concrete Timed Data. NFM 2023: 104-121
[c362]
- view
  - electronic edition @ nips.cc (open access)
  - details & citations
- export record
  dblp key:
  - conf/nips/0001LDL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nips/0001LDL23
Christian Schilling, Anna Lukina, Emir Demirovic, Kim Guldstrand Larsen:
Safety Verification of Decision-Tree Policies in Continuous Time. NeurIPS 2023
[c361]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/BacciILR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/BacciILR23
Giovanni Bacci, Anna Ingólfsdóttir, Kim G. Larsen, Raphaël Reynouard:
An MM Algorithm to Estimate Parameters in Continuous-Time Markov Chains. QEST 2023: 82-100
[c360]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/JensenLSU23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/JensenLSU23
Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba, Nikolaj Jensen Ulrik:
Elimination of Detached Regions in Dependency Graph Verification. SPIN 2023: 163-179
[c359]
- view
  authority control:
- export record
  dblp key:
  - conf/vecos/JansenKKL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vecos/JansenKKL23
Nils Jansen, Bettina Könighofer, Jan Kretínský, Kim G. Larsen:
Welcome Remarks from AISoLA 2023/Track C2 Chairs. AISoLA 2023: 25-32
[c358]
- view
  authority control:
- export record
  dblp key:
  - conf/vecos/BrorholtJLLS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vecos/BrorholtJLLS23
Asger Horn Brorholt, Peter Gjøl Jensen, Kim Guldstrand Larsen, Florian Lorber, Christian Schilling:
Shielded Reinforcement Learning for Hybrid Systems. AISoLA 2023: 33-54
[c357]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-00999
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-00999
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:
CGAAL: Distributed On-The-Fly ATL Model Checker with Heuristics. GandALF 2023: 99-114
[i42]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2301-08553
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2301-08553
Kim G. Larsen, Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Optimality-preserving Reduction of Chemical Reaction Networks. CoRR abs/2301.08553 (2023)
[i41]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2302-04529
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2302-04529
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)
[i40]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2302-08588
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2302-08588
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)
[i39]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2304-00277
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2304-00277
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)
[i38]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-09510
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-09510
Antonio Jiménez-Pastor, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski:
Efficient Simulation of Quantum Circuits by Model Order Reduction. CoRR abs/2308.09510 (2023)
[i37]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-14424
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-14424
Asger Horn Brorholt, Peter Gjøl Jensen, Kim Guldstrand Larsen, Florian Lorber, Christian Schilling:
Shielded Reinforcement Learning for Hybrid Systems. CoRR abs/2308.14424 (2023)
2022
[j105]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/MadaryMAL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/MadaryMAL22
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]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/EnevoldsenLS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/EnevoldsenLS22
Søren Enevoldsen, Kim Guldstrand Larsen, Jirí Srba:
Extended abstract dependency graphs. Int. J. Softw. Tools Technol. Transf. 24(1): 49-65 (2022)
[j103]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/BeekLNW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/BeekLNW22
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]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/KivirigaLN22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/KivirigaLN22
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]
- view
  - electronic edition @ aaai.org
  - details & citations
- export record
  dblp key:
  - conf/aips/BoghJKLN22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/BoghJKLN22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/GoordenJLSSZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/GoordenJLSSZ22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/LarsenSS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/LarsenSS22
Kim G. Larsen, Christian Schilling, Jirí Srba:
Simulation Relations and Applications in Formal Methods. Principles of Systems Design 2022: 272-291
[c353]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/JensenLM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/JensenLM22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Bacci0JL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Bacci0JL22
Giorgio Bacci, Giovanni Bacci, Mathias Claus Jensen, Kim G. Larsen:
Convex Lattice Equation Systems. Principles of Systems Design 2022: 438-455
[c351]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/GrosenKLZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/GrosenKLZ22
Thomas Møller Grosen, Sean Kauffman, Kim Guldstrand Larsen, Martin Zimmermann:
Monitoring Timed Properties (Revisited). FORMATS 2022: 43-62
[c350]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/TapplerPKMBL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/TapplerPKMBL22
Martin Tappler, Stefan Pranger, Bettina Könighofer, Edi Muskardin, Roderick Bloem, Kim G. Larsen:
Automata Learning Meets Shielding. ISoLA (1) 2022: 335-359
[c349]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/LarsenLNSSS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/LarsenLNSSS22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/LarsenLMP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/LarsenLMP22
Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen:
Importance Splitting in Uppaal. ISoLA (3) 2022: 433-447
[c347]
- view
  authority control:
- export record
  dblp key:
  - conf/meco/HansenLC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/meco/HansenLC22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/JensenKLNMM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/JensenKLNMM22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/AroraHLLP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/AroraHLLP22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/LarsenMSS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/LarsenMSS22
Kim Guldstrand Larsen, Anders Mariegaard, Stefan Schmid, Jirí Srba:
AllSynth: Transiently Correct Network Update Synthesis Accounting for Operator Preferences. TASE 2022: 344-362
[c343]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/HasratJLS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/HasratJLS22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/wns3/NaeemAMNL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wns3/NaeemAMNL22
Muhammad Naeem, Michele Albano, Davide Magrin, Brian Nielsen, Kim Guldstrand Larsen:
A Sigfox Module for the Network Simulator 3. WNS3 2022: 81-88
[i36]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-14590
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-14590
Thomas Møller Grosen, Sean Kauffman, Kim Guldstrand Larsen, Martin Zimmermann:
Monitoring Timed Properties (Revisited). CoRR abs/2206.14590 (2022)
[i35]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2212-01838
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2212-01838
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/BacciBFLMR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/BacciBFLMR21
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/TapplerA0EL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/TapplerA0EL21
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]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/LarsenSWJ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/LarsenSWJ21
Kim G. Larsen, Natarajan Shankar, Pierre Wolper, Somesh Jha:
2018 CAV award. Formal Methods Syst. Des. 57(1): 116-117 (2021)
[j98]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/CassezJL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/CassezJL21
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]
- view
  - electronic edition @ episciences.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/lmcs/BacciBLMTB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/BacciBLMTB21
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]
- view
  - electronic edition @ episciences.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/lmcs/BonnelandJLMS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/BonnelandJLMS21
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]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/LarsenSW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/LarsenSW21
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]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/HansenLLJP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/HansenLLJP21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/adhs/GoordenLNNRS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adhs/GoordenLNNRS21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/adhs/MadaryMAL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adhs/MadaryMAL21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/0001DLM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/0001DLM21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/KivirigaLN21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/KivirigaLN21
Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman:
Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed Systems. FMICS 2021: 149-166
[c337]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/BonnelandJLMS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/BonnelandJLMS21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/LundDLMJA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/LundDLMJA21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icmla/BacciILR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmla/BacciILR21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iscc/AlbanoCL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscc/AlbanoCL21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/0001BLTTV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/0001BLTTV21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/meco/NaeemALNHL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/meco/NaeemALNHL21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/nordsec/MollerSJPBCPLHJ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nordsec/MollerSJPBCPLHJ21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/CardelliGLTTV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/CardelliGLTTV21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/2021-1
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/2021-1
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]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/2021-2
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/2021-2
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2104-12509
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2104-12509
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2104-13160
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2104-13160
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2110-03014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-03014
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]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/JensenL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/JensenL20
Mathias Claus Jensen, Kim Guldstrand Larsen:
A complete axiomatization of weighted branching bisimulation. Acta Informatica 57(3-5): 689-725 (2020)
[j92]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/EnevoldsenLMS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/EnevoldsenLMS20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/KaufmannLS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/KaufmannLS20
Isabella Kaufmann, Kim Guldstrand Larsen, Jirí Srba:
Synthesis for Multi-weighted Games with Branching-Time Winning Conditions. Petri Nets 2020: 46-66
[c328]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/KarraLMS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/KarraLMS20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/LarsenMMS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/LarsenMMS20
Kim G. Larsen, Marius Mikucionis, Marco Muñiz, Jirí Srba:
Urgent Partial Order Reduction for Extended Timed Automata. ATVA 2020: 179-195
[c326]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/Jaeger0BLJ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/Jaeger0BLJ20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/LarsenL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/LarsenL20
Kim G. Larsen, Axel Legay:
30 Years of Statistical Model Checking. ISoLA (1) 2020: 325-330
[c324]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/JensenJLMMP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/JensenJLMMP20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/EnevoldsenJLMS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/EnevoldsenJLMS20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/JaegerLT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/JaegerLT20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/setta/KivirigaLN20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/KivirigaLN20
Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman:
Randomized Refinement Checking of Timed I/O Automata. SETTA 2020: 70-88
[i31]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2006-11122
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2006-11122
Alessandro Tibo, Manfred Jaeger, Kim G. Larsen:
A general framework for defining and optimizing robustness. CoRR abs/2006.11122 (2020)
[i30]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2006-14923
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2006-14923
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2006-16688
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2006-16688
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2007-10539
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-10539
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2011-09435
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2011-09435
Albert Benveniste, Kim G. Larsen, Jean-Baptiste Raclet:
Mixed Nondeterministic-Probabilistic Interfaces. CoRR abs/2011.09435 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j91]
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/LarsenS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/LarsenS19
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jlp/JensenKLNS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/JensenKLNS19
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]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/BacciBLM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/BacciBLM19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/JaegerJLLST19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/JaegerJLLST19
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/concur/Larsen19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/Larsen19
Kim G. Larsen:
Synthesis of Safe, Optimal and Compact Strategies for Stochastic Hybrid Games (Invited Paper). CONCUR 2019: 2:1-2:5
[c318]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/concur/BacciBLMTB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BacciBLMTB19
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/concur/BonnelandJLMS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BonnelandJLMS19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/TapplerA0EL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/TapplerA0EL19
Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim G. Larsen:
L^*-Based Learning of Markov Decision Processes. FM 2019: 651-669
[c315]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/TapplerALL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/TapplerALL19
Martin Tappler, Bernhard K. Aichernig, Kim Guldstrand Larsen, Florian Lorber:
Time to Learn - Learning Timed Automata from Tests. FORMATS 2019: 216-235
[c314]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/JensenML19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/JensenML19
Mathias Claus Jensen, Anders Mariegaard, Kim Guldstrand Larsen:
Symbolic Model Checking of Weighted PCTL Using Dependency Graphs. NFM 2019: 298-315
[c313]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/0001HL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/0001HL19
Giovanni Bacci, Mikkel Hansen, Kim Guldstrand Larsen:
Model Checking Constrained Markov Reward Models with Uncertainties. QEST 2019: 37-51
[c312]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/AshokKLCTW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/AshokKLCTW19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/KarraLLS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/KarraLLS19
Shyam Lal Karra, Kim Guldstrand Larsen, Florian Lorber, Jirí Srba:
Safe and Time-Optimal Control for Railway Games. RSSRail 2019: 106-122
[c310]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/EnevoldsenLS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/EnevoldsenLS19
Søren Enevoldsen, Kim Guldstrand Larsen, Jirí Srba:
Model Verification Through Dependency Graphs. SPIN 2019: 1-19
[c309]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/EnevoldsenLS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/EnevoldsenLS19
Søren Enevoldsen, Kim Guldstrand Larsen, Jirí Srba:
Abstract Dependency Graphs and Their Application to Model Checking. TACAS (1) 2019: 316-333
[c308]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1810-11243
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1810-11243
Mathias Ruggaard Pedersen, Giorgio Bacci, Kim G. Larsen:
A Faster-Than Relation for Semi-Markov Decision Processes. QAPL@ETAPS 2019: 29-42
[p7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - series/lncs/AlurGHLM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/AlurGHLM19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/2018steffen
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/2018steffen
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]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/2019
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1906-10640
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1906-10640
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1906-12239
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1906-12239
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1907-01768
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1907-01768
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1912-09875
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1912-09875
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]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/BouyerMRLL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/BouyerMRLL18
Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim G. Larsen, Simon Laursen:
Average-energy games. Acta Informatica 55(2): 91-127 (2018)
[j87]
- view
  authority control:
- export record
  dblp key:
  - journals/fteda/BenvenisteCNPRR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fteda/BenvenisteCNPRR18
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]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/DalsgaardEFJJJK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/DalsgaardEFJJJK18
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jlp/BacciBLM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/BacciBLM18
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/BacciBLM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/BacciBLM18
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/HansenLMP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/HansenLMP18
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/soco/DrosteL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/soco/DrosteL18
Manfred Droste, Kim G. Larsen:
Preface: Dedicated to the memory of Zoltán Ésik (1951-2016). Soft Comput. 22(4): 1033 (2018)
[j81]
- view
  authority control:
- export record
  dblp key:
  - journals/soco/LarsenMX18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/soco/LarsenMX18
Kim G. Larsen, Radu Mardare, Bingtian Xue:
On decidability of recursive weighted logics. Soft Comput. 22(4): 1085-1102 (2018)
[j80]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/ChadliKLLNST18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/ChadliKLLNST18
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]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/JensenLS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/JensenLS18
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/LarsenPS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/LarsenPS18
Kim G. Larsen, Igor Potapov, Jirí Srba:
Reachability problems: Special issue. Theor. Comput. Sci. 750: 1 (2018)
[c307]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/MargariaGL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/MargariaGL18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BogholmLMTT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BogholmLMTT18
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/BonnelandJLMS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BonnelandJLMS18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ccta/SchiolerTDLT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccta/SchiolerTDLT18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cyphy/LarsenCMT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cyphy/LarsenCMT18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/LarsenLN18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/LarsenLN18
Kim Guldstrand Larsen, Florian Lorber, Brian Nielsen:
20 Years of Real Real Time Model Validation. FM 2018: 22-36
[c301]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/0001BFLMR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/0001BFLMR18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/JensenLM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/JensenLM18
Mathias Claus Jensen, Kim Guldstrand Larsen, Radu Mardare:
Weighted Branching Systems: Behavioural Equivalence, Behavioural Distance, and Their Logical Characterisations. FORMATS 2018: 145-161
[c299]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/LorberLN18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/LorberLN18
Florian Lorber, Kim G. Larsen, Brian Nielsen:
Model-Based Mutation Testing of Real-Time Systems via Model Checking. ICST Workshops 2018: 59-68
[c298]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/LarsenLN18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/LarsenLN18
Kim G. Larsen, Florian Lorber, Brian Nielsen:
20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond. ISoLA (4) 2018: 212-229
[c297]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/LarsenL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/LarsenL18
Kim Guldstrand Larsen, Axel Legay:
Statistical Model Checking the 2018 Edition! ISoLA (2) 2018: 261-270
[c296]
- view
  authority control:
- export record
  dblp key:
  - conf/isorc/BoudjadarKPLLN18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isorc/BoudjadarKPLLN18
Jalil Boudjadar, Jin Hyun Kim, Linh Thi Xuan Phan, Insup Lee, Kim G. Larsen, Ulrik Nyman:
Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems. ISORC 2018: 51-58
[c295]
- view
  authority control:
- export record
  dblp key:
  - conf/lata/PedersenFBLM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lata/PedersenFBLM18
Mathias Ruggaard Pedersen, Nathanaël Fijalkow, Giorgio Bacci, Kim G. Larsen, Radu Mardare:
Timed Comparisons of Semi-Markov Processes. LATA 2018: 271-283
[c294]
- view
  - electronic edition @ bibsys.no (open access)
  - details & citations
- export record
  dblp key:
  - conf/nik/FahrenbergL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nik/FahrenbergL18
Uli Fahrenberg, Kim G. Larsen:
Energiautomater, energifunktioner og Kleene-algebra. NIK 2018
[c293]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/0001HL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/0001HL18
Giovanni Bacci, Mikkel Hansen, Kim Guldstrand Larsen:
On the Verification of Weighted Kripke Structures Under Uncertainty. QEST 2018: 71-86
[c292]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/IvanovLSS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/IvanovLSS18
Dmitry Ivanov, Kim G. Larsen, Sibylle Schupp, Jirí Srba:
Analytical Solution for Long Battery Lifetime Prediction in Nonadaptive Systems. QEST 2018: 173-189
[c291]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/PedersenBLM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/PedersenBLM18
Mathias Ruggaard Pedersen, Giorgio Bacci, Kim Guldstrand Larsen, Radu Mardare:
A Hemimetric Extension of Simulation for Semi-Markov Decision Processes. QEST 2018: 339-355
[c290]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Bacci0LM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Bacci0LM18
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare:
Complete Axiomatization for the Total Variation Distance of Markov Chains. MFPS 2018: 27-39
[p6]
- view
  authority control:
- export record
  dblp key:
  - reference/mc/BouyerFLMO018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/mc/BouyerFLMO018
Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Joël Ouaknine, James Worrell:
Model Checking Real-Time Systems. Handbook of Model Checking 2018: 1001-1046
[i22]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1805-00847
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1805-00847
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. CoRR abs/1805.00847 (2018)
[i21]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1806-00528
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1806-00528
Giovanni Bacci, Giorgio Bacci, Kim G. Larsen, Radu Mardare:
On the Metric-based Approximate Minimization of Markov Chains. CoRR abs/1806.00528 (2018)
[i20]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1808-07744
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1808-07744
Martin Tappler, Bernhard K. Aichernig, Kim Guldstrand Larsen, Florian Lorber:
Learning Timed Automata via Genetic Programming. CoRR abs/1808.07744 (2018)
[i19]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1809-07177
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1809-07177
Liyun Dai, Taolue Chen, Zhiming Liu, Bican Xia, Naijun Zhan, Kim G. Larsen:
Parameter Synthesis Problems for one parametric clock Timed Automata. CoRR abs/1809.07177 (2018)
2017
[j77]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/Bacci0LM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/Bacci0LM17
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare:
On-the-Fly Computation of Bisimilarity Distances. Log. Methods Comput. Sci. 13(2) (2017)
[c289]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/DalsgaardEFJJKL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/DalsgaardEFJJKL17
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:
Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation. Petri Nets 2017: 139-158
[c288]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/LarsenLMNN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/LarsenLMNN17
Kim G. Larsen, Axel Legay, Marius Mikucionis, Brian Nielsen, Ulrik Nyman:
Compositional Testing of Real-Time Systems. ModelEd, TestEd, TrustEd 2017: 107-124
[c287]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/HansenJLLP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/HansenJLLP17
René Rydhof Hansen, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen:
Quantitative Evaluation of Attack Defense Trees Using Stochastic Timed Automata. GraMSec@CSF 2017: 75-90
[c286]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/MariegaardL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/MariegaardL17
Anders Mariegaard, Kim Guldstrand Larsen:
Symbolic Dependency Graphs for $$\text {PCTL}^{>}_{\le }$$ Model-Checking. FORMATS 2017: 153-169
[c285]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/icalp/BacciBLM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/BacciBLM17
Giovanni Bacci, Giorgio Bacci, Kim G. Larsen, Radu Mardare:
On the Metric-Based Approximate Minimization of Markov Chains. ICALP 2017: 104:1-104:14
[c284]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/JensenLLN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/JensenLLN17
Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman:
Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU. ICECCS 2017: 11-19
[c283]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/ZhangNLNSH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/ZhangNLNSH17
Zhengkui Zhang, Brian Nielsen, Kim Guldstrand Larsen, Gilles Nies, Marvin Stenger, Holger Hermanns:
Pareto Optimal Reachability Analysis for Simple Priced Timed Automata. ICFEM 2017: 481-495
[c282]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/LarsenLNN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/LarsenLNN17
Kim G. Larsen, Florian Lorber, Brian Nielsen, Ulrik Nyman:
Mutation-Based Test-Case Generation with Ecdar. ICST Workshops 2017: 319-328
[c281]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/JensenLS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/JensenLS17
Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba:
PTrie: Data Structure for Compressing and Storing Sets via Prefix Sharing. ICTAC 2017: 248-265
[c280]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/SugumarSDNLB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/SugumarSDNLB17
Gayathri Sugumar, Rajasekar Selvamuthukumaran, Tomislav Dragicevic, Ulrik Nyman, Kim G. Larsen, Frede Blaabjerg:
Formal validation of supervisory energy management systems for microgrids. IECON 2017: 1154-1159
[c279]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/FurberKLMP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/FurberKLMP17
Robert Furber, Dexter Kozen, Kim G. Larsen, Radu Mardare, Prakash Panangaden:
Unrestricted stone duality for Markov processes. LICS 2017: 1-9
[c278]
- view
  authority control:
- export record
  dblp key:
  - conf/rp/CassezJL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/CassezJL17
Franck Cassez, Peter Gjøl Jensen, Kim Guldstrand Larsen:
Refinement of Trace Abstraction for Real-Time Programs. RP 2017: 42-58
[c277]
- view
  authority control:
- export record
  dblp key:
  - conf/sofsem/Larsen17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofsem/Larsen17
Kim Guldstrand Larsen:
Dependable and Optimal Cyber-Physical Systems. SOFSEM 2017: 3-10
[c276]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/LiJLLP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/LiJLLP17
Guangyuan Li, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen:
Practical controller synthesis for MTL_{0, ∞}. SPIN 2017: 102-111
[c275]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/Larsen17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/Larsen17
Kim Guldstrand Larsen:
Validation, Synthesis and Optimization for Cyber-Physical Systems. TACAS (1) 2017: 3-20
[c274]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/LarsenPS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/LarsenPS17
Kim G. Larsen, Doron Peled, Sean Sedwards:
Memory-Efficient Tactics for Randomized LTL Model Checking. VSTTE 2017: 152-169
[c273]
- view
  - electronic edition @ springer.com (open access)
  - details & citations
- export record
  dblp key:
  - conf/wia/Larsen17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/Larsen17
Kim Guldstrand Larsen:
Timed and Untimed Energy Games. CIAA 2017: xiii-xvi
[p5]
- view
  authority control:
- export record
  dblp key:
  - series/natosec/LarsenFL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/natosec/LarsenFL17
Kim G. Larsen, Uli Fahrenberg, Axel Legay:
From Timed Automata to Stochastic Hybrid Games Model Checking, Synthesis, Performance Analysis and Machine Learning. Dependable Software Systems Engineering 2017: 60-103
[e12]
- view
- export record
  dblp key:
  - conf/mfcs/2017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/2017
Kim G. Larsen, Hans L. Bodlaender, Jean-François Raskin:
42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017, August 21-25, 2017 - Aalborg, Denmark. LIPIcs 83, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017, ISBN 978-3-95977-046-0 [contents]
[e11]
- view
  authority control:
- export record
  dblp key:
  - conf/setta/2017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/2017
Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang:
Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings. Lecture Notes in Computer Science 10606, Springer 2017, ISBN 978-3-319-69482-5 [contents]
[i18]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/BacciBLM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BacciBLM17
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare:
A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains. CoRR abs/1702.02528 (2017)
[i17]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/BacciBLM17a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BacciBLM17a
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare:
On-the-Fly Computation of Bisimilarity Distances. CoRR abs/1702.08306 (2017)
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/HansenLMPX17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HansenLMPX17
Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen, Bingtian Xue:
Reasoning About Bounds in Weighted Transition Systems. CoRR abs/1703.03346 (2017)
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1711-10216
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1711-10216
Mathias Ruggaard Pedersen, Nathanaël Fijalkow, Giorgio Bacci, Kim Guldstrand Larsen, Radu Mardare:
Timed Comparisons of Semi-Markov Processes. CoRR abs/1711.10216 (2017)
2016
[j76]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/GeblerLT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GeblerLT16
Daniel Gebler, Kim G. Larsen, Simone Tini:
Compositional bisimulation metric reasoning with Probabilistic Process Calculi. Log. Methods Comput. Sci. 12(4) (2016)
[j75]
- view
  authority control:
- export record
  dblp key:
  - journals/isf/HansenLOW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isf/HansenLOW16
René Rydhof Hansen, Kim Guldstrand Larsen, Mads Chr. Olesen, Erik Ramsgaard Wognsen:
Formal modelling and analysis of Bitflips in ARM assembly code. Inf. Syst. Frontiers 18(5): 909-925 (2016)
[j74]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/ml/MaoCJNLN16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ml/MaoCJNLN16
Hua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, Brian Nielsen:
Learning deterministic probabilistic automata from a model checking perspective. Mach. Learn. 105(2): 255-299 (2016)
[j73]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BoudjadarDKLMNS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BoudjadarDKLMNS16
Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou:
Statistical and exact schedulability analysis of hierarchical scheduling systems. Sci. Comput. Program. 127: 103-130 (2016)
[j72]
- view
  authority control:
- export record
  dblp key:
  - journals/sigbed/Larsen16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigbed/Larsen16
Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Abdeldjalil Boudjadar, Ulrik Nyman, Kim G. Larsen, Insup Lee, Jin-Young Choi:
Optimizing the resource requirements of hierarchical scheduling systems. SIGBED Rev. 13(3): 41-48 (2016)
[j71]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/JensenLSO16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/JensenLSO16
Jonas Finnemann Jensen, Kim Guldstrand Larsen, Jirí Srba, Lars Kaerlund Oestergaard:
Efficient model-checking of weighted CTL with upper-bound constraints. Int. J. Softw. Tools Technol. Transf. 18(4): 409-426 (2016)
[c272]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/OlesenHL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/OlesenHL16
Mads Christian Olesen, René Rydhof Hansen, Kim Guldstrand Larsen:
An Automata-Based Approach to Trace Partitioned Abstract Interpretation. Semantics, Logics, and Calculi 2016: 88-110
[c271]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/concur/BacciBLM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BacciBLM16
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare:
Complete Axiomatization for the Bisimilarity Distance on Markov Chains. CONCUR 2016: 21:1-21:14
[c270]
- view
  authority control:
- export record
  dblp key:
  - conf/ddecs/WognsenHLK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ddecs/WognsenHLK16
Erik Ramsgaard Wognsen, René Rydhof Hansen, Kim Guldstrand Larsen, Peter Koch:
Energy-aware scheduling of FIR filter structures using a timed automata model. DDECS 2016: 163-168
[c269]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/ChadliKLTNSL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/ChadliKLTNSL16
Mounir Chadli, Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Stefan Naujokat, Bernhard Steffen, Kim Guldstrand Larsen:
A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems. FMICS-AVoCS 2016: 133-141
[c268]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/GadyatskayaHLLO16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/GadyatskayaHLLO16
Olga Gadyatskaya, René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Mads Chr. Olesen, Danny Bøgsted Poulsen:
Modelling Attack-defense Trees Using Timed Automata. FORMATS 2016: 35-50
[c267]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/ZhangNL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/ZhangNL16
Zhengkui Zhang, Brian Nielsen, Kim G. Larsen:
Distributed Algorithms for Time Optimal Reachability Analysis. FORMATS 2016: 157-173
[c266]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fsttcs/LarsenMX16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/LarsenMX16
Kim G. Larsen, Radu Mardare, Bingtian Xue:
Probabilistic Mu-Calculus: Decidability and Complete Axiomatization. FSTTCS 2016: 25:1-25:18
[c265]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/AgesenLMMOPSS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/AgesenLMMOPSS16
Mads Kronborg Agesen, Kim Guldstrand Larsen, Marius Mikucionis, Marco Muñiz, Petur Olsen, Thomas Pedersen, Jirí Srba, Arne Skou:
Toolchain for user-centered intelligent floor heating control. IECON 2016: 5296-5301
[c264]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/LarsenL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/LarsenL16
Kim G. Larsen, Axel Legay:
Statistical Model Checking: Past, Present, and Future. ISoLA (1) 2016: 3-15
[c263]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/LarsenL16a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/LarsenL16a
Kim G. Larsen, Axel Legay:
On the Power of Statistical Model Checking. ISoLA (2) 2016: 843-862
[c262]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/opodis/LarsenSX16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/opodis/LarsenSX16
Kim G. Larsen, Stefan Schmid, Bingtian Xue:
WNetKAT: A Weighted SDN Programming and Verification Language. OPODIS 2016: 18:1-18:18
[c261]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/ZhangNL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/ZhangNL16
Zhengkui Zhang, Brian Nielsen, Kim G. Larsen:
Time optimal reachability analysis using swarm verification. SAC 2016: 1634-1640
[c260]
- view
  authority control:
- export record
  dblp key:
  - conf/setta/JegourelLLMPS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/JegourelLLMPS16
Cyrille Jégourel, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards:
Importance Sampling for Stochastic Timed Automata. SETTA 2016: 163-178
[c259]
- view
  authority control:
- export record
  dblp key:
  - conf/setta/DalsgaardELS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/DalsgaardELS16
Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Kim Guldstrand Larsen, Jirí Srba:
Distributed Computation of Fixed Points on Dependency Graphs. SETTA 2016: 197-212
[c258]
- view
  authority control:
- export record
  dblp key:
  - conf/setta/HansenLMPX16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/HansenLMPX16
Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen, Bingtian Xue:
A Complete Approximation Theory for Weighted Transition Systems. SETTA 2016: 213-228
[c257]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/JensenLS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/JensenLS16
Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba:
Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization. SPIN 2016: 129-146
[c256]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/LarsenMMST16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/LarsenMMST16
Kim G. Larsen, Marius Mikucionis, Marco Muñiz, Jirí Srba, Jakob Haahr Taankvist:
Online and Compositional Learning of Controllers with Application to Floor Heating. TACAS 2016: 244-259
[c255]
- view
  authority control:
- export record
  dblp key:
  - conf/time/Larsen16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/Larsen16
Kim Guldstrand Larsen:
Automatic Verification, Performance Analysis, Synthesis and Optimization of Timed Systems. TIME 2016: 1
[c254]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/LarsenLZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LarsenLZ15
Kim G. Larsen, Simon Laursen, Martin Zimmermann:
Limit Your Consumption! Finding Bounds in Average-energy Games. QAPL 2016: 1-14
[c253]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/FoshammerLM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FoshammerLM16
Louise Foshammer, Kim Guldstrand Larsen, Anders Mariegaard:
Weighted Branching Simulation Distance for Parametric Weighted Kripke Structures. Cassting/SynCoP 2016: 63-75
[e10]
- view
  authority control:
- export record
  dblp key:
  - conf/rp/2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/2016
Kim Guldstrand Larsen, Igor Potapov, Jirí Srba:
Reachability Problems - 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings. Lecture Notes in Computer Science 9899, Springer 2016, ISBN 978-3-319-45993-6 [contents]
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/XueSL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/XueSL16
Bingtian Xue, Stefan Schmid, Kim G. Larsen:
WNetKAT: A Weighted SDN Programming and Verification Language. CoRR abs/1608.08483 (2016)
2015
[j70]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/BenesKLMSS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/BenesKLMSS15
Nikola Benes, Jan Kretínský, Kim G. Larsen, Mikael H. Møller, Salomon Sickert, Jirí Srba:
Refinement checking on parametric modal transition systems. Acta Informatica 52(2-3): 269-297 (2015)
[j69]
- view
  - electronic edition @ eatcs.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/eatcs/Larsen15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Larsen15
Kim Guldstrand Larsen:
The EATCS Award 2016 - Call for Nominations. Bull. EATCS 117 (2015)
[j68]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/LarsenMX15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/LarsenMX15
Kim G. Larsen, Radu Mardare, Bingtian Xue:
Concurrent weighted logic. J. Log. Algebraic Methods Program. 84(6): 884-897 (2015)
[j67]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BoudjadarDKLMNS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BoudjadarDKLMNS15
Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou:
A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling. Sci. Comput. Program. 113: 236-260 (2015)
[j66]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/DavidLLNTW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/DavidLLNTW15
Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Louis-Marie Traonouez, Andrzej Wasowski:
Real-time specifications. Int. J. Softw. Tools Technol. Transf. 17(1): 17-45 (2015)
[j65]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/DavidLLM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/DavidLLM15
Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis:
Schedulability of Herschel revisited using statistical model checking. Int. J. Softw. Tools Technol. Transf. 17(2): 187-199 (2015)
[j64]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/DavidLLMPS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/DavidLLMPS15
Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards:
Statistical model checking for biological systems. Int. J. Softw. Tools Technol. Transf. 17(3): 351-367 (2015)
[j63]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/DavidLLMP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/DavidLLMP15
Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen:
Uppaal SMC tutorial. Int. J. Softw. Tools Technol. Transf. 17(4): 397-415 (2015)
[c252]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/LarsenMT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/LarsenMT15
Kim Guldstrand Larsen, Marius Mikucionis, Jakob Haahr Taankvist:
Safe and Optimal Adaptive Cruise Control. Correct System Design 2015: 260-277
[c251]
- view
  authority control:
- export record
  dblp key:
  - conf/cbse/KimBNMLSLP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cbse/KimBNMLSLP15
Jin Hyun Kim, Abdeldjalil Boudjadar, Ulrik Nyman, Marius Mikucionis, Kim G. Larsen, Arne Skou, Insup Lee, Linh Thi Xuan Phan:
Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context. CBSE 2015: 91-100
[c250]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/DavidDHLLOP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/DavidDHLLOP15
Nicolas David, Alexandre David, René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Mads Chr. Olesen, Christian W. Probst:
Modelling Social-Technical Attacks with Timed Automata. MIST@CCS 2015: 21-28
[c249]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/concur/KretinskyLLS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/KretinskyLLS15
Jan Kretínský, Kim Guldstrand Larsen, Simon Laursen, Jirí Srba:
Polynomial Time Decidability of Weighted Synchronization under Partial Observability. CONCUR 2015: 142-154
[c248]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/AcetoLMT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/AcetoLMT15
Luca Aceto, Kim G. Larsen, Andrea Morichetta, Francesco Tiezzi:
A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing. FACS 2015: 66-85
[c247]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/KimLNMO15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/KimLNMO15
Jin Hyun Kim, Kim G. Larsen, Brian Nielsen, Marius Mikucionis, Petur Olsen:
Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools. FMICS 2015: 47-61
[c246]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/WognsenHJHL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/WognsenHJHL15
Erik Ramsgaard Wognsen, Boudewijn R. Haverkort, Marijn R. Jongerden, René Rydhof Hansen, Kim Guldstrand Larsen:
A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems. FORMATS 2015: 305-320
[c245]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/BacciBLM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/BacciBLM15
Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Radu Mardare:
On the Total Variation Distance of Semi-Markov Chains. FoSSaCS 2015: 185-199
[c244]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/GeblerLT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/GeblerLT15
Daniel Gebler, Kim Guldstrand Larsen, Simone Tini:
Compositional Metric Reasoning with Probabilistic Process Calculi. FoSSaCS 2015: 230-245
[c243]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/KimLLMN15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/KimLLMN15
Jin Hyun Kim, Axel Legay, Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen:
Resource-Parameterized Timing Analysis of Real-Time Systems. Haifa Verification Conference 2015: 190-205
[c242]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/BenesBLS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/BenesBLS15
Nikola Benes, Peter Bezdek, Kim Guldstrand Larsen, Jirí Srba:
Language Emptiness of Continuous-Time Parametric Timed Automata. ICALP (2) 2015: 69-81
[c241]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/BacciBLM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/BacciBLM15
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare:
Converging from Branching to Linear Metrics on Markov Chains. ICTAC 2015: 349-367
[c240]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/AndersenAEHLOSW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/AndersenAEHLOSW15
Jesper Rank Andersen, Nicklas Andersen, Søren Enevoldsen, Mathias M. Hansen, Kim G. Larsen, Simon R. Olesen, Jirí Srba, Jacob K. Wortmann:
CAAL: Concurrency Workbench, Aalborg Edition. ICTAC 2015: 573-582
[c239]
- view
  authority control:
- export record
  dblp key:
  - conf/iri/HansenLOW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iri/HansenLOW15
René Rydhof Hansen, Kim Guldstrand Larsen, Mads Chr. Olesen, Erik Ramsgaard Wognsen:
Formal Methods for Modelling and Analysis of Single-Event Upsets. IRI 2015: 287-294
[c238]
- view
  authority control:
- export record
  dblp key:
  - conf/isorc/BoudjadarKDLMNS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isorc/BoudjadarKDLMNS15
Abdeldjalil Boudjadar, Jin Hyun Kim, Alexandre David, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou, Insup Lee, Linh Thi Xuan Phan:
Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks. ISORC 2015: 74-83
[c237]
- view
  authority control:
- export record
  dblp key:
  - conf/sies/SkelinWOHL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sies/SkelinWOHL15
Mladen Skelin, Erik Ramsgaard Wognsen, Mads Chr. Olesen, René Rydhof Hansen, Kim Guldstrand Larsen:
Model checking of finite-state machine-based scenario-aware dataflow using timed automata. SIES 2015: 235-244
[c236]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/syncop/ChristoffersenH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/syncop/ChristoffersenH15
Peter Christoffersen, Mikkel Hansen, Anders Mariegaard, Julian Trier Ringsmose, Kim Guldstrand Larsen, Radu Mardare:
Parametric Verification of Weighted Systems. SynCoP 2015: 77-90
[c235]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/DavidJLMT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/DavidJLMT15
Alexandre David, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marius Mikucionis, Jakob Haahr Taankvist:
Uppaal Stratego. TACAS 2015: 206-211
[c234]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BouyerMRLL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BouyerMRLL15
Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim Guldstrand Larsen, Simon Laursen:
Average-energy games. GandALF 2015: 1-15
[c233]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/LarsenMX15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/LarsenMX15
Kim G. Larsen, Radu Mardare, Bingtian Xue:
Alternation-Free Weighted Mu-Calculus: Decidability and Completeness. MFPS 2015: 289-313
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/BenesBLS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BenesBLS15
Nikola Benes, Peter Bezdek, Kim G. Larsen, Jirí Srba:
Language Emptiness of Continuous-Time Parametric Timed Automata. CoRR abs/1504.07838 (2015)
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/BouyerMRLL15a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BouyerMRLL15a
Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim G. Larsen, Simon Laursen:
Average-energy games (full version). CoRR abs/1512.08106 (2015)
2014
[j62]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/BulychevDLL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/BulychevDLL14
Peter E. Bulychev, Alexandre David, Kim G. Larsen, Guangyuan Li:
Efficient controller synthesis for a fragment of MTL_0,∞. Acta Informatica 51(3-4): 165-192 (2014)
[j61]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1212-4288
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1212-4288
Benoît Delahaye, Uli Fahrenberg, Kim G. Larsen, Axel Legay:
Refinement and Difference for Probabilistic Automata. Log. Methods Comput. Sci. 10(3) (2014)
[j60]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/DelahayeLL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/DelahayeLL14
Benoît Delahaye, Kim G. Larsen, Axel Legay:
Stuttering for Abstract Probabilistic Automata. J. Log. Algebraic Methods Program. 83(1): 1-19 (2014)
[j59]
- view
  authority control:
- export record
  dblp key:
  - journals/pe/BouyerLM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pe/BouyerLM14
Patricia Bouyer, Kim G. Larsen, Nicolas Markey:
Lower-bound-constrained runs in weighted timed automata. Perform. Evaluation 73: 91-109 (2014)
[j58]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BauerLLNW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BauerLLNW14
Sebastian S. Bauer, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski:
A modal specification theory for components with data. Sci. Comput. Program. 83: 106-128 (2014)
[j57]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/FangSZGLD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/FangSZGLD14
Huixing Fang, Jianqi Shi, Huibiao Zhu, Jian Guo, Kim Guldstrand Larsen, Alexandre David:
Formal verification and simulation for platform screen doors and collision avoidance in subway control systems. Int. J. Softw. Tools Technol. Transf. 16(4): 339-361 (2014)
[j56]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/LarsenLTW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/LarsenLTW14
Kim G. Larsen, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski:
Robust synthesis for real-time systems. Theor. Comput. Sci. 515: 96-122 (2014)
[j55]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/LarsenM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/LarsenM14
Kim G. Larsen, Radu Mardare:
Complete proof systems for weighted modal logic. Theor. Comput. Sci. 546: 164-175 (2014)
[c232]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/DavidLLLP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/DavidLLLP14
Alexandre David, Kim G. Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen:
Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata. ACSD 2014: 32-41
[c231]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/DavidJLLLST14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/DavidJLLLST14
Alexandre David, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Didier Lime, Mathias Grund Sørensen, Jakob Haahr Taankvist:
On Time with Minimal Expected Cost! ATVA 2014: 129-145
[c230]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BacciBLM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BacciBLM14
Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Radu Mardare:
Bisimulation on Markov Processes over Arbitrary Measurable Spaces. Horizons of the Mind 2014: 76-95
[c229]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/LarsenLS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/LarsenLS14
Kim Guldstrand Larsen, Simon Laursen, Jirí Srba:
Synchronizing Strategies under Partial Observability. CONCUR 2014: 188-202
[c228]
- view
  authority control:
- export record
  dblp key:
  - conf/ecrts/BoudjadarKLN14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecrts/BoudjadarKLN14
Abdeldjalil Boudjadar, Jin Hyun Kim, Kim G. Larsen, Ulrik Nyman:
Model Checking Process Algebra of Communicating Resources for Real-Time Systems. ECRTS 2014: 51-60
[c227]
- view
  authority control:
- export record
  dblp key:
  - conf/ershov/LarsenMX14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ershov/LarsenMX14
Kim Guldstrand Larsen, Radu Mardare, Bingtian Xue:
Decidability and Expressiveness of Recursive Weighted Logic. Ershov Memorial Conference 2014: 216-231
[c226]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/etaps/FahrenbergLLT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etaps/FahrenbergLLT14
Uli Fahrenberg, Kim Guldstrand Larsen, Axel Legay, Louis-Marie Traonouez:
Parametric and Quantitative Extensions of Modal Transition Systems. FPS@ETAPS 2014: 84-97
[c225]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/BoudjadarDKLMNS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/BoudjadarDKLMNS14
Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim Guldstrand Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou:
Widening the Schedulability of Hierarchical Scheduling Systems. FACS 2014: 209-227
[c224]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/DavidFLZ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/DavidFLZ14
Alexandre David, Huixing Fang, Kim Guldstrand Larsen, Zhengkui Zhang:
Verification and Performance Evaluation of Timed Game Strategies. FORMATS 2014: 100-114
[c223]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fsttcs/0001JLMS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/0001JLMS14
Laurent Doyen, Line Juhl, Kim Guldstrand Larsen, Nicolas Markey, Mahsa Shirmohammadi:
Synchronizing Words for Weighted and Timed Automata. FSTTCS 2014: 121-132
[c222]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/icaase/BoudjadarKLN14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icaase/BoudjadarKLN14
Abdeldjalil Boudjadar, Jin Hyun Kim, Kim Guldstrand Larsen, Ulrik Nyman:
Compositional Schedulability Analysis of An Avionics System Using UPPAAL. ICAASE 2014: 140-147
[c221]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/LarsenMX14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/LarsenMX14
Kim Guldstrand Larsen, Radu Mardare, Bingtian Xue:
A Decidable Recursive Logic for Weighted Transition Systems. ICTAC 2014: 460-476
[c220]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/LarsenL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/LarsenL14
Kim Guldstrand Larsen, Axel Legay:
Statistical Model Checking Past, Present, and Future - (Track Introduction). ISoLA (2) 2014: 135-142
[c219]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/WognsenHL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/WognsenHL14
Erik Ramsgaard Wognsen, René Rydhof Hansen, Kim Guldstrand Larsen:
Battery-Aware Scheduling of Mixed Criticality Systems. ISoLA (2) 2014: 208-222
[c218]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/modelsward/Larsen14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/Larsen14
Kim G. Larsen:
Verification and Performance Analysis of Embedded and Cyber-Physical Systems using UPPAAL. MODELSWARD 2014: IS-11
[c217]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/JensenLSST14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/JensenLSST14
Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba, Mathias Grund Sørensen, Jakob Haahr Taankvist:
Memory Efficient Data Structures for Explicit Verification of Timed Systems. NASA Formal Methods 2014: 307-312
[c216]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/peccs/Larsen14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/peccs/Larsen14
Kim G. Larsen:
Verification and Performance Analysis of Embedded and Cyber-Physical Systems using UPPAAL. PECCS 2014: IS-9
[c215]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/JaegerMLM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/JaegerMLM14
Manfred Jaeger, Hua Mao, Kim Guldstrand Larsen, Radu Mardare:
Continuity Properties of Distances for Markov Processes. QEST 2014: 297-312
[c214]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/BoudjadarDKLMNS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/BoudjadarDKLMNS14
Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou:
Degree of Schedulability of Mixed-Criticality Real-Time Systems with Probabilistic Sporadic Tasks. TASE 2014: 126-130
[c213]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/JaziriLMX14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/JaziriLMX14
Samy Jaziri, Kim Guldstrand Larsen, Radu Mardare, Bingtian Xue:
Adequacy and Complete Axiomatization for Timed Modal Logic. MFPS 2014: 183-210
[e9]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/2015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/2015
Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen:
Verification, Model Checking, and Abstract Interpretation - 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings. Lecture Notes in Computer Science 8931, Springer 2014, ISBN 978-3-662-46080-1 [contents]
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/BacciBLM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BacciBLM14
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare:
Topologies of Stochastic Markov Models: Computational Aspects. CoRR abs/1403.6032 (2014)
2013
[j54]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/DavidLLP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/DavidLLP13
Alexandre David, Kim G. Larsen, Axel Legay, Danny Bøgsted Poulsen:
Statistical Model Checking of Dynamic Networks of Stochastic Hybrid Automata. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013)
[j53]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BauerFJLLT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BauerFJLLT13
Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane:
Weighted modal transition systems. Formal Methods Syst. Des. 42(2): 193-220 (2013)
[j52]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/DelahayeKLLPSW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/DelahayeKLLPSW13
Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski:
Abstract Probabilistic Automata. Inf. Comput. 232: 66-116 (2013)
[c212]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/JuhlLR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/JuhlLR13
Line Juhl, Kim Guldstrand Larsen, Jean-François Raskin:
Optimal Bounds for Multiweighted and Parametrised Energy Games. Theories of Programming and Formal Methods 2013: 244-255
[c211]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/LiP0WHL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/LiP0WHL13
Jianwen Li, Geguang Pu, Lijun Zhang, Zheng Wang, Jifeng He, Kim Guldstrand Larsen:
On the Relationship between LTL Normal Forms and Büchi Automata. Theories of Programming and Formal Methods 2013: 256-270
[c210]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/LaarmanODLP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/LaarmanODLP13
Alfons Laarman, Mads Chr. Olesen, Andreas Engelbredt Dalsgaard, Kim Guldstrand Larsen, Jaco van de Pol:
Multi-core Emptiness Checking of Timed Büchi Automata Using Inclusion Abstraction. CAV 2013: 968-983
[c209]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/LarsenL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/LarsenL13
Kim G. Larsen, Axel Legay:
Probabilistic Modal Specifications (Invited Extended Abstract). FACS 2013: 1-4
[c208]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/BoudjadarDKLMNS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/BoudjadarDKLMNS13
Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim Guldstrand Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou:
Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal. FACS 2013: 61-78
[c207]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/FahrenbergLL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/FahrenbergLL13
Uli Fahrenberg, Kim G. Larsen, Axel Legay:
Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems. ICTAC Training School on Software Engineering 2013: 67-108
[c206]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/Larsen13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/Larsen13
Kim Guldstrand Larsen:
Priced Timed Automata and Statistical Model Checking. IFM 2013: 154-161
[c205]
- view
  authority control:
- export record
  dblp key:
  - conf/jtres/LuckowBTL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jtres/LuckowBTL13
Kasper Søe Luckow, Thomas Bøgholm, Bent Thomsen, Kim Guldstrand Larsen:
TetaSARTS: a tool for modular timing analysis of safety critical Java systems. JTRES 2013: 11-20
[c204]
- view
  authority control:
- export record
  dblp key:
  - conf/lfcs/DelahayeLL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfcs/DelahayeLL13
Benoît Delahaye, Kim G. Larsen, Axel Legay:
Stuttering for Abstract Probabilistic Automata. LFCS 2013: 149-163
[c203]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/KozenLMP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/KozenLMP13
Dexter Kozen, Kim G. Larsen, Radu Mardare, Prakash Panangaden:
Stone Duality for Markov Processes. LICS 2013: 321-330
[c202]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/BacciBLM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/BacciBLM13
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare:
Computing Behavioral Distances, Compositionally. MFCS 2013: 74-85
[c201]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/DavidDLLM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/DavidDLLM13
Alexandre David, Dehui Du, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis:
Optimizing Control Strategy Using Statistical Model Checking. NASA Formal Methods 2013: 352-367
[c200]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/pts/DavidLMNR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/DavidLMNR13
Alexandre David, Kim G. Larsen, Marius Mikucionis, Omer Nguena-Timo, Antoine Rollet:
Remote Testing of Timed Specifications. ICTSS 2013: 65-81
[c199]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/DelahayeFLL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/DelahayeFLL13
Benoît Delahaye, Uli Fahrenberg, Kim Guldstrand Larsen, Axel Legay:
Refinement and Difference for Probabilistic Automata. QEST 2013: 22-38
[c198]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/BacciBLM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/BacciBLM13
Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Radu Mardare:
The BisimDist Library: Efficient Computation of Bisimilarity Distances for Markovian Models. QEST 2013: 278-281
[c197]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/JensenLSO13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/JensenLSO13
Jonas Finnemann Jensen, Kim Guldstrand Larsen, Jirí Srba, Lars Kaerlund Oestergaard:
Local Model Checking of Weighted CTL with Upper-Bound Constraints. SPIN 2013: 178-195
[c196]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/BacciBLM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BacciBLM13
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare:
On-the-Fly Exact Computation of Bisimilarity Distances. TACAS 2013: 1-15
[p4]
- view
  authority control:
- export record
  dblp key:
  - books/wi/13/DavidBBBCLPRS0JLMRT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/wi/13/DavidBBBCLPRS0JLMRT13
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:
Tools for Model-Checking Timed Systems. Communicating Embedded Systems 2013: 165-225
[p3]
- view
  authority control:
- export record
  dblp key:
  - series/natosec/FahrenbergLLT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/natosec/FahrenbergLLT13
Uli Fahrenberg, Kim G. Larsen, Axel Legay, Claus R. Thrane:
Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems. Engineering Dependable Software Systems 2013: 235-273
[e8]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/LarsenLN13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LarsenLN13
Kim G. Larsen, Axel Legay, Ulrik Nyman:
Proceedings 1st Workshop on Advances in Systems of Systems, AiSoS 2013, Rome, Italy, 16th March 2013. EPTCS 133, 2013 [contents]
2012
[j51]
- view
  authority control:
- export record
  dblp key:
  - journals/chinaf/DavidDLMS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/chinaf/DavidDLMS12
Alexandre David, Dehui Du, Kim G. Larsen, Marius Mikucionis, Arne Skou:
An evaluation framework for energy aware buildings using statistical model checking. Sci. China Inf. Sci. 55(12): 2694-2707 (2012)
[j50]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1211-5190
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1211-5190
Radu Mardare, Luca Cardelli, Kim G. Larsen:
Continuous Markovian Logics - Axiomatization and Quantified Metatheory. Log. Methods Comput. Sci. 8(4) (2012)
[j49]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/BenesKLS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BenesKLS12
Nikola Benes, Jan Kretínský, Kim G. Larsen, Jirí Srba:
EXPTIME-completeness of thorough refinement on modal transition systems. Inf. Comput. 218: 54-68 (2012)
[j48]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/DelahayeLLPW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/DelahayeLLPW12
Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski:
Consistency and refinement for Interval Markov Chains. J. Log. Algebraic Methods Program. 81(3): 209-226 (2012)
[j47]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/LuMMRFL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/LuMMRFL12
Qi Lu, Michael Madsen, Martin Milata, Søren Ravn, Uli Fahrenberg, Kim G. Larsen:
Reachability analysis for timed automata using max-plus algebra. J. Log. Algebraic Methods Program. 81(3): 298-313 (2012)
[j46]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/JuhlLS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/JuhlLS12
Line Juhl, Kim G. Larsen, Jirí Srba:
Modal transition systems with weight intervals. J. Log. Algebraic Methods Program. 81(4): 408-421 (2012)
[j45]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/BauerJLLS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/BauerJLLS12
Sebastian S. Bauer, Line Juhl, Kim G. Larsen, Axel Legay, Jirí Srba:
Extending modal transition systems with structured labels. Math. Struct. Comput. Sci. 22(4): 581-617 (2012)
[j44]
- view
  authority control:
- export record
  dblp key:
  - journals/pe/DelahayeLLPW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pe/DelahayeLLPW12
Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski:
New results for Constraint Markov Chains. Perform. Evaluation 69(7-8): 379-401 (2012)
[j43]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/DavidLLMNRSW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/DavidLLMNRSW12
Alexandre David, Kim Guldstrand Larsen, Axel Legay, Mikael H. Møller, Ulrik Nyman, Anders P. Ravn, Arne Skou, Andrzej Wasowski:
Compositional verification of real-time systems using Ecdar. Int. J. Softw. Tools Technol. Transf. 14(6): 703-720 (2012)
[c195]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/BulychevCDLRR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/BulychevCDLRR12
Peter E. Bulychev, Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Jean-François Raskin, Pierre-Alain Reynier:
Controllers with Minimal Observation Power (Application to Timed Systems). ATVA 2012: 223-237
[c194]
- view
  authority control:
- export record
  dblp key:
  - conf/date/BozgaDHHLLT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/BozgaDHHLLT12
Marius Bozga, Alexandre David, Arnd Hartmanns, Holger Hermanns, Kim G. Larsen, Axel Legay, Jan Tretmans:
State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems. DATE 2012: 370-375
[c193]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/FalkHLLP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/FalkHLLP12
Heiko Falk, Kevin Hammond, Kim G. Larsen, Björn Lisper, Stefan M. Petters:
Code-level timing analysis of embedded software: emsoft'12 invited talk session outline. EMSOFT 2012: 163-164
[c192]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/BauerDHLLNW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/BauerDHLLNW12
Sebastian S. Bauer, Alexandre David, Rolf Hennicker, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski:
Moving from Specifications to Contracts in Component-Based Design. FASE 2012: 43-58
[c191]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/ZhaoZKL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/ZhaoZKL12
Hengjun Zhao, Naijun Zhan, Deepak Kapur, Kim G. Larsen:
A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example. FM 2012: 471-485
[c190]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/Larsen12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/Larsen12
Kim G. Larsen:
Statistical Model Checking, Refinement Checking, Optimization, ... for Stochastic Hybrid Systems. FORMATS 2012: 7-10
[c189]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/DalsgaardLLOP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/DalsgaardLLOP12
Andreas Engelbredt Dalsgaard, Alfons Laarman, Kim G. Larsen, Mads Chr. Olesen, Jaco van de Pol:
Multi-core Reachability for Timed Automata. FORMATS 2012: 91-106
[c188]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/KatoenL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/KatoenL12
Joost-Pieter Katoen, Kim Guldstrand Larsen:
Quantitative Modelling and Analysis. ISoLA (2) 2012: 290-292
[c187]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/DavidLLM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/DavidLLM12
Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis:
Schedulability of Herschel-Planck Revisited Using Statistical Model Checking. ISoLA (2) 2012: 293-307
[c186]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/DavidLLMPS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/DavidLLMPS12
Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards:
Runtime Verification of Biological Systems. ISoLA (1) 2012: 388-404
[c185]
- view
  authority control:
- export record
  dblp key:
  - conf/isorc/BogholmTLM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isorc/BogholmTLM12
Thomas Bøgholm, Bent Thomsen, Kim G. Larsen, Alan Mycroft:
Schedulability Analysis Abstractions for Safety Critical Java. ISORC 2012: 71-78
[c184]
- view
  authority control:
- export record
  dblp key:
  - conf/lata/KlimosLST12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lata/KlimosLST12
Miroslav Klimos, Kim G. Larsen, Filip Stefanak, Jeppe Thaarup:
Nash Equilibria in Concurrent Priced Games. LATA 2012: 363-376
[c183]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/BenesKLMS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/BenesKLMS12
Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Mikael H. Møller, Jirí Srba:
Dual-Priced Modal Transition Systems with Time Durations. LPAR 2012: 122-137
[c182]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/BulychevDLLLPS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/BulychevDLLLPS12
Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen, Amélie Stainer:
Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic. LPAR 2012: 168-182
[c181]
- view
  authority control:
- export record
  dblp key:
  - conf/memics/LarsenLS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memics/LarsenLS12
Kim G. Larsen, Simon Laursen, Jirí Srba:
Action Investment Energy Games. MEMICS 2012: 155-167
[c180]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/LarsenMP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/LarsenMP12
Kim Guldstrand Larsen, Radu Mardare, Prakash Panangaden:
Taking It to the Limit: Approximate Reasoning for Markov Processes. MFCS 2012: 681-692
[c179]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/ChenMJNLN12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/ChenMJNLN12
Yingke Chen, Hua Mao, Manfred Jaeger, Thomas Dyhre Nielsen, Kim Guldstrand Larsen, Brian Nielsen:
Learning Markov Models for Stationary System Behaviors. NASA Formal Methods 2012: 216-230
[c178]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/BulychevDLLMP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/BulychevDLLMP12
Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen:
Checking and Distributing Statistical Model Checking. NASA Formal Methods 2012: 449-463
[c177]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/BouyerLM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/BouyerLM12
Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey:
Lower-Bound Constrained Runs in Weighted Timed Automata. QEST 2012: 128-137
[c176]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/BulychevDLLLP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/BulychevDLLLP12
Peter E. Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen:
Rewrite-Based Statistical Model Checking of WMTL. RV 2012: 260-275
[c175]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/BauerJLSL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/BauerJLSL12
Sebastian S. Bauer, Line Juhl, Kim G. Larsen, Jirí Srba, Axel Legay:
A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata. TASE 2012: 77-84
[c174]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/wadt/LarsenL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/LarsenL12
Kim G. Larsen, Axel Legay:
Quantitative Modal Transition Systems. WADT 2012: 50-58
[c173]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1202-4506
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1202-4506
Peter E. Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis:
Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach. IWIGP 2012: 1-14
[c172]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1207-1272
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1207-1272
Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Danny Bøgsted Poulsen, Axel Legay, Zheng Wang:
UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata. QAPL 2012: 1-16
[c171]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1212-3872
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1212-3872
Kim G. Larsen, Radu Mardare, Claus R. Thrane:
Parameterized Metatheory for Continuous Markovian Logic. QFM 2012: 33-47
[c170]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1212-3873
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1212-3873
Hua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, Brian Nielsen:
Learning Markov Decision Processes for Model Checking. QFM 2012: 49-63
[c169]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1208-3856
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1208-3856
Alexandre David, Dehui Du, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards:
Statistical Model Checking for Stochastic Hybrid Systems. HSB 2012: 122-136
[c168]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1301-0046
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1301-0046
Zheng Wang, Geguang Pu, Jianwen Li, Jifeng He, Shengchao Qin, Kim G. Larsen, Jan Madsen, Bin Gu:
MDM: A Mode Diagram Modeling Framework. FTSCS 2012: 135-149
[c167]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1211-6195
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1211-6195
Kenneth Yrke Jørgensen, Kim G. Larsen, Jirí Srba:
Time-Darts: A Data Structure for Verification of Closed Timed Automata. SSV 2012: 141-155
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1203-6025
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1203-6025
Hengjun Zhao, Naijun Zhan, Deepak Kapur, Kim G. Larsen:
A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example. CoRR abs/1203.6025 (2012)
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1207-0922
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1207-0922
Zheng Wang, Geguang Pu, Shengchao Qin, Jianwen Li, Kim G. Larsen, Jan Madsen, Bin Gu, Jifeng He:
MDM: A Mode Diagram Modeling Framework for Periodic Control Systems. CoRR abs/1207.0922 (2012)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1207-1276
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1207-1276
Peter E. Bulychev, Franck Cassez, Alexandre David, Kim G. Larsen, Jean-François Raskin, Pierre-Alain Reynier:
Controllers with Minimal Observation Power (Application to Timed Systems). CoRR abs/1207.1276 (2012)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1207-3866
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1207-3866
Jianwen Li, Geguang Pu, Lijun Zhang, Zheng Wang, Jifeng He, Kim G. Larsen:
On the Relationship between LTL Normal Forms and Buechi Automata. CoRR abs/1207.3866 (2012)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1210-5659
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1210-5659
Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane:
Weighted Modal Transition Systems. CoRR abs/1210.5659 (2012)
2011
[j42]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/BouyerFLM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/BouyerFLM11
Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey:
Quantitative analysis of real-time systems using priced timed automata. Commun. ACM 54(9): 78-87 (2011)
[j41]
- view
  authority control:
- export record
  dblp key:
  - journals/spe/BehrmannDLPY11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/spe/BehrmannDLPY11
Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi:
Developing UPPAAL over 15 years. Softw. Pract. Exp. 41(2): 133-142 (2011)
[j40]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/LarsenFT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/LarsenFT11
Kim G. Larsen, Uli Fahrenberg, Claus R. Thrane:
Metrics for weighted transition systems: Axiomatization and complexity. Theor. Comput. Sci. 412(28): 3358-3369 (2011)
[j39]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/CaillaudDLLPW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CaillaudDLLPW11
Benoît Caillaud, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski:
Constraint Markov Chains. Theor. Comput. Sci. 412(34): 4373-4404 (2011)
[c166]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/DelahayeKLLPSW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/DelahayeKLLPSW11
Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski:
New Results on Abstract Probabilistic Automata. ACSD 2011: 118-127
[c165]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/BenesKLMS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/BenesKLMS11
Nikola Benes, Jan Kretínský, Kim G. Larsen, Mikael H. Møller, Jirí Srba:
Parametric Modal Transition Systems. ATVA 2011: 275-289
[c164]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/DavidLLMW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/DavidLLMW11
Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Zheng Wang:
Time for Statistical Model Checking of Real-Time Systems. CAV 2011: 349-355
[c163]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/BouyerLMST11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BouyerLMST11
Patricia Bouyer, Kim G. Larsen, Nicolas Markey, Ocan Sankur, Claus R. Thrane:
Timed Automata Can Always Be Made Implementable. CONCUR 2011: 76-91
[c162]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/csl/CardelliLM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/CardelliLM11
Luca Cardelli, Kim G. Larsen, Radu Mardare:
Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas. CSL 2011: 144-158
[c161]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/BauerLLNW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/BauerLLNW11
Sebastian S. Bauer, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski:
A Modal Specification Theory for Components with Data. FACS 2011: 61-78
[c160]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/DavidLLMPVW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/DavidLLMPVW11
Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang:
Statistical Model Checking for Networks of Priced Timed Automata. FORMATS 2011: 80-96
[c159]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/LarsenLTW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/LarsenLTW11
Kim G. Larsen, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski:
Robust Specification of Real Time Components. FORMATS 2011: 129-144
[c158]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/CardelliLM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/CardelliLM11
Luca Cardelli, Kim G. Larsen, Radu Mardare:
Modular Markovian Logic. ICALP (2) 2011: 380-391
[c157]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/FahrenbergJLS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/FahrenbergJLS11
Uli Fahrenberg, Line Juhl, Kim G. Larsen, Jirí Srba:
Energy Games in Multiweighted Automata. ICTAC 2011: 95-115
[c156]
- view
  authority control:
- export record
  dblp key:
  - conf/lata/DelahayeLLPW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lata/DelahayeLLPW11
Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski:
Decision Problems for Interval Markov Chains. LATA 2011: 274-285
[c155]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/BauerFJLLT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/BauerFJLLT11
Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane:
Quantitative Refinement for Weighted Modal Transition Systems. MFCS 2011: 60-71
[c154]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/DalsgaardHJLOOS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/DalsgaardHJLOOS11
Andreas Engelbredt Dalsgaard, René Rydhof Hansen, Kenneth Yrke Jørgensen, Kim Guldstrand Larsen, Mads Chr. Olesen, Petur Olsen, Jirí Srba:
opaal: A Lattice Model Checker. NASA Formal Methods 2011: 487-493
[c153]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/pts/FrehseLMN11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/FrehseLMN11
Goran Frehse, Kim G. Larsen, Marius Mikucionis, Brian Nielsen:
Monitoring Dynamical Signals While Testing Timed Aspects of a System. ICTSS 2011: 115-130
[c152]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/MaoCJNLN11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/MaoCJNLN11
Hua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, Brian Nielsen:
Learning Probabilistic Automata for Model Checking. QEST 2011: 111-120
[c151]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/DelahayeLLPW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/DelahayeLLPW11
Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski:
APAC: A Tool for Reasoning about Abstract Probabilistic Automata. QEST 2011: 151-152
[c150]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ssv/BrauerHKLO11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssv/BrauerHKLO11
Jörg Brauer, René Rydhof Hansen, Stefan Kowalewski, Kim G. Larsen, Mads Chr. Olesen:
Adaptable Value-Set Analysis for Low-Level Code. SSV 2011: 32-43
[c149]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/DelahayeKLLPSW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/DelahayeKLLPSW11
Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski:
Abstract Probabilistic Automata. VMCAI 2011: 324-339
[c148]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1111-0370
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1111-0370
Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Axel Legay:
Distributed Parametric and Statistical Model Checking. PDMC 2011: 30-42
[c147]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1107-1205
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1107-1205
Uli Fahrenberg, Claus R. Thrane, Kim G. Larsen:
Distances for Weighted Transition Systems: Games and Properties. QAPL 2011: 134-147
[p2]
- view
  authority control:
- export record
  dblp key:
  - series/natosec/FahrenbergLT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/natosec/FahrenbergLT11
Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane:
Model-Based Verification and Analysis for Real-Time Systems. Software and Systems Safety - Specification and Verification 2011: 231-259
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1106-3961
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1106-3961
Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang:
Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed Automata. CoRR abs/1106.3961 (2011)
2010
[j38]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/LiBDLNP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/LiBDLNP10
Shuhao Li, Sandie Balaguer, Alexandre David, Kim G. Larsen, Brian Nielsen, Saulius Pusinskas:
Scenario-based verification of real-time systems using Uppaal. Formal Methods Syst. Des. 37(2-3): 200-264 (2010)
[j37]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/ThraneFL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/ThraneFL10
Claus R. Thrane, Uli Fahrenberg, Kim G. Larsen:
Quantitative analysis of weighted transition systems. J. Log. Algebraic Methods Program. 79(7): 689-703 (2010)
[j36]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/AntonikHLNW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/AntonikHLNW10
Adam Antonik, Michael Huth, Kim G. Larsen, Ulrik Nyman, Andrzej Wasowski:
Modal and mixed specifications: key decision problems and their complexities. Math. Struct. Comput. Sci. 20(1): 75-103 (2010)
[c146]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/DavidLLNW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/DavidLLNW10
Alexandre David, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski:
ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems. ATVA 2010: 365-370
[c145]
- view
  authority control:
- export record
  dblp key:
  - conf/date/LarsenLNP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/LarsenLNP10
Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, Saulius Pusinskas:
Scenario-based analysis and synthesis of real-time systems using uppaal. DATE 2010: 447-452
[c144]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/HermannsLRT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/HermannsLRT10
Holger Hermanns, Kim Guldstrand Larsen, Jean-François Raskin, Jan Tretmans:
Quantitative system validation in model driven design. EMSOFT 2010: 301-302
[c143]
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/DavidGJLR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/DavidGJLR10
Alexandre David, Jacob Deleuran Grunnet, Jan Jakob Jessen, Kim Guldstrand Larsen, Jacob Illum Rasmussen:
Application of Model-Checking Technology to Controller Synthesis. FMCO 2010: 336-351
[c142]
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/DavidLLMN10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/DavidLLMN10
Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Marius Mikucionis, Brian Nielsen:
Testing Real-Time Systems under Uncertainty. FMCO 2010: 352-371
[c141]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/BouyerFLM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/BouyerFLM10
Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey:
Timed automata with observers under energy constraints. HSCC 2010: 61-70
[c140]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/DavidLLNW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/DavidLLNW10
Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski:
Timed I/O automata: a complete specification theory for real-time systems. HSCC 2010: 91-100
[c139]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/isola/HaverkortKL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/HaverkortKL10
Boudewijn R. Haverkort, Joost-Pieter Katoen, Kim G. Larsen:
Quantitative Verification in Practice. ISoLA (2) 2010: 127
[c138]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/MikucionisLRNSPPH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/MikucionisLRNSPPH10
Marius Mikucionis, Kim Guldstrand Larsen, Jacob Illum Rasmussen, Brian Nielsen, Arne Skou, Steen Ulrik Palm, Jan Storbank Pedersen, Poul Hougaard:
Schedulability Analysis Using Uppaal: Herschel-Planck Case Study. ISoLA (2) 2010: 175-190
[c137]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/CaillaudDLLPW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/CaillaudDLLPW10
Benoît Caillaud, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski:
Compositional Design Methodology with Constraint Markov Chains. QEST 2010: 123-132
[c136]
- view
  authority control:
- export record
  dblp key:
  - conf/rp/Larsen10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/Larsen10
Kim Guldstrand Larsen:
Symbolic and Compositional Reachability for Timed Automata. RP 2010: 24-28
[c135]
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/BourkeDLLLNW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/BourkeDLLLNW10
Timothy Bourke, Alexandre David, Kim G. Larsen, Axel Legay, Didier Lime, Ulrik Nyman, Andrzej Wasowski:
New Results on Timed Specifications. WADT 2010: 175-192
[c134]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/wcet/DalsgaardOTHL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcet/DalsgaardOTHL10
Andreas Engelbredt Dalsgaard, Mads Chr. Olesen, Martin Toft, René Rydhof Hansen, Kim Guldstrand Larsen:
METAMOC: Modular Execution Time Analysis using Model Checking. WCET 2010: 113-123
[c133]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1011-0219
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1011-0219
Oded Maler, Kim G. Larsen, Bruce H. Krogh:
On Zone-Based Analysis of Duration Probabilistic Automata. INFINITY 2010: 33-46
[c132]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/OlsenLS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/OlsenLS10
Petur Olsen, Kim G. Larsen, Arne Skou:
Present and Absent Sets: Abstraction for Testing of Reactive Systems with Databases. MBT@ETAPS 2010: 53-68
[e7]
- view
- export record
  dblp key:
  - conf/dagstuhl/2010P10031
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/2010P10031
Christel Baier, Manfred Droste, Paul Gastin, Kim Guldstrand Larsen:
Quantitative Models: Expressiveness and Analysis, 17.01. - 22.01.2010. Dagstuhl Seminar Proceedings 10031, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents]
[i4]
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/BaierDGL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/BaierDGL10
Christel Baier, Manfred Droste, Paul Gastin, Kim Guldstrand Larsen:
10031 Abstracts Collection - Quantitative Models: Expressiveness and Analysis. Quantitative Models: Expressiveness and Analysis 2010
[i3]
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/BaierDGL10a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/BaierDGL10a
Christel Baier, Manfred Droste, Paul Gastin, Kim Guldstrand Larsen:
10031 Executive Summary - Quantitative Models: Expressiveness and Analysis. Quantitative Models: Expressiveness and Analysis 2010

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j35]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BenesKLS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BenesKLS09
Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Jirí Srba:
On determinism in modal transition systems. Theor. Comput. Sci. 410(41): 4026-4043 (2009)
[c131]
- view
  authority control:
- export record
  dblp key:
  - conf/adhs/ChatainDL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adhs/ChatainDL09
Thomas Chatain, Alexandre David, Kim G. Larsen:
Playing Games with Timed Games. ADHS 2009: 238-243
[c130]
- view
  authority control:
- export record
  dblp key:
  - conf/ershov/Larsen09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ershov/Larsen09
Kim G. Larsen:
Compositional and Quantitative Model Checking (Extended Abstract). Ershov Memorial Conference 2009: 35-42
[c129]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/LarsenLNP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/LarsenLNP09
Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, Saulius Pusinskas:
Verifying Real-Time Systems against Scenario-Based Requirements. FM 2009: 676-691
[c128]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/HjortRLPS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/HjortRLPS09
Ulrik H. Hjort, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Michael A. Petersen, Arne Skou:
Model-Based GUI Testing Using Uppaal at Novo Nordisk. FM 2009: 814-818
[c127]
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/DavidLLNW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/DavidLLNW09
Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski:
Methodologies for Specification of Real-Time Systems Using Timed I/O Automata. FMCO 2009: 290-310
[c126]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/BulychevCDL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/BulychevCDL09
Peter E. Bulychev, Thomas Chatain, Alexandre David, Kim Guldstrand Larsen:
Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation. FORMATS 2009: 73-87
[c125]
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/FahrenbergLT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/FahrenbergLT09
Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane:
Verification, Performance Analysis and Controller Synthesis for Real-Time Systems. FSEN 2009: 34-61
[c124]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fsttcs/Larsen09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/Larsen09
Kim G. Larsen:
Priced Timed Automata: Theory and Tools. FSTTCS 2009: 417-425
[c123]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/CassezJLRR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/CassezJLRR09
Franck Cassez, Jan Jakob Jessen, Kim Guldstrand Larsen, Jean-François Raskin, Pierre-Alain Reynier:
Automatic Synthesis of Robust and Optimal Controllers - An Industrial Case Study. HSCC 2009: 90-104
[c122]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/DavidLLN09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/DavidLLN09
Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen:
Timed Testing under Partial Observability. ICST 2009: 61-70
[c121]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/BenesKLS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/BenesKLS09
Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Jirí Srba:
Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete. ICTAC 2009: 112-126
[c120]
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/memics/LarsenFT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memics/LarsenFT09
Kim G. Larsen, Uli Fahrenberg, Claus R. Thrane:
A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic. MEMICS 2009
[c119]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/Larsen09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/Larsen09
Kim Guldstrand Larsen:
Verification and Performance Analysis for Embedded Systems. TASE 2009: 3-4
[c118]
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/AcetoILS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/AcetoILS09
Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jirí Srba:
Teaching Concurrency: Theory in Practice. TFM 2009: 158-175
[c117]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FahrenbergL09a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FahrenbergL09a
Ulrich Fahrenberg, Kim Guldstrand Larsen:
Discounting in Time. QAPL 2009: 25-31
[c116]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FahrenbergL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FahrenbergL09
Ulrich Fahrenberg, Kim Guldstrand Larsen:
Discount-Optimal Infinite Runs in Priced Timed Automata. INFINITY 2009: 179-191
2008
[j34]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/eatcs/AntonikHLNW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/AntonikHLNW08
Adam Antonik, Michael Huth, Kim G. Larsen, Ulrik Nyman, Andrzej Wasowski:
20 Years of Modal and Mixed Specifications. Bull. EATCS 95: 94-129 (2008)
[j33]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BouyerBL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BouyerBL08
Patricia Bouyer, Ed Brinksma, Kim Guldstrand Larsen:
Optimal infinite scheduling for multi-priced timed automata. Formal Methods Syst. Des. 32(1): 3-23 (2008)
[j32]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/BouyerLM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/BouyerLM08
Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey:
Model Checking One-Clock Priced Timed Automata. Log. Methods Comput. Sci. 4(2) (2008)
[j31]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/LarsenR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/LarsenR08
Kim Guldstrand Larsen, Jacob Illum Rasmussen:
Optimal reachability for multi-priced timed automata. Theor. Comput. Sci. 390(2-3): 197-213 (2008)
[c115]
- view
  authority control:
- export record
  dblp key:
  - conf/date/DavidLLN08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/DavidLLN08
Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen:
A Game-Theoretic Approach to Real-Time System Testing. DATE 2008: 486-491
[c114]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/BouyerFLMS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/BouyerFLMS08
Patricia Bouyer, Ulrich Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Jirí Srba:
Infinite Runs in Weighted Timed Automata with Energy Constraints. FORMATS 2008: 33-47
[c113]
- view
  authority control:
- export record
  dblp key:
  - conf/fortest/HesselLMNPS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fortest/HesselLMNPS08
Anders Hessel, Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Paul Pettersson, Arne Skou:
Testing Real-Time Systems Using UPPAAL. Formal Methods and Testing 2008: 77-117
[c112]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/AntonikHLNW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/AntonikHLNW08
Adam Antonik, Michael Huth, Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski:
Complexity of Decision Problems for Mixed and Modal Specifications. FoSSaCS 2008: 112-126
[c111]
- view
  authority control:
- export record
  dblp key:
  - conf/jtres/BogholmKOTL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jtres/BogholmKOTL08
Thomas Bøgholm, Henrik Kragh-Hansen, Petur Olsen, Bent Thomsen, Kim Guldstrand Larsen:
Model-based schedulability analysis of safety critical hard real-time Java programs. JTRES 2008: 106-114
[c110]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/KupferschmidHL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/KupferschmidHL08
Sebastian Kupferschmid, Jörg Hoffmann, Kim Guldstrand Larsen:
Fast Directed Model Checking Via Russian Doll Abstraction. TACAS 2008: 203-217
[c109]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AntonikHLNW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AntonikHLNW09
Adam Antonik, Michael Huth, Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski:
EXPTIME-complete Decision Problems for Modal and Mixed Specifications. EXPRESS 2008: 19-33
[c108]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/DavidLLN08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DavidLLN08
Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen:
Cooperative Testing of Timed Systems. MBT@ETAPS 2008: 79-92
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0805-1457
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0805-1457
Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey:
Model Checking One-clock Priced Timed Automata. CoRR abs/0805.1457 (2008)
2007
[j30]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/LarsenNW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/LarsenNW07
Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski:
Modeling software product lines using color-blind transition systems. Int. J. Softw. Tools Technol. Transf. 9(5-6): 471-487 (2007)
[c107]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/CassezDLLR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/CassezDLLR07
Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Didier Lime, Jean-François Raskin:
Timed Control with Observation Based and Stuttering Invariant Strategies. ATVA 2007: 192-206
[c106]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/BehrmannCDFLL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BehrmannCDFLL07
Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime:
UPPAAL-Tiga: Time for Playing Games! CAV 2007: 121-125
[c105]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/LarsenNW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/LarsenNW07
Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski:
On Modal Refinement and Consistency. CONCUR 2007: 105-119
[c104]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/LarsenNW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/LarsenNW07
Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski:
Modal I/O Automata for Interface and Product Line Theories. ESOP 2007: 64-79
[c103]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/DierksKL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/DierksKL07
Henning Dierks, Sebastian Kupferschmid, Kim Guldstrand Larsen:
Automatic Abstraction Refinement for Timed Automata. FORMATS 2007: 114-129
[c102]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/JessenRLD07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/JessenRLD07
Jan Jakob Jessen, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Alexandre David:
Guided Controller Synthesis for Climate Controller Using Uppaal Tiga. FORMATS 2007: 227-240
[c101]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/BouyerLM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/BouyerLM07
Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey:
Model-Checking One-Clock Priced Timed Automata. FoSSaCS 2007: 108-122
[c100]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/RasmussenBL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/RasmussenBL07
Jacob Illum Rasmussen, Gerd Behrmann, Kim Guldstrand Larsen:
Complexity in Simplicity: Flexible Agent-Based State Space Exploration. TACAS 2007: 231-245
2006
[j29]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/RasmussenLS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/RasmussenLS06
Jacob Illum Rasmussen, Kim Guldstrand Larsen, K. Subramani:
On using priced timed automata to achieve optimal scheduling. Formal Methods Syst. Des. 29(1): 97-114 (2006)
[j28]
- view
  - electronic edition @ iospress.com
  - details & citations
- export record
  dblp key:
  - journals/jec/SchiolerNLJ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jec/SchiolerNLJ06
Henrik Schiøler, Jens Dalsgaard Nielsen, Kim Guldstrand Larsen, Jan Jakob Jessen:
CyNC: A method for real time analysis of systems with cyclic data flows. J. Embed. Comput. 2(3-4): 347-360 (2006)
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/BehrmannBLP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/BehrmannBLP06
Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Larsen, Radek Pelánek:
Lower and upper bounds in zone-based abstractions of timed automata. Int. J. Softw. Tools Technol. Transf. 8(3): 204-215 (2006)
[c99]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/caine/SchiolerJDL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caine/SchiolerJDL06
Henrik Schiøler, Jan Jakob Jessen, Jens Dalsgaard Nielsen, Kim Guldstrand Larsen:
Introducing synchronisation in deterministic network models. CAINE 2006: 236-243
[c98]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/LarsenNW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/LarsenNW06
Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski:
Interface Input/Output Automata. FM 2006: 82-97
[c97]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/DavidHLP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/DavidHLP06
Alexandre David, John Håkansson, Kim Guldstrand Larsen, Paul Pettersson:
Model Checking Timed Automata with Priorities Using DBM Subtraction. FORMATS 2006: 128-142
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/BouyerLMR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/BouyerLMR06
Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey, Jacob Illum Rasmussen:
Almost Optimal Strategies in One Clock Priced Timed Games. FSTTCS 2006: 345-356
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/BehrmannDLHPYH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/BehrmannDLHPYH06
Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi, Martijn Hendriks:
UPPAAL 4.0. QEST 2006: 125-126
2005
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/sigmetrics/BehrmannLR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigmetrics/BehrmannLR05
Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen:
Optimal scheduling using priced timed automata. SIGMETRICS Perform. Evaluation Rev. 32(4): 34-40 (2005)
[c94]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/cata/SchiolerJDL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cata/SchiolerJDL05
Henrik Schiøler, Jan Jakob Jessen, Jens Dalsgaard Nielsen, Kim Guldstrand Larsen:
Network Calculus for Real Time Analysis of Embedded Systems with Cyclic Task Dependencies. CATA 2005: 326-332
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/CassezDFLL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/CassezDFLL05
Franck Cassez, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime:
Efficient On-the-Fly Algorithms for the Analysis of Timed Games. CONCUR 2005: 66-80
[c92]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/LarsenMNS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/LarsenMNS05
Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Arne Skou:
Testing real-time embedded software using UPPAAL-TRON: an industrial case study. EMSOFT 2005: 299-306
[c91]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/LarsenLW05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/LarsenLW05
Kim Guldstrand Larsen, Ulrik Larsen, Andrzej Wasowski:
Color-Blind Specifications for Transformations of Reactive Synchronous Programs. FASE 2005: 160-174
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/BehrmannLR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/BehrmannLR05
Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen:
Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness. FORMATS 2005: 81-94
[c89]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/LarsenR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/LarsenR05
Kim Guldstrand Larsen, Jacob Illum Rasmussen:
Optimal Conditional Reachability for Multi-priced Timed Automata. FoSSaCS 2005: 234-249
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/DiazLPCV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/DiazLPCV05
Gregorio Díaz, Kim Guldstrand Larsen, Juan José Pardo, Fernando Cuartero, Valentín Valero:
An approach to handle real time and probabilistic behaviors in e-commerce: validating the SET protocol. SAC 2005: 815-820
2004
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/fates/LarsenMN04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fates/LarsenMN04
Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen:
Online Testing of Real-time Systems Using Uppaal. FATES 2004: 79-94
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/BehrmannLR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/BehrmannLR04
Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen:
Priced Timed Automata: Algorithms and Applications. FMCO 2004: 162-182
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/BouyerCFL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/BouyerCFL04
Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Guldstrand Larsen:
Optimal Strategies in Priced Timed Game Automata. FSTTCS 2004: 148-160
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/BouyerBL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/BouyerBL04
Patricia Bouyer, Ed Brinksma, Kim Guldstrand Larsen:
Staying Alive as Cheaply as Possible. HSCC 2004: 203-218
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/MikucionisLN04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/MikucionisLN04
Marius Mikucionis, Kim Guldstrand Larsen, Brian Nielsen:
T-UPPAAL: Online Model-based Testing of Real-Time Systems. ASE 2004: 396-397
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/BehrmannDL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/BehrmannDL04
Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen:
A Tutorial on Uppaal. SFM 2004: 200-236
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/RasmussenLS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/RasmussenLS04
Jacob Illum Rasmussen, Kim Guldstrand Larsen, K. Subramani:
Resource-Optimal Scheduling Using Priced Timed Automata. TACAS 2004: 220-235
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/BehrmannBLP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BehrmannBLP04
Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Larsen, Radek Pelánek:
Lower and Upper Bounds in Zone Based Abstractions of Timed Automata. TACAS 2004: 312-326
[c79]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BouyerCFL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BouyerCFL05
Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Guldstrand Larsen:
Synthesis of Optimal Strategies Using HyTech. GDV@CAV 2004: 11-31
[i1]
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/LarsenMN04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/LarsenMN04
Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen:
Online Testing of Real-Time Systems Using UPPAAL: Status and Future Work. Perspectives of Model-Based Testing 2004
2003
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/ita/EsikL03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/EsikL03
Zoltán Ésik, Kim Guldstrand Larsen:
Regular languages definable by Lindström quantifiers. RAIRO Theor. Informatics Appl. 37(3): 179-241 (2003)
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/rts/LarsenLPY03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rts/LarsenLPY03
Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi:
Compact Data Structures and State-Space Reduction for Model-Checking Real-Time Systems. Real Time Syst. 25(2-3): 255-275 (2003)
[j23]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/AcetoBBL03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AcetoBBL03
Luca Aceto, Patricia Bouyer, Augusto Burgueño, Kim Guldstrand Larsen:
The power of reachability testing for timed automata. Theor. Comput. Sci. 300(1-3): 411-475 (2003)
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/BehrmannLP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BehrmannLP03
Gerd Behrmann, Kim Guldstrand Larsen, Radek Pelánek:
To Store or Not to Store. CAV 2003: 433-445
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/Larsen03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/Larsen03
Kim Guldstrand Larsen:
Resource-Efficient Scheduling for Real Time Systems. EMSOFT 2003: 16-19
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/fates/HesselLNPS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fates/HesselLNPS03
Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou:
Time-Optimal Real-Time Test Case Generation Using Uppaal. FATES 2003: 114-130
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/HendriksBLNV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/HendriksBLNV03
Martijn Hendriks, Gerd Behrmann, Kim Guldstrand Larsen, Peter Niebert, Frits W. Vaandrager:
Adding Symmetry Reduction to Uppaal. FORMATS 2003: 46-59
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/HesselLNPS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/HesselLNPS03
Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou:
Time-Optimal Test Cases for Real-Time Systems. FORMATS 2003: 234-245
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/DavidBLY03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/DavidBLY03
Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi:
Unification & Sharing in Timed Automata Verification. SPIN 2003: 225-229
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/BehrmannBFL03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BehrmannBFL03
Gerd Behrmann, Patricia Bouyer, Emmanuel Fleury, Kim Guldstrand Larsen:
Static Guard Analysis in Timed Automata Verification. TACAS 2003: 254-277
[e6]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/2003
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/2003
Kim Guldstrand Larsen, Peter Niebert:
Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers. Lecture Notes in Computer Science 2791, Springer 2003, ISBN 3-540-21671-5 [contents]
2002
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BehrmannLAHL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BehrmannLAHL02
Gerd Behrmann, Kim Guldstrand Larsen, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen:
Verification of Hierarchical State/Event Systems using Reusability and Compositionality. Formal Methods Syst. Des. 21(2): 225-244 (2002)
[j21]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/BengtssonGKLLPY02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/BengtssonGKLLPY02
Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi:
Automated verification of an audio-control protocol using UPPAAL. J. Log. Algebraic Methods Program. 52-53: 163-181 (2002)
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/ftrtft/BehrmannBDLPY02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftrtft/BehrmannBDLPY02
Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi:
UPPAAL Implementation Secrets. FTRTFT 2002: 3-22
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/papm/DArgenioJJL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/papm/DArgenioJJL02
Pedro R. D'Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen:
Reduction and Refinement Strategies for Probabilistic Analysis. PAPM-PROBMIV 2002: 57-76
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/unu/DavidBLY02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unu/DavidBLY02
Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi:
A Tool Architecture for the Next Generation of Uppaal. 10th Anniversary Colloquium of UNU/IIST 2002: 352-366
[c68]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/HendriksL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HendriksL02
Martijn Hendriks, Kim Guldstrand Larsen:
Exact Acceleration of Real-Time Model Checking. Theory and Practice of Timed Systems @ ETAPS 2002: 120-139
[e5]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/2002
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/2002
Ed Brinksma, Kim Guldstrand Larsen:
Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings. Lecture Notes in Computer Science 2404, Springer 2002, ISBN 3-540-43997-8 [contents]
2001
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Lind-NielsenAHBKL01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Lind-NielsenAHBKL01
Jørn Lind-Nielsen, Henrik Reif Andersen, Henrik Hulgaard, Gerd Behrmann, Kåre J. Kristoffersen, Kim Guldstrand Larsen:
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis. Formal Methods Syst. Des. 18(1): 5-23 (2001)
[j19]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/njc/HuneLP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/njc/HuneLP01
Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson:
Guided Synthesis of Control Programs Using UPPAAL. Nord. J. Comput. 8(1): 43-64 (2001)
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/LarsenBBFHPR01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/LarsenBBFHPR01
Kim Guldstrand Larsen, Gerd Behrmann, Ed Brinksma, Ansgar Fehnker, Thomas Hune, Paul Pettersson, Judi Romijn:
As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata. CAV 2001: 493-505
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/BehrmannLMDPY01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/BehrmannLMDPY01
Gerd Behrmann, Kim G. Larsen, Oliver Möller, Alexandre David, Paul Pettersson, Wang Yi:
UPPAAL - present and future. CDC 2001: 2881-2886
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/BehrmannFHLPRV01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/BehrmannFHLPRV01
Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson, Judi Romijn, Frits W. Vaandrager:
Minimum-Cost Reachability for Priced Timed Automata. HSCC 2001: 147-161
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/papm/DArgenioJJL01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/papm/DArgenioJJL01
Pedro R. D'Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen:
Reachability Analysis of Probabilistic Systems by Successive Refinements. PAPM-PROBMIV 2001: 39-56
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/BehrmannF01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BehrmannF01
Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim G. Larsen, Paul Pettersson, Judi Romijn:
Efficient Guiding Towards Cost-Optimality in UPPAAL. TACAS 2001: 174-188
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/el/01/Jonsson0L01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/el/01/Jonsson0L01
Bengt Jonsson, Wang Yi, Kim G. Larsen:
Probabilistic Extensions of Process Algebras. Handbook of Process Algebra 2001: 685-710
[e4]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/2001
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/2001
Kim Guldstrand Larsen, Mogens Nielsen:
CONCUR 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings. Lecture Notes in Computer Science 2154, Springer 2001, ISBN 3-540-42497-0 [contents]
2000
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/StaunstrupAHLLBKSLT00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/StaunstrupAHLLBKSLT00
Jørgen Staunstrup, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen, Kim Guldstrand Larsen, Gerd Behrmann, Kåre J. Kristoffersen, Arne Skou, Henrik Leerberg, Niels Bo Theilgaard:
Practical Verification of Embedded Software. Computer 33(5): 68-75 (2000)
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/Larsen00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Larsen00
Kim Guldstrand Larsen:
Verification of Timed and Hybrid Systems. ICATPN 2000: 39-42
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/CassezL00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/CassezL00
Franck Cassez, Kim Guldstrand Larsen:
The Impressive Power of Stopwatches. CONCUR 2000: 138-152
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/ecrts/IversenKLLMMPT00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecrts/IversenKLLMMPT00
Torsten K. Iversen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Morten Laursen, Rune G. Madsen, Steffen K. Mortensen, Paul Pettersson, Chris B. Thomasen:
Model-checking real-time control programs: verifying Lego(R) Mindstorms^TM systems using UPPAAL. ECRTS 2000: 147-155
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/ftrtft/JensenLS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftrtft/JensenLS00
Henrik Ejersbo Jensen, Kim Guldstrand Larsen, Arne Skou:
Scaling up Uppaal Automatic Verification of Real-Time Systems Using Compositionality and Abstraction. FTRTFT 2000: 19-30
[c58]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/icdcsw/HuneLP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcsw/HuneLP00
Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson:
Guided Synthesis of Control Programs Using UPPAAL. ICDCS Workshop on Distributed System Validation and Verification 2000: E15-E22
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/movep/AmnellBBDDFHJLMPWY00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/movep/AmnellBBDDFHJLMPWY00
Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Pedro R. D'Argenio, Alexandre David, Ansgar Fehnker, Thomas Hune, Bertrand Jeannet, Kim Guldstrand Larsen, M. Oliver Möller, Paul Pettersson, Carsten Weise, Wang Yi:
UPPAAL - Now, Next, and Future. MOVEP 2000: 99-124

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[j17]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/njc/LarsenPWY99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/njc/LarsenPWY99
Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi:
Clock Difference Diagrams. Nord. J. Comput. 6(3): 271-298 (1999)
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/arts/HavelundLS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arts/HavelundLS99
Klaus Havelund, Kim Guldstrand Larsen, Arne Skou:
Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL. ARTS 1999: 277-298
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/BehrmannLPWY99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BehrmannLPWY99
Gerd Behrmann, Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi:
Efficient Timed Reachability Analysis Using Clock Difference Diagrams. CAV 1999: 341-353
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/BehrmannLAHL99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BehrmannLAHL99
Gerd Behrmann, Kim Guldstrand Larsen, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen:
Verification of Hierarchical State/Event Systems Using Reusability and Compositionality. TACAS 1999: 163-177
1998
[c53]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/LaroussinieL98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/LaroussinieL98
François Laroussinie, Kim Guldstrand Larsen:
CMC: A Tool for Compositional Model-Checking of Real-Time Systems. FORTE 1998: 439-456
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/AcetoBBL98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/AcetoBBL98
Luca Aceto, Patricia Bouyer, Augusto Burgueño, Kim Guldstrand Larsen:
The Power of Reachability Testing for Timed Automata. FSTTCS 1998: 245-256
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/Lind-NielsenABHKL98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/Lind-NielsenABHKL98
Jørn Lind-Nielsen, Henrik Reif Andersen, Gerd Behrmann, Henrik Hulgaard, Kåre J. Kristoffersen, Kim Guldstrand Larsen:
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis. TACAS 1998: 201-216
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/AcetoBL98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/AcetoBL98
Luca Aceto, Augusto Burgueño, Kim Guldstrand Larsen:
Model Checking via Reachability Testing for Timed Automata. TACAS 1998: 263-280
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/1998
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/1998
Kim Guldstrand Larsen, Sven Skyum, Glynn Winskel:
Automata, Languages and Programming, 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings. Lecture Notes in Computer Science 1443, Springer 1998, ISBN 3-540-64781-3 [contents]
1997
[j16]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/LarsenW97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/LarsenW97
Kim Guldstrand Larsen, Wang Yi:
Time-abstracted Bisimulation: Implicit Specifications and Decidability. Inf. Comput. 134(2): 75-101 (1997)
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/LarsenSW97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/LarsenSW97
Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise:
Continuous Modeling of Real-Time and Hybrid Systems: From Concepts to Tools. Int. J. Softw. Tools Technol. Transf. 1(1-2): 64-85 (1997)
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/LarsenPY97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/LarsenPY97
Kim Guldstrand Larsen, Paul Pettersson, Wang Yi:
UPPAAL in a Nutshell. Int. J. Softw. Tools Technol. Transf. 1(1-2): 134-152 (1997)
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/LarsenPY97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/LarsenPY97
Kim Guldstrand Larsen, Paul Pettersson, Wang Yi:
UPPAAL: Status & Developments. CAV 1997: 456-459
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/rtss/HavelundSLL97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtss/HavelundSLL97
Klaus Havelund, Arne Skou, Kim Guldstrand Larsen, Kristian Lund:
Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAAL. RTSS 1997: 2-13
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/rtss/LarsenLPY97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtss/LarsenLPY97
Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi:
Efficient verification of real-time systems: compact data structure and state-space reduction. RTSS 1997: 14-24
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/KristoffersenLLPY97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/KristoffersenLLPY97
Kåre J. Kristoffersen, François Laroussinie, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi:
A Compositional Proof of a Real-Time Mutual Exclusion Protocol. TAPSOFT 1997: 565-579
1996
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/BengtssonGKLLPY96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BengtssonGKLLPY96
Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi:
Verification of an Audio Protocol with Bus Collision Using UPPAAL. CAV 1996: 244-256
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/dimacs/JensenLS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dimacs/JensenLS96
Henrik Ejersbo Jensen, Kim G. Larsen, Arne Skou:
Modelling and analysis of a collision avoidance protocol using Spin and Uppaal. The Spin Verification System 1996: 33-49
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/BengtssonLLPY96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BengtssonLLPY96
Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi:
UPPAAL in 1995. TACAS 1996: 431-434
1995
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BorjessonLS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BorjessonLS95
Anders Børjesson, Kim Guldstrand Larsen, Arne Skou:
Generality in Design and Compositional Verification Using TAV. Formal Methods Syst. Des. 6(3): 239-258 (1995)
[j12]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/njc/GodskesenL95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/njc/GodskesenL95
Jens Chr. Godskesen, Kim Guldstrand Larsen:
Synthesizing Distinguishing Formulae for Real Time Systems. Nord. J. Comput. 2(3): 338-357 (1995)
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/LaroussinieL95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/LaroussinieL95
François Laroussinie, Kim Guldstrand Larsen:
Compositional Model Checking of Real Time Systems. CONCUR 1995: 27-41
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/fct/LarsenPY95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fct/LarsenPY95
Kim Guldstrand Larsen, Paul Pettersson, Wang Yi:
Model-Checking for Real-Time Systems. FCT 1995: 62-88
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/BengtssonLLPY95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/BengtssonLLPY95
Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi:
UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems. Hybrid Systems 1995: 232-243
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/LarsenPY95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/LarsenPY95
Kim Guldstrand Larsen, Paul Pettersson, Wang Yi:
Diagnostic Model-Checking for Real-Time Systems. Hybrid Systems 1995: 575-586
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/LarsenSW95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/LarsenSW95
Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise:
Fischer's Protocol Revisited: A Simple Proof Using Modal Constraints. Hybrid Systems 1995: 604-615
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/AndersenKLN95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/AndersenKLN95
Jørgen H. Andersen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Jesper Niedermann:
Automatic Synthesis of Real Time Systems. ICALP 1995: 535-546
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/GodskesenL95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/GodskesenL95
Jens Chr. Godskesen, Kim Guldstrand Larsen:
Synthesizing Distinguishing Formulae for Real Time Systems (Extended Abstract). MFCS 1995: 519-528
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/LaroussinieLW95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/LaroussinieLW95
François Laroussinie, Kim Guldstrand Larsen, Carsten Weise:
From Timed Automata to Logic - and Back. MFCS 1995: 529-539
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/rtss/LarsenPY95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtss/LarsenPY95
Kim Guldstrand Larsen, Paul Pettersson, Wang Yi:
Compositional and Symbolic Model-Checking of Real-Time Systems. RTSS 1995: 76-87
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/LarsenSW95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/LarsenSW95
Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise:
A Constraint Oriented Proof Methodology Based on Modal Transition Systems. TACAS 1995: 17-40
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/1995
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/1995
Ed Brinksma, Rance Cleaveland, Kim Guldstrand Larsen, Tiziana Margaria, Bernhard Steffen:
Tools and Algorithms for Construction and Analysis of Systems, First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995, Proceedings. Lecture Notes in Computer Science 1019, Springer 1995, ISBN 3-540-60630-0 [contents]
1994
[j11]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/njc/HavelundL94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/njc/HavelundL94
Klaus Havelund, Kim Guldstrand Larsen:
The Fork Calculus. Nord. J. Comput. 1(3): 346-363 (1994)
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/LarsenSW94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/LarsenSW94
Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise:
The Methodology of Modal Constraints. Formal Systems Specification 1994: 405-435
[c31]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/HavelundL94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/HavelundL94
Klaus Havelund, Kim Guldstrand Larsen:
A refinement logic for the fork calculus. PSTV 1994: 5-20
[c30]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/GodskesenLS94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/GodskesenLS94
Jens Chr. Godskesen, Kim Guldstrand Larsen, Arne Skou:
Automatic verification of real-tim systems using epsilon. PSTV 1994: 323-330
1993
[j10]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Larsen93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Larsen93
Kim Guldstrand Larsen:
The Expressive Power of Implicit Specifications. Theor. Comput. Sci. 114(1): 119-147 (1993)
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/CeransGL93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/CeransGL93
Karlis Cerans, Jens Chr. Godskesen, Kim Guldstrand Larsen:
Timed Modal Specification - Theory and Tools. CAV 1993: 253-267
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/JensenLJL93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/JensenLJL93
Ole Høgh Jensen, Jarl Tuxen Lang, Christian Jeppesen, Kim Guldstrand Larsen:
Model Construction for Implicit Specifications in Model Logic. CONCUR 1993: 247-261
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/HavelundL93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/HavelundL93
Klaus Havelund, Kim Guldstrand Larsen:
The Fork Calculus. ICALP 1993: 544-557
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/mfps/LarsenY93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfps/LarsenY93
Kim Guldstrand Larsen, Wang Yi:
Time Abstracted Bisimiulation: Implicit Specifications and Decidability. MFPS 1993: 160-176
1992
[j9]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/LarsenM92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/LarsenM92
Kim Guldstrand Larsen, Robin Milner:
A Compositional Protocol Verification Using Relativized Bisimulation. Inf. Comput. 99(1): 80-108 (1992)
[j8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BoudolL92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BoudolL92
Gérard Boudol, Kim Guldstrand Larsen:
Graphical Versus Logical Specifications. Theor. Comput. Sci. 106(1): 3-20 (1992)
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/Larsen92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/Larsen92
Kim Guldstrand Larsen:
Efficient Local Correctness Checking. CAV 1992: 30-43
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/LarsenS92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/LarsenS92
Kim Guldstrand Larsen, Arne Skou:
Compositional Verification of Probabilistic Processes. CONCUR 1992: 456-471
[c23]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/BorjessonLS92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/BorjessonLS92
Anders Børjesson, Kim Guldstrand Larsen, Arne Skou:
Generality in design and compositional verification using TAV. FORTE 1992: 449-464
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/GodskesenL92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/GodskesenL92
Jens Chr. Godskesen, Kim Guldstrand Larsen:
Real-Time Calculi and Expansion Theorems. FSTTCS 1992: 302-315
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/napaw/GodskesenL92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/napaw/GodskesenL92
Jens Chr. Godskesen, Kim Guldstrand Larsen:
Real-Time Calculi and Expansion Theorems. NAPAW 1992: 3-12
[c20]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/YiL92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/YiL92
Wang Yi, Kim Guldstrand Larsen:
Testing Probabilistic and Nondeterministic Processes. PSTV 1992: 47-61
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/1991
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/1991
Kim Guldstrand Larsen, Arne Skou:
Computer Aided Verification, 3rd International Workshop, CAV '91, Aalborg, Denmark, July, 1-4, 1991, Proceedings. Lecture Notes in Computer Science 575, Springer 1992, ISBN 3-540-55179-4 [contents]
1991
[j7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/LarsenW91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/LarsenW91
Kim Guldstrand Larsen, Glynn Winskel:
Using Information Systems to Solve Recursive Domain Equations. Inf. Comput. 91(2): 232-258 (1991)
[j6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/LarsenS91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/LarsenS91
Kim Guldstrand Larsen, Arne Skou:
Bisimulation through Probabilistic Testing. Inf. Comput. 94(1): 1-28 (1991)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/LarsenX91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/LarsenX91
Kim Guldstrand Larsen, Xinxin Liu:
Compositionality through an Operational Semantics of Contexts. J. Log. Comput. 1(6): 761-795 (1991)
[j4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/LarsenT91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/LarsenT91
Kim Guldstrand Larsen, Bent Thomsen:
Partial Specifications and Compositional Verification. Theor. Comput. Sci. 88(1): 15-32 (1991)
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/HolmerLY91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/HolmerLY91
Uno Holmer, Kim Guldstrand Larsen, Wang Yi:
Deciding Properties of Regular Real Time Processes. CAV 1991: 443-453
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/Larsen91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/Larsen91
Kim Guldstrand Larsen:
The Expressive Power of Implicit Specifications. ICALP 1991: 204-216
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/JonssonL91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/JonssonL91
Bengt Jonsson, Kim Guldstrand Larsen:
Specification and Refinement of Probabilistic Processes. LICS 1991: 266-277
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/JonssonL91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/JonssonL91
Bengt Jonsson, Kim Guldstrand Larsen:
On the Complexity of Equation Solving in Process Algebra. TAPSOFT, Vol.1 1991: 381-396
1990
[j3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Larsen90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Larsen90
Kim Guldstrand Larsen:
Proof Systems for Satisfiability in Hennessy-Milner Logic with Recursion. Theor. Comput. Sci. 72(2&3): 265-288 (1990)
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/caap/BoudolL90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caap/BoudolL90
Gérard Boudol, Kim Guldstrand Larsen:
Graphical versus Logical Specifications. CAAP 1990: 57-71
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/Larsen90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/Larsen90
Kim Guldstrand Larsen:
Ideal Specification Formalism + Expressivity + Compositionality + Decidability + Testability + ... CONCUR 1990: 33-56
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/LarsenX90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/LarsenX90
Kim Guldstrand Larsen, Xinxin Liu:
Compositionality Through an Operational Semantics of Contexts. ICALP 1990: 526-539
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/LarsenX90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/LarsenX90
Kim Guldstrand Larsen, Xinxin Liu:
Equation Solving Using Modal Transition Systems. LICS 1990: 108-117

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1989
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/avmfss/Larsen89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/avmfss/Larsen89
Kim Guldstrand Larsen:
Modal Specifications. Automatic Verification Methods for Finite State Systems 1989: 232-246
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/ershov/HuttelL89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ershov/HuttelL89
Hans Hüttel, Kim Guldstrand Larsen:
The Use of Static Constructs in A Modal Process Logic. Logic at Botik 1989: 163-180
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/LarsenS89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/LarsenS89
Kim Guldstrand Larsen, Arne Skou:
Bisimulation Through Probabilistic Testing. POPL 1989: 344-352
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/rex/Larsen89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rex/Larsen89
Kim Guldstrand Larsen:
Compositional Theories Based on an Operational Semantics of Contexts. REX Workshop 1989: 487-518
1988
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/caap/Larsen88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caap/Larsen88
Kim Guldstrand Larsen:
Proof System for Hennessy-Milner Logic with Recursion. CAAP 1988: 215-230
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/LarsenT88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/LarsenT88
Kim Guldstrand Larsen, Bent Thomsen:
A Modal Process Logic. LICS 1988: 203-210
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/LarsenT88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/LarsenT88
Kim Guldstrand Larsen, Bent Thomsen:
Compositional Proofs by Partial Specification of Processes. MFCS 1988: 414-423
1987
[j2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Larsen87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Larsen87
Kim Guldstrand Larsen:
A Context Dependent Equivalence Between Processes. Theor. Comput. Sci. 49: 184-215 (1987)
[j1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/JensenL87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/JensenL87
Finn Verner Jensen, Kim Guldstrand Larsen:
Recursively Defined Doains and their Induction Principles. Theor. Comput. Sci. 54: 29-51 (1987)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/LarsenM87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/LarsenM87
Kim Guldstrand Larsen, Robin Milner:
Verifying a Protocol Using Relativized Bisimulation. ICALP 1987: 126-135
1985
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/JensenL85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/JensenL85
Finn Verner Jensen, Kim Guldstrand Larsen:
Recursively Defined Domains and Their Induction Principles. FSTTCS 1985: 225-245
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/Larsen85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/Larsen85
Kim Guldstrand Larsen:
A Context Dependent Equivalence between Processes. ICALP 1985: 373-382
1984
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/sdt/WinskelL84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sdt/WinskelL84
Glynn Winskel, Kim Guldstrand Larsen:
Using Information Systems to Solve Recursive Domain Equations Effectively. Semantics of Data Types 1984: 109-129

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.