Joost-Pieter Katoen

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

GPU-Based Graph Decomposition into Strongly Connected and Maximal End Components.

[BibT_eX]

[DOI]

Anton Wijs

Dragan Bosnacki

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

Fast Debugging of PRISM Models.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2014

Layered Reduction for Abstract Probabilistic Automata.

[BibT_eX]

[DOI]

Arpit Sharma

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

2013

Model Checking Meets Probability: A Gentle Introduction.

[BibT_eX]

[DOI]

Proceedings of the Engineering Dependable Software Systems, 2013

Model checking for performability.

[BibT_eX]

[DOI]

Ernst Moritz Hahn

Math. Struct. Comput. Sci., 2013

Abstract Probabilistic Automata.

[BibT_eX]

[DOI]

Inf. Comput., 2013

A compositional modelling and analysis framework for stochastic hybrid systems.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2013

Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142).

[BibT_eX]

[DOI]

Albert Cohen

Alastair F. Donaldson

Marieke Huisman

Dagstuhl Reports, 2013

Modelling, Reduction and Analysis of Markov Automata (extended version)

[BibT_eX]

[DOI]

CoRR, 2013

SMT-Based Bisimulation Minimisation of Markov Models.

[BibT_eX]

[DOI]

Christian Dehnert

David Parker

Proceedings of the Verification, 2013

Modelling, Reduction and Analysis of Markov Automata.

[BibT_eX]

[DOI]

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

Prinsys - On a Quest for Probabilistic Loop Invariants.

[BibT_eX]

[DOI]

Friedrich Gretz

Annabelle McIver

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

Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

Layered Reduction for Modal Specification Theories.

[BibT_eX]

[DOI]

Arpit Sharma

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

Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems.

[BibT_eX]

[DOI]

Doron A. Peled

Proceedings of the Programming Languages and Systems, 2013

Model-based energy optimization of automotive control systems.

[BibT_eX]

[DOI]

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

Concurrency Meets Probability: Theory and Practice - (Abstract).

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

A Semantics for Every GSPN.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013

2012

A linear process-algebraic format with data for probabilistic automata.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2012

Three-valued abstraction for probabilistic systems.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2012

Layered reasoning for randomized distributed algorithms.

[BibT_eX]

[DOI]

Mani Swaminathan

Ernst-Rüdiger Olderog

Formal Aspects Comput., 2012

The COMICS Tool - Computing Minimal Counterexamples for Discrete-time Markov Chains

[BibT_eX]

[DOI]

CoRR, 2012

Minimal Critical Subsystems for Discrete-Time Markov Models.

[BibT_eX]

[DOI]

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

Operational Versus Weakest Precondition Semantics for the Probabilistic Guarded Command Language.

[BibT_eX]

[DOI]

Friedrich Gretz

Annabelle McIver

Proceedings of the Ninth International Conference on Quantitative Evaluation of Systems, 2012

Quantitative Timed Analysis of Interactive Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods, 2012

Minimal Critical Subsystems as Counterexamples for omega-Regular DTMC Properties.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2012

Quantitative Modelling and Analysis.

[BibT_eX]

[DOI]

Kim Guldstrand Larsen

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

Compositional Abstraction Techniques for Probabilistic Automata.

[BibT_eX]

[DOI]

Falak Sher

Proceedings of the Theoretical Computer Science, 2012

Formal correctness, safety, dependability, and performance analysis of a satellite.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Software Engineering, 2012

Robust PCTL model checking.

[BibT_eX]

[DOI]

Alessandro D'Innocenzo

Alessandro Abate

Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

Symbolic Counterexample Generation for Discrete-Time Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012

Model checking of Scenario-Aware Dataflow with CADP.

[BibT_eX]

[DOI]

Bart D. Theelen

Hao Wu

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

Efficient Modelling and Generation of Markov Automata.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

The COMICS Tool - Computing Minimal Counterexamples for DTMCs.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2012

GSPNs Revisited: Simple Semantics and New Analysis Algorithms.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Application of Concurrency to System Design, 2012

2011

Time-bounded reachability in tree-structured QBDs by abstraction.

[BibT_eX]

[DOI]

Daniel Klink

Anne Remke

