Marta Z. Kwiatkowska

Proceedings of the 31st International Conference on Software Engineering, 2009

CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

Stochastic Games for Verification of Probabilistic Timed Automata.

[BibT_eX]

[DOI]

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

CADS*: Computer-Aided Development of Self-* Systems.

[BibT_eX]

[DOI]

Radu Calinescu

Proceedings of the Fundamental Approaches to Software Engineering, 2009

Concavely-Priced Probabilistic Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

Quantitative Verification Techniques for Biological Processes.

[BibT_eX]

[DOI]

Marta Kwiatkowska

Proceedings of the Algorithmic Bioprocesses, 2009

Bug-Free Sensors: The Automatic Verification of Context-Aware TinyOS Applications.

[BibT_eX]

[DOI]

Doina Bucur

Proceedings of the Ambient Intelligence, 2009

2008

Probabilistic model checking of complex biological pathways.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2008

Analysis of a gossip protocol in PRISM.

[BibT_eX]

[DOI]

SIGMETRICS Perform. Evaluation Rev., 2008

Using probabilistic model checking in systems biology.

[BibT_eX]

[DOI]

SIGMETRICS Perform. Evaluation Rev., 2008

Multi-Objective Model Checking of Markov Decision Processes.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2008

Game-Based Probabilistic Predicate Abstraction in PRISM.

[BibT_eX]

[DOI]

Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, 2008

Software Engineering Techniques for the Development of Systems of Systems.

[BibT_eX]

[DOI]

Radu Calinescu

Proceedings of the Foundations of Computer Software. Future Trends and Techniques for Development, 2008

Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis.

[BibT_eX]

[DOI]

Oksana Tymchyshyn

Proceedings of the Formal Methods in Systems Biology, First International Workshop, 2008

Metamodel-Based Generation of WSRF-Compliant SOA for Collaborative Cancer Research.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on e-Science, 2008

A Biologically Inspired Energy-Aware Routing Algorithm for Communications in Cyberworlds.

[BibT_eX]

[DOI]

Wen Gao

Proceedings of the International Conference on Cyberworlds 2008, 2008

WSRF-Based Modeling of Clinical Trial Information for Collaborative Cancer Research.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2008), 2008

2007

Symbolic model checking for probabilistic timed automata.

[BibT_eX]

[DOI]

Inf. Comput., 2007

On Process-algebraic Verification of Asynchronous Circuits.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2007

Quantitative verification: models techniques and tools.

[BibT_eX]

[DOI]

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

Stochastic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Performance Evaluation, 2007

2006

Numerical vs. statistical probabilistic model checking.

[BibT_eX]

[DOI]

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

A formal analysis of bluetooth device discovery.

[BibT_eX]

[DOI]

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

Performance analysis of probabilistic timed automata using digital clocks.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2006

Compositional State Space Reduction Using Untangled Actions.

[BibT_eX]

[DOI]

Proceedings of the 13th International Workshop on Expressiveness in Concurrency, 2006

Model checking expected time and expected reward formulae with random time bounds.

[BibT_eX]

[DOI]

António Pacheco

Comput. Math. Appl., 2006

Challenges for modeling and simulation methods in systems biology.

[BibT_eX]

[DOI]

Adelinde M. Uhrmacher

Proceedings of the Winter Simulation Conference WSC 2006, 2006

Simulation and verification for computational modelling of signalling pathways.

[BibT_eX]

[DOI]

Proceedings of the Winter Simulation Conference WSC 2006, 2006

PRISM: A Tool for Automatic Verification of Probabilistic Systems.

[BibT_eX]

[DOI]

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

Game-based Abstraction for Markov Decision Processes.

[BibT_eX]

[DOI]

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

On Reduction Criteria for Probabilistic Reward Models.

[BibT_eX]

[DOI]

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

Symmetry Reduction for Probabilistic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005

Evaluating the reliability of NAND multiplexing with PRISM.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2005

Probabilistic model checking in practice: case studies with PRISM.

[BibT_eX]

[DOI]

