Marta Z. Kwiatkowska

According to our database1, Marta Z. Kwiatkowska
  • authored at least 254 papers between 1989 and 2017.
  • has a "Dijkstra number"2 of four.

Awards

ACM Fellow

ACM Fellow 2016, "For contributions to the theory and practice of probabilistic verification".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata.
Theor. Comput. Sci., 2017

Experimental Biological Protocols with Formal Semantics.
CoRR, 2017

Feature-Guided Black-Box Safety Testing of Deep Neural Networks.
CoRR, 2017

Precise parameter synthesis for stochastic biochemical systems.
Acta Inf., 2017

Cognitive Reasoning and Trust in Human-Robot Interactions.
Proceedings of the Theory and Applications of Models of Computation, 2017

RODES: A Robust-Design Synthesis Tool for Probabilistic Systems.
Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

Designing Robust Software Systems through Parametric Markov Chain Synthesis.
Proceedings of the 2017 IEEE International Conference on Software Architecture, 2017

Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable Precision.
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

Safety Verification of Deep Neural Networks.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

Syntax-Guided Optimal Synthesis for Chemical Reaction Networks.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata.
Proceedings of the Models, Algorithms, Logics and Tools, 2017

A Specification Theory of Real-Time Processes.
Proceedings of the Concurrency, Security, and Puzzles, 2017

Reasoning about Cognitive Trust in Stochastic Multiagent Systems.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

Synthesis and Verification of Self-aware Computing Systems.
Proceedings of the Self-Aware Computing Systems., 2017

2016
Preface.
Theor. Comput. Sci., 2016

Expected reachability-time games.
Theor. Comput. Sci., 2016

2014 CAV award announcement.
Formal Methods in System Design, 2016

Quantitative verification and strategy synthesis for stochastic games.
Eur. J. Control, 2016

The Presburger Award for Young Scientists 2017 - Call for Nominations.
Bulletin of the EATCS, 2016

Resource-Performance Trade-off Analysis for Mobile Robots.
CoRR, 2016

Safety Verification of Deep Neural Networks.
CoRR, 2016

Expected Reachability-Time Games.
CoRR, 2016

Programming Discrete Distributions with Chemical Reaction Networks.
CoRR, 2016

Stochastic analysis of Chemical Reaction Networks using Linear Noise Approximation.
Biosystems, 2016

PRISM-Games 2.0: A Tool for Multi-objective Strategy Synthesis for Stochastic Games.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Approximation of Probabilistic Reachability for Chemical Reaction Networks Using the Linear Noise Approximation.
Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016

Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement.
Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016

Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps.
Proceedings of the 24th IEEE International Symposium on Modeling, 2016

Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice.
Proceedings of the 43rd International Colloquium on Automata, Languages, and Programming, 2016

Building Power Consumption Models from Executable Timed I/O Automata Specifications.
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

Chemical Reaction Network Designs for Asynchronous Logic Circuits.
Proceedings of the DNA Computing and Molecular Programming - 22nd International Conference, 2016

Programming Discrete Distributions with Chemical Reaction Networks.
Proceedings of the DNA Computing and Molecular Programming - 22nd International Conference, 2016

Advances and challenges of quantitative verification and synthesis for cyber-physical systems.
Proceedings of the 2016 Science of Security for Cyber-Physical Systems Workshop, 2016

A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation.
Proceedings of the Computational Methods in Systems Biology, 2016

Specification revision for Markov decision processes with optimal trade-off.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Approximate Policy Iteration for Markov Decision Processes via Quantitative Adaptive Aggregations.
Proceedings of the Automated Technology for Verification and Analysis, 2016

Model Checking Probabilistic Knowledge: A PSPACE Case.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015
Computing Cumulative Rewards Using Fast Adaptive Uniformization.
ACM Trans. Model. Comput. Simul., 2015

DNA walker circuits: computational potential, design, and verification.
Natural Computing, 2015

40th international colloquium on automata, languages and programming.
Inf. Comput., 2015

