Gianfranco Ciardo

According to our database, Gianfranco Ciardo authored at least 124 papers between 1985 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Research Directions in Decision Diagram Technology.

Gianfranco Ciardo, Andrew S. Miner

Proceedings of the IEEE John Vincent Atanasoff International Symposium on Modern Computing, 2023

Computing Under-approximations of Multivalued Decision Diagrams.

Seyedehzahra Hosseini, Gianfranco Ciardo

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

2022

CESRBDDs: binary decision diagrams with complemented edges and edge-specified reductions.

Junaid Babar, Gianfranco Ciardo, Andrew S. Miner

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

Bddl: A Type System for Binary Decision Diagrams.

Yousra Lembachar, Ryan Rusich, Iulian Neamtiu, Gianfranco Ciardo

Proceedings of the Tests and Proofs - 16th International Conference, 2022

HyperPCTL Model Checking by Probabilistic Decomposition.

Eshita Zaman, Gianfranco Ciardo, Erika Ábrahám, Borzoo Bonakdarpour

Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

2020

Variable order metrics for decision diagrams in system verification.

Elvio Gilberto Amparore, Susanna Donatelli, Gianfranco Ciardo

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

2019

Binary Decision Diagrams with Edge-Specified Reductions.

Junaid Babar, Chuan Jiang, Gianfranco Ciardo, Andrew S. Miner

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

i _\mathrm Rank : A Variable Order Metric for DEDS Subject to Linear Invariants.

Elvio Gilberto Amparore, Gianfranco Ciardo, Susanna Donatelli, Andrew S. Miner

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

Presentation of the 9th Edition of the Model Checking Contest.

Elvio Gilberto Amparore, Bernard Berthomieu, Gianfranco Ciardo, Silvano Dal-Zilio, Francesco Gallà, Lom-Messan Hillah, Francis Hulin-Hubard, Peter Gjøl Jensen, Loïg Jezequel, Fabrice Kordon, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Andrew S. Miner, Emmanuel Paviot-Adet, Jirí Srba, Yann Thierry-Mieg, Tom van Dijk, Karsten Wolf

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

On Petri Nets in Performance and Reliability Evaluation of Discrete Event Dynamic Systems.

Gianfranco Balbo, Gianfranco Ciardo

Proceedings of the Carl Adam Petri: Ideas, Personality, Impact, 2019

2018

Generation of Minimum Tree-Like Witnesses for Existential CTL.

Chuan Jiang, Gianfranco Ciardo

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.

Chuan Jiang, Gianfranco Ciardo

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

SOUPS: A Variable Ordering Metric for the Saturation Algorithm.

Benjamin Smith, Gianfranco Ciardo

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 <i>de novo</i> assembly quality.

Stefano Lonardi, Seyed Hamid Mirebrahim, Steve Wanamaker, Matthew Alpert, Gianfranco Ciardo, Denisa Duma, Timothy J. Close

Bioinform., 2015

Scrible: Ultra-Accurate Error-Correction of Pooled Sequenced Reads.

Denise Duma, Francesca Cordero, Marco Beccuti, Gianfranco Ciardo, Timothy J. Close, Stefano Lonardi

Proceedings of the Algorithms in Bioinformatics - 15th International Workshop, 2015

Approximate Analysis of Hybrid Petri Nets with Probabilistic Timed Transitions.

Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort, Gianfranco Ciardo

Proceedings of the VALUETOOLS'15: Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools, 2015

Power Consumption Analysis of Replicated Virtual Applications.

Pietro Piazzolla, Gianfranco Ciardo, Andrew S. Miner

Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2015

2014

Symbolic Termination and Confluence Checking for ECA Rules.

Xiaoqing Jin, Yousra Lembachar, Gianfranco Ciardo

Trans. Petri Nets Other Model. Concurr., 2014

Tutorial on Structured Continuous-Time Markov Processes.

Christian R. Shelton, Gianfranco Ciardo

J. Artif. Intell. Res., 2014

Sequence Decision Diagrams.

Hind Alhakami, Gianfranco Ciardo, Marek Chrobak

Proceedings of the String Processing and Information Retrieval, 2014

2013

Combinatorial Pooling Enables Selective Sequencing of the Barley Gene Space.

Stefano Lonardi, Denisa Duma, Matthew Alpert, Francesca Cordero, Marco Beccuti, Prasanna R. Bhat, Yonghui Wu, Gianfranco Ciardo, Burair Alsaihati, Yaqin Ma, Steve Wanamaker, Josh Resnik, Serdar Bozdag, Ming-Cheng Luo, Timothy J. Close

PLoS Comput. Biol., 2013

An Efficient Fully Symbolic Bisimulation Algorithm for Non-Deterministic Systems.

