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 (Computer-Aided Database Design: the DATAID approach, 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 (PNPM, 1985)

Toward a Definition of Modeling Power for Stochastic Petri Net Models. - Gianfranco Ciardo (PNPM, 1987)

SPNP: Stochastic Petri Net Package. - Gianfranco Ciardo; Jogesh K. Muppala; Kishor S. Trivedi (PNPM, 1989)

Panel: Applications of Performance Petri Nets. - Joanne Bechta Dugan; Dan C. Marinescu; Giovanni Chiola; Yoshio Sugasawa; William H. Sanders; Gianfranco Ciardo (PNPM, 1989)

Analysis of Stiff Markov Chains. - Andrew L. Reibman; Kishor S. Trivedi; Sanjaya Kumar; Gianfranco Ciardo (INFORMS J. Comput., 1989)

Stochastic Petri Net Analysis of a Replicated File System. - Joanne Bechta Dugan; Gianfranco Ciardo (IEEE Trans. Software Eng., 1989)

Performability Analysis Using Semi-Markov Reard Processes. - Gianfranco Ciardo; Raymond A. Marie; Bruno Sericola; Kishor S. Trivedi (IEEE Trans. Computers, 1990)

A Decomposition Approach for Stochastic Petri Net Models. - Gianfranco Ciardo; Kishor S. Trivedi (PNPM, 1991)

On the Solution of GSPN Reward Models. - Gianfranco Ciardo; Jogesh K. Muppala; Kishor S. Trivedi (Perform. Evaluation, 1991)

Analyzing Concurrent and Fault-Tolerant Software Using Stochastic Reward Nets. - Gianfranco Ciardo; Jogesh K. Muppala; Kishor S. Trivedi (J. Parallel Distributed Comput., 1992)

Performabilty Modeling of an Automated Manufacturing System with Deterministic and Stochastic Petri Nets. - Christoph Lindemann; Gianfranco Ciardo; Reinhard German; Günter Hommel (ICRA (3), 1993)

SPNP: The Stochastic Petri Net Package (Version 3.1). - Gianfranco Ciardo; Kishor S. Trivedi (MASCOTS, 1993)

Modeling Using Stochastic Reward Nets. - Jogesh K. Muppala; Gianfranco Ciardo; Kishor S. Trivedi (MASCOTS, 1993)

Analysis of deterministic and stochastic Petri nets. - Gianfranco Ciardo; Christoph Lindemann (PNPM, 1993)

Dependability and Performability Analysis. - Kishor S. Trivedi; Gianfranco Ciardo; Manish Malhotra; Robin A. Sahner (Performance/SIGMETRICS Tutorials, 1993)

PNPM'91-4th International Workshop on Petri Nets and Performance Models. - Gianfranco Ciardo (Perform. Evaluation, 1993)

A Decomposition Approach for Stochastic Reward Net Models. - Gianfranco Ciardo; Kishor S. Trivedi (Perform. Evaluation, 1993)

Petri Nets with Marking-Dependent Ar Cardinality: Properties and Analysis. - Gianfranco Ciardo (Application and Theory of Petri Nets, 1994)

Comments on "Analysis of Self-Stabilizing Clock Synchronization by Means of Stochastic Petri Nets". - Gianfranco Ciardo; Christoph Lindemann (IEEE Trans. Computers, 1994)

A Characterization of the Stochastic Process Underlying a Stochastic Petri Net. - Gianfranco Ciardo; Reinhard German; Christoph Lindemann (IEEE Trans. Software Eng., 1994)

Modeling a scalable high-speed interconnect with stochastic Petri nets. - Gianfranco Ciardo; Ludmila Cherkasova; Vadim E. Kotov; Tomas Rokicki (PNPM, 1995)

Modeling A Fibre Channel Switch with Stochastic Petri Nets. - Gianfranco Ciardo; Ludmila Cherkasova; Vadim E. Kotov; Tomas Rokicki (SIGMETRICS, 1995)

Non-Markovian Petri Nets (Panel). - Kishor S. Trivedi; Andrea Bobbio; Miklós Telek; Reinhard German; Gianfranco Ciardo; Antonio Puliafito (SIGMETRICS, 1995)

Well-Defined Stochastic Petri Nets. - Gianfranco Ciardo; Robert Zijal (MASCOTS, 1996)

Storage Alternatives for Large Structured State Spaces. - Gianfranco Ciardo; Andrew S. Miner (Computer Performance Evaluation, 1997)

Discrete Deterministic and Stochastic Petri Nets. - Robert Zijal; Gianfranco Ciardo; Günter Hommel (MMB, 1997)

Automated Parallelization of Discrete State-Space Generation. - David M. Nicol; Gianfranco Ciardo (J. Parallel Distributed Comput., 1997)

Distributed State Space Generation of Discrete-State Stochastic Models. - Gianfranco Ciardo; Joshua Gluckman; David M. Nicol (INFORMS J. Comput., 1998)

Efficient Reachability Set Generation and Storage Using Decision Diagrams. - Andrew S. Miner; Gianfranco Ciardo (ICATPN, 1999)

A data structure for the efficient Kronecker solution of GSPNs. - Gianfranco Ciardo; Andrew S. Miner (PNPM, 1999)

Approximate Transient Analysis for Subclasses of Deterministic and Stochastic Petri Nets. - Gianfranco Ciardo; Guangzhi Li (Perform. Evaluation, 1999)

ETAQA: An Efficient Technique for the Analysis of QBD-Processes by Aggregation. - Gianfranco Ciardo; Evgenia Smirni (Perform. Evaluation, 1999)

Discrete-Event Simulation of Fluid Stochastic Petri Nets. - Gianfranco Ciardo; David M. Nicol; Kishor S. Trivedi (IEEE Trans. Software Eng., 1999)

Efficient Symbolic State-Space Construction for Asynchronous Systems. - Gianfranco Ciardo; Gerald Lüttgen; Radu Siminiceanu (ICATPN, 2000)

Distributed and Structured Analysis Approaches to Study Large and Complex Systems. - Gianfranco Ciardo (European Educational Forum: School on Formal Methods and Performance Analysis, 2000)

Characterizing temporal locality and its impact on web server performance. - Ludmila Cherkasova; Gianfranco Ciardo (ICCCN, 2000)

Using the exact state space of a Markov model to compute approximate stationary measures. - Andrew S. Miner; Gianfranco Ciardo; Susanna Donatelli (SIGMETRICS, 2000)

Analytic modeling of load balancing policies for tasks with heavy-tailed distributions. - Alma Riska; Evgenia Smirni; Gianfranco Ciardo (Workshop on Software and Performance, 2000)

Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models. - Peter Buchholz 001; Gianfranco Ciardo; Susanna Donatelli; Peter Kemper (INFORMS J. Comput., 2000)

Role of Aging, Frequency, and Size in Web Cache Replacement Policies. - Ludmila Cherkasova; Gianfranco Ciardo (HPCN Europe, 2001)

What a Structural World. - Gianfranco Ciardo (PNPM, 2001)

On Phased Delay Stochastic Petri Nets: Definition and an Application. - Rob Jones; Gianfranco Ciardo (PNPM, 2001)

Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation. - Gianfranco Ciardo; Gerald Lüttgen; Radu Siminiceanu (TACAS, 2001)

EQUILOAD: a load balancing policy for clustered web servers. - Gianfranco Ciardo; Alma Riska; Evgenia Smirni (Perform. Evaluation, 2001)

SMART: Stochastic Model-checking Analyzer for Reliability and Timing. - Gianfranco Ciardo; R. L. Jones III; Robert M. Marmorstein; Andrew S. Miner; Radu Siminiceanu (DSN, 2002)

Using Edge-Valued Decision Diagrams for Symbolic Generation of Shortest Paths. - Gianfranco Ciardo; Radu Siminiceanu (FMCAD, 2002)

ADAPTLOAD: Effective Balancing in Custered Web Servers Under Transient Load Conditions. - Alma Riska; Wei Sun; Evgenia Smirni; Gianfranco Ciardo (ICDCS, 2002)

Introduction to the Special Section on Petri Nets and Performance Models. - Gianfranco Ciardo; Reinhard German; Boudewijn R. Haverkort (IEEE Trans. Software Eng., 2002)

Structural Symbolic CTL Model Checking of Asynchronous Systems. - Gianfranco Ciardo; Radu Siminiceanu (CAV, 2003)

Logical and Stochastic Modeling with SMART. - Gianfranco Ciardo; R. L. Jones III; Andrew S. Miner; Radu Siminiceanu (Computer Performance Evaluation / TOOLS, 2003)

Profit-driven Service Differentiation in Transient Environments. - Qi Zhang 012; Evgenia Smirni; Gianfranco Ciardo (MASCOTS, 2003)

Saturation Unbound. - Gianfranco Ciardo; Robert M. Marmorstein; Radu Siminiceanu (TACAS, 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)

Reachability Set Generation for Petri Nets: Can Brute Force Be Smart? - Gianfranco Ciardo (ICATPN, 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 001; E. Sulaiman; Andy Jinqing Yu (IPDPS Next Generation Software Program - NSFNGS - PI Workshop, 2004)

Saturation NOW. - Ming-Ying Chung; Gianfranco Ciardo (QEST, 2004)

SMART: The Stochastic Model checking Analyzer for Reliability and Timing. - Gianfranco Ciardo; Andrew S. Miner (QEST, 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)

Exact analysis of a class of GI/G/1-type performability models. - Alma Riska; Evgenia Smirni; Gianfranco Ciardo (IEEE Trans. Reliab., 2004)

Saturation-Based Symbolic Reachability Analysis Using Conjunctive and Disjunctive Partitioning. - Gianfranco Ciardo; Andy Jinqing Yu (CHARME, 2005)

Implicit Representations and Algorithms for the Logic and Stochastic Analysis of Discrete-State Systems. - Gianfranco Ciardo (EPEW/WS-FM, 2005)

A Pattern Recognition Approach for Speculative Firing Prediction in Distributed Saturation State-Space Generation. - Ming-Ying Chung; Gianfranco Ciardo (PDMC@ICALP, 2005)

Implicit data structures for logic and stochastic systems analysis. - Gianfranco Ciardo; Andrew S. Miner (SIGMETRICS Perform. Evaluation Rev., 2005)

Workload-Aware Load Balancing for Clustered Web Servers. - Qi Zhang 012; Alma Riska; Wei Sun; Evgenia Smirni; Gianfranco Ciardo (IEEE Trans. Parallel Distributed Syst., 2005)

A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis. - Ming-Ying Chung; Gianfranco Ciardo; Andy Jinqing Yu (ATVA, 2006)

A dynamic firing speculation to speedup distributed symbolic state-space generation. - Ming-Ying Chung; Gianfranco Ciardo (IPDPS, 2006)

New Metrics for Static Variable Ordering in Decision Diagrams. - Radu Siminiceanu; Gianfranco Ciardo (TACAS, 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)

The saturation algorithm for symbolic state-space exploration. - Gianfranco Ciardo; Robert M. Marmorstein; Radu Siminiceanu (Int. J. Softw. Tools Technol. Transf., 2006)

Improving Static Variable Orders Via Invariants. - Gianfranco Ciardo; Gerald Lüttgen; Andy Jinqing Yu (ICATPN, 2007)

Parallelising Symbolic State-Space Generators. - Jonathan Ezekiel; Gerald Lüttgen; Gianfranco Ciardo (CAV, 2007)

Data Representation and Efficient Solution: A Decision Diagram Approach. - Gianfranco Ciardo (SFM, 2007)

Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams. - Andy Jinqing Yu; Gianfranco Ciardo; Gerald Lüttgen (TACAS, 2007)

Exploiting interleaving semantics in symbolic state-space generation. - Gianfranco Ciardo; Gerald Lüttgen; Andrew S. Miner (Formal Methods Syst. Des., 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)

Formal verification of the NASA runway safety monitor. - Radu Siminiceanu; Gianfranco Ciardo (Int. J. Softw. Tools Technol. Transf., 2007)

Achieving and assuring high availability. - Kishor S. Trivedi; Gianfranco Ciardo; Balakrishnan Dasarathy; Michael Grottke; Andrew J. Rindos; Bart Vashaw (IPDPS, 2008)

Achieving and Assuring High Availability. - Kishor S. Trivedi; Gianfranco Ciardo; Balakrishnan Dasarathy; Michael Grottke; Rivalino Matias; Andrew J. Rindos; Bart Vashaw (ISAS, 2008)

P-Semiflow Computation with Decision Diagrams. - Gianfranco Ciardo; Galen Mecham; Emmanuel Paviot-Adet; Min Wan (Petri Nets, 2009)

Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation. - Yang Zhao 011; Gianfranco Ciardo (ATVA, 2009)

Petri Net Analysis Using Decision Diagrams. - Gianfranco Ciardo (QEST, 2009)

Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams. - Min Wan; Gianfranco Ciardo (SOFSEM, 2009)

Symbolic Reachability Analysis of Integer Timed Petri Nets. - Min Wan; Gianfranco Ciardo (SOFSEM, 2009)

Parallel symbolic state-space exploration is difficult, but what is the alternative? - Gianfranco Ciardo; Yang Zhao 011; Xiaoqing Jin (PDMC, 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)

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)

Symbolic Computation of Strongly Connected Components Using Saturation. - Yang Zhao 011; Gianfranco Ciardo (NASA Formal Methods, 2010)

Symbolic Verification and Test Generation for a Network of Communicating FSMs. - Xiaoqing Jin; Gianfranco Ciardo; Tae-Hyong Kim; Yang Zhao 011 (ATVA, 2011)

A Fully Symbolic Bisimulation Algorithm. - Malcolm Mumme; Gianfranco Ciardo (RP, 2011)

A Symbolic Algorithm for Shortest EG Witness Generation. - Yang Zhao 011; Xiaoqing Jin; Gianfranco Ciardo (TASE, 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; et al. (CoRR, 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)

Symbolic computation of strongly connected components and fair cycles using saturation. - Yang Zhao 011; Gianfranco Ciardo (Innov. Syst. Softw. Eng., 2011)

Speculative Image Computation for Distributed Symbolic Reachability Analysis. - Ming-Ying Chung; Gianfranco Ciardo (J. Log. Comput., 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)

A Two-Phase Gauss-Seidel Algorithm for the Stationary Solution of EVMDD-Encoded CTMCs. - Yang Zhao 011; Gianfranco Ciardo (QEST, 2012)

Selected papers from QEST 2010. - Gianfranco Ciardo; Roberto Segala (Perform. Evaluation, 2012)

Ten Years of Saturation: A Petri Net Perspective. - Gianfranco Ciardo; Yang Zhao 011; Xiaoqing Jin (Trans. Petri Nets Other Model. Concurr., 2012)

Symbolic verification of ECA rules. - Xiaoqing Jin; Yousra Lembachar; Gianfranco Ciardo (PNSE+ModPE, 2013)

Tackling Truncation Errors in CSL Model Checking through Bounding Semantics. - Yang Zhao 011; Gianfranco Ciardo (EPEW, 2013)

Accurate Decoding of Pooled Sequenced Data Using Compressed Sensing. - Denisa Duma; Mary Wootters; Anna C. Gilbert; Hung Q. Ngo 001; Atri Rudra; Matthew Alpert; Timothy J. Close; Gianfranco Ciardo; Stefano Lonardi (WABI, 2013)

An Efficient Fully Symbolic Bisimulation Algorithm for Non-Deterministic Systems. - Malcolm Mumme; Gianfranco Ciardo (Int. J. Found. Comput. Sci., 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; et al. (PLoS Comput. Biol., 2013)

Sequence Decision Diagrams. - Hind Alhakami; Gianfranco Ciardo; Marek Chrobak (SPIRE, 2014)

Tutorial on Structured Continuous-Time Markov Processes. - Christian R. Shelton; Gianfranco Ciardo (J. Artif. Intell. Res., 2014)

Symbolic Termination and Confluence Checking for ECA Rules. - Xiaoqing Jin; Yousra Lembachar; Gianfranco Ciardo (Trans. Petri Nets Other Model. Concurr., 2014)

Power Consumption Analysis of Replicated Virtual Applications. - Pietro Piazzolla; Gianfranco Ciardo; Andrew S. Miner (ASMTA, 2015)

Approximate Analysis of Hybrid Petri Nets with Probabilistic Timed Transitions. - Hamed Ghasemieh; Anne Remke; Boudewijn R. Haverkort; Gianfranco Ciardo (VALUETOOLS, 2015)

Scrible: Ultra-Accurate Error-Correction of Pooled Sequenced Reads. - Denise Duma; Francesca Cordero; Marco Beccuti; Gianfranco Ciardo; Timothy J. Close; Stefano Lonardi (WABI, 2015)

When less is more: 'slicing' sequencing data improves read decoding accuracy and de novo assembly quality. - Stefano Lonardi; Seyed Hamid Mirebrahim; Steve Wanamaker; Matthew Alpert; Gianfranco Ciardo; Denisa Duma; Timothy J. Close (Bioinform., 2015)

SOUPS: A Variable Ordering Metric for the Saturation Algorithm. - Benjamin Smith; Gianfranco Ciardo (ACSD, 2018)

Improving SAT-based Bounded Model Checking for Existential CTL through Path Reuse. - Chuan Jiang; Gianfranco Ciardo (LPAR, 2018)

Generation of Minimum Tree-Like Witnesses for Existential CTL. - Chuan Jiang; Gianfranco Ciardo (TACAS (1), 2018)

On Petri Nets in Performance and Reliability Evaluation of Discrete Event Dynamic Systems. - Gianfranco Balbo; Gianfranco Ciardo (Carl Adam Petri: Ideas, Personality, Impact, 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; et al. (TACAS (3), 2019)

i _ mathrm Rank : A Variable Order Metric for DEDS Subject to Linear Invariants. - Elvio Gilberto Amparore; Gianfranco Ciardo; Susanna Donatelli; Andrew S. Miner (TACAS (2), 2019)

Binary Decision Diagrams with Edge-Specified Reductions. - Junaid Babar; Chuan Jiang; Gianfranco Ciardo; Andrew S. Miner (TACAS (2), 2019)

Variable order metrics for decision diagrams in system verification. - Elvio Gilberto Amparore; Susanna Donatelli; Gianfranco Ciardo (Int. J. Softw. Tools Technol. Transf., 2020)

HyperPCTL Model Checking by Probabilistic Decomposition. - Eshita Zaman; Gianfranco Ciardo; Erika Ábrahám; Borzoo Bonakdarpour (IFM, 2022)

Bddl: A Type System for Binary Decision Diagrams. - Yousra Lembachar; Ryan Rusich; Iulian Neamtiu; Gianfranco Ciardo (TAP@STAF, 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)

Computing Under-approximations of Multivalued Decision Diagrams. - Seyedehzahra Hosseini; Gianfranco Ciardo (Petri Nets, 2023)

Research Directions in Decision Diagram Technology. - Gianfranco Ciardo; Andrew S. Miner (JVA, 2023)

RexBDDs: Reduction-on-Edge Complement-and-Swap Binary Decision Diagrams. - Gianfranco Ciardo; Andrew S. Miner; Lichuan Deng; Junaid Babar (DAC, 2024)

Comparing Lossless Compression Methods for Chess Endgame Data. - Dave Gomboc; Christian R. Shelton; Andrew S. Miner; Gianfranco Ciardo (ECAI, 2024)