Gianfranco Ciardo

According to our database1, Gianfranco Ciardo authored at least 113 papers between 1985 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Generation of Minimum Tree-Like Witnesses for Existential CTL.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Improving SAT-based Bounded Model Checking for Existential CTL through Path Reuse.
Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

SOUPS: A Variable Ordering Metric for the Saturation Algorithm.
Proceedings of the 18th International Conference on Application of Concurrency to System Design, 2018

2015
When less is more: 'slicing' sequencing data improves read decoding accuracy and de novo assembly quality.
Bioinformatics, 2015

Scrible: Ultra-Accurate Error-Correction of Pooled Sequenced Reads.
Proceedings of the Algorithms in Bioinformatics - 15th International Workshop, 2015

Power Consumption Analysis of Replicated Virtual Applications.
Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2015

2014
Symbolic Termination and Confluence Checking for ECA Rules.
Trans. Petri Nets and Other Models of Concurrency, 2014

Tutorial on Structured Continuous-Time Markov Processes.
J. Artif. Intell. Res., 2014

Sequence Decision Diagrams.
Proceedings of the String Processing and Information Retrieval, 2014

2013
Combinatorial Pooling Enables Selective Sequencing of the Barley Gene Space.
PLoS Computational Biology, 2013

An Efficient Fully Symbolic Bisimulation Algorithm for Non-Deterministic Systems.
Int. J. Found. Comput. Sci., 2013

Accurate Decoding of Pooled Sequenced Data Using Compressed Sensing.
Proceedings of the Algorithms in Bioinformatics - 13th International Workshop, 2013

Tackling Truncation Errors in CSL Model Checking through Bounding Semantics.
Proceedings of the Computer Performance Engineering - 10th European Workshop, 2013

Symbolic verification of ECA rules.
Proceedings of the Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13), Milano, Italy, June 24, 2013

2012
Ten Years of Saturation: A Petri Net Perspective.
Trans. Petri Nets and Other Models of Concurrency, 2012

Selected papers from QEST 2010.
Perform. Eval., 2012

A Two-Phase Gauss-Seidel Algorithm for the Stationary Solution of EVMDD-Encoded CTMCs.
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.
Perform. Eval., 2011

Speculative Image Computation for Distributed Symbolic Reachability Analysis.
J. Log. Comput., 2011

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

Modelling and analysis of UPnP AV media player system based on Petri nets.
Int. J. Systems Science, 2011

A Symbolic Algorithm for Shortest EG Witness Generation.
Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

A Fully Symbolic Bisimulation Algorithm.
Proceedings of the Reachability Problems - 5th International Workshop, 2011

Symbolic Verification and Test Generation for a Network of Communicating FSMs.
Proceedings of the Automated Technology for Verification and Analysis, 2011

2010
Symbolic Computation of Strongly Connected Components Using Saturation.
Proceedings of the Second NASA Formal Methods Symposium, 2010

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

Advanced features in SMART: the stochastic model checking analyzer for reliability and timing.
SIGMETRICS Performance Evaluation Review, 2009

Parallel symbolic state-space exploration is difficult, but what is the alternative?
Proceedings of the Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, 2009

Symbolic Reachability Analysis of Integer Timed Petri Nets.
Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009

Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams.
Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009

Petri Net Analysis Using Decision Diagrams.
Proceedings of the QEST 2009, 2009

Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation.
Proceedings of the Automated Technology for Verification and Analysis, 2009

P-Semiflow Computation with Decision Diagrams.
Proceedings of the Applications and Theory of Petri Nets, 2009

2008
Achieving and Assuring High Availability.
Proceedings of the Service Availability, 5th International Service Availability Symposium, 2008

Achieving and assuring high availability.
Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

2007
Formal verification of the NASA runway safety monitor.
STTT, 2007

Approximating stationary measures of structured continuous-time Markov models using matrix diagrams.
SIGMETRICS Performance Evaluation Review, 2007

Exploiting interleaving semantics in symbolic state-space generation.
Formal Methods in System Design, 2007

Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Data Representation and Efficient Solution: A Decision Diagram Approach.
Proceedings of the Formal Methods for Performance Evaluation, 2007

Parallelising Symbolic State-Space Generators.
Proceedings of the Computer Aided Verification, 19th International Conference, 2007

Improving Static Variable Orders Via Invariants.
Proceedings of the Petri Nets and Other Models of Concurrency, 2007

2006
The saturation algorithm for symbolic state-space exploration.
STTT, 2006

Logic and stochastic modeling with S m A r T.
Perform. Eval., 2006

A Pattern Recognition Approach for Speculative Firing Prediction in Distributed Saturation State-Space Generation.
Electr. Notes Theor. Comput. Sci., 2006

New Metrics for Static Variable Ordering in Decision Diagrams.
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.
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis.
Proceedings of the Automated Technology for Verification and Analysis, 2006

2005
Workload-Aware Load Balancing for Clustered Web Servers.
IEEE Trans. Parallel Distrib. Syst., 2005

Implicit data structures for logic and stochastic systems analysis.
SIGMETRICS Performance Evaluation Review, 2005

Formal Verification of the NASA Runway Safety Monitor.
Electr. Notes Theor. Comput. Sci., 2005

Implicit Representations and Algorithms for the Logic and Stochastic Analysis of Discrete-State Systems.
Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005

Saturation-Based Symbolic Reachability Analysis Using Conjunctive and Disjunctive Partitioning.
Proceedings of the Correct Hardware Design and Verification Methods, 2005

2004
Exact analysis of a class of GI/G/1-type performability models.
IEEE Trans. Reliability, 2004

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

SMART: The Stochastic Model checking Analyzer for Reliability and Timing.
Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

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