Perform. Evaluation, 2011

The ins and outs of the probabilistic model checker MRMC.

[BibT_eX]

[DOI]

Perform. Evaluation, 2011

Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2011

Safety, Dependability and Performance Analysis of Extended AADL Models.

[BibT_eX]

[DOI]

Comput. J., 2011

Efficient CTMC Model Checking of Linear Real-Time Objectives.

[BibT_eX]

[DOI]

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

Observing Continuous-Time MDPs by 1-Clock Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Reachability Problems - 5th International Workshop, 2011

Analysing and Improving Energy Efficiency of Distributed Slotted Aloha.

[BibT_eX]

[DOI]

Proceedings of the Smart Spaces and Next Generation Wired/Wireless Networking, 2011

A Local Greibach Normal Form for Hyperedge Replacement Grammars.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2011

Quantitative automata model checking of autonomous stochastic hybrid systems.

[BibT_eX]

[DOI]

Alessandro Abate

Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

Deciding Probabilistic Simulation between Probabilistic Pushdown Automata and Finite-State Systems.

[BibT_eX]

[DOI]

Hongfei Fu

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

Model Checking: One Can Do Much More Than You Think!

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

Towards Trustworthy Aerospace Systems: An Experience Report.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2011

Weighted Lumpability on Markov Chains.

[BibT_eX]

[DOI]

Arpit Sharma

Proceedings of the Perspectives of Systems Informatics, 2011

Reachability probabilities in Markovian Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Hierarchical Counterexamples for Discrete-Time Markov Chains.

[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

Learning Communicating Automata from MSCs.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2010

Computing Optimal Schedules for battery Usage in Embedded Systems.

[BibT_eX]

[DOI]

Marijn R. Jongerden

IEEE Trans. Ind. Informatics, 2010

Performability assessment by model checking of Markov reward models.

[BibT_eX]

[DOI]

Lucia Cloth

Formal Methods Syst. Des., 2010

Approximate Model Checking of Stochastic Hybrid Systems.

[BibT_eX]

[DOI]

Eur. J. Control, 2010

SMA - The Smyle Modeling Approach.

[BibT_eX]

[DOI]

Comput. Informatics, 2010

Performance evaluation and model checking join forces.

[BibT_eX]

[DOI]

Commun. ACM, 2010

Advances in Probabilistic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2010

Linear-Invariant Generation for Probabilistic Programs: - Automated Support for Proof-Based Methods.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 17th International Symposium, 2010

DTMC Model Checking by SCC Reduction.

[BibT_eX]

[DOI]

Proceedings of the QEST 2010, 2010

Analyzing Energy Consumption in a Gossiping MAC Protocol.

[BibT_eX]

[DOI]

Haidi Yue

Proceedings of the Measurement, 2010

Quantitative Verification in Practice.

[BibT_eX]

[DOI]

Kim G. Larsen

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

Model Checking Markov Chains Using Krylov Subspace Methods: An Experience Report.

[BibT_eX]

[DOI]

Falko Dulat

Viet Yen Nguyen

Proceedings of the Computer Performance Engineering, 2010

A Model Checker for AADL.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

libalf: The Automata Learning Framework.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

Leader Election in Anonymous Radio Networks: Model Checking Energy Consumption.

[BibT_eX]

[DOI]

Haidi Yue

Proceedings of the Analytical and Stochastic Modeling Techniques and Applications, 2010

A Linear Process-Algebraic Format for Probabilistic Systems with Data.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

2009

Counterexample Generation in Probabilistic Model Checking.

[BibT_eX]

[DOI]

Berteun Damman

IEEE Trans. Software Eng., 2009

Verification and performance evaluation of aadl models.

[BibT_eX]

[DOI]

Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, 2009

Simulation-Based CTMC Model Checking: An Empirical Evaluation.

[BibT_eX]

[DOI]

Ivan S. Zapreev

Proceedings of the QEST 2009, 2009

Model-Based Codesign of Critical Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems ( ACES-MB 2009 ), 2009

Codesign of dependable systems: A component-based modeling language.

[BibT_eX]

[DOI]

Proceedings of the 7th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009), 2009

Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications.

[BibT_eX]

[DOI]

Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, 2009

