|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 67 occurrences of 57 keywords
|
|
|
|
|
Results
Found 225 publication records. Showing 225 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski |
Consistency and refinement for Interval Markov Chains. |
J. Log. Algebr. Program. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Line Juhl, Kim G. Larsen, Jirí Srba |
Modal transition systems with weight intervals. |
J. Log. Algebr. Program. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2012 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Miroslav Klimos, Kim G. Larsen, Filip Stefanak, Jeppe Thaarup |
Nash Equilibria in Concurrent Priced Games. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Bøgholm, Bent Thomsen, Kim G. Larsen, Alan Mycroft |
Schedulability Analysis Abstractions for Safety Critical Java. |
ISORC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Mikael H. Møller, Jirí Srba |
Dual-Priced Modal Transition Systems with Time Durations. |
LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Benoît Caillaud, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski |
Constraint Markov Chains. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim G. Larsen, Uli Fahrenberg, Claus R. Thrane |
Metrics for weighted transition systems: Axiomatization and complexity. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey |
Quantitative analysis of real-time systems using priced timed automata. |
Commun. ACM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Uli Fahrenberg, Claus R. Thrane, Kim G. Larsen |
Distances for Weighted Transition Systems: Games and Properties |
QAPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2011 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia Bouyer, Kim G. Larsen, Nicolas Markey, Ocan Sankur, Claus R. Thrane |
Timed Automata Can Always Be Made Implementable. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski |
Decision Problems for Interval Markov Chains. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Cardelli, Kim G. Larsen, Radu Mardare |
Modular Markovian Logic. |
ICALP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Uli Fahrenberg, Line Juhl, Kim G. Larsen, Jirí Srba |
Energy Games in Multiweighted Automata. |
ICTAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim G. Larsen, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski |
Robust Specification of Real Time Components. |
FORMATS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane |
Quantitative Refinement for Weighted Modal Transition Systems. |
MFCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikola Benes, Jan Kretínský, Kim G. Larsen, Mikael H. Møller, Jirí Srba |
Parametric Modal Transition Systems. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Goran Frehse, Kim G. Larsen, Marius Mikucionis, Brian Nielsen |
Monitoring Dynamical Signals While Testing Timed Aspects of a System. |
ICTSS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Zheng Wang |
Time for Statistical Model Checking of Real-Time Systems. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, Brian Nielsen |
Learning Probabilistic Automata for Model Checking. |
QEST |
2011 |
DBLP DOI BibTeX RDF |
Probabilistic Linear Time Temporal Logic, Model Checking, Learning, Probabilistic Automata |
| 1 | Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski |
APAC: A Tool for Reasoning about Abstract Probabilistic Automata. |
QEST |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski |
Abstract Probabilistic Automata. |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Cardelli, Kim G. Larsen, Radu Mardare |
Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi |
Developing UPPAAL over 15 years. |
Softw., Pract. Exper. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Axel Legay |
Distributed Parametric and Statistical Model Checking |
PDMC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Claus R. Thrane, Uli Fahrenberg, Kim G. Larsen |
Quantitative analysis of weighted transition systems. |
J. Log. Algebr. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Petur Olsen, Kim G. Larsen, Arne Skou |
Present and Absent Sets: Abstraction for Testing of Reactive Systems with Databases. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Oded Maler, Kim G. Larsen, Bruce H. Krogh |
On Zone-Based Analysis of Duration Probabilistic Automata |
INFINITY |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Timothy Bourke, Alexandre David, Kim G. Larsen, Axel Legay, Didier Lime, Ulrik Nyman, Andrzej Wasowski |
New Results on Timed Specifications. |
WADT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey |
Timed automata with observers under energy constraints. |
HSCC |
2010 |
DBLP DOI BibTeX RDF |
weighted timed automata, energy constraints |
| 1 | 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 |
DBLP DOI BibTeX RDF |
specification theory, timed i/o automata, real-time, interfaces, refinement |
| 1 | Boudewijn R. Haverkort, Joost-Pieter Katoen, Kim G. Larsen |
Quantitative Verification in Practice. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Hermanns, Kim Guldstrand Larsen, Jean-François Raskin, Jan Tretmans |
Quantitative system validation in model driven design. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre David, Jacob Deleuran Grunnet, Jan Jakob Jessen, Kim Guldstrand Larsen, Jacob Illum Rasmussen |
Application of Model-Checking Technology to Controller Synthesis. |
FMCO |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Marius Mikucionis, Brian Nielsen |
Testing Real-Time Systems under Uncertainty. |
FMCO |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim Guldstrand Larsen |
Symbolic and Compositional Reachability for Timed Automata. |
RP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, Saulius Pusinskas |
Scenario-based analysis and synthesis of real-time systems using uppaal. |
DATE |
2010 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Engelbredt Dalsgaard, Mads Chr. Olesen, Martin Toft, René Rydhof Hansen, Kim Guldstrand Larsen |
METAMOC: Modular Execution Time Analysis using Model Checking. |
WCET |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim G. Larsen |
Compositional and Quantitative Model Checking (Extended Abstract). |
Ershov Memorial Conference |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane |
Verification, Performance Analysis and Controller Synthesis for Real-Time Systems. |
FSEN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim G. Larsen, Uli Fahrenberg, Claus R. Thrane |
A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic. |
MEMICS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Kim G. Larsen |
Priced Timed Automata: Theory and Tools. |
FSTTCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Jirí Srba |
On determinism in modal transition systems. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Fahrenberg, Kim Guldstrand Larsen |
Discount-Optimal Infinite Runs in Priced Timed Automata. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Fahrenberg, Kim Guldstrand Larsen |
Discounting in Time. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen |
Timed Testing under Partial Observability. |
ICST |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jirí Srba |
Teaching Concurrency: Theory in Practice. |
TFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Jirí Srba |
Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete. |
ICTAC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter E. Bulychev, Thomas Chatain, Alexandre David, Kim Guldstrand Larsen |
Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation. |
FORMATS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, Saulius Pusinskas |
Verifying Real-Time Systems against Scenario-Based Requirements. |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim Guldstrand Larsen |
Verification and Performance Analysis for Embedded Systems. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Antonik, Michael Huth, Kim G. Larsen, Ulrik Nyman, Andrzej Wasowski |
20 Years of Modal and Mixed Specifications. |
Bulletin of the EATCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Kim Guldstrand Larsen, Jacob Illum Rasmussen |
Optimal reachability for multi-priced timed automata. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey |
Model Checking One-Clock Priced Timed Automata. |
Logical Methods in Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen |
Cooperative Testing of Timed Systems. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey |
Model Checking One-clock Priced Timed Automata |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Patricia Bouyer, Ed Brinksma, Kim Guldstrand Larsen |
Optimal infinite scheduling for multi-priced timed automata. |
Formal Methods in System Design |
2008 |
DBLP DOI BibTeX RDF |
Priced timed automata, Optimal mean-payoff |
| 1 | Sebastian Kupferschmid, Jörg Hoffmann, Kim Guldstrand Larsen |
Fast Directed Model Checking Via Russian Doll Abstraction. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia Bouyer, Ulrich Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Jirí Srba |
Infinite Runs in Weighted Timed Automata with Energy Constraints. |
FORMATS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen |
A Game-Theoretic Approach to Real-Time System Testing. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
real-time systems, model checking, schedulability analysis, software verification, real-time Java, Java processor |
| 1 | Anders Hessel, Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Paul Pettersson, Arne Skou |
Testing Real-Time Systems Using UPPAAL. |
Formal Methods and Testing |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Antonik, Michael Huth, Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski |
Complexity of Decision Problems for Mixed and Modal Specifications. |
FoSSaCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski |
Modeling software product lines using color-blind transition systems. |
STTT |
2007 |
DBLP DOI BibTeX RDF |
Relativized simulation, Modeling, Embedded software, Product lines, Labeled transition systems |
| 1 | Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski |
On Modal Refinement and Consistency. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacob Illum Rasmussen, Gerd Behrmann, Kim Guldstrand Larsen |
Complexity in Simplicity: Flexible Agent-Based State Space Exploration. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Dierks, Sebastian Kupferschmid, Kim Guldstrand Larsen |
Automatic Abstraction Refinement for Timed Automata. |
FORMATS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Jakob Jessen, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Alexandre David |
Guided Controller Synthesis for Climate Controller Using Uppaal Tiga. |
FORMATS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Didier Lime, Jean-François Raskin |
Timed Control with Observation Based and Stuttering Invariant Strategies. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime |
UPPAAL-Tiga: Time for Playing Games! |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey |
Model-Checking One-Clock Priced Timed Automata. |
FoSSaCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski |
Modal I/O Automata for Interface and Product Line Theories. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2006 |
DBLP BibTeX RDF |
|
| 1 | Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Larsen, Radek Pelánek |
Lower and upper bounds in zone-based abstractions of timed automata. |
STTT |
2006 |
DBLP DOI BibTeX RDF |
Verification, Abstraction, Timed automata, Extrapolation |
| 1 | Jacob Illum Rasmussen, Kim Guldstrand Larsen, K. Subramani |
On using priced timed automata to achieve optimal scheduling. |
Formal Methods in System Design |
2006 |
DBLP DOI BibTeX RDF |
Priced-timed automata, Zone-based, Linear programming, Real-time scheduling, Cost optimality |
| 1 | Henrik Schiøler, Jan Jakob Jessen, Jens Dalsgaard Nielsen, Kim Guldstrand Larsen |
Introducing synchronisation in deterministic network models. |
CAINE |
2006 |
DBLP BibTeX RDF |
|
| 1 | Alexandre David, John Håkansson, Kim Guldstrand Larsen, Paul Pettersson |
Model Checking Timed Automata with Priorities Using DBM Subtraction. |
FORMATS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski |
Interface Input/Output Automata. |
FM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi, Martijn Hendriks |
UPPAAL 4.0. |
QEST |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 225 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")