dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Kim Guldstrand Larsen Home Page Coauthor index pubzone.org

Kim G. Larsen

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
225Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarius 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
224Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian 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
223Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Bøgholm, Bent Thomsen, Kim G. Larsen, Alan Mycroft: Schedulability Analysis Abstractions for Safety Critical Java. ISORC 2012: 71-78
222Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter 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
221Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMiroslav Klimos, Kim G. Larsen, Filip Stefanak, Jeppe Thaarup: Nash Equilibria in Concurrent Priced Games. LATA 2012: 363-376
220Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNikola 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
219Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter 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
218Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYingke 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
217Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter 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
216Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHengjun 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)
215Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoî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)
214Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLQi 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)
213Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLine Juhl, Kim G. Larsen, Jirí Srba: Modal transition systems with weight intervals. J. Log. Algebr. Program. 81(4): 408-421 (2012)
2011
212Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoî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
211Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNikola Benes, Jan Kretínský, Kim G. Larsen, Mikael H. Møller, Jirí Srba: Parametric Modal Transition Systems. ATVA 2011: 275-289
210Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Zheng Wang: Time for Statistical Model Checking of Real-Time Systems. CAV 2011: 349-355
209Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatricia Bouyer, Kim G. Larsen, Nicolas Markey, Ocan Sankur, Claus R. Thrane: Timed Automata Can Always Be Made Implementable. CONCUR 2011: 76-91
208Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Cardelli, Kim G. Larsen, Radu Mardare: Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas. CSL 2011: 144-158
207Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim G. Larsen, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski: Robust Specification of Real Time Components. FORMATS 2011: 129-144
206Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandre 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
205Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Cardelli, Kim G. Larsen, Radu Mardare: Modular Markovian Logic. ICALP (2) 2011: 380-391
204Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUli Fahrenberg, Line Juhl, Kim G. Larsen, Jirí Srba: Energy Games in Multiweighted Automata. ICTAC 2011: 95-115
203Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGoran Frehse, Kim G. Larsen, Marius Mikucionis, Brian Nielsen: Monitoring Dynamical Signals While Testing Timed Aspects of a System. ICTSS 2011: 115-130
202Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski: Decision Problems for Interval Markov Chains. LATA 2011: 274-285
201Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian 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
200Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas 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
199Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Axel Legay: Distributed Parametric and Statistical Model Checking PDMC 2011: 30-42
198Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUli Fahrenberg, Claus R. Thrane, Kim G. Larsen: Distances for Weighted Transition Systems: Games and Properties QAPL 2011: 134-147
197Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, Brian Nielsen: Learning Probabilistic Automata for Model Checking. QEST 2011: 111-120
196Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoî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
195Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski: Abstract Probabilistic Automata. VMCAI 2011: 324-339
194Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUli 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
193Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandre 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)
192Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatricia 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)
191Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerd Behrmann, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi: Developing UPPAAL over 15 years. Softw., Pract. Exper. 41(2): 133-142 (2011)
190Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim G. Larsen, Uli Fahrenberg, Claus R. Thrane: Metrics for weighted transition systems: Axiomatization and complexity. Theor. Comput. Sci. 412(28): 3358-3369 (2011)
189Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoî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)
2010
188Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandre 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
187Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen, Shuhao Li, Brian Nielsen, Saulius Pusinskas: Scenario-based analysis and synthesis of real-time systems using uppaal. DATE 2010: 447-452
186Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Hermanns, Kim Guldstrand Larsen, Jean-François Raskin, Jan Tretmans: Quantitative system validation in model driven design. EMSOFT 2010: 301-302
185Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandre 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
184Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandre David, Kim Guldstrand Larsen, Shuhao Li, Marius Mikucionis, Brian Nielsen: Testing Real-Time Systems under Uncertainty. FMCO 2010: 352-371
183Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey: Timed automata with observers under energy constraints. HSCC 2010: 61-70
182Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandre 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
181Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOded Maler, Kim G. Larsen, Bruce H. Krogh: On Zone-Based Analysis of Duration Probabilistic Automata INFINITY 2010: 33-46
180Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoudewijn R. Haverkort, Joost-Pieter Katoen, Kim G. Larsen: Quantitative Verification in Practice. ISoLA (2) 2010: 127
179Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarius 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
178Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoî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
177Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen: Symbolic and Compositional Reachability for Timed Automata. RP 2010: 24-28
176Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTimothy Bourke, Alexandre David, Kim G. Larsen, Axel Legay, Didier Lime, Ulrik Nyman, Andrzej Wasowski: New Results on Timed Specifications. WADT 2010: 175-192
175Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas 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
174Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPetur 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)
173Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShuhao 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)
172Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaus R. Thrane, Uli Fahrenberg, Kim G. Larsen: Quantitative analysis of weighted transition systems. J. Log. Algebr. Program. 79(7): 689-703 (2010)
171Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdam 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)
2009
170Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim G. Larsen: Compositional and Quantitative Model Checking (Extended Abstract). Ershov Memorial Conference 2009: 35-42
169Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen, Shuhao Li, Brian Nielsen, Saulius Pusinskas: Verifying Real-Time Systems against Scenario-Based Requirements. FM 2009: 676-691
168Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrik 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
167Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandre 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
166Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter E. Bulychev, Thomas Chatain, Alexandre David, Kim Guldstrand Larsen: Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation. FORMATS 2009: 73-87
165Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUli Fahrenberg, Kim G. Larsen, Claus R. Thrane: Verification, Performance Analysis and Controller Synthesis for Real-Time Systems. FSEN 2009: 34-61
164Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim G. Larsen: Priced Timed Automata: Theory and Tools. FSTTCS 2009: 417-425
163Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranck 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
162Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen: Timed Testing under Partial Observability. ICST 2009: 61-70
161Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Jirí Srba: Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete. ICTAC 2009: 112-126
160Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim G. Larsen, Uli Fahrenberg, Claus R. Thrane: A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic. MEMICS 2009
159Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen: Verification and Performance Analysis for Embedded Systems. TASE 2009: 3-4
158Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jirí Srba: Teaching Concurrency: Theory in Practice. TFM 2009: 158-175
157Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Fahrenberg, Kim Guldstrand Larsen: Discount-Optimal Infinite Runs in Priced Timed Automata. Electr. Notes Theor. Comput. Sci. 239: 179-191 (2009)
156Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdam 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)
155Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Fahrenberg, Kim Guldstrand Larsen: Discounting in Time. Electr. Notes Theor. Comput. Sci. 253(3): 25-31 (2009)
154Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Jirí Srba: On determinism in modal transition systems. Theor. Comput. Sci. 410(41): 4026-4043 (2009)
2008
153Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen: A Game-Theoretic Approach to Real-Time System Testing. DATE 2008: 486-491
152Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatricia Bouyer, Ulrich Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Jirí Srba: Infinite Runs in Weighted Timed Automata with Energy Constraints. FORMATS 2008: 33-47
151Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdam Antonik, Michael Huth, Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski: Complexity of Decision Problems for Mixed and Modal Specifications. FoSSaCS 2008: 112-126
150Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnders 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
149Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas 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
148Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Kupferschmid, Jörg Hoffmann, Kim Guldstrand Larsen: Fast Directed Model Checking Via Russian Doll Abstraction. TACAS 2008: 203-217
147no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdam 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)
146Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey: Model Checking One-clock Priced Timed Automata CoRR abs/0805.1457: (2008)
145Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen: Cooperative Testing of Timed Systems. Electr. Notes Theor. Comput. Sci. 220(1): 79-92 (2008)
144Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatricia Bouyer, Ed Brinksma, Kim Guldstrand Larsen: Optimal infinite scheduling for multi-priced timed automata. Formal Methods in System Design 32(1): 3-23 (2008)
143Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey: Model Checking One-Clock Priced Timed Automata. Logical Methods in Computer Science 4(2): (2008)
142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen, Jacob Illum Rasmussen: Optimal reachability for multi-priced timed automata. Theor. Comput. Sci. 390(2-3): 197-213 (2008)
2007
141Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranck 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
140Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime: UPPAAL-Tiga: Time for Playing Games! CAV 2007: 121-125
139Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski: On Modal Refinement and Consistency. CONCUR 2007: 105-119
138Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski: Modal I/O Automata for Interface and Product Line Theories. ESOP 2007: 64-79
137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Dierks, Sebastian Kupferschmid, Kim Guldstrand Larsen: Automatic Abstraction Refinement for Timed Automata. FORMATS 2007: 114-129
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Jakob Jessen, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Alexandre David: Guided Controller Synthesis for Climate Controller Using Uppaal Tiga. FORMATS 2007: 227-240
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey: Model-Checking One-Clock Priced Timed Automata. FoSSaCS 2007: 108-122
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacob Illum Rasmussen, Gerd Behrmann, Kim Guldstrand Larsen: Complexity in Simplicity: Flexible Agent-Based State Space Exploration. TACAS 2007: 231-245
133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski: Modeling software product lines using color-blind transition systems. STTT 9(5-6): 471-487 (2007)
2006
132no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenrik Schiøler, Jan Jakob Jessen, Jens Dalsgaard Nielsen, Kim Guldstrand Larsen: Introducing synchronisation in deterministic network models. CAINE 2006: 236-243
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski: Interface Input/Output Automata. FM 2006: 82-97
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandre David, John Håkansson, Kim Guldstrand Larsen, Paul Pettersson: Model Checking Timed Automata with Priorities Using DBM Subtraction. FORMATS 2006: 128-142
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey, Jacob Illum Rasmussen: Almost Optimal Strategies in One Clock Priced Timed Games. FSTTCS 2006: 345-356
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi, Martijn Hendriks: UPPAAL 4.0. QEST 2006: 125-126
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacob 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)
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenrik 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)
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerd 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)
2005
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranck 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
123no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenrik 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
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Arne Skou: Testing real-time embedded software using UPPAAL-TRON: an industrial case study. EMSOFT 2005: 299-306
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen, Ulrik Larsen, Andrzej Wasowski: Color-Blind Specifications for Transformations of Reactive Synchronous Programs. FASE 2005: 160-174
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen: Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness. FORMATS 2005: 81-94
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen, Jacob Illum Rasmussen: Optimal Conditional Reachability for Multi-priced Timed Automata. FoSSaCS 2005: 234-249
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregorio 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
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Guldstrand Larsen: Synthesis of Optimal Strategies Using HyTech. Electr. Notes Theor. Comput. Sci. 119(1): 11-31 (2005)
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen: Optimal scheduling using priced timed automata. SIGMETRICS Performance Evaluation Review 32(4): 34-40 (2005)
2004
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarius Mikucionis, Kim Guldstrand Larsen, Brian Nielsen: T-UPPAAL: Online Model-based Testing of Real-Time Systems. ASE 2004: 396-397
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen: Online Testing of Real-time Systems Using Uppaal. FATES 2004: 79-94
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen: Priced Timed Automata: Algorithms and Applications. FMCO 2004: 162-182
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Guldstrand Larsen: Optimal Strategies in Priced Timed Game Automata. FSTTCS 2004: 148-160
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatricia Bouyer, Ed Brinksma, Kim Guldstrand Larsen: Staying Alive as Cheaply as Possible. HSCC 2004: 203-218
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen: Online Testing of Real-Time Systems Using UPPAAL: Status and Future Work. Perspectives of Model-Based Testing 2004
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerd Behrmann, Alexandre David, Kim Guldstrand Larsen: A Tutorial on Uppaal. SFM 2004: 200-236
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacob Illum Rasmussen, Kim Guldstrand Larsen, K. Subramani: Resource-Optimal Scheduling Using Priced Timed Automata. TACAS 2004: 220-235
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerd 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
106no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen, Peter Niebert: Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers Springer 2003
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerd Behrmann, Kim Guldstrand Larsen, Radek Pelánek: To Store or Not to Store. CAV 2003: 433-445
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen: Resource-Efficient Scheduling for Real Time Systems. EMSOFT 2003: 16-19
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou: Time-Optimal Real-Time Test Case Generation Using Uppaal. FATES 2003: 114-130
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou: Time-Optimal Test Cases for Real-Time Systems. FORMATS 2003: 234-245
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartijn Hendriks, Gerd Behrmann, Kim Guldstrand Larsen, Peter Niebert, Frits W. Vaandrager: Adding Symmetry Reduction to Uppaal. FORMATS 2003: 46-59
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi: Unification & Sharing in Timed Automata Verification. SPIN 2003: 225-229
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerd Behrmann, Patricia Bouyer, Emmanuel Fleury, Kim Guldstrand Larsen: Static Guard Analysis in Timed Automata Verification. TACAS 2003: 254-277
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZoltán Ésik, Kim Guldstrand Larsen: Regular languages definable by Lindström quantifiers. ITA 37(3): 179-241 (2003)
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim 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)
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca 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)
2002
95no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma, Kim Guldstrand Larsen: Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings Springer 2002
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandre 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
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerd Behrmann, Johan Bengtsson, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi: UPPAAL Implementation Secrets. FTRTFT 2002: 3-22
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPedro R. D'Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen: Reduction and Refinement Strategies for Probabilistic Analysis. PAPM-PROBMIV 2002: 57-76
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartijn Hendriks, Kim Guldstrand Larsen: Exact Acceleration of Real-Time Model Checking. Electr. Notes Theor. Comput. Sci. 65(6): 120-139 (2002)
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerd 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)
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohan 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)
2001
88no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen, Mogens Nielsen: CONCUR 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings Springer 2001
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim 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
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerd 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
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPedro R. D'Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen: Reachability Analysis of Probabilistic Systems by Successive Refinements. PAPM-PROBMIV 2001: 39-56
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJø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)
83no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Hune, Kim Guldstrand Larsen, Paul Pettersson: Guided Synthesis of Control Programs Using UPPAAL. Nord. J. Comput. 8(1): 43-64 (2001)
2000
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranck Cassez, Kim Guldstrand Larsen: The Impressive Power of Stopwatches. CONCUR 2000: 138-152
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTorsten 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
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenrik Ejersbo Jensen, Kim Guldstrand Larsen, Arne Skou: Scaling up Uppaal Automatic Verification of Real-Time Systems Using Compositionality and Abstraction. FTRTFT 2000: 19-30
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen: Verification of Timed and Hybrid Systems. ICATPN 2000: 39-42
78no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Hune, Kim Guldstrand Larsen, Paul Pettersson: Guided Synthesis of Control Programs Using UPPAAL. ICDCS Workshop on Distributed System Validation and Verification 2000: E15-E22
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTobias 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
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJø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)
1999
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Havelund, Kim Guldstrand Larsen, Arne Skou: Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL. ARTS 1999: 277-298
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerd Behrmann, Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi: Efficient Timed Reachability Analysis Using Clock Difference Diagrams. CAV 1999: 341-353
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerd 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
72no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi: Clock Difference Diagrams. Nord. J. Comput. 6(3): 271-298 (1999)
1998
71no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen, Sven Skyum, Glynn Winskel: Automata, Languages and Programming, 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings Springer 1998
70no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Laroussinie, Kim Guldstrand Larsen: CMC: A Tool for Compositional Model-Checking of Real-Time Systems. FORTE 1998: 439-456
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Patricia Bouyer, Augusto Burgueño, Kim Guldstrand Larsen: The Power of Reachability Testing for Timed Automata. FSTTCS 1998: 245-256
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJø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
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Augusto Burgueño, Kim Guldstrand Larsen: Model Checking via Reachability Testing for Timed Automata. TACAS 1998: 263-280
1997
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen, Paul Pettersson, Wang Yi: UPPAAL: Status & Developments. CAV 1997: 456-459
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi: Efficient verification of real-time systems: compact data structure and state-space reduction. IEEE Real-Time Systems Symposium 1997: 14-24
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Havelund, Arne Skou, Kim Guldstrand Larsen, K. Lund: Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAAL. IEEE Real-Time Systems Symposium 1997: 2-13
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKå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
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen, Wang Yi: Time-abstracted Bisimulation: Implicit Specifications and Decidability. Inf. Comput. 134(2): 75-101 (1997)
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen, Paul Pettersson, Wang Yi: UPPAAL in a Nutshell. STTT 1(1-2): 134-152 (1997)
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim 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)
1996
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohan 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
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi: UPPAAL in 1995. TACAS 1996: 431-434
1995
57no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma, Rance Cleaveland, Kim Guldstrand Larsen, Tiziana Margaria, Bernhard Steffen: Tools and Algorithms for Construction and Analysis of Systems, First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995, Proceedings Springer 1995
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Laroussinie, Kim Guldstrand Larsen: Compositional Model Checking of Real Time Systems. CONCUR 1995: 27-41
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen, Paul Pettersson, Wang Yi: Model-Checking for Real-Time Systems. FCT 1995: 62-88
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohan 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
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen, Paul Pettersson, Wang Yi: Diagnostic Model-Checking for Real-Time Systems. Hybrid Systems 1995: 575-586
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen, Bernhard Steffen, Carsten Weise: Fischer's Protocol Revisited: A Simple Proof Using Modal Constraints. Hybrid Systems 1995: 604-615
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJørgen H. Andersen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Jesper Niedermann: Automatic Synthesis of Real Time Systems. ICALP 1995: 535-546
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen, Paul Pettersson, Wang Yi: Compositional and Symbolic Model-Checking of Real-Time Systems. IEEE Real-Time Systems Symposium 1995: 76-87
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJens Chr. Godskesen, Kim Guldstrand Larsen: Synthesizing Distinguishing Formulae for Real Time Systems (Extended Abstract). MFCS 1995: 519-528
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Laroussinie, Kim Guldstrand Larsen, Carsten Weise: From Timed Automata to Logic - and Back. MFCS 1995: 529-539
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen, Bernhard Steffen, Carsten Weise: A Constraint Oriented Proof Methodology Based on Modal Transition Systems. TACAS 1995: 17-40
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnders 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)
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJens Chr. Godskesen, Kim Guldstrand Larsen: Synthesizing Distinguishing Formulae for Real Time Systems. Nord. J. Comput. 2(3): 338-357 (1995)
1994
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen, Bernhard Steffen, Carsten Weise: The Methodology of Modal Constraints. Formal Systems Specification 1994: 405-435
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJens Chr. Godskesen, Kim Guldstrand Larsen, Arne Skou: Automatic verification of real-tim systems using epsilon. PSTV 1994: 323-330
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Havelund, Kim Guldstrand Larsen: A refinement logic for the fork calculus. PSTV 1994: 5-20
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Havelund, Kim Guldstrand Larsen: The Fork Calculus. Nord. J. Comput. 1(3): 346-363 (1994)
1993
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarlis Cerans, Jens Chr. Godskesen, Kim Guldstrand Larsen: Timed Modal Specification - Theory and Tools. CAV 1993: 253-267
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOle Høgh Jensen, Jarl Tuxen Lang, Christian Jeppesen, Kim Guldstrand Larsen: Model Construction for Implicit Specifications in Model Logic. CONCUR 1993: 247-261
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Havelund, Kim Guldstrand Larsen: The Fork Calculus. ICALP 1993: 544-557
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen, Wang Yi: Time Abstracted Bisimiulation: Implicit Specifications and Decidability. MFPS 1993: 160-176
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen: The Expressive Power of Implicit Specifications. Theor. Comput. Sci. 114(1): 119-147 (1993)
1992
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen, Arne Skou: Computer Aided Verification, 3rd International Workshop, CAV '91, Aalborg, Denmark, July, 1-4, 1991, Proceedings Springer 1992
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen: Efficient Local Correctness Checking. CAV 1992: 30-43
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen, Arne Skou: Compositional Verification of Probabilistic Processes. CONCUR 1992: 456-471
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnders Børjesson, Kim Guldstrand Larsen, Arne Skou: Generality in design and compositional verification using TAV. FORTE 1992: 449-464
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJens Chr. Godskesen, Kim Guldstrand Larsen: Real-Time Calculi and Expansion Theorems. FSTTCS 1992: 302-315
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJens Chr. Godskesen, Kim Guldstrand Larsen: Real-Time Calculi and Expansion Theorems. NAPAW 1992: 3-12
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWang Yi, Kim Guldstrand Larsen: Testing Probabilistic and Nondeterministic Processes. PSTV 1992: 47-61
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen, Robin Milner: A Compositional Protocol Verification Using Relativized Bisimulation Inf. Comput. 99(1): 80-108 (1992)
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGérard Boudol, Kim Guldstrand Larsen: Graphical Versus Logical Specifications. Theor. Comput. Sci. 106(1): 3-20 (1992)
1991
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUno Holmer, Kim Guldstrand Larsen, Wang Yi: Deciding Properties of Regular Real Time Processes. CAV 1991: 443-453
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen: The Expressive Power of Implicit Specifications. ICALP 1991: 204-216
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBengt Jonsson, Kim Guldstrand Larsen: Specification and Refinement of Probabilistic Processes LICS 1991: 266-277
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBengt Jonsson, Kim Guldstrand Larsen: On the Complexity of Equation Solving in Process Algebra. TAPSOFT, Vol.1 1991: 381-396
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen, Glynn Winskel: Using Information Systems to Solve Recursive Domain Equations Inf. Comput. 91(2): 232-258 (1991)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen, Arne Skou: Bisimulation through Probabilistic Testing Inf. Comput. 94(1): 1-28 (1991)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen, Liu Xinxin: Compositionality through an Operational Semantics of Contexts. J. Log. Comput. 1(6): 761-795 (1991)
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen, Bent Thomsen: Partial Specifications and Compositional Verification. Theor. Comput. Sci. 88(1): 15-32 (1991)
1990
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGérard Boudol, Kim Guldstrand Larsen: Graphical versus Logical Specifications. CAAP 1990: 57-71
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen: Ideal Specification Formalism + Expressivity + Compositionality + Decidability + Testability + ... CONCUR 1990: 33-56
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen, Liu Xinxin: Compositionality Through an Operational Semantics of Contexts. ICALP 1990: 526-539
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen, Liu Xinxin: Equation Solving Using Modal Transition Systems LICS 1990: 108-117
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen: Proof Systems for Satisfiability in Hennessy-Milner Logic with Recursion. Theor. Comput. Sci. 72(2&3): 265-288 (1990)
1989
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen: Modal Specifications. Automatic Verification Methods for Finite State Systems 1989: 232-246
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Hüttel, Kim Guldstrand Larsen: The Use of Static Constructs in A Modal Process Logic. Logic at Botik 1989: 163-180
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen, Arne Skou: Bisimulation Through Probabilistic Testing. POPL 1989: 344-352
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen: Compositional Theories Based on an Operational Semantics of Contexts. REX Workshop 1989: 487-518
1988
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen: Proof System for Hennessy-Milner Logic with Recursion. CAAP 1988: 215-230
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen, Bent Thomsen: A Modal Process Logic LICS 1988: 203-210
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen, Bent Thomsen: Compositional Proofs by Partial Specification of Processes. MFCS 1988: 414-423
1987
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen, Robin Milner: Verifying a Protocol Using Relativized Bisimulation. ICALP 1987: 126-135
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen: A Context Dependent Equivalence Between Processes. Theor. Comput. Sci. 49: 184-215 (1987)
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFinn Verner Jensen, Kim Guldstrand Larsen: Recursively Defined Doains and their Induction Principles. Theor. Comput. Sci. 54: 29-51 (1987)
1985
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFinn Verner Jensen, Kim Guldstrand Larsen: Recursively Defined Domains and Their Induction Principles. FSTTCS 1985: 225-245
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen: A Context Dependent Equivalence between Processes. ICALP 1985: 373-382
1984
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGlynn Winskel, Kim Guldstrand Larsen: Using Information Systems to Solve Recursive Domain Equations Effectively. Semantics of Data Types 1984: 109-129