SIGMETRICS Perform. Evaluation Rev., 2005

Using probabilistic model checking for dynamic power management.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2005

A refinement-based process algebra for timed automata.

[BibT_eX]

[DOI]

Stefano Cattani

Formal Aspects Comput., 2005

A self-organised emergent routing mechanism for mobile ad hoc networks.

[BibT_eX]

[DOI]

Costas C. Constantinou

Eur. Trans. Telecommun., 2005

Opportunities and Challenges in Process-algebraic Verification of Asynchronous Circuit Designs.

[BibT_eX]

[DOI]

Georgios Theodoropoulos

Qianyi Zhang

Proceedings of the Second Workshop on Globally Asynchronous, Locally Synchronous Design, 2005

Quantitative Analysis With the Probabilistic Model Checker PRISM.

[BibT_eX]

[DOI]

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

A Biologically Inspired Congestion Control Routing Algorithm for MANETs.

[BibT_eX]

[DOI]

Costas C. Constantinou

Proceedings of the 3rd IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2005 Workshops), 2005

Stochastic Transition Systems for Continuous State Spaces and Non-determinism.

[BibT_eX]

[DOI]

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

A Timing Analysis of AODV.

[BibT_eX]

[DOI]

Sibusisiwe Chiyangwa

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

A Wavefront Parallelisation of CTMC Solution Using MTBDDs.

[BibT_eX]

[DOI]

Yi Zhang

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

An MTBDD-Based Implementation of Forward Reachability for Probabilistic Timed Automata.

[BibT_eX]

[DOI]

Fuzhi Wang

Proceedings of the Automated Technology for Verification and Analysis, 2005

2004

Probabilistic symbolic model checking with PRISM: a hybrid approach.

[BibT_eX]

[DOI]

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

Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM.

[BibT_eX]

[DOI]

Conrado Daws

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

Towards a Unifying CSP approach to Hierarchical Verification of Asynchronous Hardware.

[BibT_eX]

[DOI]

Georgios Theodoropoulos

Qianyi Zhang

Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, 2004

Evaluating the Reliability of Defect-Tolerant Architectures for Nanotechnology with Probabilistic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on VLSI Design (VLSI Design 2004), 2004

Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study.

[BibT_eX]

[DOI]

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

PRISM 2.0: A Tool for Probabilistic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Modeling, 2004

A swarm intelligence routing algorithm for MANETs.

[BibT_eX]

Costas C. Constantinou

Proceedings of the IASTED International Conference on Communications, Internet, and Information Technology, November 22, 2004

Mathematical techniques for analyzing concurrent and probabilistic systems.

[BibT_eX]

[DOI]

CRM monograph series 23, American Mathematical Society, ISBN: 978-0-8218-3571-5, 2004

2003

On the use of MTBDDs for performability analysis and verification of stochastic systems.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2003

Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol.

[BibT_eX]

[DOI]

Jeremy Sproston

Formal Aspects Comput., 2003

Model checking for probability and time: from theory to practice .

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003

2002

Automatic verification of real-time systems with discrete probability distributions.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2002

A Symbolic Out-of-Core Solution Method for Markov Models.

[BibT_eX]

[DOI]

Proceedings of the Parallel and Distributed Model Checking, 2002

Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol.

[BibT_eX]

[DOI]

Jeremy Sproston

Proceedings of the Process Algebra and Probabilistic Methods, 2002

Model Checking CSL until Formulae with Random Time Bounds.

[BibT_eX]

[DOI]

António Pacheco

Proceedings of the Process Algebra and Probabilistic Methods, 2002

Out-of-Core Solution of Large Linear Systems of Equations Arising from Stochastic Modelling.

[BibT_eX]

[DOI]

Rashid Mehmood

Proceedings of the Process Algebra and Probabilistic Methods, 2002

Formal analysis and validation of continuous-time Markov chain based system level power management strategies.

[BibT_eX]

[DOI]

Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002

Verifying Randomized Byzantine Agreement.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002

PRISM: Probabilistic Symbolic Model Checker.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Evaluation, 2002

2001

