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 100 of 364  
    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
    Journal article
    Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare.
    On-the-Fly Computation of Bisimilarity Distances.
    CoRR 2017, Volume 0 (0) 2017
    Journal article
    Giorgio Bacci, Giovanni Bacci, 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
    Journal article
    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
    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
    Conference paper
    Daniel Gebler, Kim G. Larsen, Simone Tini.
    Compositional bisimulation metric reasoning with Probabilistic Process Calculi.
    Logical Methods in Computer Science 2016, Volume 12 (0) 2016
    Conference paper
    Kim G. Larsen.
    Automatic Verification, Performance Analysis, Synthesis and Optimization of Timed Systems.
    23rd International Symposium on Temporal Representation and Reasoning, TIME 2016, Kongens Lyngby, Denmark, October 17-19, 2016 2016 (0) 2016
    Conference paper
    Kim G. Larsen, Radu Mardare, Bingtian Xue.
    Probabilistic Mu-Calculus: Decidability and Complete Axiomatization.
    36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India 2016 (0) 2016
    Conference paper
    Kim G. Larsen, Stefan Schmid, Bingtian Xue.
    WNetKAT: A Weighted SDN Programming and Verification Language.
    20th International Conference on Principles of Distributed Systems, OPODIS 2016, December 13-16, 2016, Madrid, Spain 2017 (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
    Conference paper
    Daniel Gebler, Kim G. Larsen, Simone Tini.
    Compositional Metric Reasoning with Probabilistic Process Calculi.
    Foundations of Software Science and Computation Structures - 18th International Conference, FoSSaCS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings 2015 (0) 2015
    Conference paper
    Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare.
    On the Total Variation Distance of Semi-Markov Chains.
    Foundations of Software Science and Computation Structures - 18th International Conference, FoSSaCS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings 2015 (0) 2015
    Conference paper
    Alexandre David, Peter Gjøl Jensen, Kim G. Larsen, Marius Mikucionis, Jakob Haahr Taankvist.
    Uppaal Stratego.
    Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings 2015 (0) 2015
    Journal article
    Nikola Benes, Peter Bezdek, Kim G. Larsen, Jirí Srba.
    Language Emptiness of Continuous-Time Parametric Timed Automata.
    CoRR 2015, Volume 0 (0) 2015
    Conference paper
    Jin Hyun Kim, Kim G. Larsen, Brian Nielsen, Marius Mikucionis, Petur Olsen.
    Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools.
    Formal Methods for Industrial Critical Systems - 20th International Workshop, FMICS 2015, Oslo, Norway, June 22-23, 2015 Proceedings 2015 (0) 2015
    Conference paper
    Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards.
    Statistical model checking for biological systems.
    STTT 2015, Volume 17 (0) 2015
    Conference paper
    Jin Hyun Kim, Abdeldjalil Boudjadar, Ulrik Nyman, Marius Mikucionis, Kim G. Larsen, Arne Skou, Insup Lee, Linh T. X. Phan.
    Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context.
    Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2015, Montreal, QC, Canada, May 4-8, 2015 2015 (0) 2015
    Conference paper
    Nikola Benes, Peter Bezdek, Kim G. Larsen, Jirí Srba.
    Language Emptiness of Continuous-Time Parametric Timed Automata.
    Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II 2015 (0) 2015
    Conference paper
    Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen.
    Uppaal SMC tutorial.
    STTT 2015, Volume 17 (0) 2015
    Conference paper
    Abdeldjalil Boudjadar, Jin Hyun Kim, Alexandre David, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou, Insup Lee, Linh T. X. Phan.
    Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks.
    IEEE 18th International Symposium on Real-Time Distributed Computing, ISORC 2015, Auckland, New Zealand, 13-17 April, 2015 2015 (0) 2015
    Conference paper
    Mladen Skelin, Erik Ramsgaard Wognsen, Mads Chr. Olesen, René Rydhof Hansen, Kim G. Larsen.
    Model checking of finite-state machine-based scenario-aware dataflow using timed automata.
    10th IEEE International Symposium on Industrial Embedded Systems, SIES 2015, Siegen, Germany, June 8-10, 2015 2015 (0) 2015
    Conference paper
    Erik Ramsgaard Wognsen, Boudewijn R. Haverkort, Marijn R. Jongerden, René Rydhof Hansen, Kim G. Larsen.
    A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems.
    Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings 2015 (0) 2015
    Conference paper
    Jan Kretínský, Kim G. Larsen, Simon Laursen, Jirí Srba.
    Polynomial Time Decidability of Weighted Synchronization under Partial Observability.
    26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015 2015 (0) 2015
    Conference paper
    Kim G. Larsen, Marius Mikucionis, Jakob Haahr Taankvist.
    Safe and Optimal Adaptive Cruise Control.
    Correct System Design - Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings 2015 (0) 2015
    Journal article
    Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim G. Larsen, Simon Laursen.
    Average-energy games.
    CoRR 2015, Volume 0 (0) 2015
    Conference paper
    Jesper Rank Andersen, Nicklas Andersen, Søren Enevoldsen, Mathias M. Hansen, Kim G. Larsen, Simon R. Olesen, Jirí Srba, Jacob K. Wortmann.
    CAAL: Concurrency Workbench, Aalborg Edition.
    Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings 2015 (0) 2015
    Conference paper
    Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare.
    Converging from Branching to Linear Metrics on Markov Chains.
    Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings 2015 (0) 2015
    Conference paper
    Jin Hyun Kim, Axel Legay, Kim G. Larsen, Marius Mikucionis, Brian Nielsen.
    Resource-Parameterized Timing Analysis of Real-Time Systems.
    Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings 2015 (0) 2015
    Conference paper
    René Rydhof Hansen, Kim G. Larsen, Mads Chr. Olesen, Erik Ramsgaard Wognsen.
    Formal Methods for Modelling and Analysis of Single-Event Upsets.
    2015 IEEE International Conference on Information Reuse and Integration, IRI 2015, San Francisco, CA, USA, August 13-15, 2015 2015 (0) 2015
    Conference paper
    Kim G. Larsen, Radu Mardare, Bingtian Xue.
    Concurrent weighted logic.
    J. Log. Algebr. Meth. Program. 2015, Volume 84 (0) 2015
    Conference paper
    Peter Christoffersen, Mikkel Hansen, Anders Mariegaard, Julian Trier Ringsmose, Kim G. Larsen, Radu Mardare.
    Parametric Verification of Weighted Systems.
    2nd International Workshop on Synthesis of Complex Parameters, SynCoP 2015, April 11, 2015, London, United Kingdom 2015 (0) 2015
    Conference paper
    Nicolas David, Alexandre David, René Rydhof Hansen, Kim G. Larsen, Axel Legay, Mads Chr. Olesen, Christian W. Probst.
    Modelling Social-Technical Attacks with Timed Automata.
    Proceedings of the 7th ACM CCS International Workshop on Managing Insider Security Threats, MIST 2015, Denver, Colorado, USA, October 16, 2015 2015 (0) 2015
    Journal article
    Kim G. Larsen, Radu Mardare, Bingtian Xue.
    Alternation-Free Weighted Mu-Calculus: Decidability and Completeness.
    Electr. Notes Theor. Comput. Sci. 2015, Volume 319 (0) 2015
    Journal article
    Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim G. Larsen, Simon Laursen.
    Average-energy games (full version).
    CoRR 2015, Volume 0 (0) 2015
    Journal article
    Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou.
    A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling.
    Sci. Comput. Program. 2015, Volume 113 (0) 2015
    Conference paper
    Luca Aceto, Kim G. Larsen, Andrea Morichetta, Francesco Tiezzi.
    A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing.
    Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers 2016 (0) 2015
    Journal article
    Kim G. Larsen.
    The EATCS Award 2016 - Call for Nominations.
    Bulletin of the EATCS 2015, Volume 117 (0) 2015
    Conference paper
    Benoît Delahaye, Ulrich Fahrenberg, Kim G. Larsen, Axel Legay.
    Refinement and Difference for Probabilistic Automata
    Logical Methods in Computer Science 2014, Volume 10 (0) 2014
    Journal article
    Kim G. 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 G. Larsen, Axel Legay.
    Stuttering for Abstract Probabilistic Automata.
    J. Log. Algebr. Program. 2014, Volume 83 (0) 2014
    Journal article
    Patricia Bouyer, Kim G. Larsen, Nicolas Markey.
    Lower-bound-constrained runs in weighted timed automata.
    Perform. Eval. 2014, Volume 73 (0) 2014
    Journal article
    Sebastian S. Bauer, Kim G. 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 G. Larsen, Radu Mardare.
    Topologies of Stochastic Markov Models: Computational Aspects.
    CoRR 2014, Volume 0 (0) 2014
    Conference paper
    Peter Gjøl Jensen, Kim G. 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 G. Larsen, Guangyuan Li.
    Efficient controller synthesis for a fragment of MTL
    Acta Inf. 2014, Volume 51 (0) 2014
    Conference paper
    Kim G. 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 G. 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 G. 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 G. 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 G. 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
    Alexandre David, Huixing Fang, Kim G. Larsen, Zhengkui Zhang.
    Verification and Performance Evaluation of Timed Game Strategies.
    Formal Modeling and Analysis of Timed Systems - 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings 2014 (0) 2014
    Journal article
    Kim G. Larsen, Radu Mardare.
    Complete proof systems for weighted modal logic.
    Theor. Comput. Sci. 2014, Volume 546 (0) 2014
    Conference paper
    Kim G. Larsen, Simon Laursen, Jirí Srba.
    Synchronizing Strategies under Partial Observability.
    CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings 2014 (0) 2014
    Conference paper
    Kim G. Larsen, Radu Mardare, Bingtian Xue.
    A Decidable Recursive Logic for Weighted Transition Systems.
    Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings 2014 (0) 2014
    Conference paper
    Manfred Jaeger, Hua Mao, Kim G. Larsen, Radu Mardare.
    Continuity Properties of Distances for Markov Processes.
    Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings 2014 (0) 2014
    Conference paper
    Kim G. Larsen, Axel Legay.
    Statistical Model Checking Past, Present, and Future - (Track Introduction).
    Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II 2014 (0) 2014
    Conference paper
    Erik Ramsgaard Wognsen, René Rydhof Hansen, Kim G. Larsen.
    Battery-Aware Scheduling of Mixed Criticality Systems.
    Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II 2014 (0) 2014
    Conference paper
    Abdeldjalil Boudjadar, Jin Hyun Kim, Kim G. Larsen, Ulrik Nyman.
    Model Checking Process Algebra of Communicating Resources for Real-Time Systems.
    26th Euromicro Conference on Real-Time Systems, ECRTS 2014, Madrid, Spain, July 8-11, 2014 2014 (0) 2014
    Conference paper
    Alexandre David, Peter Gjøl Jensen, Kim G. Larsen, Axel Legay, Didier Lime, Mathias Grund Sørensen, Jakob Haahr Taankvist.
    On Time with Minimal Expected Cost!
    Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings 2014 (0) 2014
    Journal article
    Samy Jaziri, Kim G. Larsen, Radu Mardare, Bingtian Xue.
    Adequacy and Complete Axiomatization for Timed Modal Logic.
    Electr. Notes Theor. Comput. Sci. 2014, Volume 308 (0) 2014
    Conference paper
    Abdeldjalil Boudjadar, Jin Hyun Kim, Kim G. Larsen, Ulrik Nyman.
    Compositional Schedulability Analysis of An Avionics System Using UPPAAL.
    Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, ICAASE 2014, Constantine, Algeria, November 2-4, 2014. 2014 (0) 2014
    Conference paper
    Laurent Doyen 0001, Line Juhl, Kim G. Larsen, Nicolas Markey, Mahsa Shirmohammadi.
    Synchronizing Words for Weighted and Timed Automata.
    34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India 2014 (0) 2014
    Conference paper
    Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou.
    Degree of Schedulability of Mixed-Criticality Real-Time Systems with Probabilistic Sporadic Tasks.
    2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014 2014 (0) 2014
    Conference paper
    Alexandre David, Kim G. Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen.
    Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata.
    14th International Conference on Application of Concurrency to System Design, ACSD 2014, Tunis La Marsa, Tunisia, June 23-27, 2014 2014 (0) 2014
    Conference paper
    Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou.
    Widening the Schedulability of Hierarchical Scheduling Systems.
    Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers 2015 (0) 2014
    Conference paper
    Kim G. Larsen, Radu Mardare, Bingtian Xue.
    Decidability and Expressiveness of Recursive Weighted Logic.
    Perspectives of System Informatics - 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers 2015 (0) 2014
    Conference paper
    Benoît Delahaye, Kim G. 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 G. 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 G. 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 G. 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 G. 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 G. 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 G. 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 G. 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 G. 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 G. 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
    Show item 1 to 100 of 364  

    Your query returned 364 matches in the database.