Kim G. Larsen

Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning, 2016

Online and Compositional Learning of Controllers with Application to Floor Heating.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software - 23rd International Symposium, 2016

Importance Sampling for Stochastic Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

A Complete Approximation Theory for Weighted Transition Systems.

[BibT_eX]

[DOI]

Mikkel Hansen

Mathias Ruggaard Pedersen

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

Distributed Computation of Fixed Points on Dependency Graphs.

[BibT_eX]

[DOI]

Søren Enevoldsen

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

Time optimal reachability analysis using swarm verification.

[BibT_eX]

[DOI]

Zhengkui Zhang

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

WNetKAT: A Weighted SDN Programming and Verification Language.

[BibT_eX]

[DOI]

Stefan Schmid

Proceedings of the 20th International Conference on Principles of Distributed Systems, 2016

On the Power of Statistical Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Statistical Model Checking: Past, Present, and Future.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Toolchain for user-centered intelligent floor heating control.

[BibT_eX]

[DOI]

Mads Kronborg Agesen

Proceedings of the IECON 2016, 2016

Probabilistic Mu-Calculus: Decidability and Complete Axiomatization.

[BibT_eX]

[DOI]

Proceedings of the 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2016

Distributed Algorithms for Time Optimal Reachability Analysis.

[BibT_eX]

[DOI]

Zhengkui Zhang

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2016

Modelling Attack-defense Trees Using Timed Automata.

[BibT_eX]

[DOI]

Olga Gadyatskaya

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2016

A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems.

[BibT_eX]

[DOI]

Mounir Chadli

Stefan Naujokat

Proceedings of the Critical Systems: Formal Methods and Automated Verification, 2016

Energy-aware scheduling of FIR filter structures using a timed automata model.

[BibT_eX]

[DOI]

Peter Koch

Proceedings of the 2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS), 2016

Complete Axiomatization for the Bisimilarity Distance on Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Concurrency Theory, 2016

An Automata-Based Approach to Trace Partitioned Abstract Interpretation.

[BibT_eX]

[DOI]

Mads Christian Olesen

Proceedings of the Semantics, Logics, and Calculi, 2016

2015

Real-time specifications.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2015

Statistical model checking for biological systems.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2015

Uppaal SMC tutorial.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2015

Schedulability of Herschel revisited using statistical model checking.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2015

A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2015

Concurrent weighted logic.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2015

Alternation-Free Weighted Mu-Calculus: Decidability and Completeness.

[BibT_eX]

[DOI]

Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics, 2015

The EATCS Award 2016 - Call for Nominations.

[BibT_eX]

[DOI]

Bull. EATCS, 2015

Average-energy games (full version).

[BibT_eX]

[DOI]

CoRR, 2015

Average-energy games.

[BibT_eX]

[DOI]

Mickael Randour

Proceedings of the Proceedings Sixth International Symposium on Games, 2015

Refinement checking on parametric modal transition systems.

[BibT_eX]

[DOI]

Acta Informatica, 2015

Uppaal Stratego.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Parametric Verification of Weighted Systems.

[BibT_eX]

[DOI]

Peter Christoffersen

Mikkel Hansen

Anders Mariegaard

Julian Trier Ringsmose

Proceedings of the 2nd International Workshop on Synthesis of Complex Parameters, 2015

Model checking of finite-state machine-based scenario-aware dataflow using timed automata.

[BibT_eX]

[DOI]

Mladen Skelin

Proceedings of the 10th IEEE International Symposium on Industrial Embedded Systems, 2015

Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks.

[BibT_eX]

[DOI]

Proceedings of the IEEE 18th International Symposium on Real-Time Distributed Computing, 2015

Formal Methods for Modelling and Analysis of Single-Event Upsets.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Conference on Information Reuse and Integration, 2015

CAAL: Concurrency Workbench, Aalborg Edition.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

Language Emptiness of Continuous-Time Parametric Timed Automata.

[BibT_eX]

[DOI]

Peter Bezdek

Proceedings of the Automata, Languages, and Programming - 42nd International Colloquium, 2015

Resource-Parameterized Timing Analysis of Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software: Verification and Testing, 2015

Compositional Metric Reasoning with Probabilistic Process Calculi.

[BibT_eX]

[DOI]

Daniel Gebler

Simone Tini

Proceedings of the Foundations of Software Science and Computation Structures, 2015

On the Total Variation Distance of Semi-Markov Chains.

[BibT_eX]

[DOI]

Giorgio Bacci

Giovanni Bacci

Proceedings of the Foundations of Software Science and Computation Structures, 2015

A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems.

[BibT_eX]

[DOI]

Boudewijn R. Haverkort

Marijn R. Jongerden

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2015

A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

Polynomial Time Decidability of Weighted Synchronization under Partial Observability.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Concurrency Theory, 2015

