Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Kim Guldstrand Larsen
Kim G. Larsen
2010 – today
- 2013
[j59]Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane: Weighted modal transition systems. Formal Methods in System Design 42(2): 193-220 (2013)- [c190]
- [c189]Benoît Delahaye, Kim G. Larsen, Axel Legay: Stuttering for Abstract Probabilistic Automata. LFCS 2013: 149-163
- [c188]Alexandre David, Dehui Du, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis: Optimizing Control Strategy Using Statistical Model Checking. NASA Formal Methods 2013: 352-367
- [c187]Jonas Finnemann Jensen, Kim Guldstrand Larsen, Jirí Srba, Lars Kaerlund Oestergaard: Local Model Checking of Weighted CTL with Upper-Bound Constraints. SPIN 2013: 178-195
- [c186]Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare: On-the-Fly Exact Computation of Bisimilarity Distances. TACAS 2013: 1-15
- 2012
- [j58]Alexandre David, Dehui Du, Kim G. Larsen, Marius Mikucionis, Arne Skou: An evaluation framework for energy aware buildings using statistical model checking. SCIENCE CHINA Information Sciences 55(12): 2694-2707 (2012)
- [j57]Radu Mardare, Luca Cardelli, Kim G. Larsen: Continuous Markovian Logics - Axiomatization and Quantified Metatheory. Logical Methods in Computer Science 8(4) (2012)
- [j56]Nikola Benes, Jan Kretínský, Kim G. Larsen, Jirí Srba: EXPTIME-completeness of thorough refinement on modal transition systems. Inf. Comput. 218: 54-68 (2012)
- [j55]Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski: Consistency and refinement for Interval Markov Chains. J. Log. Algebr. Program. 81(3): 209-226 (2012)
- [j54]Qi Lu, Michael Madsen, Martin Milata, Søren Ravn, Uli Fahrenberg, Kim G. Larsen: Reachability analysis for timed automata using max-plus algebra. J. Log. Algebr. Program. 81(3): 298-313 (2012)
- [j53]Line Juhl, Kim G. Larsen, Jirí Srba: Modal transition systems with weight intervals. J. Log. Algebr. Program. 81(4): 408-421 (2012)
- [j52]Sebastian S. Bauer, Line Juhl, Kim G. Larsen, Axel Legay, Jirí Srba: Extending modal transition systems with structured labels. Mathematical Structures in Computer Science 22(4): 581-617 (2012)
- [j51]Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski: New results for Constraint Markov Chains. Perform. Eval. 69(7-8): 379-401 (2012)
- [j50]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 14(6): 703-720 (2012)
- [c185]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). ATVA 2012: 223-237
- [c184]Marius Bozga, Alexandre David, Arnd Hartmanns, Holger Hermanns, Kim G. Larsen, Axel Legay, Jan Tretmans: State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems. DATE 2012: 370-375
- [c183]Heiko Falk, Kevin Hammond, Kim G. Larsen, Björn Lisper, Stefan M. Petters: Code-level timing analysis of embedded software: emsoft'12 invited talk session outline. EMSOFT 2012: 163-164
- [c182]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. FASE 2012: 43-58
- [c181]Hengjun Zhao, Naijun Zhan, Deepak Kapur, Kim G. Larsen: A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example. FM 2012: 471-485
- [c180]Kim G. Larsen: Statistical Model Checking, Refinement Checking, Optimization, ... for Stochastic Hybrid Systems. FORMATS 2012: 7-10
- [c179]Andreas Engelbredt Dalsgaard, Alfons Laarman, Kim G. Larsen, Mads Chr. Olesen, Jaco van de Pol: Multi-core Reachability for Timed Automata. FORMATS 2012: 91-106
- [c178]Joost-Pieter Katoen, Kim Guldstrand Larsen: Quantitative Modelling and Analysis. ISoLA (2) 2012: 290-292
- [c177]Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis: Schedulability of Herschel-Planck Revisited Using Statistical Model Checking. ISoLA (2) 2012: 293-307
- [c176]Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards: Runtime Verification of Biological Systems. ISoLA (1) 2012: 388-404
- [c175]Thomas Bøgholm, Bent Thomsen, Kim G. Larsen, Alan Mycroft: Schedulability Analysis Abstractions for Safety Critical Java. ISORC 2012: 71-78
- [c174]Miroslav Klimos, Kim G. Larsen, Filip Stefanak, Jeppe Thaarup: Nash Equilibria in Concurrent Priced Games. LATA 2012: 363-376
- [c173]Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Mikael H. Møller, Jirí Srba: Dual-Priced Modal Transition Systems with Time Durations. LPAR 2012: 122-137
- [c172]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. LPAR 2012: 168-182
- [c171]
- [c170]Kim Guldstrand Larsen, Radu Mardare, Prakash Panangaden: Taking It to the Limit: Approximate Reasoning for Markov Processes. MFCS 2012: 681-692
- [c169]Yingke Chen, Hua Mao, Manfred Jaeger, Thomas Dyhre Nielsen, Kim Guldstrand Larsen, Brian Nielsen: Learning Markov Models for Stationary System Behaviors. NASA Formal Methods 2012: 216-230
- [c168]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 2012: 449-463
- [c167]Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey: Lower-Bound Constrained Runs in Weighted Timed Automata. QEST 2012: 128-137
- [c166]Peter E. Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen: Rewrite-Based Statistical Model Checking of WMTL. RV 2012: 260-275
- [c165]Sebastian S. Bauer, Line Juhl, Kim G. Larsen, Jirí Srba, Axel Legay: A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata. TASE 2012: 77-84
- [c164]
- [c163]Peter E. Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis: Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach. IWIGP 2012: 1-14
- [c162]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. QAPL 2012: 1-16
- [c161]Kim G. Larsen, Radu Mardare, Claus R. Thrane: Parameterized Metatheory for Continuous Markovian Logic. QFM 2012: 33-47
- [c160]Hua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, Brian Nielsen: Learning Markov Decision Processes for Model Checking. QFM 2012: 49-63
- [c159]Alexandre David, Dehui Du, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards: Statistical Model Checking for Stochastic Hybrid Systems. HSB 2012: 122-136
- [c158]Zheng Wang, Geguang Pu, Jianwen Li, Jifeng He, Shengchao Qin, Kim G. Larsen, Jan Madsen, Bin Gu: MDM: A Mode Diagram Modeling Framework. FTSCS 2012: 135-149
- [c157]Kenneth Yrke Jørgensen, Kim G. Larsen, Jirí Srba: Time-Darts: A Data Structure for Verification of Closed Timed Automata. SSV 2012: 141-155
- [i8]Hengjun Zhao, Naijun Zhan, Deepak Kapur, Kim G. Larsen: A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example. CoRR abs/1203.6025 (2012)
- [i7]Zheng Wang, Geguang Pu, Shengchao Qin, Jianwen Li, Kim G. Larsen, Jan Madsen, Bin Gu, Jifeng He: MDM: A Mode Diagram Modeling Framework for Periodic Control Systems. CoRR abs/1207.0922 (2012)
- [i6]Peter E. Bulychev, Franck Cassez, Alexandre David, Kim G. Larsen, Jean-François Raskin, Pierre-Alain Reynier: Controllers with Minimal Observation Power (Application to Timed Systems). CoRR abs/1207.1276 (2012)
- [i5]Jianwen Li, Geguang Pu, Lijun Zhang, Zheng Wang, Jifeng He, Kim G. Larsen: On the Relationship between LTL Normal Forms and Buechi Automata. CoRR abs/1207.3866 (2012)
- [i4]Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane: Weighted Modal Transition Systems. CoRR abs/1210.5659 (2012)
- [i3]Benoît Delahaye, Uli Fahrenberg, Kim G. Larsen, Axel Legay: Refinement and Difference for Probabilistic Automata. CoRR abs/1212.4288 (2012)
- 2011
- [j49]Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey: Quantitative analysis of real-time systems using priced timed automata. Commun. ACM 54(9): 78-87 (2011)
- [j48]Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi: Developing UPPAAL over 15 years. Softw., Pract. Exper. 41(2): 133-142 (2011)
- [j47]Kim G. Larsen, Uli Fahrenberg, Claus R. Thrane: Metrics for weighted transition systems: Axiomatization and complexity. Theor. Comput. Sci. 412(28): 3358-3369 (2011)
- [j46]Benoît Caillaud, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski: Constraint Markov Chains. Theor. Comput. Sci. 412(34): 4373-4404 (2011)
- [c156]Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski: New Results on Abstract Probabilistic Automata. ACSD 2011: 118-127
- [c155]Nikola Benes, Jan Kretínský, Kim G. Larsen, Mikael H. Møller, Jirí Srba: Parametric Modal Transition Systems. ATVA 2011: 275-289
- [c154]Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Zheng Wang: Time for Statistical Model Checking of Real-Time Systems. CAV 2011: 349-355
- [c153]Patricia Bouyer, Kim G. Larsen, Nicolas Markey, Ocan Sankur, Claus R. Thrane: Timed Automata Can Always Be Made Implementable. CONCUR 2011: 76-91
- [c152]Luca Cardelli, Kim G. Larsen, Radu Mardare: Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas. CSL 2011: 144-158
- [c151]Sebastian S. Bauer, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski: A Modal Specification Theory for Components with Data. FACS 2011: 61-78
- [c150]Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang: Statistical Model Checking for Networks of Priced Timed Automata. FORMATS 2011: 80-96
- [c149]Kim G. Larsen, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski: Robust Specification of Real Time Components. FORMATS 2011: 129-144
- [c148]
- [c147]Uli Fahrenberg, Line Juhl, Kim G. Larsen, Jirí Srba: Energy Games in Multiweighted Automata. ICTAC 2011: 95-115
- [c146]Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski: Decision Problems for Interval Markov Chains. LATA 2011: 274-285
- [c145]Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane: Quantitative Refinement for Weighted Modal Transition Systems. MFCS 2011: 60-71
- [c144]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 2011: 487-493
- [c143]Goran Frehse, Kim G. Larsen, Marius Mikucionis, Brian Nielsen: Monitoring Dynamical Signals While Testing Timed Aspects of a System. ICTSS 2011: 115-130
- [c142]Hua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, Brian Nielsen: Learning Probabilistic Automata for Model Checking. QEST 2011: 111-120
- [c141]Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski: APAC: A Tool for Reasoning about Abstract Probabilistic Automata. QEST 2011: 151-152
- [c140]Jörg Brauer, René Rydhof Hansen, Stefan Kowalewski, Kim G. Larsen, Mads Chr. Olesen: Adaptable Value-Set Analysis for Low-Level Code. SSV 2011: 32-43
- [c139]Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski: Abstract Probabilistic Automata. VMCAI 2011: 324-339
- [c138]Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Axel Legay: Distributed Parametric and Statistical Model Checking. PDMC 2011: 30-42
- [c137]Uli Fahrenberg, Claus R. Thrane, Kim G. Larsen: Distances for Weighted Transition Systems: Games and Properties. QAPL 2011: 134-147
- [p1]Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane: Model-Based Verification and Analysis for Real-Time Systems. Software and Systems Safety - Specification and Verification 2011: 231-259
- [i2]Alexandre David, Kim G. 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 abs/1106.3961 (2011)
- 2010
- [j45]Petur Olsen, Kim G. Larsen, Arne Skou: Present and Absent Sets: Abstraction for Testing of Reactive Systems with Databases. Electr. Notes Theor. Comput. Sci. 264(3): 53-68 (2010)
- [j44]Shuhao Li, Sandie Balaguer, Alexandre David, Kim G. Larsen, Brian Nielsen, Saulius Pusinskas: Scenario-based verification of real-time systems using Uppaal. Formal Methods in System Design 37(2-3): 200-264 (2010)
- [j43]Claus R. Thrane, Uli Fahrenberg, Kim G. Larsen: Quantitative analysis of weighted transition systems. J. Log. Algebr. Program. 79(7): 689-703 (2010)
- [j42]Adam Antonik, Michael Huth, Kim G. Larsen, Ulrik Nyman, Andrzej Wasowski: Modal and mixed specifications: key decision problems and their complexities. Mathematical Structures in Computer Science 20(1): 75-103 (2010)
- [c136]Alexandre David, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski: ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems. ATVA 2010: 365-370
- [c135]Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, Saulius Pusinskas: Scenario-based analysis and synthesis of real-time systems using uppaal. DATE 2010: 447-452
- [c134]Holger Hermanns, Kim Guldstrand Larsen, Jean-François Raskin, Jan Tretmans: Quantitative system validation in model driven design. EMSOFT 2010: 301-302
- [c133]Alexandre David, Jacob Deleuran Grunnet, Jan Jakob Jessen, Kim Guldstrand Larsen, Jacob Illum Rasmussen: Application of Model-Checking Technology to Controller Synthesis. FMCO 2010: 336-351
- [c132]Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Marius Mikucionis, Brian Nielsen: Testing Real-Time Systems under Uncertainty. FMCO 2010: 352-371
- [c131]Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey: Timed automata with observers under energy constraints. HSCC 2010: 61-70
- [c130]Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski: Timed I/O automata: a complete specification theory for real-time systems. HSCC 2010: 91-100
- [c129]Boudewijn R. Haverkort, Joost-Pieter Katoen, Kim G. Larsen: Quantitative Verification in Practice. ISoLA (2) 2010: 127
- [c128]Marius Mikucionis, Kim Guldstrand Larsen, Jacob Illum Rasmussen, Brian Nielsen, Arne Skou, Steen Ulrik Palm, Jan Storbank Pedersen, Poul Hougaard: Schedulability Analysis Using Uppaal: Herschel-Planck Case Study. ISoLA (2) 2010: 175-190
- [c127]Benoît Caillaud, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski: Compositional Design Methodology with Constraint Markov Chains. QEST 2010: 123-132
- [c126]
- [c125]Timothy Bourke, Alexandre David, Kim G. Larsen, Axel Legay, Didier Lime, Ulrik Nyman, Andrzej Wasowski: New Results on Timed Specifications. WADT 2010: 175-192
- [c124]Andreas Engelbredt Dalsgaard, Mads Chr. Olesen, Martin Toft, René Rydhof Hansen, Kim Guldstrand Larsen: METAMOC: Modular Execution Time Analysis using Model Checking. WCET 2010: 113-123
- [c123]Oded Maler, Kim G. Larsen, Bruce H. Krogh: On Zone-Based Analysis of Duration Probabilistic Automata. INFINITY 2010: 33-46
2000 – 2009
- 2009
- [j41]Ulrich Fahrenberg, Kim Guldstrand Larsen: Discount-Optimal Infinite Runs in Priced Timed Automata. Electr. Notes Theor. Comput. Sci. 239: 179-191 (2009)
- [j40]Adam Antonik, Michael Huth, Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski: EXPTIME-complete Decision Problems for Modal and Mixed Specifications. Electr. Notes Theor. Comput. Sci. 242(1): 19-33 (2009)
- [j39]Ulrich Fahrenberg, Kim Guldstrand Larsen: Discounting in Time. Electr. Notes Theor. Comput. Sci. 253(3): 25-31 (2009)
- [j38]Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Jirí Srba: On determinism in modal transition systems. Theor. Comput. Sci. 410(41): 4026-4043 (2009)
- [c122]Kim G. Larsen: Compositional and Quantitative Model Checking (Extended Abstract). Ershov Memorial Conference 2009: 35-42
- [c121]Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, Saulius Pusinskas: Verifying Real-Time Systems against Scenario-Based Requirements. FM 2009: 676-691
- [c120]Ulrik H. Hjort, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Michael A. Petersen, Arne Skou: Model-Based GUI Testing Using Uppaal at Novo Nordisk. FM 2009: 814-818
- [c119]Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski: Methodologies for Specification of Real-Time Systems Using Timed I/O Automata. FMCO 2009: 290-310
- [c118]Peter E. Bulychev, Thomas Chatain, Alexandre David, Kim Guldstrand Larsen: Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation. FORMATS 2009: 73-87
- [c117]Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane: Verification, Performance Analysis and Controller Synthesis for Real-Time Systems. FSEN 2009: 34-61
- [c116]
- [c115]Franck Cassez, Jan Jakob Jessen, Kim Guldstrand Larsen, Jean-François Raskin, Pierre-Alain Reynier: Automatic Synthesis of Robust and Optimal Controllers - An Industrial Case Study. HSCC 2009: 90-104
- [c114]Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen: Timed Testing under Partial Observability. ICST 2009: 61-70
- [c113]Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Jirí Srba: Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete. ICTAC 2009: 112-126
- [c112]Kim G. Larsen, Uli Fahrenberg, Claus R. Thrane: A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic. MEMICS 2009
- [c111]
- [c110]Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jirí Srba: Teaching Concurrency: Theory in Practice. TFM 2009: 158-175
- 2008
- [j37]Adam Antonik, Michael Huth, Kim G. Larsen, Ulrik Nyman, Andrzej Wasowski: 20 Years of Modal and Mixed Specifications. Bulletin of the EATCS 95: 94-129 (2008)
- [j36]Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen: Cooperative Testing of Timed Systems. Electr. Notes Theor. Comput. Sci. 220(1): 79-92 (2008)
- [j35]Patricia Bouyer, Ed Brinksma, Kim Guldstrand Larsen: Optimal infinite scheduling for multi-priced timed automata. Formal Methods in System Design 32(1): 3-23 (2008)
- [j34]Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey: Model Checking One-Clock Priced Timed Automata. Logical Methods in Computer Science 4(2) (2008)
- [j33]Kim Guldstrand Larsen, Jacob Illum Rasmussen: Optimal reachability for multi-priced timed automata. Theor. Comput. Sci. 390(2-3): 197-213 (2008)
- [c109]Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen: A Game-Theoretic Approach to Real-Time System Testing. DATE 2008: 486-491
- [c108]Patricia Bouyer, Ulrich Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Jirí Srba: Infinite Runs in Weighted Timed Automata with Energy Constraints. FORMATS 2008: 33-47
- [c107]Anders Hessel, Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Paul Pettersson, Arne Skou: Testing Real-Time Systems Using UPPAAL. Formal Methods and Testing 2008: 77-117
- [c106]Adam Antonik, Michael Huth, Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski: Complexity of Decision Problems for Mixed and Modal Specifications. FoSSaCS 2008: 112-126
- [c105]Thomas Bøgholm, Henrik Kragh-Hansen, Petur Olsen, Bent Thomsen, Kim Guldstrand Larsen: Model-based schedulability analysis of safety critical hard real-time Java programs. JTRES 2008: 106-114
- [c104]Sebastian Kupferschmid, Jörg Hoffmann, Kim Guldstrand Larsen: Fast Directed Model Checking Via Russian Doll Abstraction. TACAS 2008: 203-217
- [i1]Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey: Model Checking One-clock Priced Timed Automata. CoRR abs/0805.1457 (2008)
- 2007
- [j32]Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski: Modeling software product lines using color-blind transition systems. STTT 9(5-6): 471-487 (2007)
- [c103]Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Didier Lime, Jean-François Raskin: Timed Control with Observation Based and Stuttering Invariant Strategies. ATVA 2007: 192-206
- [c102]Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime: UPPAAL-Tiga: Time for Playing Games! CAV 2007: 121-125
- [c101]Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski: On Modal Refinement and Consistency. CONCUR 2007: 105-119
- [c100]Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski: Modal I/O Automata for Interface and Product Line Theories. ESOP 2007: 64-79
- [c99]Henning Dierks, Sebastian Kupferschmid, Kim Guldstrand Larsen: Automatic Abstraction Refinement for Timed Automata. FORMATS 2007: 114-129
- [c98]Jan Jakob Jessen, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Alexandre David: Guided Controller Synthesis for Climate Controller Using Uppaal Tiga. FORMATS 2007: 227-240
- [c97]Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey: Model-Checking One-Clock Priced Timed Automata. FoSSaCS 2007: 108-122
- [c96]Jacob Illum Rasmussen, Gerd Behrmann, Kim Guldstrand Larsen: Complexity in Simplicity: Flexible Agent-Based State Space Exploration. TACAS 2007: 231-245
- 2006
- [j31]Jacob Illum Rasmussen, Kim Guldstrand Larsen, K. Subramani: On using priced timed automata to achieve optimal scheduling. Formal Methods in System Design 29(1): 97-114 (2006)
- [j30]Henrik Schiøler, Jens Dalsgaard Nielsen, Kim Guldstrand Larsen, Jan Jakob Jessen: CyNC: A method for real time analysis of systems with cyclic data flows. J. Embedded Computing 2(3-4): 347-360 (2006)
- [j29]Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Larsen, Radek Pelánek: Lower and upper bounds in zone-based abstractions of timed automata. STTT 8(3): 204-215 (2006)
- [c95]Henrik Schiøler, Jan Jakob Jessen, Jens Dalsgaard Nielsen, Kim Guldstrand Larsen: Introducing synchronisation in deterministic network models. CAINE 2006: 236-243
- [c94]Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski: Interface Input/Output Automata. FM 2006: 82-97
- [c93]Alexandre David, John Håkansson, Kim Guldstrand Larsen, Paul Pettersson: Model Checking Timed Automata with Priorities Using DBM Subtraction. FORMATS 2006: 128-142
- [c92]Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey, Jacob Illum Rasmussen: Almost Optimal Strategies in One Clock Priced Timed Games. FSTTCS 2006: 345-356
- [c91]Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi, Martijn Hendriks: UPPAAL 4.0. QEST 2006: 125-126
- 2005
- [j28]Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Guldstrand Larsen: Synthesis of Optimal Strategies Using HyTech. Electr. Notes Theor. Comput. Sci. 119(1): 11-31 (2005)
- [j27]Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen: Optimal scheduling using priced timed automata. SIGMETRICS Performance Evaluation Review 32(4): 34-40 (2005)
- [c90]Henrik Schiøler, Jan Jakob Jessen, Jens Dalsgaard Nielsen, Kim Guldstrand Larsen: Network Calculus for Real Time Analysis of Embedded Systems with Cyclic Task Dependencies. Computers and Their Applications 2005: 326-332
- [c89]Franck Cassez, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime: Efficient On-the-Fly Algorithms for the Analysis of Timed Games. CONCUR 2005: 66-80
- [c88]Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Arne Skou: Testing real-time embedded software using UPPAAL-TRON: an industrial case study. EMSOFT 2005: 299-306
- [c87]Kim Guldstrand Larsen, Ulrik Larsen, Andrzej Wasowski: Color-Blind Specifications for Transformations of Reactive Synchronous Programs. FASE 2005: 160-174
- [c86]Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen: Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness. FORMATS 2005: 81-94
- [c85]Kim Guldstrand Larsen, Jacob Illum Rasmussen: Optimal Conditional Reachability for Multi-priced Timed Automata. FoSSaCS 2005: 234-249
- [c84]Gregorio Díaz, Kim Guldstrand Larsen, Juan José Pardo, Fernando Cuartero, Valentin Valero: An approach to handle real time and probabilistic behaviors in e-commerce: validating the SET protocol. SAC 2005: 815-820
- 2004
- [c83]Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen: Online Testing of Real-Time Systems Using UPPAAL: Status and Future Work. Perspectives of Model-Based Testing 2004
- [c82]Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen: Online Testing of Real-time Systems Using Uppaal. FATES 2004: 79-94
- [c81]Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen: Priced Timed Automata: Algorithms and Applications. FMCO 2004: 162-182
- [c80]Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Guldstrand Larsen: Optimal Strategies in Priced Timed Game Automata. FSTTCS 2004: 148-160
- [c79]Patricia Bouyer, Ed Brinksma, Kim Guldstrand Larsen: Staying Alive as Cheaply as Possible. HSCC 2004: 203-218
- [c78]Marius Mikucionis, Kim Guldstrand Larsen, Brian Nielsen: T-UPPAAL: Online Model-based Testing of Real-Time Systems. ASE 2004: 396-397
- [c77]
- [c76]Jacob Illum Rasmussen, Kim Guldstrand Larsen, K. Subramani: Resource-Optimal Scheduling Using Priced Timed Automata. TACAS 2004: 220-235
- [c75]Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Larsen, Radek Pelánek: Lower and Upper Bounds in Zone Based Abstractions of Timed Automata. TACAS 2004: 312-326
- 2003
- [j26]Zoltán Ésik, Kim Guldstrand Larsen: Regular languages definable by Lindström quantifiers. ITA 37(3): 179-241 (2003)
- [j25]Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi: Compact Data Structures and State-Space Reduction for Model-Checking Real-Time Systems. Real-Time Systems 25(2-3): 255-275 (2003)
- [j24]Luca Aceto, Patricia Bouyer, Augusto Burgueño, Kim Guldstrand Larsen: The power of reachability testing for timed automata. Theor. Comput. Sci. 300(1-3): 411-475 (2003)
- [c74]
- [c73]
- [c72]Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou: Time-Optimal Real-Time Test Case Generation Using Uppaal. FATES 2003: 114-130
- [c71]Martijn Hendriks, Gerd Behrmann, Kim Guldstrand Larsen, Peter Niebert, Frits W. Vaandrager: Adding Symmetry Reduction to Uppaal. FORMATS 2003: 46-59
- [c70]Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou: Time-Optimal Test Cases for Real-Time Systems. FORMATS 2003: 234-245
- [c69]Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi: Unification & Sharing in Timed Automata Verification. SPIN 2003: 225-229
- [c68]Gerd Behrmann, Patricia Bouyer, Emmanuel Fleury, Kim Guldstrand Larsen: Static Guard Analysis in Timed Automata Verification. TACAS 2003: 254-277
- [e6]Kim Guldstrand Larsen, Peter Niebert (Eds.): Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers. Lecture Notes in Computer Science 2791, Springer 2003, ISBN 3-540-21671-5
- 2002
- [j23]Martijn Hendriks, Kim Guldstrand Larsen: Exact Acceleration of Real-Time Model Checking. Electr. Notes Theor. Comput. Sci. 65(6): 120-139 (2002)
- [j22]Gerd Behrmann, Kim Guldstrand Larsen, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen: Verification of Hierarchical State/Event Systems using Reusability and Compositionality. Formal Methods in System Design 21(2): 225-244 (2002)
- [j21]Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi: Automated verification of an audio-control protocol using UPPAAL. J. Log. Algebr. Program. 52-53: 163-181 (2002)
- [c67]Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi: UPPAAL Implementation Secrets. FTRTFT 2002: 3-22
- [c66]Pedro R. D'Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen: Reduction and Refinement Strategies for Probabilistic Analysis. PAPM-PROBMIV 2002: 57-76
- [c65]Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi: A Tool Architecture for the Next Generation of Uppaal. 10th Anniversary Colloquium of UNU/IIST 2002: 352-366
- [e5]Ed Brinksma, Kim Guldstrand Larsen (Eds.): Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings. Lecture Notes in Computer Science 2404, Springer 2002, ISBN 3-540-43997-8
- 2001
- [j20]Jørn Lind-Nielsen, Henrik Reif Andersen, Henrik Hulgaard, Gerd Behrmann, Kåre J. Kristoffersen, Kim Guldstrand Larsen: Verification of Large State/Event Systems Using Compositionality and Dependency Analysis. Formal Methods in System Design 18(1): 5-23 (2001)
- [j19]Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson: Guided Synthesis of Control Programs Using UPPAAL. Nord. J. Comput. 8(1): 43-64 (2001)
- [c64]Kim Guldstrand Larsen, Gerd Behrmann, Ed Brinksma, Ansgar Fehnker, Thomas Hune, Paul Pettersson, Judi Romijn: As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata. CAV 2001: 493-505
- [c63]Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson, Judi Romijn, Frits W. Vaandrager: Minimum-Cost Reachability for Priced Timed Automata. HSCC 2001: 147-161
- [c62]Pedro R. D'Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen: Reachability Analysis of Probabilistic Systems by Successive Refinements. PAPM-PROBMIV 2001: 39-56
- [e4]Kim Guldstrand Larsen, Mogens Nielsen (Eds.): CONCUR 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings. Lecture Notes in Computer Science 2154, Springer 2001, ISBN 3-540-42497-0
- 2000
- [j18]Jørgen Staunstrup, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen, Kim Guldstrand Larsen, Gerd Behrmann, Kåre J. Kristoffersen, Arne Skou, Henrik Leerberg, Niels Bo Theilgaard: Practical Verification of Embedded Software. IEEE Computer 33(5): 68-75 (2000)
- [c61]
- [c60]
- [c59]Torsten K. Iversen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Morten Laursen, Rune G. Madsen, Steffen K. Mortensen, Paul Pettersson, Chris B. Thomasen: Model-checking real-time control programs: verifying Lego(R) MindstormsTM systems using UPPAAL. ECRTS 2000: 147-155
- [c58]Henrik Ejersbo Jensen, Kim Guldstrand Larsen, Arne Skou: Scaling up Uppaal Automatic Verification of Real-Time Systems Using Compositionality and Abstraction. FTRTFT 2000: 19-30
- [c57]Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson: Guided Synthesis of Control Programs Using UPPAAL. ICDCS Workshop on Distributed System Validation and Verification 2000: E15-E22
- [c56]Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Pedro R. D'Argenio, Alexandre David, Ansgar Fehnker, Thomas Hune, Bertrand Jeannet, Kim Guldstrand Larsen, M. Oliver Möller, Paul Pettersson, Carsten Weise, Wang Yi: UPPAAL - Now, Next, and Future. MOVEP 2000: 99-124
1990 – 1999
- 1999
- [j17]Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi: Clock Difference Diagrams. Nord. J. Comput. 6(3): 271-298 (1999)
- [c55]Klaus Havelund, Kim Guldstrand Larsen, Arne Skou: Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL. ARTS 1999: 277-298
- [c54]Gerd Behrmann, Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi: Efficient Timed Reachability Analysis Using Clock Difference Diagrams. CAV 1999: 341-353
- [c53]Gerd Behrmann, Kim Guldstrand Larsen, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen: Verification of Hierarchical State/Event Systems Using Reusability and Compositionality. TACAS 1999: 163-177
- 1998
- [c52]François Laroussinie, Kim Guldstrand Larsen: CMC: A Tool for Compositional Model-Checking of Real-Time Systems. FORTE 1998: 439-456
- [c51]Luca Aceto, Patricia Bouyer, Augusto Burgueño, Kim Guldstrand Larsen: The Power of Reachability Testing for Timed Automata. FSTTCS 1998: 245-256
- [c50]Jørn Lind-Nielsen, Henrik Reif Andersen, Gerd Behrmann, Henrik Hulgaard, Kåre J. Kristoffersen, Kim Guldstrand Larsen: Verification of Large State/Event Systems Using Compositionality and Dependency Analysis. TACAS 1998: 201-216
- [c49]Luca Aceto, Augusto Burgueño, Kim Guldstrand Larsen: Model Checking via Reachability Testing for Timed Automata. TACAS 1998: 263-280
- [e3]Kim Guldstrand Larsen, Sven Skyum, Glynn Winskel (Eds.): Automata, Languages and Programming, 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings. Lecture Notes in Computer Science 1443, Springer 1998, ISBN 3-540-64781-3
- 1997
- [j16]Kim Guldstrand Larsen, Wang Yi: Time-abstracted Bisimulation: Implicit Specifications and Decidability. Inf. Comput. 134(2): 75-101 (1997)
- [j15]Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise: Continuous Modeling of Real-Time and Hybrid Systems: From Concepts to Tools. STTT 1(1-2): 64-85 (1997)
- [j14]
- [c48]
- [c47]Klaus Havelund, Arne Skou, Kim Guldstrand Larsen, K. Lund: Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAAL. RTSS 1997: 2-13
- [c46]Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi: Efficient verification of real-time systems: compact data structure and state-space reduction. RTSS 1997: 14-24
- [c45]Kåre J. Kristoffersen, François Laroussinie, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi: A Compositional Proof of a Real-Time Mutual Exclusion Protocol. TAPSOFT 1997: 565-579
- 1996
- [c44]Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi: Verification of an Audio Protocol with Bus Collision Using UPPAAL. CAV 1996: 244-256
- [c43]Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi: UPPAAL in 1995. TACAS 1996: 431-434
- 1995
- [j13]Anders Børjesson, Kim Guldstrand Larsen, Arne Skou: Generality in Design and Compositional Verification Using TAV. Formal Methods in System Design 6(3): 239-258 (1995)
- [j12]Jens Chr. Godskesen, Kim Guldstrand Larsen: Synthesizing Distinguishing Formulae for Real Time Systems. Nord. J. Comput. 2(3): 338-357 (1995)
- [c42]François Laroussinie, Kim Guldstrand Larsen: Compositional Model Checking of Real Time Systems. CONCUR 1995: 27-41
- [c41]Kim Guldstrand Larsen, Paul Pettersson, Wang Yi: Model-Checking for Real-Time Systems. FCT 1995: 62-88
- [c40]Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi: UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems. Hybrid Systems 1995: 232-243
- [c39]Kim Guldstrand Larsen, Paul Pettersson, Wang Yi: Diagnostic Model-Checking for Real-Time Systems. Hybrid Systems 1995: 575-586
- [c38]Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise: Fischer's Protocol Revisited: A Simple Proof Using Modal Constraints. Hybrid Systems 1995: 604-615
- [c37]Jørgen H. Andersen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Jesper Niedermann: Automatic Synthesis of Real Time Systems. ICALP 1995: 535-546
- [c36]Jens Chr. Godskesen, Kim Guldstrand Larsen: Synthesizing Distinguishing Formulae for Real Time Systems (Extended Abstract). MFCS 1995: 519-528
- [c35]François Laroussinie, Kim Guldstrand Larsen, Carsten Weise: From Timed Automata to Logic - and Back. MFCS 1995: 529-539
- [c34]Kim Guldstrand Larsen, Paul Pettersson, Wang Yi: Compositional and Symbolic Model-Checking of Real-Time Systems. RTSS 1995: 76-87
- [c33]Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise: A Constraint Oriented Proof Methodology Based on Modal Transition Systems. TACAS 1995: 17-40
- [e2]Ed Brinksma, Rance Cleaveland, Kim Guldstrand Larsen, Tiziana Margaria, Bernhard Steffen (Eds.): Tools and Algorithms for Construction and Analysis of Systems, First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995, Proceedings. Lecture Notes in Computer Science 1019, Springer 1995, ISBN 3-540-60630-0
- 1994
- [j11]
- [c32]Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise: The Methodology of Modal Constraints. Formal Systems Specification 1994: 405-435
- [c31]
- [c30]Jens Chr. Godskesen, Kim Guldstrand Larsen, Arne Skou: Automatic verification of real-tim systems using epsilon. PSTV 1994: 323-330
- 1993
- [j10]Kim Guldstrand Larsen: The Expressive Power of Implicit Specifications. Theor. Comput. Sci. 114(1): 119-147 (1993)
- [c29]Karlis Cerans, Jens Chr. Godskesen, Kim Guldstrand Larsen: Timed Modal Specification - Theory and Tools. CAV 1993: 253-267
- [c28]Ole Høgh Jensen, Jarl Tuxen Lang, Christian Jeppesen, Kim Guldstrand Larsen: Model Construction for Implicit Specifications in Model Logic. CONCUR 1993: 247-261
- [c27]
- [c26]
- 1992
- [j9]Kim Guldstrand Larsen, Robin Milner: A Compositional Protocol Verification Using Relativized Bisimulation. Inf. Comput. 99(1): 80-108 (1992)
- [j8]Gérard Boudol, Kim Guldstrand Larsen: Graphical Versus Logical Specifications. Theor. Comput. Sci. 106(1): 3-20 (1992)
- [c25]
- [c24]Kim Guldstrand Larsen, Arne Skou: Compositional Verification of Probabilistic Processes. CONCUR 1992: 456-471
- [c23]Anders Børjesson, Kim Guldstrand Larsen, Arne Skou: Generality in design and compositional verification using TAV. FORTE 1992: 449-464
- [c22]Jens Chr. Godskesen, Kim Guldstrand Larsen: Real-Time Calculi and Expansion Theorems. FSTTCS 1992: 302-315
- [c21]Jens Chr. Godskesen, Kim Guldstrand Larsen: Real-Time Calculi and Expansion Theorems. NAPAW 1992: 3-12
- [c20]
- [e1]Kim Guldstrand Larsen, Arne Skou (Eds.): Computer Aided Verification, 3rd International Workshop, CAV '91, Aalborg, Denmark, July, 1-4, 1991, Proceedings. Lecture Notes in Computer Science 575, Springer 1992, ISBN 3-540-55179-4
- 1991
- [j7]Kim Guldstrand Larsen, Glynn Winskel: Using Information Systems to Solve Recursive Domain Equations. Inf. Comput. 91(2): 232-258 (1991)
- [j6]Kim Guldstrand Larsen, Arne Skou: Bisimulation through Probabilistic Testing. Inf. Comput. 94(1): 1-28 (1991)
- [j5]Kim Guldstrand Larsen, Liu Xinxin: Compositionality through an Operational Semantics of Contexts. J. Log. Comput. 1(6): 761-795 (1991)
- [j4]Kim Guldstrand Larsen, Bent Thomsen: Partial Specifications and Compositional Verification. Theor. Comput. Sci. 88(1): 15-32 (1991)
- [c19]Uno Holmer, Kim Guldstrand Larsen, Wang Yi: Deciding Properties of Regular Real Time Processes. CAV 1991: 443-453
- [c18]
- [c17]Bengt Jonsson, Kim Guldstrand Larsen: Specification and Refinement of Probabilistic Processes. LICS 1991: 266-277
- [c16]Bengt Jonsson, Kim Guldstrand Larsen: On the Complexity of Equation Solving in Process Algebra. TAPSOFT, Vol.1 1991: 381-396
- 1990
- [j3]Kim Guldstrand Larsen: Proof Systems for Satisfiability in Hennessy-Milner Logic with Recursion. Theor. Comput. Sci. 72(2&3): 265-288 (1990)
- [c15]
- [c14]Kim Guldstrand Larsen: Ideal Specification Formalism + Expressivity + Compositionality + Decidability + Testability + ... CONCUR 1990: 33-56
- [c13]Kim Guldstrand Larsen, Liu Xinxin: Compositionality Through an Operational Semantics of Contexts. ICALP 1990: 526-539
- [c12]Kim Guldstrand Larsen, Liu Xinxin: Equation Solving Using Modal Transition Systems. LICS 1990: 108-117
1980 – 1989
- 1989
- [c11]Kim Guldstrand Larsen: Modal Specifications. Automatic Verification Methods for Finite State Systems 1989: 232-246
- [c10]Hans Hüttel, Kim Guldstrand Larsen: The Use of Static Constructs in A Modal Process Logic. Logic at Botik 1989: 163-180
- [c9]
- [c8]Kim Guldstrand Larsen: Compositional Theories Based on an Operational Semantics of Contexts. REX Workshop 1989: 487-518
- 1988
- [c7]
- [c6]
- [c5]Kim Guldstrand Larsen, Bent Thomsen: Compositional Proofs by Partial Specification of Processes. MFCS 1988: 414-423
- 1987
- [j2]Kim Guldstrand Larsen: A Context Dependent Equivalence Between Processes. Theor. Comput. Sci. 49: 184-215 (1987)
- [j1]Finn Verner Jensen, Kim Guldstrand Larsen: Recursively Defined Doains and their Induction Principles. Theor. Comput. Sci. 54: 29-51 (1987)
- [c4]Kim Guldstrand Larsen, Robin Milner: Verifying a Protocol Using Relativized Bisimulation. ICALP 1987: 126-135
- 1985
- [c3]Finn Verner Jensen, Kim Guldstrand Larsen: Recursively Defined Domains and Their Induction Principles. FSTTCS 1985: 225-245
- [c2]
- 1984
- [c1]Glynn Winskel, Kim Guldstrand Larsen: Using Information Systems to Solve Recursive Domain Equations Effectively. Semantics of Data Types 1984: 109-129
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-02 21:46 CEST by the dblp team