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 272  
    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
    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
    Conference paper
    Ulrich Fahrenberg, Kim Guldstrand Larsen, Axel Legay.
    Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems.
    Unifying Theories of Programming and Formal Engineering Methods - International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures 2013 (0) 2013
    Conference paper
    Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Omer Nguena-Timo, Antoine Rollet.
    Remote Testing of Timed Specifications.
    Testing Software and Systems - 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings 2013 (0) 2013
    Journal article
    Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman.
    Proceedings 1st Workshop on Advances in Systems of Systems.
    CoRR 2013, Volume 0 (0) 2013
    Journal article
    Alexandre David, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen.
    Statistical Model Checking of Dynamic Networks of Stochastic Hybrid Automata.
    ECEASST 2013, Volume 66 (0) 2013
    Conference paper
    Miroslav Klimos, Kim Guldstrand Larsen, Filip Stefanak, Jeppe Thaarup.
    Nash Equilibria in Concurrent Priced Games.
    Language and Automata Theory and Applications - 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings 2012 (0) 2012
    Conference paper
    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.
    Logic for Programming, Artificial Intelligence, and Reasoning - 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings 2012 (0) 2012
    Conference paper
    Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Mikael H. Møller, Jirí Srba.
    Dual-Priced Modal Transition Systems with Time Durations.
    Logic for Programming, Artificial Intelligence, and Reasoning - 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings 2012 (0) 2012
    Show item 1 to 25 of 272  

    Your query returned 272 matches in the database.