Malcolm Mumme, Gianfranco Ciardo

Int. J. Found. Comput. Sci., 2013

Accurate Decoding of Pooled Sequenced Data Using Compressed Sensing.

Denisa Duma, Mary Wootters, Anna C. Gilbert, Hung Q. Ngo, Atri Rudra, Matthew Alpert, Timothy J. Close, Gianfranco Ciardo, Stefano Lonardi

Proceedings of the Algorithms in Bioinformatics - 13th International Workshop, 2013

Tackling Truncation Errors in CSL Model Checking through Bounding Semantics.

Yang Zhao, Gianfranco Ciardo

Proceedings of the Computer Performance Engineering - 10th European Workshop, 2013

Symbolic verification of ECA rules.

Xiaoqing Jin, Yousra Lembachar, Gianfranco Ciardo

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.

Gianfranco Ciardo, Yang Zhao, Xiaoqing Jin

Trans. Petri Nets Other Model. Concurr., 2012

Selected papers from QEST 2010.

Gianfranco Ciardo, Roberto Segala

Perform. Evaluation, 2012

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

Yang Zhao, Gianfranco Ciardo

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.

Min Wan, Gianfranco Ciardo, Andrew S. Miner

Perform. Evaluation, 2011

Speculative Image Computation for Distributed Symbolic Reachability Analysis.

Ming-Ying Chung, Gianfranco Ciardo

J. Log. Comput., 2011

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

Yang Zhao, Gianfranco Ciardo

Innov. Syst. Softw. Eng., 2011

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

Hong Zheng, Yugang Niu, Gianfranco Ciardo

Int. J. Syst. Sci., 2011

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

Stefano Lonardi, Denisa Duma, Matthew Alpert, Francesca Cordero, Marco Beccuti, Prasanna Bhat, Yonghui Wu, Gianfranco Ciardo, Burair Alsaihati, Yaqin Ma, Steve Wanamaker, Josh Resnik, Timothy J. Close

CoRR, 2011

A Symbolic Algorithm for Shortest EG Witness Generation.

Yang Zhao, Xiaoqing Jin, Gianfranco Ciardo

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

A Fully Symbolic Bisimulation Algorithm.

Malcolm Mumme, Gianfranco Ciardo

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

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

Xiaoqing Jin, Gianfranco Ciardo, Tae-Hyong Kim, Yang Zhao

Proceedings of the Automated Technology for Verification and Analysis, 2011

2010

Symbolic Computation of Strongly Connected Components Using Saturation.

Yang Zhao, Gianfranco Ciardo

Proceedings of the Second NASA Formal Methods Symposium, 2010

2009

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

Andy Jinqing Yu, Gianfranco Ciardo, Gerald Lüttgen

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

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

Gianfranco Ciardo, Andrew S. Miner, Min Wan

SIGMETRICS Perform. Evaluation Rev., 2009

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

Gianfranco Ciardo, Yang Zhao, 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.

Min Wan, Gianfranco Ciardo

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

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

Min Wan, Gianfranco Ciardo

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

Petri Net Analysis Using Decision Diagrams.

Gianfranco Ciardo

Proceedings of the QEST 2009, 2009

Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation.

Yang Zhao, Gianfranco Ciardo

Proceedings of the Automated Technology for Verification and Analysis, 2009

P-Semiflow Computation with Decision Diagrams.

Gianfranco Ciardo, Galen Mecham, Emmanuel Paviot-Adet, Min Wan

Proceedings of the Applications and Theory of Petri Nets, 2009

2008

Achieving and Assuring High Availability.

Kishor S. Trivedi, Gianfranco Ciardo, Balakrishnan Dasarathy, Michael Grottke, Rivalino Matias, Andrew J. Rindos, Bart Vashaw

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

Achieving and assuring high availability.

Kishor S. Trivedi, Gianfranco Ciardo, Balakrishnan Dasarathy, Michael Grottke, Andrew J. Rindos, Bart Vashaw

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

2007

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

Gianfranco Ciardo, Andrew S. Miner, Min Wan, Andy Jinqing Yu

SIGMETRICS Perform. Evaluation Rev., 2007

Exploiting interleaving semantics in symbolic state-space generation.

Gianfranco Ciardo, Gerald Lüttgen, Andrew S. Miner

Formal Methods Syst. Des., 2007

Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams.

Andy Jinqing Yu, Gianfranco Ciardo, Gerald Lüttgen

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

Data Representation and Efficient Solution: A Decision Diagram Approach.

Gianfranco Ciardo

Proceedings of the Formal Methods for Performance Evaluation, 2007

Parallelising Symbolic State-Space Generators.

Jonathan Ezekiel, Gerald Lüttgen, Gianfranco Ciardo

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