Faster and Symbolic CTMC Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Process Algebra and Probabilistic Methods, 2001

Symbolic Computation of Maximal Probabilistic Reachability.

[BibT_eX]

[DOI]

Jeremy Sproston

Proceedings of the CONCUR 2001, 2001

Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM.

[BibT_eX]

[DOI]

Roberto Segala

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

2000

On Topological Hierarchies of Temporal Properties.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2000

Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation.

[BibT_eX]

[DOI]

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

Verifying Quantitative Properties of Continuous Probabilistic Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2000, 2000

1998

On the Verification of Qualitative Properties of Probabilistic Processes under Fairness Constraints.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1998

A Testing Equivalence for Reactive Probabilistic Processes.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on Expressiveness in Concurrency, 1998

Computing Probability Bounds for Linear Time Formulas over Concurrent Probabilistic Systems.

[BibT_eX]

[DOI]

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

Preface.

[BibT_eX]

[DOI]

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

Model Checking for a Probabilistic Branching Time Logic with Fairness.

[BibT_eX]

[DOI]

Distributed Comput., 1998

Comparing CTL and PCTL on labeled Markov chains.

[BibT_eX]

Michael Huth

Proceedings of the Programming Concepts and Methods, 1998

1997

A Fully Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes

[BibT_eX]

[DOI]

Proceedings of the Third Workshop on Computation and Approximation, 1997

Preface.

[BibT_eX]

[DOI]

Proceedings of the Third Workshop on Computation and Approximation, 1997

Domain equations for probabilistic processes.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Expressiveness in Concurrency, 1997

Automatic Verification of Liveness Properties of Randomized Systems.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing, 1997

Quantitative Analysis and Model Checking.

[BibT_eX]

[DOI]

Michael Huth

Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997

Symbolic Model Checking for Probabilistic Processes.

[BibT_eX]

[DOI]

Vasiliki Hartonas-Garmhausen

Edmund M. Clarke

Mark Ryan

Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 1997

1996

Probabilistic Metric Semantics for a Simple Language with Recursion.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1996, 1996

1995

Duality and the Completeness of the Modal mu-Calculus.

[BibT_eX]

[DOI]

Simon Ambler

Nicholas Measor

Theor. Comput. Sci., 1995

Possible and Guaranteed Concurrency in CSP.

[BibT_eX]

[DOI]

Marta Kwiatkowska

Iain C. C. Phillips

Proceedings of the International Workshop on Structures in Concurrency Theory, 1995

1994

Synchronisation Trees and Fairness: A Case Study.

[BibT_eX]

Chrysafis Hartonas

Proceedings of the Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, 1994

A Hierarchy of Partial Order Temporal Properties.

[BibT_eX]

[DOI]

Doron A. Peled

Wojciech Penczek

Proceedings of the Temporal Logic, First International Conference, 1994

1993

Concurrency and Conflict in CSP.

[BibT_eX]

Iain Phillips

Proceedings of the Theory and Formal Methods 1993, 1993

Concurrency, Fairness and Logical Complexity.

[BibT_eX]

Proceedings of the Theory and Formal Methods 1993, 1993

On Duality for the Modal µ-Calculus.

[BibT_eX]

[DOI]

Simon Ambler

Nicholas Measor

Proceedings of the Computer Science Logic, 7th Workshop, 1993

1992

Infinite Behaviour and Fairness in Concurrent Constraint Programming.

[BibT_eX]

[DOI]

Proceedings of the Sematics: Foundations and Applications, 1992

1991

On the Domain of Traces and Sequential Composition.

[BibT_eX]

[DOI]

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

Trade-Offs in True Concurrency: Pomsets and Mazurkiewicz Traces.

[BibT_eX]

[DOI]

Bard Bloom

Proceedings of the Mathematical Foundations of Programming Semantics, 1991

1990

A Metric for Traces.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1990

Defining Process Fairness for Non-Interleaving Concurrency.

[BibT_eX]

[DOI]

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

1989

Event Fairness and Non-interleaving Concurrency.

[BibT_eX]

[DOI]