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 376  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Kim G. Larsen.
    Dependable and Optimal Cyber-Physical Systems.
    SOFSEM 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings 2017 (0) 2017
    Conference paper
    Giorgio Bacci, Giovanni Bacci 0001, Kim G. Larsen, Radu Mardare.
    On-the-Fly Computation of Bisimilarity Distances.
    CoRR 2017, Volume 0 (0) 2017
    Conference paper
    Giorgio Bacci, Giovanni Bacci 0001, Kim G. Larsen, Radu Mardare.
    A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains.
    CoRR 2017, Volume 0 (0) 2017
    Conference paper
    Kim G. Larsen.
    Validation, Synthesis and Optimization for Cyber-Physical Systems.
    Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, 2017 (0) 2017
    Conference paper
    Mikkel Hansen, Kim G. Larsen, Radu Mardare, Mathias Ruggaard Pedersen, Bingtian Xue.
    Reasoning About Bounds in Weighted Transition Systems.
    CoRR 2017, Volume 0 (0) 2017
    Conference paper
    Kim G. Larsen, Florian Lorber, Brian Nielsen, Ulrik Nyman.
    Mutation-Based Test-Case Generation with Ecdar.
    2017 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2017, Tokyo, Japan, March 13-17, 2017 2017 (0) 2017
    Conference paper
    Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Peter Fogh, Lasse S. Jensen, Tobias S. Jepsen, Isabella Kaufmann, Kim G. Larsen, Søren M. Nielsen, Mads Chr. Olesen, Samuel Pastva, Jirí Srba.
    Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation.
    Application and Theory of Petri Nets and Concurrency - 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings 2017 (0) 2017
    Conference paper
    Kim G. Larsen.
    Timed and Untimed Energy Games.
    Implementation and Application of Automata - 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings 2017 (0) 2017
    Conference paper
    Giovanni Bacci 0001, Giorgio Bacci, Kim G. Larsen, Radu Mardare.
    On the Metric-Based Approximate Minimization of Markov Chains.
    44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland 2017 (0) 2017
    Conference paper
    Robert Furber, Dexter Kozen, Kim G. Larsen, Radu Mardare, Prakash Panangaden.
    Unrestricted stone duality for Markov processes.
    32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017 2017 (0) 2017
    Conference paper
    Guangyuan Li, Peter Gjøl Jensen, Kim G. Larsen, Axel Legay, Danny Bøgsted Poulsen.
    Practical controller synthesis for MTL
    Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017 2017 (0) 2017
    Conference paper
    Franck Cassez, Peter Gjøl Jensen, Kim G. Larsen.
    Refinement of Trace Abstraction for Real-Time Programs.
    Reachability Problems - 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings 2017 (0) 2017
    Conference paper
    Anders Mariegaard, Kim G. Larsen.
    Symbolic Dependency Graphs for $$\text {PCTL}^{}_{\le }$$ Model-Checking.
    Formal Modeling and Analysis of Timed Systems - 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings 2017 (0) 2017
    Conference paper
    Peter Gjøl Jensen, Kim G. Larsen, Jirí Srba.
    PTrie: Data Structure for Compressing and Storing Sets via Prefix Sharing.
    Theoretical Aspects of Computing - ICTAC 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings 2017 (0) 2017
    Conference paper
    Zhengkui Zhang, Brian Nielsen, Kim G. Larsen, Gilles Nies, Marvin Stenger, Holger Hermanns.
    Pareto Optimal Reachability Analysis for Simple Priced Timed Automata.
    Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings 2017 (0) 2017
    Conference paper
    Kim G. Larsen, Axel Legay, Marius Mikucionis, Brian Nielsen, Ulrik Nyman.
    Compositional Testing of Real-Time Systems.
    ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday 2017 (0) 2017
    Conference paper
    Mathias Ruggaard Pedersen, Nathanaël Fijalkow, Giorgio Bacci, Kim G. Larsen, Radu Mardare.
    Timed Comparisons of Semi-Markov Processes.
    CoRR 2017, Volume 0 (0) 2017
    Journal article
    Kim G. Larsen, Simon Laursen, Martin Zimmermann 0002.
    Limit Your Consumption! Finding Bounds in Average-energy Games.
    Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems, QAPL'16 2016, Eindhoven, The Netherlands, April 2-3, 2016. 2016, Volume 227 (0) 2016
    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
    Conference paper
    Erik Ramsgaard Wognsen, René Rydhof Hansen, Kim G. Larsen, Peter Koch.
    Energy-aware scheduling of FIR filter structures using a timed automata model.
    2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits Systems (DDECS), Kosice, Slovakia, April 20-22, 2016 2016 (0) 2016
    Conference paper
    Zhengkui Zhang, Brian Nielsen, Kim G. Larsen.
    Time optimal reachability analysis using swarm verification.
    Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016 2016 (0) 2016
    Journal article
    Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou.
    Statistical and exact schedulability analysis of hierarchical scheduling systems.
    Sci. Comput. Program. 2016, Volume 127 (0) 2016
    Conference paper
    Jonas Finnemann Jensen, Kim G. Larsen, Jirí Srba, Lars Kaerlund Oestergaard.
    Efficient model-checking of weighted CTL with upper-bound constraints.
    STTT 2016, Volume 18 (0) 2016
    Show item 1 to 25 of 376  

    Your query returned 376 matches in the database.