Publications
Search

Publications :: Search

Show author

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

    Author information
    First name: Kim Guldstrand
    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 313  
    Select a publication
    Show Title Venue Rating Date
    Journal article
    Alexandre David, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Louis-Marie Traonouez, Andrzej Wasowski.
    Real-time specifications.
    STTT 2015, Volume 17 (0) 2015
    Conference paper
    Alexandre David, Kim Guldstrand 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 Guldstrand 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 Guldstrand 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 Guldstrand 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 Guldstrand 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 Guldstrand Larsen, Jirí Srba.
    Language Emptiness of Continuous-Time Parametric Timed Automata.
    CoRR 2015, Volume 0 (0) 2015
    Conference paper
    Jin Hyun Kim, Kim Guldstrand 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 Guldstrand 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 Guldstrand 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 Guldstrand 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
    Benoît Delahaye, Ulrich Fahrenberg, Kim Guldstrand Larsen, Axel Legay.
    Refinement and Difference for Probabilistic Automata
    Logical Methods in Computer Science 2014, Volume 10 (0) 2014
    Journal article
    Kim Guldstrand Larsen, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski.
    Robust synthesis for real-time systems.
    Theor. Comput. Sci. 2014, Volume 515 (0) 2014
    Journal article
    Benoît Delahaye, Kim Guldstrand Larsen, Axel Legay.
    Stuttering for Abstract Probabilistic Automata.
    J. Log. Algebr. Program. 2014, Volume 83 (0) 2014
    Journal article
    Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey.
    Lower-bound-constrained runs in weighted timed automata.
    Perform. Eval. 2014, Volume 73 (0) 2014
    Journal article
    Sebastian S. Bauer, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski.
    A modal specification theory for components with data.
    Sci. Comput. Program. 2014, Volume 83 (0) 2014
    Journal article
    Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Radu Mardare.
    Topologies of Stochastic Markov Models: Computational Aspects.
    CoRR 2014, Volume 0 (0) 2014
    Conference paper
    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 - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings 2014 (0) 2014
    Conference paper
    Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Guangyuan Li.
    Efficient controller synthesis for a fragment of MTL
    Acta Inf. 2014, Volume 51 (0) 2014
    Conference paper
    Kim Guldstrand Larsen.
    Verification and Performance Analysis of Embedded and Cyber-Physical Systems using UPPAAL.
    PECCS 2014 - Proceedings of the 4th International Conference on Pervasive and Embedded Computing and Communication Systems, Lisbon, Portugal, 7-9 January, 2014 2014 (0) 2014
    Conference paper
    Kim Guldstrand Larsen.
    Verification and Performance Analysis of Embedded and Cyber-Physical Systems using UPPAAL.
    MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7 - 9 January, 2014 2014 (0) 2014
    Conference paper
    Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Radu Mardare.
    Bisimulation on Markov Processes over Arbitrary Measurable Spaces.
    Horizons of the Mind. A Tribute to Prakash Panangaden - Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday 2014 (0) 2014
    Conference paper
    Ulrich Fahrenberg, Kim Guldstrand Larsen, Axel Legay, Louis-Marie Traonouez.
    Parametric and Quantitative Extensions of Modal Transition Systems.
    From Programs to Systems. The Systems perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings 2014 (0) 2014
    Conference paper
    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.
    STTT 2014, Volume 16 (0) 2014
    Conference paper
    Alexandre David, Huixing Fang, Kim Guldstrand Larsen, Zhengkui Zhang.
    Verification and Performance Evaluation of Timed Game Strategies.
    Formal Modeling and Analysis of Timed Systems - 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings 2014 (0) 2014
    Show item 1 to 25 of 313  

    Your query returned 313 matches in the database.