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. Vol. 10139 LNCS Springer Verlag, 2017. s. 3-10 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10139 LNCS).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  5. 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. Vol. 10258 LNCS Springer Verlag, 2017. s. 139-158 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10258 LNCS).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  6. 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

  7. 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

  8. 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. Vol. 10205 LNCS Springer Verlag, 2017. s. 3-20 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10205 LNCS).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  9. 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. (Leibniz International Proceedings in Informatics; Nr. 70).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  10. 2016
  11. 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 (Lecture Notes in Computer Science, Vol. 9984).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  12. 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. Vol. 9539 Springer, 2016. s. 66-85 (Lecture Notes in Computer Science, Vol. 9539).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  13. 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 (Lecture Notes in Computer Science, Vol. 9933).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  14. 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 (Lecture Notes in Computer Science, Vol. 9560).

    Publikation: Forskning - peer reviewBidrag til bog/antologi

  15. 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

  16. 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 (Leibniz International Proceedings in Informatics, Vol. 59).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  17. 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 (Lecture Notes in Computer Science, Vol. 9884).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  18. 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 (Lecture Notes in Computer Science, Vol. 9984).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  19. Udgivet
  20. 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

  21. 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, Vol. 18, Nr. 5, 27.06.2016, s. 909–925.

    Publikation: Forskning - peer reviewKonferenceartikel i tidsskrift

  22. 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 (Lecture Notes in Computer Science, Vol. 9984).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  23. 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, Vol. 105, Nr. 2, 2016, s. 255-299.

    Publikation: Forskning - peer reviewTidsskriftartikel

  24. 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 (Electronic Proceedings in Theoretical Computer Science, Vol. 227).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  25. 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. (Proceedings of the International Astronautical Congress, IAC).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  26. 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 (Lecture Notes in Computer Science, Vol. 9884).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  27. 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 (Lecture Notes in Computer Science, Vol. 9636).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  28. 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 (Lecture Notes in Computer Science, Vol. 9953).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  29. 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, Vol. 13, Nr. 3, 2016.

    Publikation: Forskning - peer reviewTidsskriftartikel

  30. 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 (Leibniz International Proceedings in Informatics, Vol. 65).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  31. 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 (Lecture Notes in Computer Science, Vol. 9641).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  32. Udgivet
  33. 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 (Lecture Notes in Computer Science, Vol. 9952).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  34. 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. Vol. SAC '16 New York, NY, USA : Association for Computing Machinery, 2016. s. 1634-1640.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  35. 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

  36. 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 (Electronic Proceedings in Theoretical Computer Science).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  37. 2015
  38. Udgivet
  39. Udgivet
  40. 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 (Lecture Notes in Computer Science, Vol. 9268).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  41. 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 (Electronic Proceedings in Theoretical Computer Science).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  42. 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 (Lecture Notes in Computer Science, Vol. 9034).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  43. Udgivet

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

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

    Publikation: Forskning - peer reviewTidsskriftartikel

  44. 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 (Lecture Notes in Computer Science; Nr. 9399).

    Publikation: Forskning - peer reviewBidrag til bog/antologi

  45. 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

  46. 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 (Lecture Notes in Computer Science; Nr. 9399).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  47. 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 (Lecture Notes in Computer Science; Nr. 8974).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  48. 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 (International Symposium on Object-Oriented Real-Time Distributed Computing).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  49. 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 (Lecture Notes in Computer Science; Nr. 9128).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  50. 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

  51. 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 (Lecture Notes in Computer Science; Nr. 9135).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  52. 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

  53. 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

  54. 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. Vol. 9034 Springer, 2015. s. 185-199 (Lecture Notes in Computer Science).

    Publikation: Forskning - peer reviewBidrag til bog/antologi

  55. 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, Vol. 44, 2015, s. 77-90.

    Publikation: Forskning - peer reviewKonferenceartikel i tidsskrift

  56. 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 (Leibniz International Proceedings in Informatics, Vol. 42).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  57. 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

  58. Udgivet
  59. 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, Vol. 52, Nr. 2, 2015, s. 269-297.

    Publikation: Forskning - peer reviewTidsskriftartikel

  60. 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 (Lecture Notes in Computer Science; Nr. 9434).

    Publikation: Forskning - peer reviewBidrag til bog/antologi

  61. 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 (Lecture Notes in Computer Science; Nr. 9360).

    Publikation: Forskning - peer reviewBidrag til bog/antologi

  62. Udgivet
  63. 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. (Electronic Proceedings in Theoretical Computer Science).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  64. Udgivet
  65. 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 (Lecture Notes in Computer Science; Nr. 9035).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  66. Udgivet

    Verification, Model Checking, and Abstract Interpretation : 16th International Conference, VMCAI 2015 Mumbai, India, January 12-14, 2015 Proceedings. / D’Souza, Deepak (Redaktør); Lal, Akash (Redaktør); Larsen, Kim Guldstrand (Redaktør).

    Springer, 2015. (Lecture Notes in Computer Science, Vol. 8931).

    Publikation: Forskning - peer reviewAntologi

  67. 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 (Lecture Notes in Computer Science; Nr. 8997).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  68. 2014
  69. 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. Vol. 8687 Springer Publishing Company, 2014. s. 460-476 (Lecture Notes in Computer Science).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  70. 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. Vol. 8687 Springer, 2014. s. 460-476 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  71. 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. Vol. 308 Ithaca, New York : Elsevier Science, 2014. s. 183-210 (Electronic Notes in Theoretical Computer Science, Vol. 308).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  72. 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, Vol. 83, 01.04.2014, s. 106–128.

    Publikation: Forskning - peer reviewTidsskriftartikel

  73. 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. Vol. 8803 Springer Publishing Company, 2014. s. 208-222 (Lecture Notes in Computer Science).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  74. 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. Vol. 8464 Springer Publishing Company, 2014. s. 76-95 (Lecture Notes in Computer Science).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  75. Udgivet

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

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

    Publikation: Forskning - peer reviewTidsskriftartikel

  76. 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. Vol. 1294 CEUR Workshop Proceedings, 2014. s. 140-147.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  77. 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. Vol. 8657 Springer, 2014. s. 297-312 (Lecture Notes in Computer Science).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  78. 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 (TASE).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  79. Udgivet

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

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

    Publikation: Forskning - peer reviewTidsskriftartikel

  80. 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, Vol. 16, Nr. 4, 2014, s. 339-361.

    Publikation: Forskning - peer reviewTidsskriftartikel

  81. 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. Vol. 8348 Springer Publishing Company, 2014. s. 61-78 6 (Lecture Notes in Computer Science).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  82. Udgivet

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

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

    Publikation: Forskning - peer reviewKonferenceartikel i tidsskrift

  83. 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. Vol. 8430 Springer Publishing Company, 2014. s. 307-312 (Lecture Notes in Computer Science).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  84. 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 (Euromicro Conference on Real-Time Systems. Proceedings).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  85. Udgivet
  86. 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. Vol. 8837 Springer Publishing Company, 2014. s. 129-145 (Lecture Notes in Computer Science).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  87. 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. Vol. 8415 Springer, 2014. s. 84-97 (Lecture Notes in Computer Science).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  88. 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). Vol. 8348 LNCS Springer, 2014. s. 1-4 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8348 LNCS).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  89. 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 (International Conference on Application of Concurrency to System Design. Proceedings).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  90. Udgivet

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

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

    Publikation: Forskning - peer reviewKonferenceartikel i tidsskrift

  91. Udgivet

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

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

    Publikation: Forskning - peer reviewKonferenceartikel i tidsskrift

  92. Udgivet
  93. Udgivet
  94. Udgivet
  95. 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). Vol. 8803 Springer, 2014. s. 135-142 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8803).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  96. Udgivet

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

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

    Publikation: Forskning - peer reviewKonferenceartikel i tidsskrift

  97. Udgivet

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

    CONCUR 2014 – Concurrency Theory. red. / Paolo Baldan; Daniele Gorla. Vol. 8704 Springer Publishing Company, 2014. s. 188-202 (Lecture Notes in Computer Science).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  98. 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. Vol. 29 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2014. s. 121-132.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  99. 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

  100. 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

  101. 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. Vol. 8711 Springer, 2014. s. 100-114 (Lecture Notes in Computer Science).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  102. 2013
  103. 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, Vol. 232, 04.11.2013, s. 66-116.

    Publikation: Forskning - peer reviewTidsskriftartikel

  104. Udgivet

    Action Investment Energy Games. / Larsen, Kim Guldstrand; Laursen, Simon; Srba, Jiri.

    Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers. red. / Antonín Kučera; Thomas A. Henzinger; Jaroslav Nešetřil; Tomáš Vojnar; David Antoš. Vol. 7721 Netherlands : Springer Publishing Company, 2013. s. 155-167 (Lecture Notes in Computer Science, Vol. 7721).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  105. Udgivet

    Computing Behavioral Distances, Compositionally. / Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim Guldstrand; Mardare, Radu Iulian.

    Mathematical Foundations of Computer Science 2013: 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings. red. / Krishnendu Chatterjee; Jirí Sgall. Vol. 8087 Springer Publishing Company, 2013. s. 74-85 (Lecture Notes in Computer Science, Vol. 8087).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

Forrige 1 2 3 4 5 Næste