Simulation-Based Verification of Cardiac Pacemakers With Guaranteed Coverage.
IEEE Design & Test, 2015

Model-driven Algorithms and Architectures for Self-Aware Computing Systems (Dagstuhl Seminar 15041).
Dagstuhl Reports, 2015

Approximate and Probabilistic Computing: Design, Coding, Verification (Dagstuhl Seminar 15491).
Dagstuhl Reports, 2015

Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation.
CoRR, 2015

Permissive Controller Synthesis for Probabilistic Systems.
Logical Methods in Computer Science, 2015

Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Parameter synthesis for probabilistic real-time systems (Invited Paper).
Proceedings of the 2nd International Workshop on Synthesis of Complex Parameters, 2015

Synthesising Robust and Optimal Parameters for Cardiac Pacemakers Using Symbolic and Evolutionary Computation Techniques.
Proceedings of the Hybrid Systems Biology - Fourth International Workshop, 2015

Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

Hardware-in-the-loop simulation and energy optimization of cardiac pacemakers.
Proceedings of the 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2015

Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation.
Proceedings of the Computational Methods in Systems Biology, 2015

Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices.
Proceedings of the Computational Methods in Systems Biology, 2015

Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2015

2014
Probabilistic Model Checking for Biology.
Proceedings of the Software Systems Safety, 2014

Local abstraction refinement for probabilistic timed programs.
Theor. Comput. Sci., 2014

An algebraic theory of interface automata.
Theor. Comput. Sci., 2014

Compositional assume-guarantee reasoning for input/output component theories.
Sci. Comput. Program., 2014

Quantitative verification of implantable cardiac pacemakers over hybrid heart models.
Inf. Comput., 2014

Verification of Markov Decision Processes using Learning Algorithms.
CoRR, 2014

Permissive Controller Synthesis for Probabilistic Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions.
Proceedings of the Reachability Problems - 8th International Workshop, 2014

Automated Verification of Quantitative Properties of Cardiac Pacemaker Software.
Proceedings of the 5th Workshop on Medical Cyber-Physical Systems, 2014

On Quantitative Software Quality Assurance Methodologies for Cardiac Pacemakers.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Formal Modelling and Validation of Rate-Adaptive Pacemakers.
Proceedings of the 2014 IEEE International Conference on Healthcare Informatics, 2014

Synthesising optimal timing delays for Timed I/O Automata.
Proceedings of the 2014 International Conference on Embedded Software, 2014

Compositional Controller Synthesis for Stochastic Games.
Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

Precise Parameter Synthesis for Stochastic Biochemical Systems.
Proceedings of the Computational Methods in Systems Biology, 2014

Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells.
Proceedings of the Computer Aided Verification - 26th International Conference, 2014

On Incremental Quantitative Verification for Probabilistic Systems.
Proceedings of the HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday, 2014

Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations.
Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014

Verification of Markov Decision Processes Using Learning Algorithms.
Proceedings of the Automated Technology for Verification and Analysis, 2014

2013
Verification of linear duration properties over continuous-time markov chains.
ACM Trans. Comput. Log., 2013

On the complexity of model checking interval-valued discrete time Markov chains.
Inf. Process. Lett., 2013

From software verification to 'everyware' verification.
Computer Science - R&D, 2013

Compositional probabilistic verification through multi-objective model checking.
Inf. Comput., 2013

Automatic verification of competitive stochastic systems.
Formal Methods in System Design, 2013

Preface to the special issue on Probabilistic Model Checking.
Formal Methods in System Design, 2013

Revisiting Timed Specification Theory II : Realisability
CoRR, 2013

Strategic Analysis of Trust Models for User-Centric Networks
Proceedings of the Proceedings 1st International Workshop on Strategic Reasoning, 2013

Modal Specifications for Probabilistic Timed Systems.
Proceedings of the Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, 2013

Model Repair for Markov Decision Processes.
Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

PRISM-games: A Model Checker for Stochastic Multi-Player Games.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Synthesis for Multi-objective Stochastic Games: An Application to Autonomous Urban Driving.
Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

