Kim Guldstrand Larsen

  1. 2017
  2. Udgivet

    Average-energy games. / Laursen, Simon; Larsen, Kim Guldstrand; Markey, Nicolas; Bouyer, Patricia; Randour, Mickael.

    I: Acta Informatica, 2017, s. 1-37.

    Publikation: Forskning - peer reviewTidsskriftartikel

  3. Accepteret/In press
  4. Udgivet

    Dependable and optimal cyber-physical systems. / Larsen, Kim Guldstrand.

    SOFSEM 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Proceedings. Bind 10139 LNCS Springer Verlag, 2017. s. 3-10.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  5. Accepteret/In press
  6. Udgivet

    Extended dependency graphs and efficient distributed fixed-point computation. / Dalsgaard, Andreas E.; Enevoldsen, Søren; Fogh, Peter; Jensen, Lasse S.; Jepsen, Tobias S.; Kaufmann, Isabella; Larsen, Kim G.; Nielsen, Søren M.; Olesen, Mads Chr; Pastva, Samuel; Srba, Jiří.

    Application and Theory of Petri Nets and Concurrency - 38th International Conference, PETRI NETS 2017, Proceedings. Bind 10258 LNCS Springer Verlag, 2017. s. 139-158.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  7. Accepteret/In press
  8. Udgivet

    Mutation-Based Test-Case Generation with Ecdar. / Larsen, Kim G.; Lorber, Florian; Nielsen, Brian; Nyman, Ulrik M.

    Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017. IEEE, 2017. s. 319-328 7899077.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  9. Under udarbejdelse

    Uppaal Stratego for Intelligent Traffic Lights. / Eriksen, Andreas Berre; Huang, Chao; Kildebogaard, Jan; Lahrmann, Harry Spaabæk; Larsen, Kim Guldstrand; Muniz, Marco; Taankvist, Jakob Haahr.

    12th ITS European Congress: Strasbourg, France, 19-22 June 2017. ERTICO - ITS Europe, 2017. SP0878.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  10. Udgivet

    Validation, synthesis and optimization for cyber-physical systems. / Larsen, Kim Guldstrand.

    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, Proceedings. Bind 10205 LNCS Springer Verlag, 2017. s. 3-20.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  11. Udgivet

    WNetKAT: A Weighted SDN Programming and Verification Language. / Larsen, Kim Guldstrand; Schmid, Stefan; Xue, Bingtian.

    20th International Conference on Principles of Distributed Systems (OPODIS). Schloss Dagstuhl. Leibniz-Zentrum für Informatik, 2017.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  12. 2016
  13. Udgivet

    A Complete Approximation Theory for Weighted Transition Systems. / Hansen, Mikkel; Larsen, Kim Guldstrand; Mardare, Radu Iulian; Pedersen, Mathias Ruggaard; Xue, Bingtian.

    Dependable Software Engineering: Theories, Tools, and Applications: Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings. red. / Martin Fränzle; Deepak Kapur; Naijun Zhan. Springer, 2016. s. 213-228.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  14. Udgivet

    A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing. / Aceto, Luca; Larsen, Kim Guldstrand; Morichetta, Andrea; Tiezzi, Francesco.

    Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers. Bind 9539 Springer, 2016. s. 66-85.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  15. Udgivet

    A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems. / Chadli, Monir; Kim, Jin Hyun; Legay, Axel; Traonouez, Louis Marie; Naujokat, Stefan ; Bernhard, Steffen; Larsen, Kim Guldstrand.

    Critical Systems: Formal Methods and Automated Verification. Springer, 2016. s. 133–141.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  16. Udgivet

    An Automata-Based Approach to Trace Partitioned Abstract Interpretation. / Olesen, Mads Chr.; Hansen, Rene Rydhof; Larsen, Kim Guldstrand.

    Semantics, Logics and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays. Springer, 2016. s. 88-110.

    Publikation: Forskning - peer reviewBidrag til bog/antologi

  17. Udgivet

    Automatic Verification, Performance Analysis, Synthesis and Optimization of Timed Systems. / Larsen, Kim Guldstrand.

    PROCEEDINGS, 23rd International Symposium on Temporal Representation and Reasoning: TIME 2016. IEEE, 2016.

    Publikation: Forskning - peer reviewKonferenceabstrakt i proceeding

  18. Udgivet

    Complete Axiomatization for the Bisimilarity Distance on Markov Chains. / Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim Guldstrand; Mardare, Radu Iulian.

    27th International Conference on Concurrency Theory (CONCUR 2016). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, 2016. s. 21:1--21:14.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  19. Udgivet

    Distributed Algorithms for Time Optimal Reachability Analysis. / Zhang, Zhengkui; Nielsen, Brian; Larsen, Kim Guldstrand.

    Formal Modeling and Analysis of Timed Systems. Springer, 2016. s. 157-176.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  20. Udgivet

    Distributed computation of fixed points on dependency graphs. / Dalsgaard, Andreas Engelbredt; Enevoldsen, Søren; Larsen, Kim Guldstrand; Srba, Jiri.

    Dependable Software Engineering: Theories, Tools, and Applications. Springer, 2016. s. 197-212.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  21. Udgivet
  22. Udgivet

    Energy-Aware Scheduling of FIR Filter Structures using a Timed Automata Model. / Wognsen, Erik Ramsgaard; Hansen, Rene Rydhof; Larsen, Kim Guldstrand; Koch, Peter.

    2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS). IEEE, 2016. s. 163-168.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  23. Udgivet

    Formal modelling and analysis of Bitflips in ARM assembly code. / Hansen, Rene Rydhof; Larsen, Kim Guldstrand; Olesen, Mads Chr.; Wognsen, Erik Ramsgaard.

    I: Information Systems Frontiers, Bind 18, Nr. 5, 27.06.2016, s. 909–925.

    Publikation: Forskning - peer reviewKonferenceartikel i tidsskrift

  24. Udgivet

    Importance Sampling for Stochastic Timed Automata. / Jegourel, Cyrille; Larsen, Kim Guldstrand; Legay, Axel; Mikučionis, Marius; Poulsen, Danny Bøgsted; Sedwards, Sean.

    Dependable Software Engineering: Theories, Tools, and Applications. red. / Martin Fränzle; Deepak Kapur; Naijin Zhan. Springer, 2016. s. 163-178.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  25. Udgivet

    Learning deterministic probabilistic automata from a model checking perspective. / Mao, Hua; Chen, Yingke; Jaeger, Manfred; Nielsen, Thomas D.; Larsen, Kim G.; Nielsen, Brian.

    I: Machine Learning, Bind 105, Nr. 2, 2016, s. 255-299.

    Publikation: Forskning - peer reviewTidsskriftartikel

  26. Udgivet

    Limit Your Consumption! Finding Bounds in Average-energy Games. / Larsen, Kim Guldstrand; Laursen, Simon; Zimmermann, Martin.

    Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems, QAPL'16 2016, Eindhoven, The Netherlands, April 2-3, 2016. red. / Mirco Tribastone; Herbert Wiklicky. 2016. s. 1-14.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  27. Udgivet

    Mastering operational limitations of LEO satellites - The GOMX3 approach. / Nies, Gilles; Stenger, Marvin; Krčál, Jan; Hermanns, Holger; Bisgaard, Morten; Gerhardt, David; Haverkort, Boudewijn; Jongerden, Marijn; Larsen, Kim G.; Wognsen, Erik R.

    67th International Astronautical Congress, IAC 2016. The International Astronautical Federation, 2016.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  28. Udgivet

    Modelling Attack-defense Trees Using Timed Automata. / Gadyatskaya, Olga; Hansen, Rene Rydhof; Larsen, Kim Guldstrand; Legay, Axel; Olesen, Mads Chr.; Poulsen, Danny Bøgsted.

    Formal Modeling and Analysis of Timed Systems. Springer, 2016. s. 35-50.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  29. Udgivet

    Online and Compositional Learning of Controllers with Application to Floor Heating. / Larsen, Kim Guldstrand; Mikučionis, Marius; Muniz, Marco; Srba, Jiri; Taankvist, Jakob Haahr.

    Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016. Springer, 2016. s. 244-259.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  30. Udgivet

    On the Power of Statistical Model Checking. / Larsen, Kim Guldstrand; Legay, Axel.

    Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. Springer, 2016. s. 843–862.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  31. Udgivet

    Optimizing the resource requirements of hierarchical scheduling systems. / Kim, Jin Huin ; Legay, Axel; Traonouez, Louis Marie; Boudjadar, Abdeldjalil; Nyman, Ulrik Mathias; Larsen, Kim Guldstrand; Lee, Insup ; Choi, Jin-Young.

    I: SIGBED Review, Bind 13, Nr. 3, 2016.

    Publikation: Forskning - peer reviewTidsskriftartikel

  32. Udgivet

    Probabilistic Mu-Calculus : Decidability and Complete Axiomatization. / Larsen, Kim Guldstrand; Mardare, Radu Iulian; Xue, Bingtian.

    36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science: FSTTCS 2016, December 13-15, 2016, Chennai, India. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2016. s. 25:1-25:18.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  33. Udgivet

    Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization. / Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Srba, Jiri.

    Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings. Springer, 2016. s. 129-146.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  34. Udgivet
  35. Udgivet

    Statistical Model Checking : Past, Present, and Future. / Larsen, Kim Guldstrand; Legay, Axel.

    Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. Springer, 2016. s. 3–15.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  36. Udgivet

    Time Optimal Reachability Analysis Using Swarm Verification. / Zhang, Zhengkui; Nielsen, Brian; Larsen, Kim Guldstrand.

    Proceedings of the 31st Annual ACM Symposium on Applied Computing. Bind SAC '16 New York, NY, USA : Association for Computing Machinery, 2016. s. 1634-1640.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  37. Udgivet

    Toolchain for User-Centered Intelligent Floor Heating Control. / Agesen, Mads Kronborg; Larsen, Kim Guldstrand; Mikučionis, Marius; Muniz, Marco; Olsen, Petur; Pedersen, Thomas; Srba, Jiri; Skou, Arne Joachim.

    IECON 2016 - 42nd Annual Conference of the IEEE Industrial Electronics Society. IEEE, 2016. s. 5296-5301.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  38. Udgivet

    Weighted Branching Simulation Distance for Parametric Weighted Kripke Structures. / Foshammer, Louise; Larsen, Kim Guldstrand; Mariegaard, Anders.

    Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters (Cassting'16/SynCoP'16). 2016. s. 63-75.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  39. 2015
  40. Udgivet
  41. Udgivet
  42. Udgivet

    A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems. / Wognsen, Erik Ramsgaard; Haverkort, Boudewijn; Jongerden, Marijn; Hansen, Rene Rydhof; Larsen, Kim Guldstrand.

    Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings. Springer, 2015. s. 305-320.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  43. Udgivet

    Average-energy games. / Bouyer, Patricia; Markey, Nicolas; Randour, Mickael; Larsen, Kim Guldstrand; Laursen, Simon.

    Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification . Open Publishing Association, 2015. s. 1-15.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  44. Udgivet

    Compositional metric reasoning with probabilistic process calculi. / Gebler, Daniel; Larsen, Kim Guldstrand; Tini, Simone.

    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. red. / Andrew Pitts. Springer, 2015. s. 230-245.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  45. Udgivet

    Concurrent weighted logic. / Xue, Bingtian; Larsen, Kim Guldstrand; Mardare, Radu Iulian.

    I: Journal of Logical and Algebraic Methods in Programming, Bind 84, Nr. 6, 2015, s. 884–897.

    Publikation: Forskning - peer reviewTidsskriftartikel

  46. Udgivet

    Converging from Branching to Linear Metrics on Markov Chains. / Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim Guldstrand; Mardare, Radu Iulian.

    Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings. red. / Martin Leucker; Camilo Rueda; Frank D. Valencia. Springer, 2015. s. 349-367.

    Publikation: Forskning - peer reviewBidrag til bog/antologi

  47. Udgivet

    Co-Simulation of Hybrid Systems with SpaceEx and Uppaal. / Bogomolov, Sergiy; Greitschus, Marius; Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Mikučionis, Marius; Strump, Thomas; Tripakis, Stavros.

    11th International Modelica Conference Proceedings. Linköping University Electronic Press, 2015.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  48. Udgivet

    CAAL : Concurrency Workbench, Aalborg Edition. / Reimer Andersen, Jesper; Andersen, Nicklas; Enevoldsen, Søren; Munk Hansen, Mathias; Larsen, Kim Guldstrand; Reedtz Olesen, Simon; Srba, Jiri; Wortmann, Jacob Karstensen.

    Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings. red. / Martin Leucker; Camilo Rueda; Frank D. Valencia. Netherlands : Springer, 2015. s. 573-582.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  49. Udgivet

    Decidability and Expressiveness of Recursive Weighted Logic. / Xue, Bingtian; Larsen, Kim Guldstrand; Mardare, Radu Iulian.

    Perspectives of Systems Informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. red. / Andrei Voronkov; Irina Virbitskaite. Springer, 2015. s. 216-231.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  50. Udgivet

    Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks. / Boudjadar, Jalil; Kim, Jin Hyun; David, Alexandre; Larsen, Kim Guldstrand; Mikucionis, Marius; Nyman, Ulrik; Skou, Arne; Lee, Insup; Thi Xuan Phan, Linh.

    18th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2015. IEEE, 2015. s. 74-83.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  51. Udgivet

    Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools. / Kim, Jin Hyun; Larsen, Kim Guldstrand; Nielsen, Brian; Mikučionis, Marius; Olsen, Petur.

    Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings. red. / Manuel Núñez; Matthias Güdemann. Springer, 2015. s. 47-61.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  52. Udgivet

    Formal Methods for Modelling and Analysis of Single-Event Upsets. / Hansen, Rene Rydhof; Larsen, Kim Guldstrand; Olesen, Mads Chr.; Wognsen, Erik Ramsgaard.

    IEEE International Conference on Information Reuse and Integration (IRI 2015). IEEE, 2015. s. 287-294.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  53. Udgivet

    Language Emptiness of Continuous-Time Parametric Timed Automata. / Benes, Nikola; Bezdek, Peter; Larsen, Kim Guldstrand; Srba, Jiri.

    Automata, Languages, and Programming: 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II. red. / Magnús M. Halldórsson; Kazuo Iwama; Naoki Kobayashi; Bettina Speckmann. Springer, 2015. s. 69-81.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  54. Udgivet

    Model checking of finite-state machine-based scenario-aware dataflow using timed automata. / Skelin, Mladen; Wognsen, Erik Ramsgaard; Olesen, Mads Chr; Hansen, Rene Rydhof; Larsen, Kim Guldstrand.

    2015 10th IEEE International Symposium on Industrial Embedded Systems, SIES 2015 - Proceedings. IEEE, 2015. s. 235-244 7185065.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  55. Udgivet

    Modelling Socio-Technical Attacks with Timed Automata. / David, Nicolas; David, Alexandre; Hansen, Rene Rydhof; Larsen, Kim Guldstrand; Legay, Axel; Olesen, Mads Chr.; Probst, Christian.

    Proceedings of the 7th ACM CCS International Workshop on Managing Insider Security Threats. Association for Computing Machinery, 2015. s. 21-28.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  56. Udgivet

    On the Total Variation Distance of Semi-Markov Chains. / Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim Guldstrand; Mardare, Radu Iulian.

    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. red. / Andrew Pitts. Bind 9034 Springer, 2015. s. 185-199.

    Publikation: Forskning - peer reviewBidrag til bog/antologi

  57. Udgivet

    Parametric Verification of Weighted Systems. / Christoffersen, Peter; Hansen, Mikkel; Mariegaard, Anders; Ringsmose, Julian Trier; Larsen, Kim Guldstrand; Mardare, Radu Iulian.

    I: Open Access Series in Informatics, Bind 44, 2015, s. 77-90.

    Publikation: Forskning - peer reviewKonferenceartikel i tidsskrift

  58. Udgivet

    Polynomial Time Decidability of Weighted Synchronization under Partial Observability. / Kretínsky, Jan; Larsen, Kim Guldstrand; Laursen, Simon; Srba, Jiri.

    26th International Conference on Concurrency Theory (CONCUR 2015). red. / Luca Aceto; David de Frutos Escrig. Germany : Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2015. s. 142-154.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  59. Udgivet

    Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context. / Kim, Jin Hyun; Boudjadar, Jalil; Nyman, Ulrik; Mikucionis, Marius; Larsen, Kim Guldstrand; Skou, Arne; Lee, Insup; Thi Xuan Phan, Linh.

    CBSE'15, Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering. Association for Computing Machinery, 2015. s. 91-100.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  60. Udgivet
  61. Udgivet

    Refinement Checking on Parametric Modal Transition Systems. / Benes, Nikola; Kretínsky, Jan; Larsen, Kim Guldstrand; Møller, Mikael Harkjær; Sickert, Salomon; Srba, Jiri.

    I: Acta Informatica, Bind 52, Nr. 2, 2015, s. 269-297.

    Publikation: Forskning - peer reviewTidsskriftartikel

  62. Udgivet

    Resource-Parameterized Timing Analysis of Real-Time Systems. / Kim, Jin Hyun ; Legay, Axel; Larsen, Kim Guldstrand; Mikučionis, Marius; Nielsen, Brian.

    Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings. red. / Nir Piterman. Springer, 2015. s. 190-205.

    Publikation: Forskning - peer reviewBidrag til bog/antologi

  63. Udgivet

    Safe and Optimal Adaptive Cruise Control. / Larsen, Kim Guldstrand; Mikučionis, Marius; Taankvist, Jakob Haahr.

    Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday. red. / Roland Meyer; André Platzer; Heike Wehrheim. Springer, 2015. s. 260-277.

    Publikation: Forskning - peer reviewBidrag til bog/antologi

  64. Udgivet
  65. Accepteret/In press

    Statistical Model Checking in Uppaal : Lets Practice. / David, Alexandre; Larsen, Kim Guldstrand; Legay, Axel; Mikučionis, Marius.

    First Workshop on Statistical Model Checking (SMC), 2013. red. / Axel Legay; Kim G. Larsen; Serge Haddad. Electronic Proceedings in Theoretical Computer Science, 2015.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  66. Udgivet
  67. Udgivet

    Uppaal Stratego. / David, Alexandre; Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Mikučionis, Marius; Taankvist, Jakob Haahr.

    Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015. red. / Christel Baier; Cesare Tinelli. London, UK : Springer, 2015. s. 206-211.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  68. Udgivet
  69. Udgivet

    Widening the Schedulability Hierarchical Scheduling Systems. / Boudjadar, Jalil; David, Alexandre; Kim, Jin Hyun; Larsen, Kim Guldstrand; Mikučionis, Marius; Nyman, Ulrik; Skou, Arne.

    Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers. red. / Ivan Lanese; Eric Madelaine. Springer, 2015. s. 209-227.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  70. 2014
  71. Udgivet

    A Decidable Recursive Logic for Weighted Transition Systems. / Xue, Bingtian; Larsen, Kim Guldstrand; Mardare, Radu Iulian.

    Theoretical Aspects of Computing – ICTAC 2014: 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings. red. / Gabriel Ciobanu; Dominique Méry. Bind 8687 Springer Publishing Company, 2014. s. 460-476.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  72. Udgivet

    A decidable recursive logic forweighted transition systems. / Larsen, Kim Guldstrand; Mardare, Radu; Xue, Bingtian.

    Theoretical Aspects of Computing – ICTAC 2014 : 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings. Bind 8687 Springer, 2014. s. 460-476.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  73. Udgivet

    Adequacy and Complete Axiomatization for Timed Modal Logic. / Jaziri, Samy; Larsen, Kim Guldstrand; Mardare, Radu Iulian; Xue, Bingtian.

    Electronic Notes in Theoretical Computer Science: Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXX). red. / Bart Jacobs; Alexandra Silva; Sam Staton. Bind 308 Ithaca, New York : Elsevier Science, 2014. s. 183-210.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  74. Udgivet

    A modal specification theory for components with data. / Bauer, Sebastian S.; Larsen, Kim G.; Legay, Axel; Nyman, Ulrik; Wasowski, Andrzej.

    I: Science of Computer Programming, Bind 83, 01.04.2014, s. 106–128.

    Publikation: Forskning - peer reviewTidsskriftartikel

  75. Udgivet

    Battery-Aware Scheduling of Mixed Criticality Systems. / Wognsen, Erik Ramsgaard; Hansen, Rene Rydhof; Larsen, Kim Guldstrand.

    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. red. / Tiziana Margaria; Bernhard Steffen. Bind 8803 Springer Publishing Company, 2014. s. 208-222.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  76. Udgivet

    Bisimulation on Markov Processes over Arbitrary Measurable Spaces. / Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim Guldstrand; Mardare, Radu Iulian.

    Horizons of the Mind. A Tribute to Prakash Panangaden: Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday. red. / Frank van Breugel; Elham Kashefi; Catuscia Palamidessi; Jan Rutten. Bind 8464 Springer Publishing Company, 2014. s. 76-95.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  77. Udgivet

    Complete proof systems for weighted modal logic. / Larsen, Kim G.; Mardare, Radu.

    I: Theoretical Computer Science, Bind 546, 21.08.2014, s. 164-175.

    Publikation: Forskning - peer reviewTidsskriftartikel

  78. Udgivet

    Compositional Schedulability Analysis of An Avionics System Using UPPAAL. / Boudjadar, Jalil; Larsen, Kim Guldstrand; Kim, Jin Hyun; Nyman, Ulrik.

    Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, {ICAASE} 2014, Constantine, Algeria, November 2-4, 2014. Bind 1294 CEUR Workshop Proceedings, 2014. s. 140-147.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  79. Udgivet

    Continuity Properties of Distances for Markov Processes. / Jaeger, Manfred; Mao, Hua; Larsen, Kim Guldstrand; Mardare, Radu Iulian.

    Quantitative Evaluation of Systems: 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings. red. / Gethin Norman; William Sanders. Bind 8657 Springer, 2014. s. 297-312.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  80. Udgivet

    Degree of Schedulability of Mixed-Criticality Real-time Systems with Probabilistic Sporadic Tasks. / Boudjadar, Jalil; David, Alexandre; Kim, Jin Hyun; Larsen, Kim Guldstrand; Nyman, Ulrik; Skou, Arne; Mikučionis, Marius.

    Theoretical Aspects of Software Engineering Conference (TASE), 2014. IEEE Computer Society Press, 2014. s. 126-130.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  81. Udgivet

    Efficient Controller Synthesis for a Fragment of MTL(0,∞). / Bulychev, Petr; David, Alexandre; Larsen, Kim G.; Li, Guangyuan.

    I: Acta Informatica, Bind 51, Nr. 3-4, 01.01.2014, s. 165-192.

    Publikation: Forskning - peer reviewTidsskriftartikel

  82. Udgivet

    Formal verification and simulation for platform screen doors and collision avoidance in subway control systems. / Fang, Huixing; Shi, Jianqi; Zhu, Huibiao; Guo, Jian ; Larsen, Kim Guldstrand; David, Alexandre.

    I: International Journal on Software Tools for Technology Transfer, Bind 16, Nr. 4, 2014, s. 339-361.

    Publikation: Forskning - peer reviewTidsskriftartikel

  83. Udgivet

    Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal. / Boudjadar, Jalil; David, Alexandre; Kim, Jin Hyun; Larsen, Kim Guldstrand; Mikučionis, Marius; Nyman, Ulrik; Skou, Arne.

    Proceedings of Formal Aspects of Component Software (FACS), 2013. red. / José Luiz Fiadeiro; Zhiming Liu; Jinyun Xue. Bind 8348 Springer Publishing Company, 2014. s. 61-78 6.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  84. Udgivet

    Lower-bound-constrained runs in weighted timed automata. / Bouyer, Patricia; Larsen, Kim Guldstrand; Markey, Nicolas.

    I: Performance Evaluation, Bind 73, 73, 19.05.2014, s. 91-109.

    Publikation: Forskning - peer reviewKonferenceartikel i tidsskrift

  85. Udgivet

    Memory Efficient Data Structures for Explicit Verification of Timed Systems. / Taankvist, Jakob Haahr; Srba, Jiri; Larsen, Kim Guldstrand; Sørensen, Mathias Grund; Jensen, Peter Gjøl.

    NASA Formal Methods. red. / Julia M. Badger; Kristin Yvonne Rozier. Bind 8430 Springer Publishing Company, 2014. s. 307-312.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  86. Udgivet

    Model Checking Process Algebra of Communicating Resources for Real-time Systems. / Boudjadar, Jalil; Kim, Jin Hyun; Larsen, Kim Guldstrand; Nyman, Ulrik.

    Proceedings of ECRTS 2014. IEEE Press, 2014. s. 51-60.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  87. Udgivet
  88. Udgivet

    On Time with Minimal Expected Cost! / David, Alexandre; Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Legay, Axel; Lime, Didier; Sørensen, Mathias Grund; Taankvist, Jakob Haahr.

    Automated Technology for Verification and Analysis. red. / Franck Cassez; Jean-François Raskin. Bind 8837 Springer Publishing Company, 2014. s. 129-145.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  89. Udgivet

    Parametric and Quantitative Extensions of Modal Transition Systems. / Fahrenberg, Uli; Larsen, Kim Guldstrand; Legay, Axel; Traonouez, Louis-Marie.

    From Programs to Systems.: The Systems perspective in Computing. red. / Saddek Bensalem; Yassine Lakhneck; Axel Legay. Bind 8415 Springer, 2014. s. 84-97.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  90. Udgivet

    Probabilistic modal specifications (invited extended abstract). / Larsen, Kim G.; Legay, Axel.

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Bind 8348 LNCS Springer, 2014. s. 1-4.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  91. Udgivet

    Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata. / David, Alexandre; Larsen, Kim Guldstrand; Legay, Axel; Guangyuan, Li; Poulsen, Danny Bøgsted.

    14th International Conference on Application of Concurrency to System Design (ACSD), 2014. IEEE Computer Society Press, 2014. s. 32 - 41.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  92. Udgivet

    Refinement and Difference for Probabilistic Automata. / Larsen, Kim Guldstrand; Delahaye, Benoit; Fahrenberg, Uli; Legay, Axel.

    I: Logical Methods in Computer Science, Bind 10, Nr. 3, 28.02.2014, s. 1-32.

    Publikation: Forskning - peer reviewKonferenceartikel i tidsskrift

  93. Udgivet

    Robust synthesis for real-time systems. / Larsen, Kim Guldstrand; Legay, Axel; Traonouez, Louis-Marie; Wasowski, Andrzej.

    I: Theoretical Computer Science, Bind 515, 02.01.2014, s. 92-122.

    Publikation: Forskning - peer reviewKonferenceartikel i tidsskrift

  94. Udgivet
  95. Udgivet
  96. Udgivet
  97. Udgivet

    Statistical model checking past, present, and future (Track Introduction). / Larsen, Kim G.; Legay, Axel.

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Bind 8803 Springer, 2014. s. 135-142.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  98. Udgivet

    Stuttering for abstract probabilistic automata. / Delahaye, Benoit; Larsen, Kim Guldstrand; Legay, Axel.

    I: Journal of Logic and Algebraic Programming, Bind 83, Nr. 1, 2014, s. 1-19.

    Publikation: Forskning - peer reviewKonferenceartikel i tidsskrift

  99. Udgivet

    Synchronizing Strategies under Partial Observability. / Larsen, Kim Guldstrand; Laursen, Simon; Srba, Jiri.

    CONCUR 2014 – Concurrency Theory. red. / Paolo Baldan; Daniele Gorla. Bind 8704 Springer Publishing Company, 2014. s. 188-202.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  100. Udgivet

    Synchronizing words for weighted and timed automata. / Doyen, Laurent; Juhl, Line; Larsen, Kim G.; Markey, Nicolas; Shirmohammadi, Mahsa.

    Leibniz International Proceedings in Informatics, LIPIcs. Bind 29 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2014. s. 121-132.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  101. Udgivet

    The Behavior of Probabilistic Systems : From Equivalences to Behavioral Distances. / Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim Guldstrand; Mardare, Radu Iulian.

    Essays for the Luca Cardelli Fest: Essays dedicated to Luca Cardelli, on the Occasion of His 60th Birthday. red. / Martin Abadi; Philippa Gardner; Andrew D. Gordon; Radu Mardare. Microsoft Research, 2014. s. 15-26.

    Publikation: Forskning - peer reviewBidrag til rapport

  102. Udgivet

    Verification and Performance Analysis of Embedded and Cyber-Physical Systems using UPPAAL. / Larsen, Kim Guldstrand.

    PECCS 2014 -- Proceedings of the 4th International Conference on Pervasive and Embedded Computing and Communication Systems. SCITEPRESS Digital Library, 2014. s. IS-9.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  103. Udgivet

    Verification and Performance Evaluation of Timed Game Strategies. / David, Alexandre; Fang, Huixing; Larsen, Kim Guldstrand; Zhang, Zhengkui.

    Formal Modeling and Analysis of Timed Systems. red. / Axel Legay; Marius Bozga. Bind 8711 Springer, 2014. s. 100-114.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  104. 2013
  105. Udgivet

    Abstract probabilistic automata. / Delahaye, Benoit; Katoen, Joost Pieter; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Sher, Falak; Wa̧sowski, Andrzej.

    I: Information and Computation, Bind 232, 04.11.2013, s. 66-116.

    Publikation: Forskning - peer reviewTidsskriftartikel

Forrige 1 2 3 4 5 Næste