Modelling Social-Technical Attacks with Timed Automata.

[BibT_eX]

[DOI]

Nicolas David

Christian W. Probst

Proceedings of the 7th ACM CCS International Workshop on Managing Insider Security Threats, 2015

Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context.

[BibT_eX]

[DOI]

Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2015

Safe and Optimal Adaptive Cruise Control.

[BibT_eX]

[DOI]

Proceedings of the Correct System Design, 2015

2014

Complete proof systems for weighted modal logic.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2014

Robust synthesis for real-time systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2014

Formal verification and simulation for platform screen doors and collision avoidance in subway control systems.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2014

A modal specification theory for components with data.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2014

Lower-bound-constrained runs in weighted timed automata.

[BibT_eX]

[DOI]

Perform. Evaluation, 2014

Stuttering for Abstract Probabilistic Automata.

[BibT_eX]

[DOI]

Benoît Delahaye

J. Log. Algebraic Methods Program., 2014

Adequacy and Complete Axiomatization for Timed Modal Logic.

[BibT_eX]

[DOI]

Samy Jaziri

Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, 2014

Refinement and Difference for Probabilistic Automata

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2014

Topologies of Stochastic Markov Models: Computational Aspects.

[BibT_eX]

[DOI]

CoRR, 2014

Efficient controller synthesis for a fragment of MTL0,∞.

[BibT_eX]

[DOI]

Acta Informatica, 2014

Degree of Schedulability of Mixed-Criticality Real-Time Systems with Probabilistic Sporadic Tasks.

[BibT_eX]

[DOI]

Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

Continuity Properties of Distances for Markov Processes.

[BibT_eX]

[DOI]

Manfred Jaeger

Hua Mao

Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

Verification and Performance Analysis of Embedded and Cyber-Physical Systems using UPPAAL.

[BibT_eX]

Proceedings of the PECCS 2014, 2014

Memory Efficient Data Structures for Explicit Verification of Timed Systems.

[BibT_eX]

[DOI]

Mathias Grund Sørensen

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

Battery-Aware Scheduling of Mixed Criticality Systems.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Statistical Model Checking Past, Present, and Future - (Track Introduction).

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

A Decidable Recursive Logic for Weighted Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

Compositional Schedulability Analysis of An Avionics System Using UPPAAL.

[BibT_eX]

[DOI]

Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, 2014

Synchronizing Words for Weighted and Timed Automata.

[BibT_eX]

[DOI]

Laurent Doyen

Line Juhl

Mahsa Shirmohammadi

Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014

Verification and Performance Evaluation of Timed Game Strategies.

[BibT_eX]

[DOI]

Huixing Fang

Zhengkui Zhang

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014

Widening the Schedulability of Hierarchical Scheduling Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

Parametric and Quantitative Extensions of Modal Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014

Decidability and Expressiveness of Recursive Weighted Logic.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of System Informatics, 2014

Model Checking Process Algebra of Communicating Resources for Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 26th Euromicro Conference on Real-Time Systems, 2014

Synchronizing Strategies under Partial Observability.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

Bisimulation on Markov Processes over Arbitrary Measurable Spaces.

[BibT_eX]

[DOI]

Giorgio Bacci

Giovanni Bacci

Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014

On Time with Minimal Expected Cost!

[BibT_eX]

[DOI]

Mathias Grund Sørensen

Proceedings of the Automated Technology for Verification and Analysis, 2014

Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Application of Concurrency to System Design, 2014

2013

Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Engineering Dependable Software Systems, 2013

Abstract Probabilistic Automata.

[BibT_eX]

[DOI]

Inf. Comput., 2013

Weighted modal transition systems.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2013

Statistical Model Checking of Dynamic Networks of Stochastic Hybrid Automata.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

On-the-Fly Exact Computation of Bisimilarity Distances.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Local Model Checking of Weighted CTL with Upper-Bound Constraints.

[BibT_eX]

[DOI]

Jonas Finnemann Jensen

Lars Kaerlund Oestergaard

Proceedings of the Model Checking Software - 20th International Symposium, 2013

The BisimDist Library: Efficient Computation of Bisimilarity Distances for Markovian Models.

[BibT_eX]

[DOI]

Giorgio Bacci

Giovanni Bacci

Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

Remote Testing of Timed Specifications.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2013

Optimizing Control Strategy Using Statistical Model Checking.

[BibT_eX]

[DOI]

Dehui Du

Proceedings of the NASA Formal Methods, 2013

Computing Behavioral Distances, Compositionally.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2013, 2013

Stone Duality for Markov Processes.

[BibT_eX]

[DOI]

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

TetaSARTS: a tool for modular timing analysis of safety critical Java systems.

[BibT_eX]

[DOI]

Kasper Søe Luckow

Thomas Bøgholm

Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems, 2013

