Gianfranco Ciardo

Xiaoqing Jin

Trans. Petri Nets Other Model. Concurr., 2012

Selected papers from QEST 2010.

[BibT_eX]

[DOI]

Roberto Segala

Perform. Evaluation, 2012

A Two-Phase Gauss-Seidel Algorithm for the Stationary Solution of EVMDD-Encoded CTMCs.

[BibT_eX]

[DOI]

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

2011

Approximate steady-state analysis of large Markov models based on the structure of their decision diagram encoding.

[BibT_eX]

[DOI]

Perform. Evaluation, 2011

Speculative Image Computation for Distributed Symbolic Reachability Analysis.

[BibT_eX]

[DOI]

J. Log. Comput., 2011

Symbolic computation of strongly connected components and fair cycles using saturation.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2011

Modelling and analysis of UPnP AV media player system based on Petri nets.

[BibT_eX]

[DOI]

Hong Zheng

Yugang Niu

Int. J. Syst. Sci., 2011

Barcoding-free BAC Pooling Enables Combinatorial Selective Sequencing of the Barley Gene Space

[BibT_eX]

[DOI]

CoRR, 2011

A Symbolic Algorithm for Shortest EG Witness Generation.

[BibT_eX]

[DOI]

Xiaoqing Jin

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

A Fully Symbolic Bisimulation Algorithm.

[BibT_eX]

[DOI]

Malcolm Mumme

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

Symbolic Verification and Test Generation for a Network of Communicating FSMs.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2011

2010

Symbolic Computation of Strongly Connected Components Using Saturation.

[BibT_eX]

Proceedings of the Second NASA Formal Methods Symposium, 2010

2009

Decision-diagram-based techniques for bounded reachability checking of asynchronous systems.

[BibT_eX]

[DOI]

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

Advanced features in SMART: the stochastic model checking analyzer for reliability and timing.

[BibT_eX]

[DOI]

SIGMETRICS Perform. Evaluation Rev., 2009

Parallel symbolic state-space exploration is difficult, but what is the alternative?

[BibT_eX]

[DOI]

Xiaoqing Jin

Proceedings of the Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, 2009

Symbolic Reachability Analysis of Integer Timed Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009

Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams.

[BibT_eX]

[DOI]

Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009

Petri Net Analysis Using Decision Diagrams.

[BibT_eX]

[DOI]

Proceedings of the QEST 2009, 2009

Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2009

P-Semiflow Computation with Decision Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Applications and Theory of Petri Nets, 2009

2008

Achieving and Assuring High Availability.

[BibT_eX]

[DOI]

Balakrishnan Dasarathy

Proceedings of the Service Availability, 5th International Service Availability Symposium, 2008

Achieving and assuring high availability.

[BibT_eX]

[DOI]

Balakrishnan Dasarathy

Michael Grottke

Andrew J. Rindos

Bart Vashaw

Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

2007

Formal verification of the NASA runway safety monitor.

[BibT_eX]

[DOI]

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

Approximating stationary measures of structured continuous-time Markov models using matrix diagrams.

[BibT_eX]

[DOI]

SIGMETRICS Perform. Evaluation Rev., 2007

Exploiting interleaving semantics in symbolic state-space generation.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2007

Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams.

[BibT_eX]

[DOI]

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

Data Representation and Efficient Solution: A Decision Diagram Approach.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Performance Evaluation, 2007

Parallelising Symbolic State-Space Generators.

[BibT_eX]

[DOI]

Jonathan Ezekiel

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

Improving Static Variable Orders Via Invariants.

[BibT_eX]

[DOI]

Proceedings of the Petri Nets and Other Models of Concurrency, 2007

2006

The saturation algorithm for symbolic state-space exploration.

[BibT_eX]

[DOI]

Robert M. Marmorstein

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

Logic and stochastic modeling with S m A r T.

[BibT_eX]

[DOI]

Perform. Evaluation, 2006

New Metrics for Static Variable Ordering in Decision Diagrams.

[BibT_eX]

[DOI]

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

A dynamic firing speculation to speedup distributed symbolic state-space generation.

[BibT_eX]

[DOI]

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2006

2005

Workload-Aware Load Balancing for Clustered Web Servers.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2005

Implicit data structures for logic and stochastic systems analysis.

[BibT_eX]

[DOI]

