Kim Guldstrand Larsen
#99,387
Most Influential Person Now
Kim Guldstrand Larsen's AcademicInfluence.com Rankings
Kim Guldstrand Larsencomputer-science Degrees
Computer Science
#3525
World Rank
#3698
Historical Rank
Software Engineering
#92
World Rank
#92
Historical Rank
Database
#871
World Rank
#913
Historical Rank
Download Badge
Computer Science
Kim Guldstrand Larsen's Degrees
- PhD Computer Science Aarhus University
Similar Degrees You Can Earn
Why Is Kim Guldstrand Larsen Influential?
(Suggest an Edit or Addition)Kim Guldstrand Larsen's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- Uppaal in a nutshell (1997) (2469)
- A Tutorial on Uppaal (2004) (1719)
- Bisimulation through Probabilistic Testing (1991) (1304)
- UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems (1996) (931)
- Model-Checking for Real-Time Systems (1995) (788)
- A modal process logic (1988) (513)
- Minimum-Cost Reachability for Priced Timed Automata (2001) (372)
- Specification and refinement of probabilistic processes (1991) (360)
- Uppaal SMC tutorial (2015) (358)
- Efficient On-the-Fly Algorithms for the Analysis of Timed Games (2005) (345)
- UPPAAL-Tiga: Time for Playing Games! (2007) (304)
- Modal I/O Automata for Interface and Product Line Theories (2007) (285)
- Modal Specifications (1989) (264)
- Testing Real-Time Systems Using UPPAAL (2008) (250)
- The Impressive Power of Stopwatches (2000) (246)
- On Modal Refinement and Consistency (2007) (235)
- Efficient verification of real-time systems: compact data structure and state-space reduction (1997) (229)
- Reactive Systems: Modelling, Specification and Verification (2007) (222)
- Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAAL (1997) (215)
- Compositional and symbolic model-checking of real-time systems (1995) (211)
- Equation solving using modal transition systems (1990) (205)
- Timed I/O automata: a complete specification theory for real-time systems (2010) (204)
- Online Testing of Real-time Systems Using Uppaal (2004) (200)
- Infinite Runs in Weighted Timed Automata with Energy Constraints (2008) (200)
- Compositionality through an Operational Semantics of Contexts (1990) (195)
- Contracts for System Design (2018) (189)
- Efficient Timed Reachability Analysis Using Clock Difference Diagrams (1998) (183)
- Testing real-time embedded software using UPPAAL-TRON: an industrial case study (2005) (177)
- Verification of an Audio Protocol with Bus Collision Using UPPAAL (1996) (176)
- As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata (2001) (174)
- Probabilistic Extensions of Process Algebras (2001) (174)
- Efficient Guiding Towards Cost-Optimality in UPPAAL (2001) (170)
- Reachability Analysis of Probabilistic Systems by Successive Refinements (2001) (169)
- Statistical Model Checking for Networks of Priced Timed Automata (2011) (162)
- Formal Methods for the Design of Real-Time Systems (2004) (159)
- Optimal scheduling using priced timed automata (2005) (158)
- Proof Systems for Satisfiability in Hennessy-Milner Logic with Recursion (1990) (154)
- Testing Probabilistic and Nondeterministic Processes (1992) (152)
- UPPAAL Implementation Secrets (2002) (151)
- Bisimulation through probabilistic testing (preliminary report) (1989) (148)
- Time for Statistical Model Checking of Real-Time Systems (2011) (144)
- UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata (2012) (139)
- Optimal Strategies in Priced Timed Game Automata (2004) (138)
- UPPAAL - Now, Next, and Future (2000) (138)
- Memory Efficient Data Structures for Explicit Verification of Timed Systems (2014) (137)
- Time-Optimal Real-Time Test Case Generation Using Uppaal (2003) (133)
- From Timed Automata to Logic - and Back (1995) (131)
- Proof System for Hennessy-Milner Logic with Recursion (1988) (130)
- Formal Methods and Testing (2008) (125)
- The power of reachability testing for timed automata (1998) (124)
- Lower and upper bounds in zone-based abstractions of timed automata (2006) (123)
- Time-abstracted Bisimulation: Implicit Specifications and Decidability (1997) (119)
- Model Checking via Reachability Testing for Timed Automata (1997) (116)
- UPPAAL - present and future (2001) (113)
- Context-dependent bisimulation between processes (1986) (113)
- Probabilistic Process Algebra (2001) (113)
- Compositional Verification of Probabilistic Processes (1992) (112)
- Moving from Specifications to Contracts in Component-Based Design (2012) (110)
- Using Information Systems to Solve Recursive Domain Equations Effectively (1984) (107)
- Developing UPPAAL over 15 years (2011) (106)
- Clock Difference Diagrams (1998) (99)
- New Generation of UPPAAL (1998) (99)
- Priced Timed Automata: Algorithms and Applications (2004) (95)
- CMC: A Tool for Compositional Model-Checking of Real-Time Systems (1998) (94)
- Diagnostic Model-Checking for Real-Time Systems (1995) (92)
- Modelling and analysis of a collision avoidance protocol using Spin and Uppaal (1996) (91)
- A Constraint Oriented Proof Methodology Based on Modal Transition Systems (1994) (91)
- Guided Synthesis of Control Programs Using UPPAAL (2000) (89)
- METAMOC: Modular Execution Time Analysis using Model Checking (2010) (87)
- Statistical Model Checking for Stochastic Hybrid Systems (2012) (84)
- Static Guard Analysis in Timed Automata Verification (2003) (83)
- T-UPPAAL: online model-based testing of real-time systems (2004) (83)
- 20 Years of Modal and Mixed Specifications (2008) (82)
- Abstract Probabilistic Automata (2011) (82)
- Scaling up Uppaal Automatic Verification of Real-Time Systems Using Compositionality and Abstraction (2000) (81)
- Reduction and Refinement Strategies for Probabilistic Analysis (2002) (81)
- Optimal infinite scheduling for multi-priced timed automata (2008) (80)
- Time Abstracted Bisimiulation: Implicit Specifications and Decidability (1993) (80)
- Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL (1999) (78)
- Timed Modal Specification - Theory and Tools (1993) (78)
- Reactive Systems: Figures and tables (2007) (77)
- Efficient Local Correctness Checking (1992) (75)
- The Use of Static Constructs in A Modal Process Logic (1989) (75)
- Verification of Large State/Event Systems Using Compositionality and Dependency Analysis (1998) (74)
- Graphical Versus Logical Specifications (1990) (73)
- Staying Alive as Cheaply as Possible (2004) (73)
- Energy Games in Multiweighted Automata (2011) (72)
- To Store or Not to Store (2003) (71)
- A Context Dependent Equivalence Between Processes (1985) (71)
- UPPAAL in 1995 (1996) (69)
- A modal specification theory for components with data (2011) (69)
- A Tutorial on Uppaal 4 . 0 (2006) (68)
- Automatic Synthesis of Robust and Optimal Controllers - An Industrial Case Study (2009) (68)
- Automatic Abstraction Refinement for Timed Automata (2007) (66)
- Schedulability Analysis Using Uppaal: Herschel-Planck Case Study (2010) (65)
- Quantitative analysis of real-time systems using priced timed automata (2011) (63)
- ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems (2010) (63)
- Constraint Markov Chains (2011) (61)
- Model-based schedulability analysis of safety critical hard real-time Java programs (2008) (61)
- A Compositional Proof of a Real-Time Mutual Exclusion Protocol (1996) (60)
- Model-checking real-time control programs: verifying LEGO MINDSTORMSTM systems using UPPAAL (1999) (60)
- Learning Probabilistic Automata for Model Checking (2011) (60)
- Guided Controller Synthesis for Climate Controller Using Uppaal Tiga (2007) (60)
- Interface Input/Output Automata (2006) (58)
- Model-Based Framework for Schedulability Analysis Using Uppaal 4.1 (2018) (58)
- Quantitative analysis of weighted transition systems (2010) (57)
- Statistical Model Checking: Past, Present, and Future (2016) (57)
- Resource-Optimal Scheduling Using Priced Timed Automata (2004) (57)
- Model Checking One-clock Priced Timed Automata (2007) (56)
- Lower and Upper Bounds in Zone Based Abstractions of Timed Automata (2004) (56)
- On Time with Minimal Expected Cost! (2014) (55)
- UPPAAL: Status & Developments (1997) (54)
- Using Information Systems to Solve Recursive Domain Equations (1991) (54)
- Compositional Design Methodology with Constraint Markov Chains (2010) (53)
- A Tool Architecture for the Next Generation of Uppaal (2002) (53)
- Timed Control with Observation Based and Stuttering Invariant Strategies (2007) (52)
- Model Checking Timed Automata with Priorities Using DBM Subtraction (2006) (51)
- On-the-Fly Exact Computation of Bisimilarity Distances (2013) (50)
- Timed automata with observers under energy constraints (2010) (50)
- Exact Acceleration of Real-Time Model Checking (2002) (49)
- Schedulability of Herschel-Planck Revisited Using Statistical Model Checking (2012) (48)
- Contracts for Systems Design: Theory (2015) (47)
- Language Emptiness of Continuous-Time Parametric Timed Automata (2015) (47)
- Optimal Conditional Reachability for Multi-priced Timed Automata (2005) (46)
- Online and Compositional Learning of Controllers with Application to Floor Heating (2016) (46)
- An evaluation framework for energy aware buildings using statistical model checking (2012) (46)
- Modelling Attack-defense Trees Using Timed Automata (2016) (45)
- On determinism in modal transition systems (2009) (44)
- Safe and Optimal Adaptive Cruise Control (2015) (44)
- Average-energy games (2015) (44)
- Optimal reachability for multi-priced timed automata (2008) (43)
- Multi-core Emptiness Checking of Timed Büchi Automata Using Inclusion Abstraction (2013) (43)
- Continuous modeling of real-time and hybrid systems: from concepts to tools (1997) (41)
- Rewrite-Based Statistical Model Checking of WMTL (2012) (41)
- Learning deterministic probabilistic automata from a model checking perspective (2016) (40)
- Automated verification of an audio-control protocol using UPPAAL (2002) (40)
- Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II (1998) (38)
- Statistical model checking for biological systems (2015) (38)
- Almost Optimal Strategies in One Clock Priced Timed Automata (2007) (38)
- Online On-the-Fly Testing of Real-time Systems (2003) (38)
- Automated Analysis of an Audio Control Protocol Using UPPAAL (2002) (38)
- Verifying a Protocol Using Relativized Bisimulation (1987) (38)
- Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic (2012) (37)
- Almost Optimal Strategies in One Clock Priced Timed Games (2006) (36)
- UPPAAL: Status and Developments (1997) (36)
- Multi-core Reachability for Timed Automata (2012) (36)
- Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal (2013) (35)
- Complexity of Decision Problems for Mixed and Modal Specifications (2008) (35)
- Timed Modal Specification —Theory and Tools (1997) (35)
- Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools (2015) (35)
- Decision Problems for Interval Markov Chains (2011) (34)
- Parametric Modal Transition Systems (2011) (34)
- Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete (2009) (34)
- Verification, Model Checking, and Abstract Interpretation (2015) (34)
- Real-Time Calculi and Expansion Theorems (1992) (33)
- Compositional Theories Based on an Operational Semantics of Contexts (1989) (33)
- Metrics for weighted transition systems: Axiomatization and complexity (2011) (33)
- Continuous Markovian Logics - Axiomatization and Quantified Metatheory (2012) (33)
- The Fork Calculus (1994) (33)
- Synthesis of Optimal Strategies Using HyTech (2005) (33)
- Modal transition systems with weight intervals (2012) (32)
- Verification of Hierarchical State/Event Systems using Reusability and Compositionality (1999) (32)
- Checking and Distributing Statistical Model Checking (2012) (32)
- Extending modal transition systems with structured labels (2012) (31)
- A Compositional Protocol Verification Using Relativized Bisimulation (1992) (31)
- Compact Data Structures and State-Space Reduction for Model-Checking Real-Time Systems (2003) (30)
- Quantitative Refinement for Weighted Modal Transition Systems (2011) (30)
- Learning Markov Decision Processes for Model Checking (2012) (30)
- Regular languages definable by Lindström quantifiers (2003) (30)
- Time-Optimal Test Cases for Real-Time Systems (2003) (29)
- Robust Specification of Real Time Components (2011) (29)
- Optimizing Control Strategy Using Statistical Model Checking (2013) (29)
- Fischer's Protocol Revisited: A Simple Proof Using Modal Constraints (1996) (29)
- Optimal Bounds for Multiweighted and Parametrised Energy Games (2013) (29)
- Scenario-based verification of real-time systems using Uppaal (2010) (29)
- Stone Duality for Markov Processes (2013) (29)
- Timed Automata Can Always Be Made Implementable (2011) (29)
- Computing Behavioral Distances, Compositionally (2013) (29)
- Runtime Verification of Biological Systems (2012) (29)
- On Zone-Based Analysis of Duration Probabilistic Automata (2010) (29)
- Lower-Bound Constrained Runs in Weighted Timed Automata (2012) (28)
- Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation (2009) (28)
- On using priced timed automata to achieve optimal scheduling (2006) (27)
- Practical verification of embedded software (2000) (27)
- Compositional bisimulation metric reasoning with Probabilistic Process Calculi (2016) (27)
- Compositional verification of real-time systems using Ecdar (2012) (27)
- Timed Testing under Partial Observability (2009) (26)
- Distances for Weighted Transition Systems: Games and Properties (2011) (26)
- A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic (2012) (26)
- Discount-Optimal Infinite Runs in Priced Timed Automata (2009) (26)
- Taking It to the Limit: Approximate Reasoning for Markov Processes (2012) (26)
- Automatic Synthesis of Real Time Systems (1994) (26)
- Deciding Properties of Regular Real Time Processes (1991) (26)
- Ideal Specification Formalism + Expressivity + Compositionality + Decidability + Testability + (1990) (26)
- Optimization of power-to-heat flexibility for residential buildings in response to day-ahead electricity price (2020) (26)
- Generality in design and compositional verification usingTav (1992) (25)
- Formal Modelling and Analysis of an Audio/Video Protocol (1997) (25)
- CAAL: Concurrency Workbench, Aalborg Edition (2015) (25)
- Compositional Model Checking of Real Time Systems (1995) (25)
- Network Calculus for Real Time Analysis of Embedded Systems with Cyclic Task Dependencies (2005) (25)
- Statistical Model Checking of Dynamic Networks of Stochastic Hybrid Automata (2014) (24)
- Real-time specifications (2015) (24)
- New Results on Abstract Probabilistic Automata (2011) (24)
- Playing Games with Timed Games (2009) (24)
- The Expressive Power of Implicit Specifications (1991) (23)
- opaal: A Lattice Model Checker (2011) (23)
- On the Complexity of Equation Solving in Process Algebra (1991) (23)
- Weighted modal transition systems (2012) (23)
- Real-time system testing on-the-fly (2003) (22)
- Time to Learn - Learning Timed Automata from Tests (2019) (22)
- Modular Markovian Logic (2011) (22)
- L*-Based Learning of Markov Decision Processes (2019) (22)
- Compositional Proofs by Partial Specification of Processes (1988) (22)
- Co-Simulation of Hybrid Systems with SpaceEx and Uppaal (2015) (21)
- A Game-Theoretic Approach to Real-Time System Testing (2008) (21)
- PTrie: Data Structure for Compressing and Storing Sets via Prefix Sharing (2017) (21)
- Learning Markov Models for Stationary System Behaviors (2012) (21)
- Consistency and refinement for Interval Markov Chains (2012) (20)
- Automatic Verification of Real-Timed Systems Using EPSILON (1994) (20)
- Efficient model-checking of weighted CTL with upper-bound constraints (2016) (20)
- A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example (2012) (20)
- Solving Planning Problems Using Real-Time Model Checking: Translating PDDL3 into Timed Automata (2002) (19)
- Uppaal Stratego for Intelligent Traffic Lights (2017) (19)
- Battery-Aware Scheduling of Mixed Criticality Systems (2014) (18)
- Application of Model-Checking Technology to Controller Synthesis (2010) (18)
- Compositional Metric Reasoning with Probabilistic Process Calculi (2015) (18)
- Synchronizing Strategies under Partial Observability (2014) (18)
- Unification & Sharing in Timed Automata Verification (2003) (17)
- Converging from branching to linear metrics on Markov chains (2015) (17)
- APAC: A Tool for Reasoning about Abstract Probabilistic Automata (2011) (17)
- Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation (2017) (17)
- Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness (2005) (17)
- Compositional Schedulability Analysis of An Avionics System Using UPPAAL (2014) (17)
- Modelling Social-Technical Attacks with Timed Automata (2015) (17)
- Guided Synthesis of Control Programs for a Batch Plant using UPPAAL (2000) (17)
- Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs (2019) (17)
- Synchronizing Words for Weighted and Timed Automata (2014) (17)
- Dual-Priced Modal Transition Systems with Time Durations (2012) (17)
- Statistical and exact schedulability analysis of hierarchical scheduling systems (2016) (17)
- Quantitative Evaluation of Attack Defense Trees Using Stochastic Timed Automata (2017) (16)
- Complete proof systems for weighted modal logic (2014) (16)
- Contracts for the Design of Embedded Systems Part II : Theory (2011) (16)
- Widening the Schedulability of Hierarchical Scheduling Systems (2014) (16)
- Modeling software product lines using color-blind transition systems (2007) (16)
- Verification, Performance Analysis and Controller Synthesis for Real-Time Systems (2009) (16)
- Testing Real-Time Systems under Uncertainty (2010) (15)
- Reachability analysis for timed automata using max-plus algebra (2012) (15)
- Proceedings of the 25th International Colloquium on Automata, Languages and Programming (1998) (15)
- A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems (2015) (15)
- Mutation-Based Test-Case Generation with Ecdar (2017) (15)
- Cooperative Testing of Timed Systems (2008) (15)
- Parametric Verification of Weighted Systems (2015) (15)
- Synthesizing Distinguishing Formulae for Real Time Systems (1994) (15)
- Schedulability of Herschel revisited using statistical model checking (2015) (14)
- On the Total Variation Distance of Semi-Markov Chains (2015) (14)
- A Distributed Fixed-Point Algorithm for Extended Dependency Graphs (2018) (14)
- Nash Equilibria in Concurrent Priced Games (2012) (14)
- Refinement of Trace Abstraction for Real-Time Programs (2017) (14)
- EXPTIME-complete Decision Problems for Modal and Mixed Specifications (2009) (14)
- Robust synthesis for real-time systems (2014) (13)
- Complexity in Simplicity: Flexible Agent-Based State Space Exploration (2007) (13)
- Scenario-based analysis and synthesis of real-time systems using uppaal (2010) (13)
- Methodologies for Specification of Real-Time Systems Using Timed I/O Automata (2009) (13)
- Schedulability and Energy Efficiency for Multi-core Hierarchical Scheduling Systems (2014) (13)
- State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems (2012) (13)
- 20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond (2018) (13)
- Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas (2011) (13)
- Mastering operational limitations of LEO satellites – The GomX-3 approach (2018) (13)
- Modal and mixed specifications: key decision problems and their complexities (2010) (13)
- Formal Verification of an Audio/Video Power Controller using the Real-Time Model Checker UPPAAL (1997) (12)
- Local Model Checking of Weighted CTL with Upper-Bound Constraints (2013) (12)
- Online Testing of Real-time Systems (2004) (12)
- Optimal and robust controller synthesis using energy timed automata with uncertainty (2018) (12)
- On the Power of Statistical Model Checking (2016) (12)
- SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes (2019) (12)
- Fast Directed Model Checking Via Russian Doll Abstraction (2008) (12)
- Regular Languages Definable by Lindström Quantifiers (Preliminary Version) (2002) (12)
- Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach (2012) (12)
- Experimental Batch Plant: VHS Case Study 1 using Timed Automata and UPPAAL (1999) (12)
- Degree of Schedulability of Mixed-Criticality Real-Time Systems with Probabilistic Sporadic Tasks (2014) (12)
- New Results on Timed Specifications (2010) (11)
- WNetKAT: A Weighted SDN Programming and Verification Language (2016) (11)
- An Interface Theory for Input/Output Automata (2006) (11)
- 20 Years of Mixed and Modal Specifications (2008) (11)
- High-level frameworks for the specification and verification of scheduling problems (2018) (11)
- On the Metric-Based Approximate Minimization of Markov Chains (2017) (11)
- Partial Specifications and Compositional Verification (1991) (11)
- Contracts for Systems Design: Methodology and Application cases (2015) (11)
- Refinement and Difference for Probabilistic Automata (2012) (11)
- Priced Timed Automata and Statistical Model Checking (2013) (11)
- TetaSARTS: a tool for modular timing analysis of safety critical Java systems (2013) (11)
- Distributed Computation of Fixed Points on Dependency Graphs (2016) (11)
- Guiding and Cost-Optimality in UPPAAL (2001) (11)
- Limit Your Consumption! Finding Bounds in Average-energy Games (2015) (11)
- A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata (2012) (11)
- Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems (2018) (10)
- Distributed Parametric and Statistical Model Checking (2011) (10)
- An approach to handle real time and probabilistic behaviors in e-commerce: validating the SET protocol (2005) (10)
- Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems (1995) (10)
- Partial Order Reduction for Reachability Games (2019) (10)
- The Methodology of Modal Constraints (1994) (10)
- UPPAAL-Tiga: Timed Games for Everyone (2006) (10)
- L*-Based Learning of Markov Decision Processes (Extended Version) (2019) (10)
- Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization (2016) (10)
- Model checking of finite-state machine-based scenario-aware dataflow using timed automata (2015) (10)
- Continuous-Time Models for System Design and Analysis (2019) (10)
- Safe and Time-Optimal Control for Railway Games (2019) (10)
- Stubborn Set Reduction for Two-Player Reachability Games (2019) (10)
- Computing Probabilistic Bisimilarity Distances for Probabilistic Automata (2019) (10)
- Discrete and continuous strategies for timed-arc Petri net games (2018) (10)
- Compositional Safety Logics (1997) (10)
- Alternation-Free Weighted Mu-Calculus: Decidability and Completeness (2015) (10)
- Schedulability Analysis Abstractions for Safety Critical Java (2012) (10)
- Importance Sampling for Stochastic Timed Automata (2016) (9)
- Discounting in Time (2009) (9)
- Decidability and Expressiveness of Recursive Weighted Logic (2014) (9)
- Time-Darts: A Data Structure for Verification of Closed Timed Automata (2012) (9)
- CyNC: A method for real time analysis of systems with cyclic data flows (2006) (9)
- Abstract Dependency Graphs and Their Application to Model Checking (2019) (9)
- Color-Blind Specifications for Transformations of Reactive Synchronous Programs (2005) (9)
- Adequacy and Complete Axiomatization for Timed Modal Logic (2014) (9)
- A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing (2015) (9)
- Hierarchical Flexibility Potentials of Residential Buildings with Responsive Heat Pumps: A Case Study of Denmark (2021) (9)
- Verification and Performance Evaluation of Timed Game Strategies (2014) (9)
- Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga (2018) (8)
- Formal validation of supervisory energy management systems for microgrids (2017) (8)
- Remote Testing of Timed Specifications (2013) (8)
- Adaptable Value-Set Analysis for Low-Level Code (2012) (8)
- Verification and Performance Analysis for Embedded Systems (2009) (8)
- Quantitative schedulability analysis of continuous probability tasks in a hierarchical context (2015) (8)
- A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling (2015) (8)
- Resource-Efficient Scheduling for Real Time Systems (2003) (8)
- Teaching Concurrency: Theory in Practice (2009) (8)
- Approximating Euclidean by Imprecise Markov Decision Processes (2020) (8)
- Essays for the Luca Cardelli Fest (2014) (8)
- Complete Axiomatization for the Bisimilarity Distance on Markov Chains (2016) (8)
- Refinement checking on parametric modal transition systems (2015) (7)
- Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU (2017) (7)
- Reasoning About Bounds in Weighted Transition Systems (2017) (7)
- Polynomial Time Decidability of Weighted Synchronization under Partial Observability (2015) (7)
- A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems (2016) (7)
- Optimizing the resource requirements of hierarchical scheduling systems (2016) (7)
- Unrestricted stone duality for Markov processes (2017) (7)
- Guided Synthesis of Control Programs using UPPAAL for VHS Case Study 5 (1999) (7)
- Model Construction for Implicit Specifications in Model Logic (1993) (7)
- Formal verification and simulation for platform screen doors and collision avoidance in subway control systems (2014) (7)
- Time optimal reachability analysis using swarm verification (2016) (7)
- Minimal DBM Substraction (2004) (7)
- New results for Constraint Markov Chains (2012) (7)
- Model-Based Mutation Testing of Real-Time Systems via Model Checking (2018) (7)
- Continuity Properties of Distances for Markov Processes (2014) (6)
- Tools for Model-Checking Timed Systems (2013) (6)
- Proceedings of TACAS 2004 (2004) (6)
- Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems (2018) (6)
- New UPPAAL Architecture (2002) (6)
- Compact Data Structure and State-Space Reduction for Model-Checking Real-Time Systems (2003) (6)
- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems (2013) (6)
- Priced Timed Automata: Theory and Tools (2009) (6)
- UPPAAL-Tiga: Time for Playing Games! (Tool Paper) (2007) (6)
- Resource-Parameterized Timing Analysis of Real-Time Systems (2015) (6)
- A Decidable Recursive Logic for Weighted Transition Systems (2014) (6)
- Learning Timed Automata via Genetic Programming (2018) (6)
- On-the-Fly Computation of Bisimilarity Distances (2017) (6)
- Statistical Model Checking, Refinement Checking, Optimization, ... for Stochastic Hybrid Systems (2012) (6)
- Computer Aided Verification: 3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings (1992) (6)
- Preliminary Proceedings of the 3rd International Workshop on Models for Time-Critical Systems (2002) (6)
- Model checking and synthesis for branching multi-weighted logics (2019) (5)
- Concurrent weighted logic (2015) (5)
- EXPTIME-completeness of thorough refinement on modal transition systems (2012) (5)
- Analyzing Spreadsheets for Parallel Execution via Model Checking (2018) (5)
- Computer Aided Verification: Proceding of the 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31 2002 (2002) (5)
- A Complete Approximation Theory for Weighted Transition Systems (2016) (5)
- It's Time to Play Safe: Shield Synthesis for Timed Systems (2020) (5)
- Verifying Real-Time Systems against Scenario-Based Requirements (2009) (5)
- Validation, Synthesis and Optimization for Cyber-Physical Systems (2017) (5)
- Symbolic Dependency Graphs for $$\text {PCTL}^{>}_{\le }$$ Model-Checking (2017) (5)
- Statistical Model Checking the 2018 Edition! (2018) (5)
- Statistical Model Checking Past, Present, and Future - (Track Introduction) (2014) (5)
- Urgent Partial Order Reduction for Extended Timed Automata (2020) (5)
- Model-Based Verification and Analysis for Real-Time Systems (2011) (5)
- CyNC - towards a General Tool for Performance Analysis of Complex Distributed Real Time Systems (2005) (5)
- Symbolic Model Checking of Weighted PCTL Using Dependency Graphs (2019) (5)
- On decidability of recursive weighted logics (2018) (5)
- Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 (2004) (5)
- Clock Di erence Diagrams (1998) (5)
- Quantitative analysis of real-time systems (2009) (5)
- On Greatest Lower Bound of Modal Transition Systems (2010) (5)
- Probabilistic Mu-Calculus: Decidability and Complete Axiomatization (2016) (5)
- Checking & Distributing Statistical Model Checking ⋆ (2011) (5)
- Statistical model checking past, present, and future (Track Introduction) (2014) (5)
- MDM: A Mode Diagram Modeling Framework for Periodic Control Systems (2012) (5)
- Logical Characterization and Complexity of Weighted Branching Preorders and Distances (2016) (5)
- The BisimDist Library: Efficient Computation of Bisimilarity Distances for Markovian Models (2013) (5)
- Present and Absent Sets: Abstraction for Testing of Reactive Systems with Databases (2010) (5)
- On the Relationship between LTL Normal Forms and Büchi Automata (2012) (4)
- Synchronizing Words for Timed and Weighted Automata (2013) (4)
- Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds (2021) (4)
- Toolchain for user-centered intelligent floor heating control (2016) (4)
- A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains (2017) (4)
- Analytical Solution for Long Battery Lifetime Prediction in Nonadaptive Systems (2018) (4)
- Distributed Algorithms for Time Optimal Reachability Analysis (2016) (4)
- Formal methods and tools for industrial critical systems (2022) (4)
- Monitoring Dynamical Signals While Testing Timed Aspects of a System (2011) (4)
- Model-Based GUI Testing Using Uppaal at Novo Nordisk (2009) (4)
- DECIDING PROPERTIES OF REGULAR REAL TIMEDPROCESSESUNO HOLMER (1991) (4)
- Reactive Systems: Hennessy–Milner logic (2007) (4)
- Online and Proactive Vehicle Rerouting with Uppaal Stratego (2021) (4)
- Timed Comparisons of Semi-Markov Processes (2017) (4)
- Hard real-time development environments (2005) (3)
- Proceedings of the 18th IEEE Real-Time Systems Symposium, RTSS'97, San Francisco, Calif., December 3-5, 1997 (1997) (3)
- Model Checking Constrained Markov Reward Models with Uncertainties (2019) (3)
- Pareto Optimal Reachability Analysis for Simple Priced Timed Automata (2017) (3)
- Artifact for "Partial Order Reduction for Reachability Games" (2019) (3)
- Verification and Performance Analysis of Embedded and Cyber-Physical Systems using UPPAAL (2014) (3)
- 20 Years of Real Real Time Model Validation (2018) (3)
- Formal modelling and analysis of Bitflips in ARM assembly code (2016) (3)
- Fluid Model-Checking in UPPAAL for Covid-19 (2020) (3)
- Synthesizing Distinguishing Formulae for Real Time Systems (Extended Abstract) (1995) (3)
- Code-level timing analysis of embedded software: emsoft'12 invited talk session outline (2012) (3)
- Stuttering for Abstract Probabilistic Automata (2013) (3)
- Efficient controller synthesis for a fragment of MTL 0 , &infin (2014) (3)
- Memory-Efficient Tactics for Randomized LTL Model Checking (2017) (3)
- Automatic Verification of Real-Timed Systems Using (1994) (3)
- Compositional Testing of Real-Time Systems (2017) (3)
- Models, Mindsets, Meta: The What, the How, and the Why Not? (2019) (3)
- Reactive Systems: Modelling mutual exclusion algorithms (2007) (3)
- Automatic verification of real-tim systems using epsilon (1995) (3)
- Formal Methods for Modelling and Analysis of Single-Event Upsets (2015) (3)
- Model Verification Through Dependency Graphs (2019) (3)
- Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata (2014) (3)
- Dependency graphs with applications to verification (2020) (3)
- Weighted Branching Simulation Distance for Parametric Weighted Kripke Structures (2016) (3)
- Quasimodo: Quantitative System Properties in Model-Driven-Design of Embedded Systems. EU FP-7 Application (2007) (3)
- Topologies of Stochastic Markov Models: Computational Aspects (2014) (3)
- Interface Input/Output Automata: Splitting Assumptions from Guarantees (2006) (3)
- Bisimulation on Markov Processes over Arbitrary Measurable Spaces (2014) (3)
- Complete Axiomatization for the Total Variation Distance of Markov Chains (2018) (3)
- Practical controller synthesis for MTL0,∞ (2017) (3)
- Quantitative Modal Transition Systems (2012) (3)
- Proceedings of the 14th International Conference on Computer Aided Verification (2002) (3)
- Quantitative system validation in model driven design (2010) (2)
- Extended abstract dependency graphs (2021) (2)
- Parametric and Quantitative Extensions of Modal Transition Systems (2014) (2)
- Now, Next, and Future (2001) (2)
- Efficient controller synthesis for a fragment of MTL0,∞\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\hbox {MTL}_{0, (2013) (2)
- Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction (2020) (2)
- A Modeling Concept for Formal Verification of OS-Based Compositional Software (2023) (2)
- Symbolic and Compositional Reachability for Timed Automata (2010) (2)
- Process Algebra and Probablistic Methods (2002) (2)
- Optimal and Robust Controller Synthesis (2019) (2)
- Efficient controller synthesis for a fragment of $$\hbox {MTL}_{0, \infty }$$MTL0,∞ (2013) (2)
- Present and Absent Sets: Abstraction for Data Intensive Systems Suited for Testing (2010) (2)
- Energy-aware scheduling of FIR filter structures using a timed automata model (2016) (2)
- Towards Translating FSM-SADF to Timed Automata (2015) (2)
- Distributed Fleet Management in Noisy Environments via Model-Predictive Control (2022) (2)
- A Faster-Than Relation for Semi-Markov Decision Processes (2018) (2)
- Randomized Refinement Checking of Timed I/O Automata (2020) (2)
- Cooperative Testing of Uncontrollable Timed Systems (2008) (2)
- Lumpability for Uncertain Continuous-Time Markov Chains (2021) (2)
- Tree automata-based refinement with application to Horn clause verification (2014) (2)
- Randomized reachability analysis in UPPAAL: fast error detection in timed systems (2022) (2)
- Automata, languages and programming : 25th International Colloquium, ICALP '98, Aalborg, Denmark, July 13-17, 1998 : proceedings (1998) (2)
- From Statistical Model Checking to Run-Time Monitoring Using a Bayesian Network Approach (2020) (2)
- Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks (2015) (2)
- On the Verification of Weighted Kripke Structures Under Uncertainty (2018) (2)
- MDM: A Mode Diagram Modeling Framework (2012) (2)
- Time Optimal Robust Fleet Management of Micro UAV Through Timed Games Formulation (2018) (2)
- ADTLang: a programming language approach to attack defense trees (2021) (2)
- Active Learning of Markov Decision Processes using Baum-Welch algorithm (2021) (2)
- Dependable Software Engineering: Theories, Tools, and Applications (2015) (2)
- Controlling Signalized Intersections using Machine Learning (2020) (2)
- Formal verification and simulation for platform screen doors and collision avoidance in subway control systems (2014) (1)
- 42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017, August 21-25, 2017 - Aalborg, Denmark (2017) (1)
- An Automata-Based Approach to Trace Partitioned Abstract Interpretation (2015) (1)
- Optimal Infinite Runs in One-Clock Priced Timed Automata (2011) (1)
- A Lattice Model Checker (2010) (1)
- AAAI Spring Symposium Model-Based Validation of Intelligence (2001) (1)
- Proceedings of 2009 International Conference on Software Testing Verification and Validation (2009) (1)
- CONCUR 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings (2001) (1)
- Stubborn Set Reduction for Timed Reachability and Safety Games (2021) (1)
- Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, ICAASE 2014, Constantine, Algeria, November 2-4, 2014 (2014) (1)
- Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals (2022) (1)
- A Bayesian Framework for Large-Scale Identification of Nonlinear Hybrid Systems (2021) (1)
- Average-energy games (2016) (1)
- Quality Software: Concepts and Tools (1994) (1)
- A Sigfox Module for the Network Simulator 3 (2022) (1)
- One Clock Priced Timed Automata: Model Checking and Optimal Strategies (2006) (1)
- An evaluation framework for energy aware buildings using statistical model checking (2012) (1)
- Automata Learning Meets Shielding (2022) (1)
- Action Investment Energy Games (2012) (1)
- Playing Games with Timed Automata: Invited Presentation at the 7th Interaction and Concurrency Experience (2014) (1)
- Introducing synchronisation in deterministic network models (2006) (1)
- The Limit of Testing for Timed Automata (to appear) (2002) (1)
- Fourteenth International IFIP Symposium on Protocol Specification, Testing and Verification : PSTV '94 (1994) (1)
- Verification of Real-Time Applications Using the Epsilon System (1994) (1)
- Proceedings of the Third Workshop on Formal Integrated Development Environment: Verification, Optimization, Performance Analysis and Synthesis of Cyber-Physical Systems (2017) (1)
- Controllers with Minimal Observation Power (Application to Timed Systems) (2012) (1)
- Timed Controller Synthesis: An Industrial Case Study (2011) (1)
- Optimal and robust controller synthesis using energy timed automata with uncertainty (2020) (1)
- Preliminary Security Analysis, Formalisation, and Verification of OpenTitan Secure Boot Code (2021) (1)
- Automated Technology for Verification and Analysis (2016) (1)
- A refinement logic for the fork calculus (1995) (1)
- Quantitative Modelling and Analysis (2012) (1)
- Staying Alive As Cheaply As Possible Research Report LSV (2004) (1)
- Formal Modeling and Analysis of Timed Systems (2018) (1)
- Danfoss EKC Trial Project Deliverables (2003) (1)
- Automata, Languages and Programming: Proceedings of the 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17 1998 (1998) (1)
- From Timed Automata to Stochastic Hybrid Games Model Checking, Synthesis, Performance Analysis and Machine Learning (2017) (1)
- Hierarchical identification of nonlinear hybrid systems in a Bayesian framework (2022) (1)
- Reachability Analysis of Probabilistic Systems (2001) (1)
- Modellchecking for Realltime Systems ? (1995) (1)
- Quantitative Verification in Practice (2010) (1)
- A Metric Analogue of Stone Duality for Markov Processes (2012) (1)
- Tool Suite for Symbolic and CompositionalVeri cation of Real { Time Systems ? (1995) (1)
- Formal Methods for Abstract Specifications – A Comparison of Concepts (2006) (1)
- Experimental Batch Plant - CS1 Using Timed Automata and UPPAAL (1999) (1)
- Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods (2021) (1)
- Synthesis for Multi-weighted Games with Branching-Time Winning Conditions (2020) (1)
- On-the-Fly Synthesis for Strictly Alternating Games (2020) (1)
- Weighted Branching Systems: Behavioural Equivalence, Behavioural Distance, and Their Logical Characterisations (2018) (1)
- Application and Theory of Petri Nets and Other Models of Concurrency : Special Issue of Selected Papers from Petri Nets 2017 (2018) (1)
- [hal-01010866, v1] Refinement and Difference for Probabilistic Automata (2014) (1)
- Proceedings of the 3rd International Workshop on Computer Aided Verification (1991) (1)
- Battery Aware Analysis of Sensor Networks in Uppaal SMC (2021) (1)
- Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers (2004) (1)
- A Hemimetric Extension of Simulation for Semi-Markov Decision Processes (2018) (1)
- An investigation of safe and near-optimal strategies for prevention of Covid-19 exposure using stochastic hybrid models and machine learning (2022) (0)
- On-the-Fly Testing of Real-time Systems (0)
- Compositional and Quantitative Model Checking (2010) (0)
- Timed and Untimed Energy Games (2017) (0)
- Optimality-preserving Reduction of Chemical Reaction Networks (2023) (0)
- Extended abstract dependency graphs (2021) (0)
- Automatic Verification, Performance Analysis, Synthesis and Optimization of Timed Systems (2016) (0)
- Theoretical Computer Robust synthesis for real-time systems ✩ (2015) (0)
- Preliminary Proceedings of the Workshop on Geometry and Topology in Concurrency GETCO ’ 05 San Francisco , California , USA , August 21 , 2005 (2005) (0)
- Quasimodo Year 3 Management Report (2011) (0)
- Model Checking Process Algebra of Communicating Resources for Real-Time Systems (2014) (0)
- The Behavior of Probabilistic Systems (2014) (0)
- Quasimodo Year 2 Management Report (2010) (0)
- Proceedings of the 10th International Workshop on Worst-Case Execution-Time Analysis (WCET2010) (2010) (0)
- An introduction to controller synthesis (2013) (0)
- Monte Carlo Tree Search for Priced Timed Automata (2022) (0)
- Modelling and Analysis of a Collision Avoidance Protocol Using Spin and Uppaal 1. Motivation (1996) (0)
- Balancing Flexible Production and Consumption of Energy using Resource Timed Automata (2022) (0)
- Compositions of Model Checking Real Time Systems (1996) (0)
- Preface to the Special Issue on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2017) (2021) (0)
- Uppaal SMC tutorial (2015) (0)
- F L ] 1 D ec 2 01 7 Timed Comparisons of Semi-Markov Processes ⋆ (2018) (0)
- Reactive Systems: References (2007) (0)
- Using machine learning and object detection for signal-controlled intersections (2018) (0)
- Part I A Classic Theory of Reactive Systems 1 (0)
- Quantitative Modal Transition Systems ( Invited Extended Abstract ) (2013) (0)
- Reactive Systems: CCS with time delays (2007) (0)
- Perspectives of Systems Informatics (2015) (0)
- Learning deterministic probabilistic automata from a model checking perspective (2016) (0)
- Aalborg Universitet Synchronizing Strategies under Partial (2017) (0)
- Selected papers from the 28th Nordic Workshop on Programming Theory (NWPT'16) (2019) (0)
- 30 Years of Statistical Model Checking (2020) (0)
- On decidability of recursive weighted logics (2016) (0)
- L O ] 8 J ul 2 01 6 Average-energy games ⋆ (2018) (0)
- Quantitative Model-Based Analysis of Real-Time Embedded Systems: The Quasimodo Project (2015) (0)
- Dependable and Optimal Cyber-Physical Systems (2017) (0)
- Modelling and Analysis of a Sigfox based IoT Network using UPPAAL SMC (2023) (0)
- REASONING ABOUT BOUNDS IN WEIGHTED TRANSITION (2018) (0)
- Reactive Systems: Suggestions for student projects (2007) (0)
- Formal modelling and analysis of Bitflips in ARM assembly code (2016) (0)
- Regular languages deinable bt Lindström quantifiers (2003) (0)
- Probabilistic Modal Specifications (Invited Extended Abstract) (2013) (0)
- Compositional and Quantitative Model Checking (Extended Abstract) (2009) (0)
- Synthesis of Safe, Optimal and Compact Strategies for Stochastic Hybrid Games (Invited Paper) (2019) (0)
- Foundations of Hybrid and Embedded Software Systems (2003) (0)
- MM Algorithms to Estimate Parameters in Continuous-time Markov Chains (2023) (0)
- Proceedings of the Workshop on Games in Design and Verification, GDV@CAV 2004, Boston, MA, USA, June 18, 2004 (2005) (0)
- Paper D Eriication of Real-time Systems: Compact Data Structures and State-space Reduction. in Eecient Veriication of Real-time Systems: Com- Pact Data Structures and State-space Reduction (1997) (0)
- Design Space Exploration of Printer Datapaths using Timed Automata ∗ (2010) (0)
- Schedulability Analysis of Herschel / Planck Software Using Uppaal (2011) (0)
- Reachability problems: Special issue (2018) (0)
- Model checking embedded and real time systems (2008) (0)
- Average-energy games (full version) (2015) (0)
- Computer Aided Verification (2002) (0)
- A general framework for defining and optimizing robustness (2020) (0)
- Consistency and Refinement for Interval Markov Chains 12 (2011) (0)
- Quantitative Analysis of Interval Markov Chains (2021) (0)
- Compositional Design Methodology with Constraint (2010) (0)
- Algorithmic Minimization of Uncertain Continuous-Time Markov Chains (2023) (0)
- Verification of Timed and Hybrid Systems (2000) (0)
- Recursively Defined Doains and their Induction Principles (1987) (0)
- Reachability Analysis of Prohabilistic Systems (2001) (0)
- LIPIcs, Volume 83, MFCS'17, Complete Volume (2017) (0)
- Measuring the robustness Livrable du projet ImpRo ( ANR-2010-BLAN-0317 ) (0)
- Advances on timing parameter synthesis in continuous-time formalisms with costs (2019) (0)
- ROAD MAP on Hard Real-Time Development Environments W1.A1.N1.Y1 Chapter 4.4.c: Testing Embedded Systems (2003) (0)
- Validation of Continuous-Time Markov Systems (1999) (0)
- Reactive Systems: Hennessy–Milner logic with time (2007) (0)
- Reactive Systems: Theory of fixed points and bisimulation equivalence (2007) (0)
- Fifth ACM International Conference on Embedded Software (EMSOFT) (2005) (0)
- Reactive Systems: Introduction (2007) (0)
- 10031 Abstracts Collection - Quantitative Models: Expressiveness and Analysis (2010) (0)
- Continuity Properties of Distances for Markov Processes ( With Proof Appendix ) (2014) (0)
- Symposium on Dependable Software Engineering (2016) (0)
- U PPAAL in 1995 (1996) (0)
- A complete axiomatization of weighted branching bisimulation (2020) (0)
- Quasimodo Final Report (2011) (0)
- Parameter Synthesis Problems for one parametric clock Timed Automata (2018) (0)
- Recursively Defined Domains and Their Induction Principles (1985) (0)
- Aalborg Universitet Co-Simulation of Hybrid Systems with SpaceEx and (2015) (0)
- ADTLang: a programming language approach to attack defense trees (2021) (0)
- 10031 Executive Summary - Quantitative Models: Expressiveness and Analysis (2010) (0)
- A Model-Checking Static Analysis of Task-Based Energy Neutrality for Energy Harvesting IoT (2021) (0)
- Programming with Data Dependencies: a Comparison of Two Approaches (1996) (0)
- Method and apparatus for analyzing a model system based on states. (1999) (0)
- COMPUTATION TOOLS 2016 Proceedings (2016) (0)
- Modelling and analysis of Fischer's algorithm (2007) (0)
- Aalborg Universitet Reachability analysis for timed automata using max-plus algebra (2011) (0)
- Parameterized Metatheory for Continuous Markovian Logic (2012) (0)
- Paper B Compositional and Symbolic Model-checking of Real- Time Systems (1999) (0)
- Real-time specifications (2013) (0)
- Proceedings of CAV 2003 (2003) (0)
- Nordic Seminar on Dependable Computing Systems : NSDCS '94, Aug. (1994) (0)
- Communication complexity of pairs of graph families with applications (2017) (0)
- Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs (2020) (0)
- Verification of State / Event Systems by Quotienting Nicky (2007) (0)
- STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego (2022) (0)
- Aalborg Universitet ECDAR : An Environment for Compositional Design and Analysis of Real Time Systems (2010) (0)
- Formal Approaches to Testing of Software (FATES 2004) Proceedings (2005) (0)
- Preface: Dedicated to the memory of Zoltán Ésik (1951–2016) (2018) (0)
- Proceedings 1st Workshop on Advances in Systems of Systems: Preface (2013) (0)
- Compositional metric reasoning with (2014) (0)
- Reactive Systems: Timed automata (2007) (0)
- The language CCS (2007) (0)
- Mixed Nondeterministic-Probabilistic Interfaces (2020) (0)
- Quantitative Models: Expressiveness, Analysis, and New Applications (Dagstuhl Seminar 14041) (2014) (0)
- Reactive Systems (2007) (0)
- Proceedings of the 12th International Conference on Concurrency Theory (2001) (0)
- The Behavior of Probabilistic Systems: From Equivalences to Behavioral Distances (2014) (0)
- AllSynth: Transiently Correct Network Update Synthesis Accounting for Operator Preferences (2022) (0)
- Aalborg Universitet Hierarchical Scheduling Framework Based on Compositional Analysis Using (2013) (0)
- Timed I/O Automata: It is never too late to complete your timed specification theory (2023) (0)
- Minimum-Cost Rea hability forPri ed Timed Automata ? (2000) (0)
- Time-Optimal Test Cases for Real-Time (2003) (0)
- Monitoring Timed Properties (Revisited) (2022) (0)
- Elimination of Detached Regions in Dependency Graph Verification (2023) (0)
- Explorer A Compositional Protocol Verification Using Relativized (2017) (0)
- Schedulability of Herschel revisited using statistical model checking (2014) (0)
- Timed behavioural equivalences (2007) (0)
- Software - til verdens mindste og verdens største computer (2003) (0)
- Weighted modal transition systems (2012) (0)
- Color-blind Behavioral Specifications for Transformations of Reactive Synchronous Programs (2004) (0)
- Reactive Systems: Preface (2007) (0)
- Convex Lattice Equation Systems (2022) (0)
- Markov models for stationary system behaviors (2011) (0)
- Statistical model checking for biological systems (2014) (0)
- Testing and Verification of Probabilistic Processes (1992) (0)
- Reactive Systems: HML with recursion (2007) (0)
- WCET Analysis of ARM Processors using Real-Time Model Checking (2009) (0)
- Reachability Problems (2016) (0)
- Statistical Model Checking in Uppaal: Lets Practice (2013) (0)
- Quantitative Models : Expressiveness and Analysis Dagstuhl Seminar (2010) (0)
- Priced Timed Automata: Theory & Tools (2009) (0)
- Aalborg Universitet Learning Markov models for stationary system behaviors (2012) (0)
- CONCUR 2001 — Concurrency Theory (2001) (0)
- Tool Supported Validation of Timed and Hybrid Systems (2000) (0)
- Reactive Systems: Behavioural equivalences (2007) (0)
- Aalborg Universitet New Results on Timed (2011) (0)
- Simulation Relations and Applications in Formal Methods (2022) (0)
- High-level frameworks for the specification and verification of scheduling problems (2017) (0)
- Energy Consumption Optimization in Radio Access Networks (ECO-RAN) (2023) (0)
- End-to-End Heat-Pump Control Using Continuous Time Stochastic Modelling and Uppaal Stratego (2022) (0)
- Dependency graphs with applications to verification (2020) (0)
- Comparing the speed of probabilistic processes (2017) (0)
- An Integer Static Analysis for Better Extrapolation in Uppaal (2021) (0)
- Refinement checking on parametric modal transition systems (2015) (0)
- Proceedings 1st Workshop on Advances in Systems of Systems (2013) (0)
- Reachability Problems, 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings (2010) (0)
- Compositional verification of real-time systems using Ecdar (2012) (0)
- Quasimodo Year 1 Management Report (2009) (0)
- A complete axiomatization of weighted branching bisimulation (2020) (0)
- Preface: Dedicated to the memory of Zoltán Ésik (1951–2016) (2018) (0)
- Deliverable no . : D 5 . 7 Title of Deliverable : Case Studies : Validation (2009) (0)
- Controller synthesis: the HYDAC case study (2013) (0)
- Playing Wordle with Uppaal Stratego (2022) (0)
- Proceedings for International Workshop on Distributed Systems Verification and Validation (2000) (0)
- Weighted Branching Preorders and Distances : Logical Characterization and Complexity (2016) (0)
- An Interface Theory for Timed Systems (2010) (0)
- Aalborg Universitet Learning Probabilistic Automata for Model Checking (2011) (0)
This paper list is powered by the following services:
What Schools Are Affiliated With Kim Guldstrand Larsen?
Kim Guldstrand Larsen is affiliated with the following schools:
