Gianfranco Ciardo

134 papers A* 6A 9B 17C 3Misc 1Journal 43Unranked 51

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	CTL Model Checking Partially Specified Systems. iFM Eshita Zaman, Christopher Johannsen, Andrew S. Miner, Gianfranco Ciardo, Samik Basu
2024	A	`conf`	Comparing Lossless Compression Methods for Chess Endgame Data. ECAI Dave Gomboc, Christian R. Shelton, Andrew S. Miner, Gianfranco Ciardo
2024	A*	`conf`	RexBDDs: Reduction-on-Edge Complement-and-Swap Binary Decision Diagrams. DAC Gianfranco Ciardo, Andrew S. Miner, Lichuan Deng, Junaid Babar
2023	B	`conf`	Computing Under-approximations of Multivalued Decision Diagrams. Petri Nets Seyedehzahra Hosseini, Gianfranco Ciardo
2023	—	`conf`	Research Directions in Decision Diagram Technology. JVA Gianfranco Ciardo, Andrew S. Miner
2023	—	`ed.`	Transactions on Petri Nets and Other Models of Concurrency XVII Trans. Petri Nets and Other Models of Concurrency Maciej Koutny, Robin Bergenthum, Gianfranco Ciardo
2022	—	`conf`	Bddl: A Type System for Binary Decision Diagrams. TAP@STAF Yousra Lembachar, Ryan Rusich, Iulian Neamtiu, Gianfranco Ciardo
2022	J	`jnl`	CESRBDDs: binary decision diagrams with complemented edges and edge-specified reductions. Int. J. Softw. Tools Technol. Transf. Junaid Babar, Gianfranco Ciardo, Andrew S. Miner
2022	B	`conf`	HyperPCTL Model Checking by Probabilistic Decomposition. IFM Eshita Zaman, Gianfranco Ciardo, Erika Ábrahám, Borzoo Bonakdarpour
2020	J	`jnl`	Variable order metrics for decision diagrams in system verification. Int. J. Softw. Tools Technol. Transf. Elvio Gilberto Amparore, Susanna Donatelli, Gianfranco Ciardo
2019	—	`conf`	Binary Decision Diagrams with Edge-Specified Reductions. TACAS (2) Junaid Babar, Chuan Jiang, Gianfranco Ciardo, Andrew S. Miner
2019	—	`ch.`	On Petri Nets in Performance and Reliability Evaluation of Discrete Event Dynamic Systems. Carl Adam Petri: Ideas, Personality, Impact Gianfranco Balbo, Gianfranco Ciardo
2019	—	`conf`	Presentation of the 9th Edition of the Model Checking Contest. TACAS (3) 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
2019	—	`conf`	i _\mathrm Rank : A Variable Order Metric for DEDS Subject to Linear Invariants. TACAS (2) Elvio Gilberto Amparore, Gianfranco Ciardo, Susanna Donatelli, Andrew S. Miner
2018	—	`conf`	Generation of Minimum Tree-Like Witnesses for Existential CTL. TACAS (1) Chuan Jiang, Gianfranco Ciardo
2018	B	`conf`	Improving SAT-based Bounded Model Checking for Existential CTL through Path Reuse. LPAR Chuan Jiang, Gianfranco Ciardo
2018	—	`conf`	SOUPS: A Variable Ordering Metric for the Saturation Algorithm. ACSD Benjamin Smith, Gianfranco Ciardo
2015	—	`conf`	Approximate Analysis of Hybrid Petri Nets with Probabilistic Timed Transitions. VALUETOOLS Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort, Gianfranco Ciardo
2015	—	`conf`	Power Consumption Analysis of Replicated Virtual Applications. ASMTA Pietro Piazzolla, Gianfranco Ciardo, Andrew S. Miner
2015	C	`conf`	Scrible: Ultra-Accurate Error-Correction of Pooled Sequenced Reads. WABI Denise Duma, Francesca Cordero, Marco Beccuti, Gianfranco Ciardo, Timothy J. Close, Stefano Lonardi
2015	J	`jnl`	When less is more: 'slicing' sequencing data improves read decoding accuracy and Bioinform. Stefano Lonardi, Seyed Hamid Mirebrahim, Steve Wanamaker, Matthew Alpert, Gianfranco Ciardo, Denisa Duma, Timothy J. Close
2014	B	`ed.`	Application and Theory of Petri Nets and Concurrency - 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings Petri Nets Gianfranco Ciardo, Ekkart Kindler
2014	C	`conf`	Sequence Decision Diagrams. SPIRE Hind Alhakami, Gianfranco Ciardo, Marek Chrobak
2014	J	`jnl`	Symbolic Termination and Confluence Checking for ECA Rules. Trans. Petri Nets Other Model. Concurr. Xiaoqing Jin, Yousra Lembachar, Gianfranco Ciardo
2014	J	`jnl`	Tutorial on Structured Continuous-Time Markov Processes. J. Artif. Intell. Res. Christian R. Shelton, Gianfranco Ciardo
2013	C	`conf`	Accurate Decoding of Pooled Sequenced Data Using Compressed Sensing. WABI Denisa Duma, Mary Wootters, Anna C. Gilbert, Hung Q. Ngo, Atri Rudra, Matthew Alpert, Timothy J. Close, Gianfranco Ciardo, Stefano Lonardi
2013	J	`jnl`	An Efficient Fully Symbolic Bisimulation Algorithm for Non-Deterministic Systems. Int. J. Found. Comput. Sci. Malcolm Mumme, Gianfranco Ciardo
2013	J	`jnl`	Combinatorial Pooling Enables Selective Sequencing of the Barley Gene Space. PLoS Comput. Biol. 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
2013	—	`conf`	Symbolic verification of ECA rules. PNSE+ModPE Xiaoqing Jin, Yousra Lembachar, Gianfranco Ciardo
2013	—	`conf`	Tackling Truncation Errors in CSL Model Checking through Bounding Semantics. EPEW Yang Zhao, Gianfranco Ciardo
2012	—	`conf`	A Two-Phase Gauss-Seidel Algorithm for the Stationary Solution of EVMDD-Encoded CTMCs. QEST Yang Zhao, Gianfranco Ciardo
2012	J	`jnl`	Selected papers from QEST 2010. Perform. Evaluation Gianfranco Ciardo, Roberto Segala
2012	J	`jnl`	Ten Years of Saturation: A Petri Net Perspective. Trans. Petri Nets Other Model. Concurr. Gianfranco Ciardo, Yang Zhao, Xiaoqing Jin
2011	—	`conf`	A Fully Symbolic Bisimulation Algorithm. RP Malcolm Mumme, Gianfranco Ciardo
2011	Misc	`conf`	A Symbolic Algorithm for Shortest EG Witness Generation. TASE Yang Zhao, Xiaoqing Jin, Gianfranco Ciardo
2011	J	`jnl`	Approximate steady-state analysis of large Markov models based on the structure of their decision diagram encoding. Perform. Evaluation Min Wan, Gianfranco Ciardo, Andrew S. Miner
2011	J	`jnl`	Barcoding-free BAC Pooling Enables Combinatorial Selective Sequencing of the Barley Gene Space CoRR 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
2011	J	`jnl`	Modelling and analysis of UPnP AV media player system based on Petri nets. Int. J. Syst. Sci. Hong Zheng, Yugang Niu, Gianfranco Ciardo
2011	J	`jnl`	Speculative Image Computation for Distributed Symbolic Reachability Analysis. J. Log. Comput. Ming-Ying Chung, Gianfranco Ciardo
2011	B	`conf`	Symbolic Verification and Test Generation for a Network of Communicating FSMs. ATVA Xiaoqing Jin, Gianfranco Ciardo, Tae-Hyong Kim, Yang Zhao
2011	J	`jnl`	Symbolic computation of strongly connected components and fair cycles using saturation. Innov. Syst. Softw. Eng. Yang Zhao, Gianfranco Ciardo
2010	—	`conf`	Symbolic Computation of Strongly Connected Components Using Saturation. NASA Formal Methods Yang Zhao, Gianfranco Ciardo
2009	J	`jnl`	Advanced features in SMART: the stochastic model checking analyzer for reliability and timing. SIGMETRICS Perform. Evaluation Rev. Gianfranco Ciardo, Andrew S. Miner, Min Wan
2009	J	`jnl`	Decision-diagram-based techniques for bounded reachability checking of asynchronous systems. Int. J. Softw. Tools Technol. Transf. Andy Jinqing Yu, Gianfranco Ciardo, Gerald Lüttgen
2009	B	`conf`	P-Semiflow Computation with Decision Diagrams. Petri Nets Gianfranco Ciardo, Galen Mecham, Emmanuel Paviot-Adet, Min Wan
2009	—	`conf`	Parallel symbolic state-space exploration is difficult, but what is the alternative? PDMC Gianfranco Ciardo, Yang Zhao, Xiaoqing Jin
2009	—	`conf`	Petri Net Analysis Using Decision Diagrams. QEST Gianfranco Ciardo
2009	B	`conf`	Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation. ATVA Yang Zhao, Gianfranco Ciardo
2009	B	`conf`	Symbolic Reachability Analysis of Integer Timed Petri Nets. SOFSEM Min Wan, Gianfranco Ciardo
2009	B	`conf`	Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams. SOFSEM Min Wan, Gianfranco Ciardo
2008	—	`conf`	Achieving and Assuring High Availability. ISAS Kishor S. Trivedi, Gianfranco Ciardo, Balakrishnan Dasarathy, Michael Grottke, Rivalino Matias, Andrew J. Rindos, Bart Vashaw
2008	A	`conf`	Achieving and assuring high availability. IPDPS Kishor S. Trivedi, Gianfranco Ciardo, Balakrishnan Dasarathy, Michael Grottke, Andrew J. Rindos, Bart Vashaw
2007	J	`jnl`	Approximating stationary measures of structured continuous-time Markov models using matrix diagrams. SIGMETRICS Perform. Evaluation Rev. Gianfranco Ciardo, Andrew S. Miner, Min Wan, Andy Jinqing Yu
2007	A	`conf`	Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams. TACAS Andy Jinqing Yu, Gianfranco Ciardo, Gerald Lüttgen
2007	—	`conf`	Data Representation and Efficient Solution: A Decision Diagram Approach. SFM Gianfranco Ciardo
2007	J	`jnl`	Exploiting interleaving semantics in symbolic state-space generation. Formal Methods Syst. Des. Gianfranco Ciardo, Gerald Lüttgen, Andrew S. Miner
2007	J	`jnl`	Formal verification of the NASA runway safety monitor. Int. J. Softw. Tools Technol. Transf. Radu Siminiceanu, Gianfranco Ciardo
2007	—	`conf`	Improving Static Variable Orders Via Invariants. ICATPN Gianfranco Ciardo, Gerald Lüttgen, Andy Jinqing Yu
2007	A*	`conf`	Parallelising Symbolic State-Space Generators. CAV Jonathan Ezekiel, Gerald Lüttgen, Gianfranco Ciardo
2006	B	`conf`	A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis. ATVA Ming-Ying Chung, Gianfranco Ciardo, Andy Jinqing Yu
2006	A	`conf`	A dynamic firing speculation to speedup distributed symbolic state-space generation. IPDPS Ming-Ying Chung, Gianfranco Ciardo
2006	J	`jnl`	Logic and stochastic modeling with S m A r T. Perform. Evaluation Gianfranco Ciardo, R. L. Jones III, Andrew S. Miner, Radu Siminiceanu
2006	A	`conf`	New Metrics for Static Variable Ordering in Decision Diagrams. TACAS Radu Siminiceanu, Gianfranco Ciardo
2006	J	`jnl`	The saturation algorithm for symbolic state-space exploration. Int. J. Softw. Tools Technol. Transf. Gianfranco Ciardo, Robert M. Marmorstein, Radu Siminiceanu
2005	—	`conf`	A Pattern Recognition Approach for Speculative Firing Prediction in Distributed Saturation State-Space Generation. PDMC@ICALP Ming-Ying Chung, Gianfranco Ciardo
2005	—	`ed.`	Applications and Theory of Petri Nets 2005, 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005, Proceedings ICATPN Gianfranco Ciardo, Philippe Darondeau
2005	—	`conf`	Implicit Representations and Algorithms for the Logic and Stochastic Analysis of Discrete-State Systems. EPEW/WS-FM Gianfranco Ciardo
2005	J	`jnl`	Implicit data structures for logic and stochastic systems analysis. SIGMETRICS Perform. Evaluation Rev. Gianfranco Ciardo, Andrew S. Miner
2005	—	`conf`	Saturation-Based Symbolic Reachability Analysis Using Conjunctive and Disjunctive Partitioning. CHARME Gianfranco Ciardo, Andy Jinqing Yu
2005	J	`jnl`	Workload-Aware Load Balancing for Clustered Web Servers. IEEE Trans. Parallel Distributed Syst. Qi Zhang, Alma Riska, Wei Sun, Evgenia Smirni, Gianfranco Ciardo
2004	—	`conf`	A Comparison of Structural Formalisms for Modeling Large Markov Models. IPDPS Next Generation Software Program - NSFNGS - PI Workshop Ming-Ying Chung, Gianfranco Ciardo, Susanna Donatelli, N. He, Brigitte Plateau, William J. Stewart, E. Sulaiman, Andy Jinqing Yu
2004	J	`jnl`	ETAQA-MG1: an efficient technique for the analysis of a class of M/G/1-type processes by aggregation. Perform. Evaluation Gianfranco Ciardo, Weizhen Mao, Alma Riska, Evgenia Smirni
2004	J	`jnl`	Exact analysis of a class of GI/G/1-type performability models. IEEE Trans. Reliab. Alma Riska, Evgenia Smirni, Gianfranco Ciardo
2004	—	`conf`	Formal Verification of the NASA Runway Safety Monitor. AVoCS Radu Siminiceanu, Gianfranco Ciardo
2004	—	`conf`	Reachability Set Generation for Petri Nets: Can Brute Force Be Smart? ICATPN Gianfranco Ciardo
2004	—	`conf`	SMART: The Stochastic Model checking Analyzer for Reliability and Timing. QEST Gianfranco Ciardo, Andrew S. Miner
2004	—	`conf`	Saturation NOW. QEST Ming-Ying Chung, Gianfranco Ciardo
2003	J	`jnl`	An aggregation-based method for the exact analysis of a class of GI/G/1-type processes. SIGMETRICS Perform. Evaluation Rev. Alma Riska, Evgenia Smirni, Gianfranco Ciardo
2003	—	`conf`	Logical and Stochastic Modeling with SMART. Computer Performance Evaluation / TOOLS Gianfranco Ciardo, R. L. Jones III, Andrew S. Miner, Radu Siminiceanu
2003	B	`conf`	Profit-driven Service Differentiation in Transient Environments. MASCOTS Qi Zhang, Evgenia Smirni, Gianfranco Ciardo
2003	A	`conf`	Saturation Unbound. TACAS Gianfranco Ciardo, Robert M. Marmorstein, Radu Siminiceanu
2003	A*	`conf`	Structural Symbolic CTL Model Checking of Asynchronous Systems. CAV Gianfranco Ciardo, Radu Siminiceanu
2002	A	`conf`	ADAPTLOAD: Effective Balancing in Custered Web Servers Under Transient Load Conditions. ICDCS Alma Riska, Wei Sun, Evgenia Smirni, Gianfranco Ciardo
2002	J	`jnl`	Introduction to the Special Section on Petri Nets and Performance Models. IEEE Trans. Software Eng. Gianfranco Ciardo, Reinhard German, Boudewijn R. Haverkort
2002	A	`conf`	SMART: Stochastic Model-checking Analyzer for Reliability and Timing. DSN Gianfranco Ciardo, R. L. Jones III, Robert M. Marmorstein, Andrew S. Miner, Radu Siminiceanu
2002	B	`conf`	Using Edge-Valued Decision Diagrams for Symbolic Generation of Shortest Paths. FMCAD Gianfranco Ciardo, Radu Siminiceanu
2001	J	`jnl`	EQUILOAD: a load balancing policy for clustered web servers. Perform. Evaluation Gianfranco Ciardo, Alma Riska, Evgenia Smirni
2001	—	`conf`	On Phased Delay Stochastic Petri Nets: Definition and an Application. PNPM Rob Jones, Gianfranco Ciardo
2001	—	`conf`	Role of Aging, Frequency, and Size in Web Cache Replacement Policies. HPCN Europe Ludmila Cherkasova, Gianfranco Ciardo
2001	A	`conf`	Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation. TACAS Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu
2001	—	`conf`	What a Structural World. PNPM Gianfranco Ciardo
2000	—	`conf`	Analytic modeling of load balancing policies for tasks with heavy-tailed distributions. Workshop on Software and Performance Alma Riska, Evgenia Smirni, Gianfranco Ciardo
2000	B	`conf`	Characterizing temporal locality and its impact on web server performance. ICCCN Ludmila Cherkasova, Gianfranco Ciardo
2000	J	`jnl`	Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models. INFORMS J. Comput. Peter Buchholz, Gianfranco Ciardo, Susanna Donatelli, Peter Kemper
2000	—	`conf`	Distributed and Structured Analysis Approaches to Study Large and Complex Systems. European Educational Forum: School on Formal Methods and Performance Analysis Gianfranco Ciardo
2000	—	`conf`	Efficient Symbolic State-Space Construction for Asynchronous Systems. ICATPN Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu
2000	A*	`conf`	Using the exact state space of a Markov model to compute approximate stationary measures. SIGMETRICS Andrew S. Miner, Gianfranco Ciardo, Susanna Donatelli
1999	—	`conf`	A data structure for the efficient Kronecker solution of GSPNs. PNPM Gianfranco Ciardo, Andrew S. Miner
1999	J	`jnl`	Approximate Transient Analysis for Subclasses of Deterministic and Stochastic Petri Nets. Perform. Evaluation Gianfranco Ciardo, Guangzhi Li
1999	J	`jnl`	Discrete-Event Simulation of Fluid Stochastic Petri Nets. IEEE Trans. Software Eng. Gianfranco Ciardo, David M. Nicol, Kishor S. Trivedi
1999	J	`jnl`	ETAQA: An Efficient Technique for the Analysis of QBD-Processes by Aggregation. Perform. Evaluation Gianfranco Ciardo, Evgenia Smirni
1999	—	`conf`	Efficient Reachability Set Generation and Storage Using Decision Diagrams. ICATPN Andrew S. Miner, Gianfranco Ciardo
1998	J	`jnl`	Distributed State Space Generation of Discrete-State Stochastic Models. INFORMS J. Comput. Gianfranco Ciardo, Joshua Gluckman, David M. Nicol
1997	J	`jnl`	Automated Parallelization of Discrete State-Space Generation. J. Parallel Distributed Comput. David M. Nicol, Gianfranco Ciardo
1997	—	`conf`	Discrete Deterministic and Stochastic Petri Nets. MMB Robert Zijal, Gianfranco Ciardo, Günter Hommel
1997	—	`conf`	Discrete-event simulation of fluid stochastic Petri nets. PNPM Gianfranco Ciardo, David M. Nicol, Kishor S. Trivedi
1997	—	`conf`	Storage Alternatives for Large Structured State Spaces. Computer Performance Evaluation Gianfranco Ciardo, Andrew S. Miner
1996	B	`conf`	Well-Defined Stochastic Petri Nets. MASCOTS Gianfranco Ciardo, Robert Zijal
1995	A*	`conf`	Modeling A Fibre Channel Switch with Stochastic Petri Nets. SIGMETRICS Gianfranco Ciardo, Ludmila Cherkasova, Vadim E. Kotov, Tomas Rokicki
1995	—	`conf`	Modeling a scalable high-speed interconnect with stochastic Petri nets. PNPM Gianfranco Ciardo, Ludmila Cherkasova, Vadim E. Kotov, Tomas Rokicki
1995	A*	`conf`	Non-Markovian Petri Nets (Panel). SIGMETRICS Kishor S. Trivedi, Andrea Bobbio, Miklós Telek, Reinhard German, Gianfranco Ciardo, Antonio Puliafito
1994	J	`jnl`	A Characterization of the Stochastic Process Underlying a Stochastic Petri Net. IEEE Trans. Software Eng. Gianfranco Ciardo, Reinhard German, Christoph Lindemann
1994	J	`jnl`	Comments on "Analysis of Self-Stabilizing Clock Synchronization by Means of Stochastic Petri Nets". IEEE Trans. Computers Gianfranco Ciardo, Christoph Lindemann
1994	—	`conf`	Petri Nets with Marking-Dependent Ar Cardinality: Properties and Analysis. Application and Theory of Petri Nets Gianfranco Ciardo
1993	J	`jnl`	A Decomposition Approach for Stochastic Reward Net Models. Perform. Evaluation Gianfranco Ciardo, Kishor S. Trivedi
1993	—	`conf`	A characterization of the stochastic process underlying a stochastic Petri net. PNPM Gianfranco Ciardo, Reinhard German, Christoph Lindemann
1993	—	`conf`	Analysis of deterministic and stochastic Petri nets. PNPM Gianfranco Ciardo, Christoph Lindemann
1993	—	`conf`	Dependability and Performability Analysis. Performance/SIGMETRICS Tutorials Kishor S. Trivedi, Gianfranco Ciardo, Manish Malhotra, Robin A. Sahner
1993	B	`conf`	Modeling Using Stochastic Reward Nets. MASCOTS Jogesh K. Muppala, Gianfranco Ciardo, Kishor S. Trivedi
1993	J	`jnl`	PNPM'91-4th International Workshop on Petri Nets and Performance Models. Perform. Evaluation Gianfranco Ciardo
1993	—	`conf`	Performabilty Modeling of an Automated Manufacturing System with Deterministic and Stochastic Petri Nets. ICRA (3) Christoph Lindemann, Gianfranco Ciardo, Reinhard German, Günter Hommel
1993	B	`conf`	SPNP: The Stochastic Petri Net Package (Version 3.1). MASCOTS Gianfranco Ciardo, Kishor S. Trivedi
1992	J	`jnl`	Analyzing Concurrent and Fault-Tolerant Software Using Stochastic Reward Nets. J. Parallel Distributed Comput. Gianfranco Ciardo, Jogesh K. Muppala, Kishor S. Trivedi
1991	—	`conf`	A Decomposition Approach for Stochastic Petri Net Models. PNPM Gianfranco Ciardo, Kishor S. Trivedi
1991	J	`jnl`	On the Solution of GSPN Reward Models. Perform. Evaluation Gianfranco Ciardo, Jogesh K. Muppala, Kishor S. Trivedi
1990	J	`jnl`	Performability Analysis Using Semi-Markov Reard Processes. IEEE Trans. Computers Gianfranco Ciardo, Raymond A. Marie, Bruno Sericola, Kishor S. Trivedi
1989	J	`jnl`	Analysis of Stiff Markov Chains. INFORMS J. Comput. Andrew L. Reibman, Kishor S. Trivedi, Sanjaya Kumar, Gianfranco Ciardo
1989	—	`conf`	Panel: Applications of Performance Petri Nets. PNPM Joanne Bechta Dugan, Dan C. Marinescu, Giovanni Chiola, Yoshio Sugasawa, William H. Sanders, Gianfranco Ciardo
1989	—	`conf`	SPNP: Stochastic Petri Net Package. PNPM Gianfranco Ciardo, Jogesh K. Muppala, Kishor S. Trivedi
1989	J	`jnl`	Stochastic Petri Net Analysis of a Replicated File System. IEEE Trans. Software Eng. Joanne Bechta Dugan, Gianfranco Ciardo
1987	—	`conf`	Stochastic Petri Net Analysis of a Replicated File System. PNPM Joanne Bechta Dugan, Gianfranco Ciardo
1987	—	`conf`	Toward a Definition of Modeling Power for Stochastic Petri Net Models. PNPM Gianfranco Ciardo
1985	—	`conf`	The Design of a Unified Package for the Solution of Stochastic Petri Net Models. PNPM Joanne Bechta Dugan, Andrea Bobbio, Gianfranco Ciardo, Kishor S. Trivedi
1985	—	`ch.`	The Logical Design in the DATAID Project: The EASYMAP System. Computer-Aided Database Design: the DATAID approach M. N. Bert, Gianfranco Ciardo, G. Barbara Demo, Antonio Di Leva, Piercarlo Giolito, C. Iacobelli, V. Marrone