Priced Timed Automata and Statistical Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Unifying Theories of Programming and Formal Engineering Methods, 2013

Probabilistic Modal Specifications (Invited Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013

Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013

Multi-core Emptiness Checking of Timed Büchi Automata Using Inclusion Abstraction.

[BibT_eX]

[DOI]

Alfons Laarman

Jaco van de Pol

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

On the Relationship between LTL Normal Forms and Büchi Automata.

[BibT_eX]

[DOI]

Proceedings of the Theories of Programming and Formal Methods, 2013

Optimal Bounds for Multiweighted and Parametrised Energy Games.

[BibT_eX]

[DOI]

Line Juhl

Proceedings of the Theories of Programming and Formal Methods, 2013

Tools for Model-Checking Timed Systems.

[BibT_eX]

[DOI]

Kenneth Yrke Jørgensen

Morgan Magnin

Olivier H. Roux

Proceedings of the Communicating Embedded Systems, 2013

2012

Compositional verification of real-time systems using Ecdar.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2012

New results for Constraint Markov Chains.

[BibT_eX]

[DOI]

Perform. Evaluation, 2012

Extending modal transition systems with structured labels.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2012

Reachability analysis for timed automata using max-plus algebra.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2012

Modal transition systems with weight intervals.

[BibT_eX]

[DOI]

Line Juhl

J. Log. Algebraic Methods Program., 2012

Consistency and refinement for Interval Markov Chains.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2012

EXPTIME-completeness of thorough refinement on modal transition systems.

[BibT_eX]

[DOI]

Inf. Comput., 2012

MDM: A Mode Diagram Modeling Framework

[BibT_eX]

[DOI]

Proceedings of the Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems, 2012

Learning Markov Decision Processes for Model Checking

[BibT_eX]

[DOI]

Proceedings of the Proceedings Quantities in Formal Methods, 2012

Parameterized Metatheory for Continuous Markovian Logic

[BibT_eX]

[DOI]

Proceedings of the Proceedings Quantities in Formal Methods, 2012

Time-Darts: A Data Structure for Verification of Closed Timed Automata

[BibT_eX]

[DOI]

Kenneth Yrke Jørgensen

Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012

Continuous Markovian Logics - Axiomatization and Quantified Metatheory

[BibT_eX]

[DOI]

Luca Cardelli

Log. Methods Comput. Sci., 2012

Statistical Model Checking for Stochastic Hybrid Systems

[BibT_eX]

[DOI]

Proceedings of the Proceedings First International Workshop on Hybrid Systems and Biology, 2012

On the Relationship between LTL Normal Forms and Buechi Automata

[BibT_eX]

[DOI]

CoRR, 2012

UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata

[BibT_eX]

[DOI]

Zheng Wang

Proceedings of the Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, 2012

MDM: A Mode Diagram Modeling Framework for Periodic Control Systems

[BibT_eX]

[DOI]

CoRR, 2012

Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach

[BibT_eX]

[DOI]

Proceedings of the Proceedings Second International Workshop on Interactions, 2012

An evaluation framework for energy aware buildings using statistical model checking.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2012

Quantitative Modal Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Rewrite-Based Statistical Model Checking of WMTL.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification, Third International Conference, 2012

Learning Markov Models for Stationary System Behaviors.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods, 2012

Checking and Distributing Statistical Model Checking.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods, 2012

Taking It to the Limit: Approximate Reasoning for Markov Processes.

[BibT_eX]

[DOI]

Prakash Panangaden

Proceedings of the Mathematical Foundations of Computer Science 2012, 2012

Action Investment Energy Games.

[BibT_eX]

[DOI]

Proceedings of the Mathematical and Engineering Methods in Computer Science, 2012

Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic.

[BibT_eX]

[DOI]

Guangyuan Li

Amélie Stainer

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

Dual-Priced Modal Transition Systems with Time Durations.

[BibT_eX]

[DOI]

Mikael H. Møller

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

Nash Equilibria in Concurrent Priced Games.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2012

Schedulability Analysis Abstractions for Safety Critical Java.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2012

Quantitative Modelling and Analysis.

[BibT_eX]

[DOI]

Joost-Pieter Katoen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012

Runtime Verification of Biological Systems.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Schedulability of Herschel-Planck Revisited Using Statistical Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012

Statistical Model Checking, Refinement Checking, Optimization, ... for Stochastic Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

Multi-core Reachability for Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example.

[BibT_eX]

[DOI]

Proceedings of the FM 2012: Formal Methods, 2012

Moving from Specifications to Contracts in Component-Based Design.

[BibT_eX]

[DOI]

Sebastian S. Bauer

Rolf Hennicker

Proceedings of the Fundamental Approaches to Software Engineering, 2012

Code-level timing analysis of embedded software: emsoft'12 invited talk session outline.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Embedded Software, 2012

State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

Controllers with Minimal Observation Power (Application to Timed Systems).

[BibT_eX]

[DOI]

Pierre-Alain Reynier

Proceedings of the Automated Technology for Verification and Analysis, 2012

2011

Model-Based Verification and Analysis for Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Software and Systems Safety - Specification and Verification, 2011

Metrics for weighted transition systems: Axiomatization and complexity.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2011

Constraint Markov Chains.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2011

Developing UPPAAL over 15 years.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2011

Distributed Parametric and Statistical Model Checking

[BibT_eX]

[DOI]

Proceedings of the Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, 2011

Distances for Weighted Transition Systems: Games and Properties

[BibT_eX]

[DOI]

Proceedings of the Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, 2011

Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed Automata

[BibT_eX]

[DOI]

Jonas van Vliet

Zheng Wang

CoRR, 2011

Quantitative analysis of real-time systems using priced timed automata.

[BibT_eX]

[DOI]

Commun. ACM, 2011

Adaptable Value-Set Analysis for Low-Level Code.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Systems Software Verification, 2011

Learning Probabilistic Automata for Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

APAC: A Tool for Reasoning about Abstract Probabilistic Automata.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

Monitoring Dynamical Signals While Testing Timed Aspects of a System.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2011

opaal: A Lattice Model Checker.

[BibT_eX]

[DOI]

Kenneth Yrke Jørgensen

Petur Olsen

Proceedings of the NASA Formal Methods, 2011

Quantitative Refinement for Weighted Modal Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2011, 2011

Decision Problems for Interval Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2011

Energy Games in Multiweighted Automata.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31, 2011

Modular Markovian Logic.

[BibT_eX]

[DOI]

Luca Cardelli

Proceedings of the Automata, Languages and Programming - 38th International Colloquium, 2011

Robust Specification of Real Time Components.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011

Statistical Model Checking for Networks of Priced Timed Automata.

[BibT_eX]

[DOI]

Jonas van Vliet

Zheng Wang

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011

Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas.

[BibT_eX]

[DOI]

Luca Cardelli

Proceedings of the Computer Science Logic, 2011

Timed Automata Can Always Be Made Implementable.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

Time for Statistical Model Checking of Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

Parametric Modal Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2011

New Results on Abstract Probabilistic Automata.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Application of Concurrency to System Design, 2011

2010

Modal and mixed specifications: key decision problems and their complexities.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2010

Quantitative analysis of weighted transition systems.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2010

Scenario-based verification of real-time systems using Uppaal.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2010

Present and Absent Sets: Abstraction for Testing of Reactive Systems with Databases.

[BibT_eX]

[DOI]

Petur Olsen

Proceedings of the Sixth Workshop on Model-Based Testing, 2010

On Zone-Based Analysis of Duration Probabilistic Automata

[BibT_eX]

[DOI]

Oded Maler

Bruce H. Krogh

Proceedings of the Proceedings 12th International Workshop on Verification of Infinite-State Systems, 2010

METAMOC: Modular Execution Time Analysis using Model Checking.

[BibT_eX]

[DOI]

Martin Toft

Proceedings of the 10th International Workshop on Worst-Case Execution Time Analysis, 2010

New Results on Timed Specifications.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

Symbolic and Compositional Reachability for Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Reachability Problems, 4th International Workshop, 2010

Compositional Design Methodology with Constraint Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the QEST 2010, 2010

Schedulability Analysis Using Uppaal: Herschel-Planck Case Study.

[BibT_eX]

[DOI]

Steen Ulrik Palm

Jan Storbank Pedersen

Poul Hougaard

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Quantitative Verification in Practice.

[BibT_eX]

[DOI]

Boudewijn R. Haverkort

Joost-Pieter Katoen

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Timed I/O automata: a complete specification theory for real-time systems.

[BibT_eX]

[DOI]

Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, 2010

Timed automata with observers under energy constraints.

[BibT_eX]

[DOI]

Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, 2010

Testing Real-Time Systems under Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

Application of Model-Checking Technology to Controller Synthesis.

[BibT_eX]

[DOI]

Jacob Deleuran Grunnet

Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

Quantitative system validation in model driven design.

[BibT_eX]

[DOI]

Holger Hermanns

Jan Tretmans

Proceedings of the 10th International conference on Embedded software, 2010

Scenario-based analysis and synthesis of real-time systems using uppaal.

[BibT_eX]

[DOI]

Saulius Pusinskas

Proceedings of the Design, Automation and Test in Europe, 2010

10031 Executive Summary - Quantitative Models: Expressiveness and Analysis.

[BibT_eX]

[DOI]

Christel Baier

Manfred Droste

Paul Gastin

Proceedings of the Quantitative Models: Expressiveness and Analysis, 17.01. - 22.01.2010, 2010

10031 Abstracts Collection - Quantitative Models: Expressiveness and Analysis.

[BibT_eX]

[DOI]

Christel Baier

Manfred Droste

Paul Gastin

Proceedings of the Quantitative Models: Expressiveness and Analysis, 17.01. - 22.01.2010, 2010

ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2010

2009

On determinism in modal transition systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2009

Discounting in Time.

[BibT_eX]

[DOI]

Ulrich Fahrenberg

Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages, 2009

Discount-Optimal Infinite Runs in Priced Timed Automata.

[BibT_eX]

[DOI]

Ulrich Fahrenberg

Proceedings of the Joint Proceedings of the 8th, 2009

Teaching Concurrency: Theory in Practice.

[BibT_eX]

[DOI]

Luca Aceto

Anna Ingólfsdóttir

Proceedings of the Teaching Formal Methods, Second International Conference, 2009

Verification and Performance Analysis for Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the TASE 2009, 2009

A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2009

Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2009

Timed Testing under Partial Observability.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Automatic Synthesis of Robust and Optimal Controllers - An Industrial Case Study.

[BibT_eX]

[DOI]

Pierre-Alain Reynier

Proceedings of the Hybrid Systems: Computation and Control, 12th International Conference, 2009

Priced Timed Automata: Theory and Tools.

[BibT_eX]

[DOI]

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2009

Verification, Performance Analysis and Controller Synthesis for Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Software Engineering, 2009

Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation.

[BibT_eX]

[DOI]

Thomas Chatain

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009

Methodologies for Specification of Real-Time Systems Using Timed I/O Automata.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

Verifying Real-Time Systems against Scenario-Based Requirements.

[BibT_eX]

[DOI]

Saulius Pusinskas

Proceedings of the FM 2009: Formal Methods, 2009

Model-Based GUI Testing Using Uppaal at Novo Nordisk.

[BibT_eX]

[DOI]

Ulrik H. Hjort

Michael A. Petersen

Proceedings of the FM 2009: Formal Methods, 2009

Compositional and Quantitative Model Checking (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Perspectives of Systems Informatics, 2009

Playing Games with Timed Games.

[BibT_eX]

[DOI]

Thomas Chatain

Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009

2008

Optimal reachability for multi-priced timed automata.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2008

Model Checking One-Clock Priced Timed Automata.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2008

Optimal infinite scheduling for multi-priced timed automata.

[BibT_eX]

[DOI]

Ed Brinksma

Formal Methods Syst. Des., 2008

Cooperative Testing of Timed Systems.

[BibT_eX]

[DOI]

Proceedings of the Fourth Workshop on Model Based Testing, 2008

EXPTIME-complete Decision Problems for Modal and Mixed Specifications.

[BibT_eX]

[DOI]

Adam Antonik

Michael Huth

Proceedings of the 15th Workshop on Expressiveness in Concurrency, 2008

20 Years of Modal and Mixed Specifications.

[BibT_eX]

Bull. EATCS, 2008

Fast Directed Model Checking Via Russian Doll Abstraction.

[BibT_eX]

[DOI]

Sebastian Kupferschmid

Jörg Hoffmann

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

Model-based schedulability analysis of safety critical hard real-time Java programs.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Java Technologies for Real-time and Embedded Systems, 2008

Complexity of Decision Problems for Mixed and Modal Specifications.

[BibT_eX]

[DOI]

Adam Antonik

Michael Huth

Proceedings of the Foundations of Software Science and Computational Structures, 2008

Testing Real-Time Systems Using UPPAAL.

[BibT_eX]

[DOI]

Anders Hessel

Proceedings of the Formal Methods and Testing, 2008

Infinite Runs in Weighted Timed Automata with Energy Constraints.

[BibT_eX]

[DOI]

Ulrich Fahrenberg

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008

A Game-Theoretic Approach to Real-Time System Testing.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2008

2007

Modeling software product lines using color-blind transition systems.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2007

Complexity in Simplicity: Flexible Agent-Based State Space Exploration.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Guided Controller Synthesis for Climate Controller Using Uppaal Tiga.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007

Automatic Abstraction Refinement for Timed Automata.

[BibT_eX]

[DOI]

Henning Dierks

Sebastian Kupferschmid

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007

Modal I/O Automata for Interface and Product Line Theories.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2007

On Modal Refinement and Consistency.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

UPPAAL-Tiga: Time for Playing Games!

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

Timed Control with Observation Based and Stuttering Invariant Strategies.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2007

2006

Lower and upper bounds in zone-based abstractions of timed automata.

[BibT_eX]

[DOI]

Radek Pelánek

Int. J. Softw. Tools Technol. Transf., 2006

CyNC: A method for real time analysis of systems with cyclic data flows.

[BibT_eX]

[DOI]

Henrik Schiøler

Jens Dalsgaard Nielsen

J. Embed. Comput., 2006

On using priced timed automata to achieve optimal scheduling.

[BibT_eX]

[DOI]

K. Subramani

Formal Methods Syst. Des., 2006

UPPAAL 4.0.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

Almost Optimal Strategies in One Clock Priced Timed Games.

[BibT_eX]

[DOI]

Proceedings of the FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 2006

Model Checking Timed Automata with Priorities Using DBM Subtraction.

[BibT_eX]

[DOI]

John Håkansson

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006

Interface Input/Output Automata.

[BibT_eX]

[DOI]

Proceedings of the FM 2006: Formal Methods, 2006

Introducing synchronisation in deterministic network models.

[BibT_eX]

Henrik Schiøler

Jens Dalsgaard Nielsen

Proceedings of the ISCA 19th International Conference on Computer Applications in Industry and Engineering, 2006

2005

Optimal scheduling using priced timed automata.

[BibT_eX]

[DOI]

SIGMETRICS Perform. Evaluation Rev., 2005

An approach to handle real time and probabilistic behaviors in e-commerce: validating the SET protocol.

[BibT_eX]

[DOI]

Gregorio Díaz

Juan José Pardo

Fernando Cuartero

Valentín Valero

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Optimal Conditional Reachability for Multi-priced Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computational Structures, 2005

Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005

Color-Blind Specifications for Transformations of Reactive Synchronous Programs.

[BibT_eX]

[DOI]

Ulrik Larsen

Proceedings of the Fundamental Approaches to Software Engineering, 2005

Testing real-time embedded software using UPPAAL-TRON: an industrial case study.

[BibT_eX]

[DOI]

Proceedings of the EMSOFT 2005, 2005

Efficient On-the-Fly Algorithms for the Analysis of Timed Games.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

Network Calculus for Real Time Analysis of Embedded Systems with Cyclic Task Dependencies.

[BibT_eX]

Henrik Schiøler

Jens Dalsgaard Nielsen

Proceedings of the 20th International Conference on Computers and Their Applications, 2005

2004

Synthesis of Optimal Strategies Using HyTech.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Games in Design and Verification, 2004

Resource-Optimal Scheduling Using Priced Timed Automata.

[BibT_eX]

[DOI]

K. Subramani

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

A Tutorial on Uppaal.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for the Design of Real-Time Systems, 2004

T-UPPAAL: Online Model-based Testing of Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

Staying Alive as Cheaply as Possible.

[BibT_eX]

[DOI]

Ed Brinksma

Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004

Optimal Strategies in Priced Timed Game Automata.

[BibT_eX]

[DOI]

Proceedings of the FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004

Priced Timed Automata: Algorithms and Applications.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 2004

Online Testing of Real-time Systems Using Uppaal.

[BibT_eX]

[DOI]

Proceedings of the Formal Approaches to Software Testing, 4th International Workshop, 2004

Online Testing of Real-Time Systems Using UPPAAL: Status and Future Work.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of Model-Based Testing, 5.-10. September 2004, 2004

2003

The power of reachability testing for timed automata.

[BibT_eX]

[DOI]

Luca Aceto

Augusto Burgueño

Theor. Comput. Sci., 2003

Compact Data Structures and State-Space Reduction for Model-Checking Real-Time Systems.

[BibT_eX]

[DOI]

Real Time Syst., 2003

Regular languages definable by Lindström quantifiers.

[BibT_eX]

[DOI]

Zoltán Ésik

RAIRO Theor. Informatics Appl., 2003

Static Guard Analysis in Timed Automata Verification.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Unification & Sharing in Timed Automata Verification.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software, 2003

Time-Optimal Test Cases for Real-Time Systems.

[BibT_eX]

[DOI]

Anders Hessel

Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

Adding Symmetry Reduction to Uppaal.

[BibT_eX]

[DOI]

Martijn Hendriks

Peter Niebert

Frits W. Vaandrager

Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

Time-Optimal Real-Time Test Case Generation Using Uppaal.

[BibT_eX]

[DOI]

Anders Hessel

Proceedings of the Formal Approaches to Software Testing, 2003

Resource-Efficient Scheduling for Real Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Embedded Software, Third International Conference, 2003

To Store or Not to Store.

[BibT_eX]

[DOI]

Radek Pelánek

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2002

Automated verification of an audio-control protocol using UPPAAL.

[BibT_eX]

[DOI]

W. O. David Griffioen

J. Log. Algebraic Methods Program., 2002

Verification of Hierarchical State/Event Systems using Reusability and Compositionality.

[BibT_eX]

[DOI]

Henrik Reif Andersen

Henrik Hulgaard

Jørn Lind-Nielsen

Formal Methods Syst. Des., 2002

Exact Acceleration of Real-Time Model Checking.

[BibT_eX]

[DOI]

Martijn Hendriks

Proceedings of the Theory and Practice of Timed Systems, 2002

A Tool Architecture for the Next Generation of Uppaal.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002

Reduction and Refinement Strategies for Probabilistic Analysis.

[BibT_eX]

[DOI]

Pedro R. D'Argenio

Bertrand Jeannet

Proceedings of the Process Algebra and Probabilistic Methods, 2002

UPPAAL Implementation Secrets.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002

2001

Guided Synthesis of Control Programs Using UPPAAL.

[BibT_eX]

Thomas Hune

Nord. J. Comput., 2001

Verification of Large State/Event Systems Using Compositionality and Dependency Analysis.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2001

Efficient Guiding Towards Cost-Optimality in UPPAAL.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

Reachability Analysis of Probabilistic Systems by Successive Refinements.

[BibT_eX]

[DOI]

Pedro R. D'Argenio

Bertrand Jeannet

Proceedings of the Process Algebra and Probabilistic Methods, 2001

Minimum-Cost Reachability for Priced Timed Automata.

[BibT_eX]

[DOI]

Ansgar Fehnker

Thomas Hune

Judi Romijn

Frits W. Vaandrager

Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

UPPAAL - present and future.

[BibT_eX]

[DOI]

Proceedings of the 40th IEEE Conference on Decision and Control, 2001

As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

Probabilistic Extensions of Process Algebras.

[BibT_eX]

[DOI]

Bengt Jonsson

Proceedings of the Handbook of Process Algebra, 2001

2000

Practical Verification of Embedded Software.

[BibT_eX]

[DOI]

Henrik Leerberg

Niels Bo Theilgaard

Computer, 2000

UPPAAL - Now, Next, and Future.

[BibT_eX]

[DOI]

Proceedings of the Modeling and Verification of Parallel Processes, 4th Summer School, 2000

Scaling up Uppaal Automatic Verification of Real-Time Systems Using Compositionality and Abstraction.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000

Model-checking real-time control programs: verifying Lego(R) MindstormsTM systems using UPPAAL.

[BibT_eX]

[DOI]

Torsten K. Iversen

Proceedings of the 12th Euromicro Conference on Real-Time Systems (ECRTS 2000), 2000

The Impressive Power of Stopwatches.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2000, 2000

Verification of Timed and Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets 2000, 2000

1999

Clock Difference Diagrams.

[BibT_eX]

Justin Pearson

Nord. J. Comput., 1999

Efficient Timed Reachability Analysis Using Clock Difference Diagrams.

[BibT_eX]

[DOI]

Justin Pearson

Proceedings of the Computer Aided Verification, 11th International Conference, 1999

Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Real-Time and Probabilistic Systems, 1999

1998

Model Checking via Reachability Testing for Timed Automata.

[BibT_eX]

[DOI]

Luca Aceto

Augusto Burgueño

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998

CMC: A Tool for Compositional Model-Checking of Real-Time Systems.

[BibT_eX]

Proceedings of the Formal Description Techniques and Protocol Specification, 1998

1997

Continuous Modeling of Real-Time and Hybrid Systems: From Concepts to Tools.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 1997

UPPAAL in a Nutshell.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 1997

Time-abstracted Bisimulation: Implicit Specifications and Decidability.

[BibT_eX]

[DOI]

Inf. Comput., 1997

A Compositional Proof of a Real-Time Mutual Exclusion Protocol.

[BibT_eX]

[DOI]

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

Efficient verification of real-time systems: compact data structure and state-space reduction.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), 1997

Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAAL.

[BibT_eX]

[DOI]

Kristian Lund

Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), 1997

