Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Kim G.
    Last name: Larsen
    DBLP: l/KimGuldstrandLarsen
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 25 of 337  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Mads Chr. Olesen, René Rydhof Hansen, Kim G. Larsen.
    An Automata-Based Approach to Trace Partitioned Abstract Interpretation.
    Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays 2016 (0) 2016
    Conference paper
    Peter Gjøl Jensen, Kim G. Larsen, Jirí Srba.
    Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization.
    Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings 2016 (0) 2016
    Conference paper
    Kim G. Larsen, Marius Mikucionis, Marco Muñiz, Jirí Srba, Jakob Haahr Taankvist.
    Online and Compositional Learning of Controllers with Application to Floor Heating.
    Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proc 2016 (0) 2016
    Journal article
    Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Louis-Marie Traonouez, Andrzej Wasowski.
    Real-time specifications.
    STTT 2015, Volume 17 (0) 2015
    Conference paper
    Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis.
    Schedulability of Herschel revisited using statistical model checking.
    STTT 2015, Volume 17 (0) 2015
    Conference paper
    Nikola Benes, Jan Kretínský, Kim G. Larsen, Mikael H. Møller, Salomon Sickert, Jirí Srba.
    Refinement checking on parametric modal transition systems.
    Acta Inf. 2015, Volume 52 (0) 2015
    Conference paper
    Daniel Gebler, Kim G. Larsen, Simone Tini.
    Compositional Metric Reasoning with Probabilistic Process Calculi.
    Foundations of Software Science and Computation Structures - 18th International Conference, FoSSaCS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings 2015 (0) 2015
    Conference paper
    Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare.
    On the Total Variation Distance of Semi-Markov Chains.
    Foundations of Software Science and Computation Structures - 18th International Conference, FoSSaCS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings 2015 (0) 2015
    Conference paper
    Alexandre David, Peter Gjøl Jensen, Kim G. Larsen, Marius Mikucionis, Jakob Haahr Taankvist.
    Uppaal Stratego.
    Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings 2015 (0) 2015
    Journal article
    Nikola Benes, Peter Bezdek, Kim G. Larsen, Jirí Srba.
    Language Emptiness of Continuous-Time Parametric Timed Automata.
    CoRR 2015, Volume 0 (0) 2015
    Conference paper
    Jin Hyun Kim, Kim G. Larsen, Brian Nielsen, Marius Mikucionis, Petur Olsen.
    Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools.
    Formal Methods for Industrial Critical Systems - 20th International Workshop, FMICS 2015, Oslo, Norway, June 22-23, 2015 Proceedings 2015 (0) 2015
    Conference paper
    Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards.
    Statistical model checking for biological systems.
    STTT 2015, Volume 17 (0) 2015
    Conference paper
    Jin Hyun Kim, Abdeldjalil Boudjadar, Ulrik Nyman, Marius Mikucionis, Kim G. Larsen, Arne Skou, Insup Lee, Linh T. X. Phan.
    Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context.
    Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2015, Montreal, QC, Canada, May 4-8, 2015 2015 (0) 2015
    Conference paper
    Nikola Benes, Peter Bezdek, Kim G. Larsen, Jirí Srba.
    Language Emptiness of Continuous-Time Parametric Timed Automata.
    Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II 2015 (0) 2015
    Conference paper
    Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen.
    Uppaal SMC tutorial.
    STTT 2015, Volume 17 (0) 2015
    Conference paper
    Abdeldjalil Boudjadar, Jin Hyun Kim, Alexandre David, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou, Insup Lee, Linh T. X. Phan.
    Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks.
    IEEE 18th International Symposium on Real-Time Distributed Computing, ISORC 2015, Auckland, New Zealand, 13-17 April, 2015 2015 (0) 2015
    Conference paper
    Mladen Skelin, Erik Ramsgaard Wognsen, Mads Chr. Olesen, René Rydhof Hansen, Kim G. Larsen.
    Model checking of finite-state machine-based scenario-aware dataflow using timed automata.
    10th IEEE International Symposium on Industrial Embedded Systems, SIES 2015, Siegen, Germany, June 8-10, 2015 2015 (0) 2015
    Conference paper
    Erik Ramsgaard Wognsen, Boudewijn R. Haverkort, Marijn R. Jongerden, René Rydhof Hansen, Kim G. Larsen.
    A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems.
    Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings 2015 (0) 2015
    Conference paper
    Jan Kretínský, Kim G. Larsen, Simon Laursen, Jirí Srba.
    Polynomial Time Decidability of Weighted Synchronization under Partial Observability.
    26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015 2015 (0) 2015
    Conference paper
    Kim G. Larsen, Marius Mikucionis, Jakob Haahr Taankvist.
    Safe and Optimal Adaptive Cruise Control.
    Correct System Design - Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings 2015 (0) 2015
    Journal article
    Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim G. Larsen, Simon Laursen.
    Average-energy games.
    CoRR 2015, Volume 0 (0) 2015
    Conference paper
    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.
    Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings 2015 (0) 2015
    Conference paper
    Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare.
    Converging from Branching to Linear Metrics on Markov Chains.
    Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings 2015 (0) 2015
    Conference paper
    Jin Hyun Kim, Axel Legay, Kim G. Larsen, Marius Mikucionis, Brian Nielsen.
    Resource-Parameterized Timing Analysis of Real-Time Systems.
    Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings 2015 (0) 2015
    Conference paper
    Kim G. Larsen, Simon Laursen, Martin Zimmermann 0002.
    Limit Your Consumption! Finding Bounds in Average-energy Games.
    CoRR 2015, Volume 0 (0) 2015
    Show item 1 to 25 of 337  

    Your query returned 337 matches in the database.