A process algebraic framework for estimating the energy consumption in ad-hoc wireless sensor networks.
Proceedings of the 16th ACM International Conference on Modeling, 2013

On Stochastic Games with Multiple Objectives.
Proceedings of the Mathematical Foundations of Computer Science 2013, 2013

Advances in Quantitative Verification for Ubiquitous Computing.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013

A simulink hybrid heart model for quantitative verification of cardiac pacemakers.
Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

DNA Walker Circuits: Computational Potential, Design, and Verification.
Proceedings of the DNA Computing and Molecular Programming - 19th International Conference, 2013

Computing Cumulative Rewards Using Fast Adaptive Uniformisation.
Proceedings of the Computational Methods in Systems Biology, 2013

Automated Verification and Strategy Synthesis for Probabilistic Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2013

2012
Advances in Probabilistic Model Checking.
Proceedings of the Software Safety and Security - Tools for Analysis and Verification, 2012

Evaluation of Sustained Stochastic Oscillations by Means of a System of Differential Equations.
I. J. Comput. Appl., 2012

2011 CAV award announcement.
Formal Methods in System Design, 2012

Probabilistic verification of Herman's self-stabilisation algorithm.
Formal Asp. Comput., 2012

Pareto Curves for Probabilistic Model Checking
CoRR, 2012

Revisiting Timed Specification Theories: A Linear-Time Perspective
CoRR, 2012

Optimizing ZigBee Security using Stochastic Model Checking
CoRR, 2012

Large-scale complex IT systems.
Commun. ACM, 2012

Self-adaptive software needs quantitative verification at runtime.
Commun. ACM, 2012

Automatic energy-aware performance analysis of Mobile Ad-Hoc Networks.
Proceedings of the IFIP Wireless Days Conference 2012, Ireland, November 21-23, 2012, 2012

Automatic Verification of Competitive Stochastic Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Incremental Runtime Verification of Probabilistic Systems.
Proceedings of the Runtime Verification, Third International Conference, 2012

Quantitative Verification of Implantable Cardiac Pacemakers.
Proceedings of the 33rd IEEE Real-Time Systems Symposium, 2012

The PRISM Benchmark Suite.
Proceedings of the Ninth International Conference on Quantitative Evaluation of Systems, 2012

Towards Communication-Based Steering of Complex Distributed Systems.
Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012

Verification of linear duration properties over continuous-time markov chains.
Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

Revisiting Timed Specification Theories: A Linear-Time Perspective.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

Assume-Guarantee Reasoning for Safe Component Behaviours.
Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012

A Compositional Specification Theory for Component Behaviours.
Proceedings of the Programming Languages and Systems, 2012

Playing Stochastic Games Precisely.
Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

Pareto Curves for Probabilistic Model Checking.
Proceedings of the Automated Technology for Verification and Analysis, 2012

2011
Dynamic QoS Management and Optimization in Service-Based Systems.
IEEE Trans. Software Eng., 2011

On software verification for sensor nodes.
Journal of Systems and Software, 2011

Metamodel-driven SOA for collaborative e-science application.
Comput. Syst. Sci. Eng., 2011

Large-scale Complex IT Systems
CoRR, 2011

Quantitative Multi-objective Verification for Probabilistic Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Automated Verification Techniques for Probabilistic Systems.
Proceedings of the Formal Methods for Eternal Networked Software Systems, 2011

Partial Order Reduction for Model Checking Markov Decision Processes under Unconditional Fairness.
Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

Time-Bounded Verification of CTMCs against Real-Time Specifications.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011

Automated Learning of Probabilistic Assumptions for Compositional Reasoning.
Proceedings of the Fundamental Approaches to Software Engineering, 2011

Incremental quantitative verification for Markov decision processes.
Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, 2011

Verifying Team Formation Protocols with Probabilistic Model Checking.
Proceedings of the Computational Logic in Multi-Agent Systems, 2011

PRISM 4.0: Verification of Probabilistic Real-Time Systems.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