Improving Static Variable Orders Via Invariants.

Gianfranco Ciardo, Gerald Lüttgen, Andy Jinqing Yu

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

2006

The saturation algorithm for symbolic state-space exploration.

Gianfranco Ciardo, Robert M. Marmorstein, Radu Siminiceanu

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

Logic and stochastic modeling with S m A r T.

Gianfranco Ciardo, R. L. Jones III, Andrew S. Miner, Radu Siminiceanu

Perform. Evaluation, 2006

New Metrics for Static Variable Ordering in Decision Diagrams.

Radu Siminiceanu, Gianfranco Ciardo

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.

Ming-Ying Chung, Gianfranco Ciardo

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

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

Ming-Ying Chung, Gianfranco Ciardo, Andy Jinqing Yu

Proceedings of the Automated Technology for Verification and Analysis, 2006

2005

Workload-Aware Load Balancing for Clustered Web Servers.

Qi Zhang, Alma Riska, Wei Sun, Evgenia Smirni, Gianfranco Ciardo

IEEE Trans. Parallel Distributed Syst., 2005

Implicit data structures for logic and stochastic systems analysis.

Gianfranco Ciardo, Andrew S. Miner

SIGMETRICS Perform. Evaluation Rev., 2005

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

Ming-Ying Chung, Gianfranco Ciardo

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.

Gianfranco Ciardo

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

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

Gianfranco Ciardo, Andy Jinqing Yu

Proceedings of the Correct Hardware Design and Verification Methods, 2005

2004

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

Alma Riska, Evgenia Smirni, Gianfranco Ciardo

IEEE Trans. Reliab., 2004

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

Gianfranco Ciardo, Weizhen Mao, Alma Riska, Evgenia Smirni

Perform. Evaluation, 2004

Formal Verification of the NASA Runway Safety Monitor.

Radu Siminiceanu, Gianfranco Ciardo

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

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

Gianfranco Ciardo, Andrew S. Miner

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

Saturation NOW.

Ming-Ying Chung, Gianfranco Ciardo

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

A Comparison of Structural Formalisms for Modeling Large Markov Models.

Ming-Ying Chung, Gianfranco Ciardo, Susanna Donatelli, N. He, Brigitte Plateau, William J. Stewart, E. Sulaiman, Andy Jinqing Yu

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

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

Gianfranco Ciardo

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.

Alma Riska, Evgenia Smirni, Gianfranco Ciardo

SIGMETRICS Perform. Evaluation Rev., 2003

Saturation Unbound.

Gianfranco Ciardo, Robert M. Marmorstein, Radu Siminiceanu

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

Profit-driven Service Differentiation in Transient Environments.

Qi Zhang, Evgenia Smirni, Gianfranco Ciardo

Proceedings of the 11th International Workshop on Modeling, 2003

Logical and Stochastic Modeling with SMART.

Gianfranco Ciardo, R. L. Jones III, Andrew S. Miner, Radu Siminiceanu

Proceedings of the Computer Performance Evaluations, 2003

Structural Symbolic CTL Model Checking of Asynchronous Systems.

Gianfranco Ciardo, Radu Siminiceanu

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

2002

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

Gianfranco Ciardo, Reinhard German, Boudewijn R. Haverkort

IEEE Trans. Software Eng., 2002

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

Alma Riska, Wei Sun, Evgenia Smirni, Gianfranco Ciardo

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

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

Gianfranco Ciardo, Radu Siminiceanu

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

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

Gianfranco Ciardo, R. L. Jones III, Robert M. Marmorstein, Andrew S. Miner, Radu Siminiceanu

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

2001

EQUILOAD: a load balancing policy for clustered web servers.

Gianfranco Ciardo, Alma Riska, Evgenia Smirni

Perform. Evaluation, 2001

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

Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu

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

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

Rob Jones, Gianfranco Ciardo

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

What a Structural World.

Gianfranco Ciardo

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

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

Ludmila Cherkasova, Gianfranco Ciardo

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.

Peter Buchholz, Gianfranco Ciardo, Susanna Donatelli, Peter Kemper

INFORMS J. Comput., 2000

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

Alma Riska, Evgenia Smirni, Gianfranco Ciardo

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.

Andrew S. Miner, Gianfranco Ciardo, 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.

Ludmila Cherkasova, Gianfranco Ciardo

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

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

Gianfranco Ciardo

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

Efficient Symbolic State-Space Construction for Asynchronous Systems.

Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu

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

1999

Discrete-Event Simulation of Fluid Stochastic Petri Nets.

Gianfranco Ciardo, David M. Nicol, Kishor S. Trivedi

IEEE Trans. Software Eng., 1999

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

Gianfranco Ciardo, Evgenia Smirni

