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 100 of 283  
    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
    Peter Gjøl Jensen, Kim Guldstrand 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 Guldstrand Larsen, Guangyuan Li.
    Efficient controller synthesis for a fragment of MTL
    Acta Inf. 2014, Volume 51 (0) 2014
    Conference paper
    Kim Guldstrand 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 Guldstrand 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 Guldstrand 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 Guldstrand 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 Guldstrand 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 Guldstrand 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 Guldstrand Larsen, Radu Mardare.
    Complete proof systems for weighted modal logic.
    Theor. Comput. Sci. 2014, Volume 546 (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
    Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim Guldstrand 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 Guldstrand 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
    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
    Conference paper
    Sebastian S. Bauer, Alexandre David, Rolf Hennicker, Kim Guldstrand 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 Guldstrand 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 Guldstrand 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 Guldstrand 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 Guldstrand 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 Guldstrand 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 Guldstrand 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 Guldstrand 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 Guldstrand 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 Guldstrand 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 Guldstrand 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 Guldstrand 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
    Conference paper
    Hengjun Zhao, Naijun Zhan, Deepak Kapur, Kim Guldstrand Larsen.
    A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example.
    FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings 2012 (0) 2012
    Conference paper
    Benoît Delahaye, Kim Guldstrand Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski.
    New results for Constraint Markov Chains.
    Perform. Eval. 2012, Volume 69 (0) 2012
    Conference paper
    Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Jirí Srba.
    EXPTIME-completeness of thorough refinement on modal transition systems.
    Inf. Comput. 2012, Volume 218 (0) 2012
    Conference paper
    Joost-Pieter Katoen, Kim Guldstrand Larsen.
    Quantitative Modelling and Analysis.
    Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II 2012 (0) 2012
    Conference paper
    Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis.
    Schedulability of Herschel-Planck Revisited Using Statistical Model Checking.
    Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II 2012 (0) 2012
    Conference paper
    Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards.
    Runtime Verification of Biological Systems.
    Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I 2012 (0) 2012
    Conference paper
    Hengjun Zhao, Naijun Zhan, Deepak Kapur, Kim Guldstrand Larsen.
    A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example
    CoRR 2012, Volume 0 (0) 2012
    Conference paper
    Zheng Wang, Geguang Pu, Shengchao Qin, Jianwen Li, Kim Guldstrand Larsen, Jan Madsen, Bin Gu, Jifeng He.
    MDM: A Mode Diagram Modeling Framework for Periodic Control Systems
    CoRR 2012, Volume 0 (0) 2012
    Conference paper
    Peter E. Bulychev, Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Jean-François Raskin, Pierre-Alain Reynier.
    Controllers with Minimal Observation Power (Application to Timed Systems)
    CoRR 2012, Volume 0 (0) 2012
    Conference paper
    Peter E. Bulychev, Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Jean-François Raskin, Pierre-Alain Reynier.
    Controllers with Minimal Observation Power (Application to Timed Systems).
    Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings 2012 (0) 2012
    Journal article
    Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis.
    Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach
    Proceedings Second International Workshop on Interactions, Games and Protocols, IWIGP 2012, Tallinn, Estonia, 25th March 2012. 2012, Volume 78 (0) 2012
    Journal article
    Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Danny Bøgsted Poulsen, Axel Legay, Zheng Wang.
    UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata
    Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2012, Tallinn, Estonia, 31 March and 1 April 2012. 2012, Volume 85 (0) 2012
    Journal article
    Alexandre David, Dehui Du, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards.
    Statistical Model Checking for Stochastic Hybrid Systems
    Proceedings First International Workshop on Hybrid Systems and Biology, HSB 2012, Newcastle Upon Tyne, UK, 3rd September 2012. 2012, Volume 92 (0) 2012
    Conference paper
    Alexandre David, Kim Guldstrand Larsen, Axel Legay, Mikael H. Møller, Ulrik Nyman, Anders P. Ravn, Arne Skou, Andrzej Wasowski.
    Compositional verification of real-time systems using Ecdar.
    STTT 2012, Volume 14 (0) 2012
    Conference paper
    Sebastian S. Bauer, Line Juhl, Kim Guldstrand Larsen, Axel Legay, Jirí Srba.
    Extending modal transition systems with structured labels.
    Mathematical Structures in Computer Science 2012, Volume 22 (0) 2012
    Journal article
    Sebastian S. Bauer, Ulrich Fahrenberg, Line Juhl, Kim Guldstrand Larsen, Axel Legay, Claus R. Thrane.
    Weighted Modal Transition Systems
    CoRR 2012, Volume 0 (0) 2012
    Conference paper
    Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey.
    Lower-Bound Constrained Runs in Weighted Timed Automata.
    Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012 2012 (0) 2012
    Journal article
    Kenneth Yrke Jørgensen, Kim Guldstrand Larsen, Jirí Srba.
    Time-Darts: A Data Structure for Verification of Closed Timed Automata
    Proceedings Seventh Conference on Systems Software Verification, SSV 2012, Sydney, Australia, 28-30 November 2012. 2012, Volume 102 (0) 2012
    Conference paper
    Radu Mardare, Luca Cardelli, Kim Guldstrand Larsen.
    Continuous Markovian Logics - Axiomatization and Quantified Metatheory
    Logical Methods in Computer Science 2011, Volume 8 (0) 2012
    Journal article
    Benoît Delahaye, Ulrich Fahrenberg, Kim Guldstrand Larsen, Axel Legay.
    Refinement and Difference for Probabilistic Automata
    CoRR 2012, Volume 0 (0) 2012
    Journal article
    Hua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim Guldstrand Larsen, Brian Nielsen.
    Learning Markov Decision Processes for Model Checking
    Proceedings Quantities in Formal Methods, QFM 2012, Paris, France, 28 August 2012. 2012, Volume 103 (0) 2012
    Journal article
    Kim Guldstrand Larsen, Radu Mardare, Claus R. Thrane.
    Parameterized Metatheory for Continuous Markovian Logic
    Proceedings Quantities in Formal Methods, QFM 2012, Paris, France, 28 August 2012. 2012, Volume 103 (0) 2012
    Conference paper
    Heiko Falk, Kevin Hammond, Kim Guldstrand Larsen, Björn Lisper, Stefan M. Petters.
    Code-level timing analysis of embedded software: emsoft'12 invited talk session outline.
    Proceedings of the 12th International Conference on Embedded Software, EMSOFT 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012 2012 (0) 2012
    Conference paper
    Alexandre David, Dehui Du, Kim Guldstrand Larsen, Marius Mikucionis, Arne Skou.
    An evaluation framework for energy aware buildings using statistical model checking.
    SCIENCE CHINA Information Sciences 2012, Volume 55 (0) 2012
    Conference paper
    Jianwen Li, Geguang Pu, Lijun Zhang 0001, Zheng Wang, Jifeng He, Kim Guldstrand Larsen.
    On the Relationship between LTL Normal Forms and Buechi Automata
    CoRR 2012, Volume 0 (0) 2012
    Conference paper
    Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen.
    Rewrite-Based Statistical Model Checking of WMTL.
    Runtime Verification, Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers 2013 (0) 2012
    Journal article
    Zheng Wang, Geguang Pu, Jianwen Li, Jifeng He, Shengchao Qin, Kim Guldstrand Larsen, Jan Madsen, Bin Gu.
    MDM: A Mode Diagram Modeling Framework
    Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2012, Kyoto, Japan, November 12, 2012. 2012, Volume 105 (0) 2012
    Conference paper
    Kim Guldstrand Larsen, Simon Laursen, Jirí Srba.
    Action Investment Energy Games.
    Mathematical and Engineering Methods in Computer Science, 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers 2013 (0) 2012
    Conference paper
    Kim Guldstrand Larsen, Axel Legay.
    Quantitative Modal Transition Systems.
    Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers 2013 (0) 2012
    Conference paper
    Benoît Delahaye, Joost-Pieter Katoen, Kim Guldstrand Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski.
    Abstract Probabilistic Automata.
    Verification, Model Checking, and Abstract Interpretation - 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings 2011 (0) 2011
    Journal article
    Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi 0001.
    Developing UPPAAL over 15 years.
    Softw., Pract. Exper. 2011, Volume 41 (0) 2011
    Conference paper
    Andreas Engelbredt Dalsgaard, René Rydhof Hansen, Kenneth Yrke Jørgensen, Kim Guldstrand Larsen, Mads Chr. Olesen, Petur Olsen, Jirí Srba.
    opaal: A Lattice Model Checker.
    NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Benoît Delahaye, Kim Guldstrand Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski.
    Decision Problems for Interval Markov Chains.
    Language and Automata Theory and Applications - 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Luca Cardelli, Kim Guldstrand Larsen, Radu Mardare.
    Modular Markovian Logic.
    Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II 2011 (0) 2011
    Journal article
    Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang.
    Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed Automata
    CoRR 2011, Volume 0 (0) 2011
    Conference paper
    Kim Guldstrand Larsen, Ulrich Fahrenberg, Claus R. Thrane.
    Metrics for weighted transition systems: Axiomatization and complexity.
    Theor. Comput. Sci. 2011, Volume 412 (0) 2011
    Conference paper
    Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Zheng Wang.
    Time for Statistical Model Checking of Real-Time Systems.
    Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Benoît Caillaud, Benoît Delahaye, Kim Guldstrand Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski.
    Constraint Markov Chains.
    Theor. Comput. Sci. 2011, Volume 412 (0) 2011
    Journal article
    Ulrich Fahrenberg, Claus R. Thrane, Kim Guldstrand Larsen.
    Distances for Weighted Transition Systems: Games and Properties
    Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, QAPL 2011, Saarbrücken, Germany, April 1-3, 2011. 2011, Volume 57 (0) 2011
    Conference paper
    Sebastian S. Bauer, Ulrich Fahrenberg, Line Juhl, Kim Guldstrand Larsen, Axel Legay, Claus R. Thrane.
    Quantitative Refinement for Weighted Modal Transition Systems.
    Mathematical Foundations of Computer Science 2011 - 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Patricia Bouyer, Ulrich Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey.
    Quantitative analysis of real-time systems using priced timed automata.
    Commun. ACM 2011, Volume 54 (0) 2011
    Conference paper
    Ulrich Fahrenberg, Line Juhl, Kim Guldstrand Larsen, Jirí Srba.
    Energy Games in Multiweighted Automata.
    Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey, Ocan Sankur, Claus R. Thrane.
    Timed Automata Can Always Be Made Implementable.
    CONCUR 2011 - Concurrency Theory - 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Luca Cardelli, Kim Guldstrand Larsen, Radu Mardare.
    Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas.
    Computer Science Logic, 25th International Workshop / 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway, Proceedings 2011 (0) 2011
    Conference paper
    Kim Guldstrand Larsen, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski.
    Robust Specification of Real Time Components.
    Formal Modeling and Analysis of Timed Systems - 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang.
    Statistical Model Checking for Networks of Priced Timed Automata.
    Formal Modeling and Analysis of Timed Systems - 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Mikael H. Møller, Jirí Srba.
    Parametric Modal Transition Systems.
    Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Hua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim Guldstrand Larsen, Brian Nielsen.
    Learning Probabilistic Automata for Model Checking.
    Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011 2011 (0) 2011
    Conference paper
    Benoît Delahaye, Kim Guldstrand Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski.
    APAC: A Tool for Reasoning about Abstract Probabilistic Automata.
    Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011 2011 (0) 2011
    Conference paper
    Goran Frehse, Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen.
    Monitoring Dynamical Signals While Testing Timed Aspects of a System.
    Testing Software and Systems - 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings 2011 (0) 2011
    Journal article
    Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Axel Legay.
    Distributed Parametric and Statistical Model Checking
    Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2011, Snowbird, Utah, USA, July 14, 2011. 2011, Volume 72 (0) 2011
    Conference paper
    Benoît Delahaye, Joost-Pieter Katoen, Kim Guldstrand Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski.
    New Results on Abstract Probabilistic Automata.
    11th International Conference on Application of Concurrency to System Design, ACSD 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011 2011 (0) 2011
    Show item 1 to 100 of 283  

    Your query returned 283 matches in the database.