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 355  
    Select a publication
    Show Title Venue Rating Date
    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
    Conference paper
    Zhengkui Zhang, Brian Nielsen, Kim G. Larsen.
    Distributed Algorithms for Time Optimal Reachability Analysis.
    Formal Modeling and Analysis of Timed Systems - 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings 2016 (0) 2016
    Conference paper
    Olga Gadyatskaya, René Rydhof Hansen, Kim G. Larsen, Axel Legay, Mads Chr. Olesen, Danny Bøgsted Poulsen.
    Modelling Attack-defense Trees Using Timed Automata.
    Formal Modeling and Analysis of Timed Systems - 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings 2016 (0) 2016
    Conference paper
    Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Abdeldjalil Boudjadar, Ulrik Nyman, Kim G. Larsen, Insup Lee, Jin-Young Choi.
    Optimizing the resource requirements of hierarchical scheduling systems.
    SIGBED Review 2016, Volume 13 (0) 2016
    Conference paper
    Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare.
    Complete Axiomatization for the Bisimilarity Distance on Markov Chains.
    27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada 2016 (0) 2016
    Journal article
    Louise Foshammer, Kim G. Larsen, Anders Mariegaard.
    Weighted Branching Simulation Distance for Parametric Weighted Kripke Structures.
    Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters and 3rd International Workshop on Synthesis of Complex Parameters, Cassting/SynCoP 2016, Eindhoven, The Netherlan 2016, Volume 220 (0) 2016
    Conference paper
    Mounir Chadli, Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Stefan Naujokat, Bernhard Steffen, Kim G. Larsen.
    A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems.
    Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, 2016 (0) 2016
    Conference paper
    René Rydhof Hansen, Kim G. Larsen, Mads Chr. Olesen, Erik Ramsgaard Wognsen.
    Formal modelling and analysis of Bitflips in ARM assembly code.
    Information Systems Frontiers 2016, Volume 18 (0) 2016
    Conference paper
    Kim G. Larsen, Axel Legay.
    On the Power of Statistical Model Checking.
    Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II 2016 (0) 2016
    Conference paper
    Kim G. Larsen, Axel Legay.
    Statistical Model Checking: Past, Present, and Future.
    Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I 2016 (0) 2016
    Conference paper
    Hua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, Brian Nielsen.
    Learning deterministic probabilistic automata from a model checking perspective.
    Machine Learning 2016, Volume 105 (0) 2016
    Conference paper
    Cyrille Jégourel, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards.
    Importance Sampling for Stochastic Timed Automata.
    Dependable Software Engineering: Theories, Tools, and Applications - Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings 2016 (0) 2016
    Conference paper
    Mikkel Hansen, Kim G. Larsen, Radu Mardare, Mathias Ruggaard Pedersen, Bingtian Xue.
    A Complete Approximation Theory for Weighted Transition Systems.
    Dependable Software Engineering: Theories, Tools, and Applications - Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings 2016 (0) 2016
    Conference paper
    Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Kim G. Larsen, Jirí Srba.
    Distributed Computation of Fixed Points on Dependency Graphs.
    Dependable Software Engineering: Theories, Tools, and Applications - Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings 2016 (0) 2016
    Journal article
    Daniel Gebler, Kim G. Larsen, Simone Tini.
    Compositional bisimulation metric reasoning with Probabilistic Process Calculi.
    CoRR 2016, Volume 0 (0) 2016
    Journal article
    Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Louis-Marie Traonouez, Andrzej Wasowski.
    Real-time specifications.
    STTT 2015, Volume 17 (0) 2015
    Conference paper
    Alexandre David, Kim G. 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 G. Larsen, Mikael H. Møller, Salomon Sickert, Jirí Srba.
    Refinement checking on parametric modal transition systems.
    Acta Inf. 2015, Volume 52 (0) 2015
    Show item 1 to 25 of 355  

    Your query returned 355 matches in the database.