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 281  
    Select a publication
    Show Title Venue Rating Date
    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
    Benoît Delahaye, Kim Guldstrand Larsen, Axel Legay.
    Stuttering for Abstract Probabilistic Automata.
    Logical Foundations of Computer Science, International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Sebastian S. Bauer, Ulrich Fahrenberg, Line Juhl, Kim Guldstrand Larsen, Axel Legay, Claus R. Thrane.
    Weighted modal transition systems.
    Formal Methods in System Design 2013, Volume 42 (0) 2013
    Conference paper
    Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Radu Mardare.
    On-the-Fly Exact Computation of Bisimilarity Distances.
    Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Kim Guldstrand Larsen.
    Priced Timed Automata and Statistical Model Checking.
    Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Alexandre David, Dehui Du, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis.
    Optimizing Control Strategy Using Statistical Model Checking.
    NASA Formal Methods, 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Jonas Finnemann Jensen, Kim Guldstrand Larsen, Jirí Srba, Lars Kaerlund Oestergaard.
    Local Model Checking of Weighted CTL with Upper-Bound Constraints.
    Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings 2013 (0) 2013
    Conference paper
    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.
    Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Benoît Delahaye, Ulrich Fahrenberg, Kim Guldstrand Larsen, Axel Legay.
    Refinement and Difference for Probabilistic Automata.
    Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Radu Mardare.
    The BisimDist Library: Efficient Computation of Bisimilarity Distances for Markovian Models.
    Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Line Juhl, Kim Guldstrand Larsen, Jean-François Raskin.
    Optimal Bounds for Multiweighted and Parametrised Energy Games.
    Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday 2013 (0) 2013
    Conference paper
    Jianwen Li, Geguang Pu, Lijun Zhang 0001, Zheng Wang, Jifeng He, Kim Guldstrand Larsen.
    On the Relationship between LTL Normal Forms and Büchi Automata.
    Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday 2013 (0) 2013
    Conference paper
    Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Radu Mardare.
    Computing Behavioral Distances, Compositionally.
    Mathematical Foundations of Computer Science 2013 - 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Dexter Kozen, Kim Guldstrand Larsen, Radu Mardare, Prakash Panangaden.
    Stone Duality for Markov Processes.
    28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013, New Orleans, LA, USA, June 25-28, 2013 2013 (0) 2013
    Show item 1 to 25 of 281  

    Your query returned 281 matches in the database.