Perform. Evaluation, 1999

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

Gianfranco Ciardo, Guangzhi Li

Perform. Evaluation, 1999

A data structure for the efficient Kronecker solution of GSPNs.

Gianfranco Ciardo, Andrew S. Miner

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

Efficient Reachability Set Generation and Storage Using Decision Diagrams.

Andrew S. Miner, Gianfranco Ciardo

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

1998

Distributed State Space Generation of Discrete-State Stochastic Models.

Gianfranco Ciardo, Joshua Gluckman, David M. Nicol

INFORMS J. Comput., 1998

1997

Automated Parallelization of Discrete State-Space Generation.

David M. Nicol, Gianfranco Ciardo

J. Parallel Distributed Comput., 1997

Discrete Deterministic and Stochastic Petri Nets.

Robert Zijal, Gianfranco Ciardo, Günter Hommel

Proceedings of the MMB '97, 1997

Storage Alternatives for Large Structured State Spaces.

Gianfranco Ciardo, Andrew S. Miner

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

1996

Well-Defined Stochastic Petri Nets.

Gianfranco Ciardo, Robert Zijal

Proceedings of the MASCOTS '96, 1996

1995

Non-Markovian Petri Nets (Panel).

Kishor S. Trivedi, Andrea Bobbio, Miklós Telek, Reinhard German, Gianfranco Ciardo, Antonio Puliafito

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.

Gianfranco Ciardo, Ludmila Cherkasova, Vadim E. Kotov, Tomas Rokicki

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.

Gianfranco Ciardo, Ludmila Cherkasova, Vadim E. Kotov, Tomas Rokicki

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.

Gianfranco Ciardo, Reinhard German, Christoph Lindemann

IEEE Trans. Software Eng., 1994

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

Gianfranco Ciardo, Christoph Lindemann

IEEE Trans. Computers, 1994

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

Gianfranco Ciardo

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

1993

A Decomposition Approach for Stochastic Reward Net Models.

Gianfranco Ciardo, Kishor S. Trivedi

Perform. Evaluation, 1993

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

Gianfranco Ciardo

Perform. Evaluation, 1993

Dependability and Performability Analysis.

Kishor S. Trivedi, Gianfranco Ciardo, Manish Malhotra, Robin A. Sahner

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

Analysis of deterministic and stochastic Petri nets.

Gianfranco Ciardo, Christoph Lindemann

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

Modeling Using Stochastic Reward Nets.

Jogesh K. Muppala, Gianfranco Ciardo, Kishor S. Trivedi

Proceedings of the MASCOTS '93, 1993

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

Gianfranco Ciardo, Kishor S. Trivedi

Proceedings of the MASCOTS '93, 1993

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

Christoph Lindemann, Gianfranco Ciardo, Reinhard German, Günter Hommel

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

1992

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

Gianfranco Ciardo, Jogesh K. Muppala, Kishor S. Trivedi

J. Parallel Distributed Comput., 1992

1991

On the Solution of GSPN Reward Models.

Gianfranco Ciardo, Jogesh K. Muppala, Kishor S. Trivedi

Perform. Evaluation, 1991

A Decomposition Approach for Stochastic Petri Net Models.

Gianfranco Ciardo, Kishor S. Trivedi

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

1990

Performability Analysis Using Semi-Markov Reard Processes.

Gianfranco Ciardo, Raymond A. Marie, Bruno Sericola, Kishor S. Trivedi

IEEE Trans. Computers, 1990

1989

Stochastic Petri Net Analysis of a Replicated File System.

Joanne Bechta Dugan, Gianfranco Ciardo

IEEE Trans. Software Eng., 1989

Analysis of Stiff Markov Chains.

Andrew L. Reibman, Kishor S. Trivedi, Sanjaya Kumar, Gianfranco Ciardo

INFORMS J. Comput., 1989

Panel: Applications of Performance Petri Nets.

Joanne Bechta Dugan, Dan C. Marinescu, Giovanni Chiola, Yoshio Sugasawa, William H. Sanders, Gianfranco Ciardo

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

SPNP: Stochastic Petri Net Package.

Gianfranco Ciardo, Jogesh K. Muppala, Kishor S. Trivedi

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.

Gianfranco Ciardo

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.

Joanne Bechta Dugan, Andrea Bobbio, Gianfranco Ciardo, Kishor S. Trivedi

Proceedings of the International Workshop on Timed Petri Nets, 1985

The Logical Design in the DATAID Project: The EASYMAP System.

M. N. Bert, Gianfranco Ciardo, G. Barbara Demo, Antonio Di Leva, Piercarlo Giolito, C. Iacobelli, V. Marrone

Proceedings of the Computer-Aided Database Design: the DATAID approach., 1985