SIGMETRICS Perform. Evaluation Rev., 2005

A Pattern Recognition Approach for Speculative Firing Prediction in Distributed Saturation State-Space Generation.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Parallel and Distributed Methods in Verification, 2005

Implicit Representations and Algorithms for the Logic and Stochastic Analysis of Discrete-State Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005

Saturation-Based Symbolic Reachability Analysis Using Conjunctive and Disjunctive Partitioning.

[BibT_eX]

[DOI]

Proceedings of the Correct Hardware Design and Verification Methods, 2005

2004

Exact analysis of a class of GI/G/1-type performability models.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2004

ETAQA-MG1: an efficient technique for the analysis of a class of M/G/1-type processes by aggregation.

[BibT_eX]

[DOI]

Perform. Evaluation, 2004

SMART: The Stochastic Model checking Analyzer for Reliability and Timing.

[BibT_eX]

[DOI]

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

Saturation NOW.

[BibT_eX]

[DOI]

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

A Comparison of Structural Formalisms for Modeling Large Markov Models.

[BibT_eX]

[DOI]

Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

Reachability Set Generation for Petri Nets: Can Brute Force Be Smart?

[BibT_eX]

[DOI]

Proceedings of the Applications and Theory of Petri Nets 2004, 2004

2003

An aggregation-based method for the exact analysis of a class of GI/G/1-type processes.

[BibT_eX]

[DOI]

SIGMETRICS Perform. Evaluation Rev., 2003

Saturation Unbound.

[BibT_eX]

[DOI]

Robert M. Marmorstein

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

Profit-driven Service Differentiation in Transient Environments.

[BibT_eX]

[DOI]

Qi Zhang

Proceedings of the 11th International Workshop on Modeling, 2003

Logical and Stochastic Modeling with SMART.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Evaluations, 2003

Structural Symbolic CTL Model Checking of Asynchronous Systems.

[BibT_eX]

[DOI]

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

2002

Introduction to the Special Section on Petri Nets and Performance Models.

[BibT_eX]

[DOI]

Reinhard German

Boudewijn R. Haverkort

IEEE Trans. Software Eng., 2002