A Systematic Approach to Evaluate Sustained Stochastic Oscillations.
Proceedings of the ISCA 3rd International Conference on Bioinformatics and Computational Biology, 2011

Learning-Based Compositional Verification for Synchronous Probabilistic Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2011

2010
A biologically inspired QoS routing algorithm for mobile ad hoc networks.
IJWMC, 2010

A game-based abstraction-refinement framework for Markov decision processes.
Formal Methods in System Design, 2010

Quantitative Games on Probabilistic Timed Automata
CoRR, 2010

Assume-Guarantee Verification for Probabilistic Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

Compositional Verification of Probabilistic Systems Using Learning.
Proceedings of the QEST 2010, 2010

Dependability Analysis and Verification for Connected Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Towards a Connector Algebra.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Software verification for TinyOS.
Proceedings of the 9th International Conference on Information Processing in Sensor Networks, 2010

A Framework for Verification of Software with Time and Probabilities.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010

Expected Reachability-Time Games.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010

Parallel Model Checking for Temporal Epistemic Logic.
Proceedings of the ECAI 2010, 2010

10051 Executive Summary - Quantitative and Qualitative Analysis of Network Protocols.
Proceedings of the Quantitative and Qualitative Analysis of Network Protocols, 31.01., 2010

10051 Abstracts Collection - Quantitative and Qualitative Analysis of Network Protocols.
Proceedings of the Quantitative and Qualitative Analysis of Network Protocols, 31.01., 2010

2009
Guest Editors' Introduction to the Special Issue on Quantitative Evaluation of Computer Systems.
IEEE Trans. Software Eng., 2009

Probabilistic Mobile Ambients.
Theor. Comput. Sci., 2009

PRISM: probabilistic model checking for performance and reliability analysis.
SIGMETRICS Performance Evaluation Review, 2009

Abstraction Refinement for Probabilistic Software.
Proceedings of the Verification, 2009

On Quantitative Software Verification.
Proceedings of the Model Checking Software, 2009

Reo2MC: a tool chain for performance analysis of coordination models.
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control.
Proceedings of the Computer Safety, 2009

Using quantitative analysis to implement autonomic IT systems.
Proceedings of the 31st International Conference on Software Engineering, 2009

CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems.
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

Stochastic Games for Verification of Probabilistic Timed Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009

CADS*: Computer-Aided Development of Self-* Systems.
Proceedings of the Fundamental Approaches to Software Engineering, 2009

Concavely-Priced Probabilistic Timed Automata.
Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

Bug-Free Sensors: The Automatic Verification of Context-Aware TinyOS Applications.
Proceedings of the Ambient Intelligence, 2009

2008
Probabilistic model checking of complex biological pathways.
Theor. Comput. Sci., 2008

Analysis of a gossip protocol in PRISM.
SIGMETRICS Performance Evaluation Review, 2008

Using probabilistic model checking in systems biology.
SIGMETRICS Performance Evaluation Review, 2008

Multi-Objective Model Checking of Markov Decision Processes.
Logical Methods in Computer Science, 2008

Game-Based Probabilistic Predicate Abstraction in PRISM.
Electr. Notes Theor. Comput. Sci., 2008

Multi-Objective Model Checking of Markov Decision Processes
CoRR, 2008

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

Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis.
Proceedings of the Formal Methods in Systems Biology, First International Workshop, 2008

Metamodel-Based Generation of WSRF-Compliant SOA for Collaborative Cancer Research.
Proceedings of the Fourth International Conference on e-Science, 2008

A Biologically Inspired Energy-Aware Routing Algorithm for Communications in Cyberworlds.
Proceedings of the International Conference on Cyberworlds 2008, 2008

WSRF-Based Modeling of Clinical Trial Information for Collaborative Cancer Research.
Proceedings of the 8th IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2008), 2008

2007
Symbolic model checking for probabilistic timed automata.
Inf. Comput., 2007

On Process-algebraic Verification of Asynchronous Circuits.
Fundam. Inform., 2007

Compositional State Space Reduction Using Untangled Actions.
Electr. Notes Theor. Comput. Sci., 2007