Coauthor Index

1Luca Aceto [67] [69] [96] [158]
2Tobias Amnell [77]
3Henrik Reif Andersen [68] [73] [76] [84] [90]
4Jørgen H. Andersen [51]
5Adam Antonik [147] [151] [156] [171]
6Sandie Balaguer [173]
7Sebastian S. Bauer [201] [224]
8Gerd Behrmann [68] [73] [74] [76] [77] [84] [86] [87] [90] [93] [94] [99] [100] [101] [105] [107] [109] [113] [116] [120] [125] [128] [134] [140] [191]
9Nikola Benes [154] [161] [211] [220]
10Johan Bengtsson [54] [58] [59] [77] [89] [93]
11Thomas Bøgholm [149] [223]
12Anders Børjesson [32] [46]
13Gérard Boudol [18] [27]
14Timothy Bourke [176]
15Patricia Bouyer (Patricia Bouyer-Decitre) [69] [96] [99] [107] [111] [112] [117] [125] [129] [135] [143] [144] [146] [152] [183] [192] [209]
16Marius Bozga [225]
17Ed Brinksma [57] [87] [95] [111] [144]
18Peter E. Bulychev [166] [199] [217] [219] [222]
19Augusto Burgueño [67] [69] [96]
20Benoît Caillaud [178] [189]
21Luca Cardelli [205] [208]
22Franck Cassez [82] [112] [117] [124] [141] [163]
23Karlis Cerans [40]
24Thomas Chatain [166]
25Yingke Chen [197] [218]
26Rance Cleaveland [57]
27Agnès Cougnard [140]
28Fernando Cuartero [118]
29Pedro R. D'Argenio [77] [85] [92]
30Andreas Engelbredt Dalsgaard [175] [200]
31Alexandre David [77] [93] [94] [100] [109] [124] [128] [130] [136] [140] [141] [145] [153] [162] [166] [167] [173] [176] [182] [184] [185] [188] [191] [193] [199] [206] [210] [217] [219] [222] [224] [225]
32Benoît Delahaye [178] [189] [195] [196] [202] [212] [215]
33Gregorio Díaz (Gregorio Díaz Descalzo) [118]
34Henning Dierks [137]
35Zoltán Ésik [98]
36Ulrich Fahrenberg (Uli Fahrenberg) [152] [155] [157] [160] [165] [172] [183] [190] [192] [194] [198] [201] [204] [214]
37Ansgar Fehnker [77] [86] [87]
38Emmanuel Fleury [99] [112] [117] [124] [140]
39Goran Frehse [203]
40Jens Chr. Godskesen [30] [31] [40] [43] [45] [49]
41W. O. David Griffioen [59] [89]
42Jacob Deleuran Grunnet [185]
43John Håkansson [128] [130]
44René Rydhof Hansen [175] [200]
45Arnd Hartmanns [225]
46Klaus Havelund [38] [41] [42] [64] [75]
47Boudewijn R. Haverkort [180]
48Martijn Hendriks [91] [101] [128]
49Rolf Hennicker [224]
50Holger Hermanns [186] [225]
51Anders Hessel [102] [103] [150]
52Ulrik H. Hjort [168]
53Jörg Hoffmann [148]
54Uno Holmer [26]
55Poul Hougaard [179]
56Henrik Hulgaard [68] [73] [76] [84] [90]
57Thomas Hune [77] [78] [83] [86] [87]
58Michael Huth [147] [151] [156] [171]
59Hans Hüttel [12]
60Anna Ingólfsdóttir [158]
61Torsten K. Iversen [81]
62Manfred Jaeger [197] [218]
63Bertrand Jeannet [77] [85] [92]
64Finn Verner Jensen [3] [4]
65Henrik Ejersbo Jensen [80] [85] [92]
66Ole Høgh Jensen [39]
67Christian Jeppesen [39]
68Jan Jakob Jessen [123] [126] [132] [136] [163] [185]
69Bengt Jonsson [23] [24]
70Kenneth Yrke Jørgensen [200]
71Line Juhl [201] [204] [213]
72Deepak Kapur [216]
73Joost-Pieter Katoen [180] [195] [212]
74Miroslav Klimos [221]
75Henrik Kragh-Hansen [149]
76Jan Kretínský [154] [161] [211] [220]
77Kåre J. Kristoffersen [51] [59] [63] [68] [76] [81] [84] [89]
78Bruce H. Krogh [181]
79Sebastian Kupferschmid [137] [148]
80Jarl Tuxen Lang [39]
81François Laroussinie [48] [56] [63] [70]
82Fredrik Larsson [54] [58] [59] [65] [89] [97]
83Morten Laursen [81]
84Henrik Leerberg [76]
85Axel Legay [167] [176] [178] [182] [188] [189] [193] [195] [196] [199] [201] [202] [206] [207] [210] [212] [215] [217] [219] [222] [224] [225]
86Guangyuan Li [219]
87Shuhao Li [145] [153] [162] [169] [173] [184] [187]
88Didier Lime [124] [140] [141] [176]
89Jørn Lind-Nielsen [68] [73] [76] [84] [90]
90Qi Lu [214]
91K. Lund [64]
92Michael Madsen [214]
93Rune G. Madsen [81]
94Oded Maler [181]
95Hua Mao [197] [218]
96Radu Mardare [205] [208]
97Tiziana Margaria (Tiziana Margaria-Steffen) [57]
98Nicolas Markey [129] [135] [143] [146] [152] [183] [192] [209]
99Marius Mikucionis [110] [114] [115] [122] [150] [179] [184] [193] [199] [203] [206] [210] [217] [222]
100Martin Milata [214]
101Robin Milner [6] [28]
102M. Oliver Möller [77]
103Mikael H. Møller [211] [220]
104Steffen K. Mortensen [81]
105Alan Mycroft [223]
106Peter Niebert [101] [106]
107Jesper Niedermann [51]
108Brian Nielsen [102] [103] [110] [114] [115] [122] [145] [150] [153] [162] [169] [173] [179] [184] [187] [197] [203] [218]
109Jens Dalsgaard Nielsen (Jens Frederik Dalsgaard Nielsen) [123] [126] [132]
110Mogens Nielsen [88]
111Thomas D. Nielsen (Thomas Dyhre Nielsen) [197] [218]
112Ulrik Nyman (Ulrik Larsen) [121] [131] [133] [138] [139] [147] [151] [156] [167] [171] [176] [182] [188] [224]
113Mads Chr. Olesen [175] [200]
114Petur Olsen [149] [174] [200]
115Steen Ulrik Palm [179]
116Juan José Pardo [118]
117Justin Pearson [72] [74]
118Jan Storbank Pedersen [179]
119Mikkel L. Pedersen [178] [189] [195] [196] [202] [212] [215]
120Radek Pelánek [105] [107] [125]
121Michael A. Petersen [168]
122Paul Pettersson [50] [53] [54] [55] [58] [59] [61] [63] [65] [66] [77] [78] [81] [83] [86] [87] [89] [93] [97] [102] [103] [128] [130] [150] [191]
123Danny Bøgsted Poulsen [193] [206] [217] [219]
124Saulius Pusinskas [169] [173] [187]
125Jean-François Raskin [141] [163] [186]
126Jacob Illum Rasmussen [108] [113] [116] [119] [120] [127] [129] [134] [136] [142] [168] [179] [185]
127Søren Ravn [214]
128Pierre-Alain Reynier [163]
129Judi Romijn [86] [87]
130Valentín Valero Ruiz (Valentin Valero) [118]
131Ocan Sankur [209]
132Henrik Schiøler [123] [126] [132]
133Falak Sher [195] [212]
134Arne Skou [11] [21] [32] [33] [35] [43] [46] [64] [75] [76] [80] [102] [103] [122] [150] [168] [174] [179]
135Sven Skyum [71]
136Jirí Srba [152] [154] [158] [161] [200] [204] [211] [213] [220]
137Amélie Stainer [219]
138Jørgen Staunstrup [76]
139Filip Stefanak [221]
140Bernhard Steffen [44] [47] [52] [57] [60]
141K. Subramani [108] [127]
142Jeppe Thaarup [221]
143Niels Bo Theilgaard [76]
144Chris B. Thomasen [81]
145Bent Thomsen [7] [8] [19] [149] [223]
146Claus R. Thrane [160] [165] [172] [190] [194] [198] [201] [209]
147Martin Toft [175]
148Louis-Marie Traonouez [207]
149Jan Tretmans [186] [225]
150Frits W. Vaandrager [86] [101]
151Jonas van Vliet [193] [206]
152Zheng Wang [193] [206] [210]
153Andrzej Wasowski [121] [131] [133] [138] [139] [147] [151] [156] [167] [171] [176] [178] [182] [188] [189] [195] [196] [202] [207] [212] [215] [224]
154Carsten Weise [44] [47] [48] [52] [60] [72] [74] [77]
155Glynn Winskel [1] [22] [71]
156Liu Xinxin [15] [16] [20]
157Wang Yi [26] [29] [37] [50] [53] [54] [55] [58] [59] [61] [62] [63] [65] [66] [72] [74] [77] [89] [93] [94] [97] [100] [128] [191]
158Naijun Zhan [216]
159Hengjun Zhao [216]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page