Delayed Nondeterminism in Continuous-Time Markov Decision Processes.

[BibT_eX]

[DOI]

Martin R. Neuhäußer

Mariëlle Stoelinga

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

Compositional Abstraction for Stochastic Systems.

[BibT_eX]

[DOI]

Daniel Klink

Martin R. Neuhäußer

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

The How and Why of Interactive Markov Chains.

[BibT_eX]

[DOI]

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

Maximizing system lifetime by battery scheduling.

[BibT_eX]

[DOI]

Marijn R. Jongerden

Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

LTL Model Checking of Time-Inhomogeneous Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2009

2008

How to model and analyze gossiping protocols?

[BibT_eX]

[DOI]

SIGMETRICS Perform. Evaluation Rev., 2008

Perspectives in Probabilistic Verification.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

Time-Abstracting Bisimulation for Probabilistic Timed Automata.

[BibT_eX]

[DOI]

Taolue Chen

Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

Approximate Parameter Synthesis for Probabilistic Time-Bounded Reachability.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008

Regular Expressions for PCTL Counterexamples.

[BibT_eX]

[DOI]

Berteun Damman

Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

The Surprising Robustness of (Closed) Timed Automata against Clock-Drift.

[BibT_eX]

[DOI]

Mani Swaminathan

Martin Fränzle

Proceedings of the Fifth IFIP International Conference On Theoretical Computer Science, 2008

Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains.

[BibT_eX]

[DOI]

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

Quantitative Evaluation in Embedded System Design: Trends in Modeling and Analysis Techniques.

[BibT_eX]

[DOI]

Manuela-Luminita Bujorianu

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

Abstraction for Stochastic Systems by Erlang's Method of Stages.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

Smyle: A Tool for Synthesizing Distributed Models from Scenarios by Learning.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

Symmetry reduction for stochastic hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Reachability in continuous-time Markov reward decision processes.

[BibT_eX]

Proceedings of the Logic and Automata: History and Perspectives [in Honor of Wolfgang Thomas]., 2008

Principles of model checking.

[BibT_eX]

MIT Press, ISBN: 978-0-262-02649-9, 2008

2007

Model checking mobile stochastic logic.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2007

Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking.

[BibT_eX]

[DOI]

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

Counterexamples in Probabilistic Model Checking.

[BibT_eX]

[DOI]

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

Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning.

[BibT_eX]

[DOI]

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

motor: The modestTool Environment.

[BibT_eX]

[DOI]

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

How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison.

[BibT_eX]

[DOI]

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

Abstraction of Probabilistic Systems.

[BibT_eX]

[DOI]

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

07101 Abstracts Collection -- Quantitative Aspects of Embedded Systems.

[BibT_eX]

[DOI]

Lothar Thiele

Proceedings of the Quantitative Aspects of Embedded Systems, 04.03. - 09.03.2007, 2007

07101 Executive Summary -- Quantitative Aspects of Embedded Systems.

[BibT_eX]

[DOI]

Lothar Thiele

Proceedings of the Quantitative Aspects of Embedded Systems, 04.03. - 09.03.2007, 2007

Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes.

[BibT_eX]

[DOI]

Martin R. Neuhäußer

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

Three-Valued Abstraction for Continuous-Time Markov Chains.

[BibT_eX]

[DOI]

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

Providing Evidence of Likely Being on Time: Counterexample Generation for CTMC Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2007

2006

Guest Editors' Introduction to the Special Section on the First International Conference on the Quantitative Evaluation of SysTems (QEST).

[BibT_eX]

[DOI]

Giuliana Franceschinis

C. Murray Woodside

IEEE Trans. Software Eng., 2006

MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2006

Guest editors' introduction: quantitative analysis of real-time embedded systems.

[BibT_eX]

[DOI]

Peter Buchholz

Marcel Verhoef

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

Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability.

[BibT_eX]

[DOI]

Ivan S. Zapreev

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

Probably on Time and within Budget: On Reachability in Priced Probabilistic Timed Automata.

[BibT_eX]

[DOI]

Jasper Berendsen

David N. Jansen

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

2005

Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2005

Performance and verification.

[BibT_eX]

[DOI]

SIGMETRICS Perform. Evaluation Rev., 2005