Multi-objective Model Checking of Markov Decision Processes.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Quantitative verification: models, techniques and tools.
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Quantitative verification: models techniques and tools.
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.
Proceedings of the Formal Methods for Performance Evaluation, 2007

2006
Numerical vs. statistical probabilistic model checking.
STTT, 2006

A formal analysis of bluetooth device discovery.
STTT, 2006

Performance analysis of probabilistic timed automata using digital clocks.
Formal Methods in System Design, 2006

Opportunities and Challenges in Process-algebraic Verification of Asynchronous Circuit Designs.
Electr. Notes Theor. Comput. Sci., 2006

Quantitative Analysis With the Probabilistic Model Checker PRISM.
Electr. Notes Theor. Comput. Sci., 2006

Model checking expected time and expected reward formulae with random time bounds.
Computers & Mathematics with Applications, 2006

Challenges for modeling and simulation methods in systems biology.
Proceedings of the Winter Simulation Conference WSC 2006, 2006

Simulation and verification for computational modelling of signalling pathways.
Proceedings of the Winter Simulation Conference WSC 2006, 2006

PRISM: A Tool for Automatic Verification of Probabilistic Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

Game-based Abstraction for Markov Decision Processes.
Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

On Reduction Criteria for Probabilistic Reward Models.
Proceedings of the FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 2006

Probabilistic Model Checking of Complex Biological Pathways.
Proceedings of the Computational Methods in Systems Biology, International Conference, 2006

Symmetry Reduction for Probabilistic Model Checking.
Proceedings of the Computer Aided Verification, 18th International Conference, 2006

On process-algebraic verification of asynchronous circuits.
Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2005
Evaluating the reliability of NAND multiplexing with PRISM.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2005

Probabilistic model checking in practice: case studies with PRISM.
SIGMETRICS Performance Evaluation Review, 2005

Using probabilistic model checking for dynamic power management.
Formal Asp. Comput., 2005

A refinement-based process algebra for timed automata.
Formal Asp. Comput., 2005

A self-organised emergent routing mechanism for mobile ad hoc networks.
European Transactions on Telecommunications, 2005

Towards a Unifying CSP approach to Hierarchical Verification of Asynchronous Hardware.
Electr. Notes Theor. Comput. Sci., 2005

A Biologically Inspired Congestion Control Routing Algorithm for MANETs.
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.
Proceedings of the Foundations of Software Science and Computational Structures, 2005

A Timing Analysis of AODV.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005

A Wavefront Parallelisation of CTMC Solution Using MTBDDs.
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.
Proceedings of the Automated Technology for Verification and Analysis, 2005

A Biologically Inspired QoS Routing Algorithm for Mobile Ad Hoc Networks.
Proceedings of the 19th International Conference on Advanced Information Networking and Applications (AINA 2005), 2005

2004
Probabilistic symbolic model checking with PRISM: a hybrid approach.
STTT, 2004

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

Evaluating the Reliability of Defect-Tolerant Architectures for Nanotechnology with Probabilistic Model Checking.
Proceedings of the 17th International Conference on VLSI Design (VLSI Design 2004), 2004

Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

PRISM 2.0: A Tool for Probabilistic Model Checking.
Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking.
Proceedings of the 12th International Workshop on Modeling, 2004

A Formal Analysis of Bluetooth Device Discovery.
Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

Symbolic Model Checking for Probabilistic Timed Automata.
Proceedings of the Formal Techniques, 2004

A swarm intelligence routing algorithm for MANETs.
Proceedings of the IASTED International Conference on Communications, Internet, and Information Technology, November 22, 2004

2003
On the use of MTBDDs for performability analysis and verification of stochastic systems.
J. Log. Algebr. Program., 2003

Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol.
Formal Asp. Comput., 2003

Model checking for probability and time: from theory to practice .
Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003

Performance Analysis of Probabilistic Timed Automata Using Digital Clocks.
Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

2002
Automatic verification of real-time systems with discrete probability distributions.
Theor. Comput. Sci., 2002

