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 10 of 291  
    Select a publication
    Show Title Venue Rating Date
    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
    Show item 1 to 10 of 291  

    Your query returned 291 matches in the database.