A Comparison of Structural Formalisms for Modeling Large Markov Models.
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

Reachability Set Generation for Petri Nets: Can Brute Force Be Smart?
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.
SIGMETRICS Performance Evaluation Review, 2003

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

Profit-driven Service Differentiation in Transient Environments.
Proceedings of the 11th International Workshop on Modeling, 2003

Logical and Stochastic Modeling with SMART.
Proceedings of the Computer Performance Evaluations, 2003

Structural Symbolic CTL Model Checking of Asynchronous Systems.
Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2002
Introduction to the Special Section on Petri Nets and Performance Models.
IEEE Trans. Software Eng., 2002

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

Using Edge-Valued Decision Diagrams for Symbolic Generation of Shortest Paths.
Proceedings of the Formal Methods in Computer-Aided Design, 4th International Conference, 2002

SMART: Stochastic Model-checking Analyzer for Reliability and Timing.
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

2001
EQUILOAD: a load balancing policy for clustered web servers.
Perform. Eval., 2001

Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

On Phased Delay Stochastic Petri Nets: Definition and an Application.
Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 2001

What a Structural World.
Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 2001

Role of Aging, Frequency, and Size in Web Cache Replacement Policies.
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.
INFORMS Journal on Computing, 2000

Analytic modeling of load balancing policies for tasks with heavy-tailed distributions.
Workshop on Software and Performance, 2000

Using the exact state space of a Markov model to compute approximate stationary measures.
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.
Proceedings of the Proceedings Ninth International Conference on Computer Communications and Networks, 2000

Distributed and Structured Analysis Approaches to Study Large and Complex Systems.
Proceedings of the Lectures on Formal Methods and Performance Analysis, 2000

Efficient Symbolic State-Space Construction for Asynchronous Systems.
ICATPN, 2000

1999
ETAQA: An Efficient Technique for the Analysis of QBD-Processes by Aggregation.
Perform. Eval., 1999

Approximate Transient Analysis for Subclasses of Deterministic and Stochastic Petri Nets.
Perform. Eval., 1999

A data structure for the efficient Kronecker solution of GSPNs.
Proceedings of the 8th International Workshop on Petri Nets and Performance Models, 1999

Efficient Reachability Set Generation and Storage Using Decision Diagrams.
Proceedings of the Application and Theory of Petri Nets 1999, 1999

1998
Distributed State Space Generation of Discrete-State Stochastic Models.
INFORMS Journal on Computing, 1998

1997
Automated Parallelization of Discrete State-Space Generation.
J. Parallel Distrib. Comput., 1997

Discrete-event simulation of fluid stochastic Petri nets.
Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, 1997

Discrete Deterministic and Stochastic Petri Nets.
Proceedings of the MMB '97, 1997

Storage Alternatives for Large Structured State Spaces.
Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 1997

1996
Well-Defined Stochastic Petri Nets.
Proceedings of the MASCOTS '96, 1996

1995
Non-Markovian Petri Nets (Panel).
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.
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.
Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, 1995

1994
Comments on "Analysis of Self-Stabilizing Clock Synchronization by Means of Stochastic Petri Nets".
IEEE Trans. Computers, 1994

Petri Nets with Marking-Dependent Ar Cardinality: Properties and Analysis.
Proceedings of the Application and Theory of Petri Nets 1994, 1994

1993
A Decomposition Approach for Stochastic Reward Net Models.
Perform. Eval., 1993

PNPM'91-4th International Workshop on Petri Nets and Performance Models.
Perform. Eval., 1993

Dependability and Performability Analysis.
Proceedings of the Performance Evaluation of Computer and Communication Systems, 1993

Analysis of deterministic and stochastic Petri nets.
Proceedings of the 5th International Workshop on Petri Nets and Performance Models, 1993

A characterization of the stochastic process underlying a stochastic Petri net.
Proceedings of the 5th International Workshop on Petri Nets and Performance Models, 1993

Modeling Using Stochastic Reward Nets.
Proceedings of the MASCOTS '93, 1993

SPNP: The Stochastic Petri Net Package (Version 3.1).
Proceedings of the MASCOTS '93, 1993

Performabilty Modeling of an Automated Manufacturing System with Deterministic and Stochastic Petri Nets.
Proceedings of the 1993 IEEE International Conference on Robotics and Automation, 1993

1992
Analyzing Concurrent and Fault-Tolerant Software Using Stochastic Reward Nets.
J. Parallel Distrib. Comput., 1992

1991
On the Solution of GSPN Reward Models.
Perform. Eval., 1991

A Decomposition Approach for Stochastic Petri Net Models.
Proceedings of the Fourth International Workshop on Petri Nets and Performance Models, 1991

1990
Performability Analysis Using Semi-Markov Reard Processes.
IEEE Trans. Computers, 1990

1989
Analysis of Stiff Markov Chains.
INFORMS Journal on Computing, 1989

Panel: Applications of Performance Petri Nets.
Proceedings of the Third International Workshop on Petri Nets and Performance Models, 1989

SPNP: Stochastic Petri Net Package.
Proceedings of the Third International Workshop on Petri Nets and Performance Models, 1989

1987
Stochastic Petri Net Analysis of a Replicated File System.
Proceedings of the Second International Workshop on Petri Nets and Performance Models, 1987

Toward a Definition of Modeling Power for Stochastic Petri Net Models.
Proceedings of the Second International Workshop on Petri Nets and Performance Models, 1987

1985
The Design of a Unified Package for the Solution of Stochastic Petri Net Models.
Proceedings of the International Workshop on Timed Petri Nets, 1985

The Logical Design in the DATAID Project: The EASYMAP System.
Computer-Aided Database Design: the DATAID approach, 1985


  Loading...