A Symbolic Out-of-Core Solution Method for Markov Models.
Electr. Notes Theor. Comput. Sci., 2002

Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM.
Electr. Notes Theor. Comput. Sci., 2002

Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol.
Proceedings of the Process Algebra and Probabilistic Methods, 2002

Model Checking CSL until Formulae with Random Time Bounds.
Proceedings of the Process Algebra and Probabilistic Methods, 2002

Out-of-Core Solution of Large Linear Systems of Equations Arising from Stochastic Modelling.
Proceedings of the Process Algebra and Probabilistic Methods, 2002

Formal analysis and validation of continuous-time Markov chain based system level power management strategies.
Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002

Verifying Randomized Byzantine Agreement.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002

PRISM: Probabilistic Symbolic Model Checker.
Proceedings of the Computer Performance Evaluation, 2002

2001
Faster and Symbolic CTMC Model Checking.
Proceedings of the Process Algebra and Probabilistic Methods, 2001

Symbolic Computation of Maximal Probabilistic Reachability.
Proceedings of the CONCUR 2001, 2001

Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM.
Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000
Domain equations for probabilistic processes.
Mathematical Structures in Computer Science, 2000

On Topological Hierarchies of Temporal Properties.
Fundam. Inform., 2000

Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

Verifying Quantitative Properties of Continuous Probabilistic Timed Automata.
Proceedings of the CONCUR 2000, 2000

1999
Computing Probability Bounds for Linear Time Formulas over Concurrent Probabilistic Systems.
Electr. Notes Theor. Comput. Sci., 1999

Preface.
Electr. Notes Theor. Comput. Sci., 1999

Automatic Verification of Real-Time Systems with Discrete Probability Distributions.
Proceedings of the Formal Methods for Real-Time and Probabilistic Systems, 1999

1998
On the Verification of Qualitative Properties of Probabilistic Processes under Fairness Constraints.
Inf. Process. Lett., 1998

A Testing Equivalence for Reactive Probabilistic Processes.
Electr. Notes Theor. Comput. Sci., 1998

A Fully Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes
Electr. Notes Theor. Comput. Sci., 1998

Preface.
Electr. Notes Theor. Comput. Sci., 1998

Model Checking for a Probabilistic Branching Time Logic with Fairness.
Distributed Computing, 1998

Comparing CTL and PCTL on labeled Markov chains.
Proceedings of the Programming Concepts and Methods, 1998

1997
Domain equations for probabilistic processes.
Electr. Notes Theor. Comput. Sci., 1997

Automatic Verification of Liveness Properties of Randomized Systems.
Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing, 1997

Quantitative Analysis and Model Checking.
Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997

Symbolic Model Checking for Probabilistic Processes.
Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 1997

1996
Probabilistic Metric Semantics for a Simple Language with Recursion.
Proceedings of the Mathematical Foundations of Computer Science 1996, 1996

On topological hierarchies of temporal properties.
Proceedings of the Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, 1996

1995
Duality and the Completeness of the Modal mu-Calculus.
Theor. Comput. Sci., 1995

1994
Synchronisation Trees and Fairness: A Case Study.
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.
Proceedings of the Temporal Logic, First International Conference, 1994

1993
Concurrency and Conflict in CSP.
Proceedings of the Theory and Formal Methods 1993, 1993

Concurrency, Fairness and Logical Complexity.
Proceedings of the Theory and Formal Methods 1993, 1993

On Duality for the Modal µ-Calculus.
Proceedings of the Computer Science Logic, 7th Workshop, 1993

1992
Infinite Behaviour and Fairness in Concurrent Constraint Programming.
Proceedings of the Sematics: Foundations and Applications, 1992

1991
On the Domain of Traces and Sequential Composition.
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.
Proceedings of the Mathematical Foundations of Programming Semantics, 1991

1990
A Metric for Traces.
Inf. Process. Lett., 1990

Defining Process Fairness for Non-Interleaving Concurrency.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1990

1989
Event Fairness and Non-interleaving Concurrency.
Formal Asp. Comput., 1989


  Loading...