UPPAAL: Status & Developments.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996

UPPAAL in 1995.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

Modelling and analysis of a collision avoidance protocol using Spin and Uppaal.

[BibT_eX]

[DOI]

Proceedings of the Spin Verification System, 1996

Verification of an Audio Protocol with Bus Collision Using UPPAAL.

[BibT_eX]

[DOI]

W. O. David Griffioen

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995

Synthesizing Distinguishing Formulae for Real Time Systems.

[BibT_eX]

Nord. J. Comput., 1995

Generality in Design and Compositional Verification Using TAV.

[BibT_eX]

[DOI]

Anders Børjesson

Formal Methods Syst. Des., 1995

A Constraint Oriented Proof Methodology Based on Modal Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1995

Compositional and Symbolic Model-Checking of Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE Real-Time Systems Symposium, 1995

From Timed Automata to Logic - and Back.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1995, 1995

Synthesizing Distinguishing Formulae for Real Time Systems (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1995, 1995

Automatic Synthesis of Real Time Systems.

[BibT_eX]

[DOI]

Jørgen H. Andersen

Jesper Niedermann

Proceedings of the Automata, Languages and Programming, 22nd International Colloquium, 1995

Fischer's Protocol Revisited: A Simple Proof Using Modal Constraints.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems III: Verification and Control, 1995

Diagnostic Model-Checking for Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems III: Verification and Control, 1995

UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems III: Verification and Control, 1995

Model-Checking for Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Computation Theory, 10th International Symposium, 1995

Compositional Model Checking of Real Time Systems.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '95: Concurrency Theory, 1995

1994

The Fork Calculus.

[BibT_eX]

Nord. J. Comput., 1994

A refinement logic for the fork calculus.

[BibT_eX]

Proceedings of the Protocol Specification, 1994

Automatic verification of real-tim systems using epsilon.

[BibT_eX]

Proceedings of the Protocol Specification, 1994

The Methodology of Modal Constraints.

[BibT_eX]

[DOI]

Proceedings of the Formal Systems Specification, 1994

1993

The Expressive Power of Implicit Specifications.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1993

Time Abstracted Bisimiulation: Implicit Specifications and Decidability.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Programming Semantics, 1993

Model Construction for Implicit Specifications in Model Logic.

[BibT_eX]

[DOI]

Ole Høgh Jensen

Jarl Tuxen Lang

Christian Jeppesen

Proceedings of the CONCUR '93, 1993

Timed Modal Specification - Theory and Tools.

[BibT_eX]

[DOI]

Karlis Cerans

Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1992

A Compositional Protocol Verification Using Relativized Bisimulation

[BibT_eX]

[DOI]

Robin Milner

Inf. Comput., July, 1992

Graphical Versus Logical Specifications.

[BibT_eX]

[DOI]

Gérard Boudol

Theor. Comput. Sci., 1992

Testing Probabilistic and Nondeterministic Processes.

[BibT_eX]

Proceedings of the Protocol Specification, 1992

Real-Time Calculi and Expansion Theorems.

[BibT_eX]

[DOI]

Proceedings of the NAPAW 92, 1992

Compositional Verification of Probabilistic Processes.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '92, 1992

Efficient Local Correctness Checking.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992

1991

Bisimulation through Probabilistic Testing

[BibT_eX]

[DOI]

Inf. Comput., September, 1991

Using Information Systems to Solve Recursive Domain Equations

[BibT_eX]

[DOI]

Glynn Winskel

Inf. Comput., April, 1991

Partial Specifications and Compositional Verification.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1991

Compositionality through an Operational Semantics of Contexts.

[BibT_eX]

[DOI]

Xinxin Liu

J. Log. Comput., 1991

On the Complexity of Equation Solving in Process Algebra.

[BibT_eX]

[DOI]

Bengt Jonsson

Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

Specification and Refinement of Probabilistic Processes

[BibT_eX]

[DOI]

Bengt Jonsson

Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS '91), 1991

Deciding Properties of Regular Real Time Processes.

[BibT_eX]

[DOI]

Uno Holmer

Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991

1990

Proof Systems for Satisfiability in Hennessy-Milner Logic with Recursion.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1990

Equation Solving Using Modal Transition Systems

[BibT_eX]

[DOI]

Xinxin Liu

Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990

Ideal Specification Formalism + Expressivity + Compositionality + Decidability + Testability + ...

[BibT_eX]

[DOI]

Proceedings of the CONCUR '90, 1990

1989

Compositional Theories Based on an Operational Semantics of Contexts.

[BibT_eX]

[DOI]

Proceedings of the Stepwise Refinement of Distributed Systems, 1989

The Use of Static Constructs in A Modal Process Logic.

[BibT_eX]

[DOI]

Hans Hüttel

Proceedings of the Logic at Botik '89, 1989

Modal Specifications.

[BibT_eX]

[DOI]

Proceedings of the Automatic Verification Methods for Finite State Systems, 1989

1988

Compositional Proofs by Partial Specification of Processes.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1988, 1988

A Modal Process Logic

[BibT_eX]

[DOI]

Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), 1988

Proof System for Hennessy-Milner Logic with Recursion.

[BibT_eX]

[DOI]

Proceedings of the CAAP '88, 1988

1987

A Context Dependent Equivalence Between Processes.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1987

Recursively Defined Doains and their Induction Principles.

[BibT_eX]

[DOI]

Finn Verner Jensen

Theor. Comput. Sci., 1987

Verifying a Protocol Using Relativized Bisimulation.

[BibT_eX]

[DOI]

Robin Milner

Proceedings of the Automata, Languages and Programming, 14th International Colloquium, 1987

1985

Recursively Defined Domains and Their Induction Principles.

[BibT_eX]

[DOI]

Finn Verner Jensen

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1985

1984

Using Information Systems to Solve Recursive Domain Equations Effectively.

[BibT_eX]

[DOI]

Glynn Winskel