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 337  
    Select a publication
    Show Title Venue Rating Date
    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
    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
    Kim G. Larsen, Simon Laursen, Martin Zimmermann 0002.
    Limit Your Consumption! Finding Bounds in Average-energy Games.
    CoRR 2015, Volume 0 (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
    Conference paper
    Jianwen Li, Geguang Pu, Lijun Zhang 0001, Zheng Wang, Jifeng He, Kim G. 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 G. 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 G. 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 G. 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 G. 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 G. 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 G. 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
    Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou.
    Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal.
    Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers 2014 (0) 2013
    Conference paper
    Kim G. Larsen, Axel Legay.
    Probabilistic Modal Specifications (Invited Extended Abstract).
    Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers 2014 (0) 2013
    Book chapter
    Ulrich Fahrenberg, Kim G. Larsen, Axel Legay, Claus R. Thrane.
    Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems.
    Engineering Dependable Software Systems 2013, Volume 34 (0) 2013
    Journal article
    Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski.
    Abstract Probabilistic Automata.
    Inf. Comput. 2013, Volume 232 (0) 2013
    Conference paper
    Kasper Søe Luckow, Thomas Bøgholm, Bent Thomsen, Kim G. Larsen.
    TetaSARTS: a tool for modular timing analysis of safety critical Java systems.
    The 11th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES '13, Karlsruhe, Germany, October 9-11, 2013 2013 (0) 2013
    Conference paper
    Miroslav Klimos, Kim G. 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 G. 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 G. 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
    Conference paper
    Sebastian S. Bauer, Alexandre David, Rolf Hennicker, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski.
    Moving from Specifications to Contracts in Component-Based Design.
    Fundamental Approaches to Software Engineering - 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings 2012 (0) 2012
    Conference paper
    Yingke Chen, Hua Mao, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, Brian Nielsen.
    Learning Markov Models for Stationary System Behaviors.
    NASA Formal Methods - 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings 2012 (0) 2012
    Conference paper
    Peter E. Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen.
    Checking and Distributing Statistical Model Checking.
    NASA Formal Methods - 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings 2012 (0) 2012
    Conference paper
    Marius Bozga, Alexandre David, Arnd Hartmanns, Holger Hermanns, Kim G. Larsen, Axel Legay, Jan Tretmans.
    State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems.
    2012 Design, Automation Test in Europe Conference Exhibition, DATE 2012, Dresden, Germany, March 12-16, 2012 2012 (0) 2012
    Conference paper
    Qi Lu, Michael Madsen, Martin Milata, Søren Ravn, Ulrich Fahrenberg, Kim G. Larsen.
    Reachability analysis for timed automata using max-plus algebra.
    J. Log. Algebr. Program. 2012, Volume 81 (0) 2012
    Conference paper
    Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski.
    Consistency and refinement for Interval Markov Chains.
    J. Log. Algebr. Program. 2012, Volume 81 (0) 2012
    Conference paper
    Line Juhl, Kim G. Larsen, Jirí Srba.
    Modal transition systems with weight intervals.
    J. Log. Algebr. Program. 2012, Volume 81 (0) 2012
    Conference paper
    Thomas Bøgholm, Bent Thomsen, Kim G. Larsen, Alan Mycroft.
    Schedulability Analysis Abstractions for Safety Critical Java.
    15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2012, Shenzhen, China, April 11-13, 2012 2012 (0) 2012
    Conference paper
    Kim G. Larsen, Radu Mardare, Prakash Panangaden.
    Taking It to the Limit: Approximate Reasoning for Markov Processes.
    Mathematical Foundations of Computer Science 2012 - 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings 2012 (0) 2012
    Conference paper
    Sebastian S. Bauer, Line Juhl, Kim G. Larsen, Jirí Srba, Axel Legay.
    A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata.
    Sixth International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, 4-6 July 2012, Beijing, China 2012 (0) 2012
    Conference paper
    Kim G. Larsen.
    Statistical Model Checking, Refinement Checking, Optimization, ... for Stochastic Hybrid Systems.
    Formal Modeling and Analysis of Timed Systems - 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings 2012 (0) 2012
    Conference paper
    Andreas Engelbredt Dalsgaard, Alfons Laarman, Kim G. Larsen, Mads Chr. Olesen, Jaco van de Pol.
    Multi-core Reachability for Timed Automata.
    Formal Modeling and Analysis of Timed Systems - 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings 2012 (0) 2012
    Show item 1 to 100 of 337  

    Your query returned 337 matches in the database.