ADAPTLOAD: Effective Balancing in Custered Web Servers Under Transient Load Conditions.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Distributed Computing Systems (ICDCS'02), 2002

Using Edge-Valued Decision Diagrams for Symbolic Generation of Shortest Paths.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer-Aided Design, 4th International Conference, 2002

SMART: Stochastic Model-checking Analyzer for Reliability and Timing.

[BibT_eX]

[DOI]

R. L. Jones III

Robert M. Marmorstein

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

2001

EQUILOAD: a load balancing policy for clustered web servers.

[BibT_eX]

[DOI]

Perform. Evaluation, 2001

Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation.

[BibT_eX]

[DOI]

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

On Phased Delay Stochastic Petri Nets: Definition and an Application.

[BibT_eX]

[DOI]

Rob Jones

Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 2001

What a Structural World.

[BibT_eX]

[DOI]

Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 2001

Role of Aging, Frequency, and Size in Web Cache Replacement Policies.

[BibT_eX]

[DOI]

Ludmila Cherkasova

Proceedings of the High-Performance Computing and Networking, 9th International Conference, 2001

2000

Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models.

[BibT_eX]

[DOI]

INFORMS J. Comput., 2000

Analytic modeling of load balancing policies for tasks with heavy-tailed distributions.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Software and Performance, 2000

Using the exact state space of a Markov model to compute approximate stationary measures.

[BibT_eX]

[DOI]

Susanna Donatelli

Proceedings of the 2000 ACM SIGMETRICS international conference on Measurement and modeling of computer systems, 2000

Characterizing temporal locality and its impact on web server performance.

[BibT_eX]

[DOI]

Ludmila Cherkasova

Proceedings of the Proceedings Ninth International Conference on Computer Communications and Networks, 2000

Distributed and Structured Analysis Approaches to Study Large and Complex Systems.

[BibT_eX]

[DOI]

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

Efficient Symbolic State-Space Construction for Asynchronous Systems.

[BibT_eX]

[DOI]

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

1999

Discrete-Event Simulation of Fluid Stochastic Petri Nets.

[BibT_eX]

[DOI]

David M. Nicol

IEEE Trans. Software Eng., 1999

ETAQA: An Efficient Technique for the Analysis of QBD-Processes by Aggregation.

[BibT_eX]

Perform. Evaluation, 1999

Approximate Transient Analysis for Subclasses of Deterministic and Stochastic Petri Nets.

[BibT_eX]

[DOI]

Guangzhi Li

Perform. Evaluation, 1999

A data structure for the efficient Kronecker solution of GSPNs.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Petri Nets and Performance Models, 1999

Efficient Reachability Set Generation and Storage Using Decision Diagrams.

[BibT_eX]

[DOI]

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

1998

Distributed State Space Generation of Discrete-State Stochastic Models.

[BibT_eX]

[DOI]

Joshua Gluckman

David M. Nicol

INFORMS J. Comput., 1998

1997

Automated Parallelization of Discrete State-Space Generation.

[BibT_eX]

[DOI]

David M. Nicol

J. Parallel Distributed Comput., 1997

Discrete Deterministic and Stochastic Petri Nets.

[BibT_eX]

Robert Zijal

Günter Hommel

Proceedings of the MMB '97, 1997

Storage Alternatives for Large Structured State Spaces.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 1997

1996

Well-Defined Stochastic Petri Nets.

[BibT_eX]

[DOI]

Robert Zijal

Proceedings of the MASCOTS '96, 1996

1995

Non-Markovian Petri Nets (Panel).

[BibT_eX]

[DOI]

Proceedings of the 1995 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems, 1995

Modeling A Fibre Channel Switch with Stochastic Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the 1995 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems, 1995

Modeling a scalable high-speed interconnect with stochastic Petri nets.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, 1995

1994

A Characterization of the Stochastic Process Underlying a Stochastic Petri Net.

[BibT_eX]

[DOI]

Reinhard German

Christoph Lindemann

IEEE Trans. Software Eng., 1994

Comments on "Analysis of Self-Stabilizing Clock Synchronization by Means of Stochastic Petri Nets".

[BibT_eX]

[DOI]

Christoph Lindemann

IEEE Trans. Computers, 1994

Petri Nets with Marking-Dependent Ar Cardinality: Properties and Analysis.

[BibT_eX]

[DOI]

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

1993

A Decomposition Approach for Stochastic Reward Net Models.

[BibT_eX]

[DOI]

Perform. Evaluation, 1993

PNPM'91-4th International Workshop on Petri Nets and Performance Models.

[BibT_eX]

[DOI]

Perform. Evaluation, 1993

Dependability and Performability Analysis.

[BibT_eX]

[DOI]

Proceedings of the Performance Evaluation of Computer and Communication Systems, 1993

Analysis of deterministic and stochastic Petri nets.

[BibT_eX]

[DOI]

Christoph Lindemann

Proceedings of the 5th International Workshop on Petri Nets and Performance Models, 1993

Modeling Using Stochastic Reward Nets.

[BibT_eX]

Proceedings of the MASCOTS '93, 1993

SPNP: The Stochastic Petri Net Package (Version 3.1).

[BibT_eX]

Proceedings of the MASCOTS '93, 1993

Performabilty Modeling of an Automated Manufacturing System with Deterministic and Stochastic Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the 1993 IEEE International Conference on Robotics and Automation, 1993

1992

Analyzing Concurrent and Fault-Tolerant Software Using Stochastic Reward Nets.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 1992

1991

On the Solution of GSPN Reward Models.

[BibT_eX]

[DOI]

Perform. Evaluation, 1991

A Decomposition Approach for Stochastic Petri Net Models.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Petri Nets and Performance Models, 1991

1990

Performability Analysis Using Semi-Markov Reard Processes.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1990

1989

Stochastic Petri Net Analysis of a Replicated File System.

[BibT_eX]

[DOI]

Joanne Bechta Dugan

IEEE Trans. Software Eng., 1989

Analysis of Stiff Markov Chains.

[BibT_eX]

[DOI]

INFORMS J. Comput., 1989

Panel: Applications of Performance Petri Nets.

[BibT_eX]

Proceedings of the Third International Workshop on Petri Nets and Performance Models, 1989

SPNP: Stochastic Petri Net Package.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Petri Nets and Performance Models, 1989

1987

Toward a Definition of Modeling Power for Stochastic Petri Net Models.

[BibT_eX]