Model checking meets performance evaluation.

[BibT_eX]

[DOI]

SIGMETRICS Perform. Evaluation Rev., 2005

A theory of Stochastic systems. Part II: Process algebra.

[BibT_eX]

[DOI]

Inf. Comput., 2005

A theory of stochastic systems part I: Stochastic automata.

[BibT_eX]

[DOI]

Inf. Comput., 2005

Comparative branching-time semantics for Markov chains.

[BibT_eX]

[DOI]

Inf. Comput., 2005

Towards a Logic for Performance and Mobility.

[BibT_eX]

[DOI]

Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages, 2005

YMCA: - Why Markov Chain Algebra? - .

[BibT_eX]

[DOI]

Mario Bravetti

Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005

Bisimulation and Simulation Relations for Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005

A Markov Reward Model Checker.

[BibT_eX]

[DOI]

Maneesh Khattri

Ivan S. Zapreev

Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005

Safety and Liveness in Concurrent Pointer Programs.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005

Model Checking Markov Reward Models with Impulse Rewards.

[BibT_eX]

[DOI]

Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005

Are You Still There? - A Lightweight Algorithm to Monitor Node Presence in Self-Configuring Networks.

[BibT_eX]

[DOI]

Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005

2004

Guest editors' introduction: Advancements and extensions of verification techniques.

[BibT_eX]

[DOI]

Perdita Stevens

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

Probabilistic weak simulation is decidable in polynomial time.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2004

Embedded Software Analysis with MOTOR.

[BibT_eX]

[DOI]

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

An industrial-strength formal method -- A Modest survey.

[BibT_eX]

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

Who is Pointing When to Whom?

[BibT_eX]

[DOI]

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

Model Checking Dependability Attributes of Wireless Group Communication.

[BibT_eX]

[DOI]

Mieke Massink

Diego Latella

Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

Labelled Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the Model-Based Testing of Reactive Systems, 2004

2003

Model-Checking Algorithms for Continuous-Time Markov Chains.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2003

A tool for model-checking Markov chains.

[BibT_eX]

[DOI]

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

Model-checking large structured Markov chains.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2003

A QoS-Oriented Extension of UML Statecharts.

[BibT_eX]

[DOI]

David N. Jansen

Proceedings of the «UML» 2003, 2003

Discrete-Time Rewards Model-Checked.

[BibT_eX]

[DOI]

Suzana Andova

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

ETMCC: Model Checking Performability Properties of Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

On Integrating the MÖBIUS and MODEST Modeling Tools.

[BibT_eX]

[DOI]

Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

The Modest Modeling Tool and Its Implementation.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Evaluations, 2003

Comparative Branching-Time Semantics.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2003, 2003

2002

Real-Time and Probabilistic Systems - Foreword.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2002

Process algebra for performance evaluation.

[BibT_eX]

[DOI]

Ulrich Herzog

Theor. Comput. Sci., 2002

Guest editors' introduction: Model checking in a nutshell.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2002

Automated Performance and Dependability Evaluation Using Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Performance Evaluation of Complex Systems: Techniques and Tools, 2002

Model Checking Birth and Death.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Information Technology in the Era of Networking and Mobile Computing, 2002

A Probabilistic Extension of UML Statecharts.

[BibT_eX]

[DOI]

David N. Jansen

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

Model Checking Performability Properties.

[BibT_eX]

[DOI]

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

Simulation for Continuous-Time Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2002, 2002

2001

Metric semantics for true concurrent real time.

[BibT_eX]

[DOI]

Diego Latella

Theor. Comput. Sci., 2001

First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders.

[BibT_eX]

[DOI]

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

Beyond Memoryless Distributions: Model Checking Semi-Markov Chains.

[BibT_eX]

[DOI]

Gabriel G. Infante López

Proceedings of the Process Algebra and Probabilistic Methods, 2001

Faster and Symbolic CTMC Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Process Algebra and Probabilistic Methods, 2001

MoDeST - A Modelling and Description Language for Stochastic Timed Systems.

[BibT_eX]

[DOI]

Proceedings of the Process Algebra and Probabilistic Methods, 2001

Performance Evaluation : = (Process Algebra + Model Checking) × Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2001, 2001

2000

Pattern-matching algorithms based on term rewrite systems.

[BibT_eX]

[DOI]

Albert Nymeyer

Theor. Comput. Sci., 2000

Automated compositional Markov chain generation for a plain-old telephone system.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2000

A Markov Chain Model Checker.

[BibT_eX]

[DOI]

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

On the Use of Model Checking Techniques for Dependability Evaluation.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE Symposium on Reliable Distributed Systems, 2000

Towards Model Checking Stochastic Process Algebra.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, Second International Conference, 2000

On the Logical Characterisation of Performability Properties.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000

On a Temporal Logic for Object-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Open Object-Based Distributed Systems IV, 2000

General Distributions in Process Algebra.

[BibT_eX]

[DOI]

Proceedings of the Lectures on Formal Methods and Performance Analysis, 2000

Model Checking Continuous-Time Markov Chains by Transient Analysis.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999

Specification and Analysis of Soft Real-Time Systems: Quantity and Quality.

[BibT_eX]

[DOI]

Ed Brinksma

Proceedings of the 20th IEEE Real-Time Systems Symposium, 1999

Approximate Symbolic Model Checking of Continuous-Time Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '99: Concurrency Theory, 1999

1998

A Consistent Causality-Based View on a Timed Process Algebra Including Urgent Interactions.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 1998

Automatic Verification of a Lip-Synchronisation Protocol Using Uppaal.

[BibT_eX]

[DOI]

Formal Aspects Comput., 1998

On Generative Parallel Composition.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Probabilistic Methods in Verification, 1998

Partial Order Models for Quantitative Extensions of LOTOS.

[BibT_eX]

[DOI]

Comput. Networks, 1998

An algebraic approach to the specification of stochastic systems.

[BibT_eX]

Ed Brinksma

Proceedings of the Programming Concepts and Methods, 1998

Pomsets for MSC.

[BibT_eX]

Lennard Lambert

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1998

A True Concurrency Semantics for ET-LOTOS.

[BibT_eX]

[DOI]

Howard Bowman

Proceedings of the 1st International Conference on Application of Concurrency to System Design (ACSD '98), 1998

1997

Code Generation Based on Formal BURS Therory and Heuristic Search.

[BibT_eX]

[DOI]

Albert Nymeyer

Acta Informatica, 1997

The Bounded Retransmission Protocol Must Be on Time!

[BibT_eX]

[DOI]

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

Causal Ambiguity and Partial Orders in Event Structures.

[BibT_eX]

[DOI]

Rom Langerak

Ed Brinksma

Proceedings of the CONCUR '97: Concurrency Theory, 1997

1996

Systolic Arrays for the Recognition of Permutation-Invariant Segments.

[BibT_eX]

[DOI]

Berry Schoenmakers

Sci. Comput. Program., 1996

Design and Analysis of Dynamic Leader Election Protocols in Broadcast Networks.

[BibT_eX]

[DOI]

Distributed Comput., 1996

On Specifying Real-Time Systems in a Causality-Based Setting.

[BibT_eX]

[DOI]

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

Code Generation = A* + BURS.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction, 6th International Conference, 1996

1995

A Design Model for Open Distributed Processing Systems.

[BibT_eX]

[DOI]

Comput. Networks ISDN Syst., 1995

A Stochastic Causality-Based Process Algebra.

[BibT_eX]

[DOI]

Comput. J., 1995

Causal Behaviours and Nets.

[BibT_eX]

[DOI]

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

1993

Recognizing k-Rotated Segments.

[BibT_eX]

[DOI]

Martin Rem

Int. J. High Speed Comput., 1993

A Semi-Markov Model of a Home Network Access Protocol.

[BibT_eX]

Proceedings of the MASCOTS '93, 1993

Modeling Systems by Probabilistic Process Algebra: an Event Structures Approach.

[BibT_eX]

Rom Langerak

Diego Latella

Proceedings of the Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, 1993

1991

A Parallel program for the recognition of P-Invariant segments.

[BibT_eX]

Berry Schoenmakers

Proceedings of the Algorithms and Parallel VLSI Architectures II, 1991

1989

Bottom-Up Tree Acceptors.

[BibT_eX]

[DOI]

C. Hemerik