Gianfranco Ciardo

ORCID

Publication Activity (10 Years)

Years Active: 1985-2023
Publications (10 Years): 12

Top Venues

Int. J. Softw. Tools Technol. Transf.

TACAS (2)

Bioinform.

Petri Nets

Publications

Gianfranco Ciardo, Andrew S. Miner
Research Directions in Decision Diagram Technology. JVA (2023)
Seyedehzahra Hosseini, Gianfranco Ciardo
Computing Under-approximations of Multivalued Decision Diagrams. Petri Nets (2023)
Eshita Zaman, Gianfranco Ciardo, Erika Ábrahám, Borzoo Bonakdarpour
HyperPCTL Model Checking by Probabilistic Decomposition. IFM (2022)
Junaid Babar, Gianfranco Ciardo, Andrew S. Miner
CESRBDDs: binary decision diagrams with complemented edges and edge-specified reductions. Int. J. Softw. Tools Technol. Transf. 24 (1) (2022)
Yousra Lembachar, Ryan Rusich, Iulian Neamtiu, Gianfranco Ciardo
Bddl: A Type System for Binary Decision Diagrams. TAP@STAF (2022)
Elvio Gilberto Amparore, Susanna Donatelli, Gianfranco Ciardo
Variable order metrics for decision diagrams in system verification. Int. J. Softw. Tools Technol. Transf. 22 (5) (2020)
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
Presentation of the 9th Edition of the Model Checking Contest. TACAS (3) (2019)
Junaid Babar, Chuan Jiang, Gianfranco Ciardo, Andrew S. Miner
Binary Decision Diagrams with Edge-Specified Reductions. TACAS (2) (2019)
Elvio Gilberto Amparore, Gianfranco Ciardo, Susanna Donatelli, Andrew S. Miner
i _\mathrm Rank : A Variable Order Metric for DEDS Subject to Linear Invariants. TACAS (2) (2019)
Chuan Jiang, Gianfranco Ciardo
Improving SAT-based Bounded Model Checking for Existential CTL through Path Reuse. LPAR (2018)
Benjamin Smith, Gianfranco Ciardo
SOUPS: A Variable Ordering Metric for the Saturation Algorithm. ACSD (2018)
Chuan Jiang, Gianfranco Ciardo
Generation of Minimum Tree-Like Witnesses for Existential CTL. TACAS (1) (2018)
Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort, Gianfranco Ciardo
Approximate Analysis of Hybrid Petri Nets with Probabilistic Timed Transitions. VALUETOOLS (2015)
Stefano Lonardi, Seyed Hamid Mirebrahim, Steve Wanamaker, Matthew Alpert, Gianfranco Ciardo, Denisa Duma, Timothy J. Close
assembly quality. Bioinform. 31 (18) (2015)
Pietro Piazzolla, Gianfranco Ciardo, Andrew S. Miner
Power Consumption Analysis of Replicated Virtual Applications. ASMTA (2015)
Denise Duma, Francesca Cordero, Marco Beccuti, Gianfranco Ciardo, Timothy J. Close, Stefano Lonardi
Scrible: Ultra-Accurate Error-Correction of Pooled Sequenced Reads. WABI (2015)
Christian R. Shelton, Gianfranco Ciardo
Tutorial on Structured Continuous-Time Markov Processes. J. Artif. Intell. Res. 51 (2014)
Hind Alhakami, Gianfranco Ciardo, Marek Chrobak
Sequence Decision Diagrams. SPIRE (2014)
Xiaoqing Jin, Yousra Lembachar, Gianfranco Ciardo
Symbolic Termination and Confluence Checking for ECA Rules. Trans. Petri Nets Other Model. Concurr. 9 (2014)
Denisa Duma, Mary Wootters, Anna C. Gilbert, Hung Q. Ngo, Atri Rudra, Matthew Alpert, Timothy J. Close, Gianfranco Ciardo, Stefano Lonardi
Accurate Decoding of Pooled Sequenced Data Using Compressed Sensing. WABI (2013)
Malcolm Mumme, Gianfranco Ciardo
An Efficient Fully Symbolic Bisimulation Algorithm for Non-Deterministic Systems. Int. J. Found. Comput. Sci. 24 (2) (2013)
Yang Zhao, Gianfranco Ciardo
Tackling Truncation Errors in CSL Model Checking through Bounding Semantics. EPEW (2013)
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
Combinatorial Pooling Enables Selective Sequencing of the Barley Gene Space. PLoS Comput. Biol. 9 (4) (2013)
Xiaoqing Jin, Yousra Lembachar, Gianfranco Ciardo
Symbolic verification of ECA rules. PNSE+ModPE (2013)
Yang Zhao, Gianfranco Ciardo
A Two-Phase Gauss-Seidel Algorithm for the Stationary Solution of EVMDD-Encoded CTMCs. QEST (2012)
Gianfranco Ciardo, Yang Zhao, Xiaoqing Jin
Ten Years of Saturation: A Petri Net Perspective. Trans. Petri Nets Other Model. Concurr. 5 (2012)
Gianfranco Ciardo, Roberto Segala
Selected papers from QEST 2010. Perform. Evaluation 69 (7-8) (2012)
Ming-Ying Chung, Gianfranco Ciardo
Speculative Image Computation for Distributed Symbolic Reachability Analysis. J. Log. Comput. 21 (1) (2011)
Yang Zhao, Xiaoqing Jin, Gianfranco Ciardo
A Symbolic Algorithm for Shortest EG Witness Generation. TASE (2011)
Hong Zheng, Yugang Niu, Gianfranco Ciardo
Modelling and analysis of UPnP AV media player system based on Petri nets. Int. J. Syst. Sci. 42 (9) (2011)
Yang Zhao, Gianfranco Ciardo
Symbolic computation of strongly connected components and fair cycles using saturation. Innov. Syst. Softw. Eng. 7 (2) (2011)
Malcolm Mumme, Gianfranco Ciardo
A Fully Symbolic Bisimulation Algorithm. RP (2011)
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
Barcoding-free BAC Pooling Enables Combinatorial Selective Sequencing of the Barley Gene Space CoRR (2011)
Xiaoqing Jin, Gianfranco Ciardo, Tae-Hyong Kim, Yang Zhao
Symbolic Verification and Test Generation for a Network of Communicating FSMs. ATVA (2011)
Min Wan, Gianfranco Ciardo, Andrew S. Miner
Approximate steady-state analysis of large Markov models based on the structure of their decision diagram encoding. Perform. Evaluation 68 (5) (2011)
Yang Zhao, Gianfranco Ciardo
Symbolic Computation of Strongly Connected Components Using Saturation. NASA Formal Methods (2010)
Yang Zhao, Gianfranco Ciardo
Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation. ATVA (2009)
Min Wan, Gianfranco Ciardo
Symbolic Reachability Analysis of Integer Timed Petri Nets. SOFSEM (2009)
Gianfranco Ciardo, Galen Mecham, Emmanuel Paviot-Adet, Min Wan
P-Semiflow Computation with Decision Diagrams. Petri Nets (2009)
Gianfranco Ciardo
Petri Net Analysis Using Decision Diagrams. QEST (2009)
Gianfranco Ciardo, Andrew S. Miner, Min Wan
Advanced features in SMART: the stochastic model checking analyzer for reliability and timing. SIGMETRICS Perform. Evaluation Rev. 36 (4) (2009)
Min Wan, Gianfranco Ciardo
Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams. SOFSEM (2009)
Andy Jinqing Yu, Gianfranco Ciardo, Gerald Lüttgen
Decision-diagram-based techniques for bounded reachability checking of asynchronous systems. Int. J. Softw. Tools Technol. Transf. 11 (2) (2009)
Gianfranco Ciardo, Yang Zhao, Xiaoqing Jin
Parallel symbolic state-space exploration is difficult, but what is the alternative? PDMC (2009)
Kishor S. Trivedi, Gianfranco Ciardo, Balakrishnan Dasarathy, Michael Grottke, Rivalino Matias, Andrew J. Rindos, Bart Vashaw
Achieving and Assuring High Availability. ISAS (2008)
Kishor S. Trivedi, Gianfranco Ciardo, Balakrishnan Dasarathy, Michael Grottke, Andrew J. Rindos, Bart Vashaw
Achieving and assuring high availability. IPDPS (2008)
Gianfranco Ciardo
Data Representation and Efficient Solution: A Decision Diagram Approach. SFM (2007)
Gianfranco Ciardo, Gerald Lüttgen, Andrew S. Miner
Exploiting interleaving semantics in symbolic state-space generation. Formal Methods Syst. Des. 31 (1) (2007)
Andy Jinqing Yu, Gianfranco Ciardo, Gerald Lüttgen
Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams. TACAS (2007)
Gianfranco Ciardo, Gerald Lüttgen, Andy Jinqing Yu
Improving Static Variable Orders Via Invariants. ICATPN (2007)
Gianfranco Ciardo, Andrew S. Miner, Min Wan, Andy Jinqing Yu
Approximating stationary measures of structured continuous-time Markov models using matrix diagrams. SIGMETRICS Perform. Evaluation Rev. 35 (3) (2007)
Radu Siminiceanu, Gianfranco Ciardo
Formal verification of the NASA runway safety monitor. Int. J. Softw. Tools Technol. Transf. 9 (1) (2007)
Jonathan Ezekiel, Gerald Lüttgen, Gianfranco Ciardo
Parallelising Symbolic State-Space Generators. CAV (2007)
Ming-Ying Chung, Gianfranco Ciardo
A dynamic firing speculation to speedup distributed symbolic state-space generation. IPDPS (2006)
Ming-Ying Chung, Gianfranco Ciardo
A Pattern Recognition Approach for Speculative Firing Prediction in Distributed Saturation State-Space Generation. Electron. Notes Theor. Comput. Sci. 135 (2) (2006)
Gianfranco Ciardo, R. L. Jones III, Andrew S. Miner, Radu Siminiceanu
Logic and stochastic modeling with S m A r T. Perform. Evaluation 63 (6) (2006)
Ming-Ying Chung, Gianfranco Ciardo, Andy Jinqing Yu
A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis. ATVA (2006)
Radu Siminiceanu, Gianfranco Ciardo
New Metrics for Static Variable Ordering in Decision Diagrams. TACAS (2006)
Gianfranco Ciardo, Robert M. Marmorstein, Radu Siminiceanu
The saturation algorithm for symbolic state-space exploration. Int. J. Softw. Tools Technol. Transf. 8 (1) (2006)
Radu Siminiceanu, Gianfranco Ciardo
Formal Verification of the NASA Runway Safety Monitor. Electron. Notes Theor. Comput. Sci. 128 (6) (2005)
Gianfranco Ciardo, Andy Jinqing Yu
Saturation-Based Symbolic Reachability Analysis Using Conjunctive and Disjunctive Partitioning. CHARME (2005)
Gianfranco Ciardo
Implicit Representations and Algorithms for the Logic and Stochastic Analysis of Discrete-State Systems. EPEW/WS-FM (2005)
Qi Zhang, Alma Riska, Wei Sun, Evgenia Smirni, Gianfranco Ciardo
Workload-Aware Load Balancing for Clustered Web Servers. IEEE Trans. Parallel Distributed Syst. 16 (3) (2005)
Gianfranco Ciardo, Andrew S. Miner
Implicit data structures for logic and stochastic systems analysis. SIGMETRICS Perform. Evaluation Rev. 32 (4) (2005)
Ming-Ying Chung, Gianfranco Ciardo, Susanna Donatelli, N. He, Brigitte Plateau, William J. Stewart, E. Sulaiman, Andy Jinqing Yu
A Comparison of Structural Formalisms for Modeling Large Markov Models. IPDPS Next Generation Software Program - NSFNGS - PI Workshop (2004)
Alma Riska, Evgenia Smirni, Gianfranco Ciardo
Exact analysis of a class of GI/G/1-type performability models. IEEE Trans. Reliab. 53 (2) (2004)
Gianfranco Ciardo, Weizhen Mao, Alma Riska, Evgenia Smirni
ETAQA-MG1: an efficient technique for the analysis of a class of M/G/1-type processes by aggregation. Perform. Evaluation 57 (3) (2004)
Gianfranco Ciardo
Reachability Set Generation for Petri Nets: Can Brute Force Be Smart? ICATPN (2004)
Ming-Ying Chung, Gianfranco Ciardo
Saturation NOW. QEST (2004)
Gianfranco Ciardo, Andrew S. Miner
SMART: The Stochastic Model checking Analyzer for Reliability and Timing. QEST (2004)
Qi Zhang, Evgenia Smirni, Gianfranco Ciardo
Profit-driven Service Differentiation in Transient Environments. MASCOTS (2003)
Alma Riska, Evgenia Smirni, Gianfranco Ciardo
An aggregation-based method for the exact analysis of a class of GI/G/1-type processes. SIGMETRICS Perform. Evaluation Rev. 31 (2) (2003)
Gianfranco Ciardo, R. L. Jones III, Andrew S. Miner, Radu Siminiceanu
Logical and Stochastic Modeling with SMART. Computer Performance Evaluation / TOOLS (2003)
Gianfranco Ciardo, Robert M. Marmorstein, Radu Siminiceanu
Saturation Unbound. TACAS (2003)
Gianfranco Ciardo, Radu Siminiceanu
Structural Symbolic CTL Model Checking of Asynchronous Systems. CAV (2003)
Gianfranco Ciardo, Reinhard German, Boudewijn R. Haverkort
Introduction to the Special Section on Petri Nets and Performance Models. IEEE Trans. Software Eng. 28 (10) (2002)
Gianfranco Ciardo, R. L. Jones III, Robert M. Marmorstein, Andrew S. Miner, Radu Siminiceanu
SMART: Stochastic Model-checking Analyzer for Reliability and Timing. DSN (2002)
Gianfranco Ciardo, Radu Siminiceanu
Using Edge-Valued Decision Diagrams for Symbolic Generation of Shortest Paths. FMCAD (2002)
Alma Riska, Wei Sun, Evgenia Smirni, Gianfranco Ciardo
ADAPTLOAD: Effective Balancing in Custered Web Servers Under Transient Load Conditions. ICDCS (2002)
Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu
Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation. TACAS (2001)
Gianfranco Ciardo
What a Structural World. PNPM (2001)
Gianfranco Ciardo, Alma Riska, Evgenia Smirni
EQUILOAD: a load balancing policy for clustered web servers. Perform. Evaluation 46 (2-3) (2001)
Ludmila Cherkasova, Gianfranco Ciardo
Role of Aging, Frequency, and Size in Web Cache Replacement Policies. HPCN Europe (2001)
Rob Jones, Gianfranco Ciardo
On Phased Delay Stochastic Petri Nets: Definition and an Application. PNPM (2001)
Gianfranco Ciardo
Distributed and Structured Analysis Approaches to Study Large and Complex Systems. European Educational Forum: School on Formal Methods and Performance Analysis (2000)
Andrew S. Miner, Gianfranco Ciardo, Susanna Donatelli
Using the exact state space of a Markov model to compute approximate stationary measures. SIGMETRICS (2000)
Ludmila Cherkasova, Gianfranco Ciardo
Characterizing temporal locality and its impact on web server performance. ICCCN (2000)
Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu
Efficient Symbolic State-Space Construction for Asynchronous Systems. ICATPN (2000)
Alma Riska, Evgenia Smirni, Gianfranco Ciardo
Analytic modeling of load balancing policies for tasks with heavy-tailed distributions. Workshop on Software and Performance (2000)
Peter Buchholz, Gianfranco Ciardo, Susanna Donatelli, Peter Kemper
Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models. INFORMS J. Comput. 12 (3) (2000)
Gianfranco Ciardo, Andrew S. Miner
A data structure for the efficient Kronecker solution of GSPNs. PNPM (1999)
Gianfranco Ciardo, Evgenia Smirni
ETAQA: An Efficient Technique for the Analysis of QBD-Processes by Aggregation. Perform. Evaluation (1-4) (1999)
Andrew S. Miner, Gianfranco Ciardo
Efficient Reachability Set Generation and Storage Using Decision Diagrams. ICATPN (1999)
Gianfranco Ciardo, David M. Nicol, Kishor S. Trivedi
Discrete-Event Simulation of Fluid Stochastic Petri Nets. IEEE Trans. Software Eng. 25 (2) (1999)
Gianfranco Ciardo, Guangzhi Li
Approximate Transient Analysis for Subclasses of Deterministic and Stochastic Petri Nets. Perform. Evaluation 35 (3-4) (1999)
Gianfranco Ciardo, Joshua Gluckman, David M. Nicol
Distributed State Space Generation of Discrete-State Stochastic Models. INFORMS J. Comput. 10 (1) (1998)
Gianfranco Ciardo, Andrew S. Miner
Storage Alternatives for Large Structured State Spaces. Computer Performance Evaluation (1997)
Robert Zijal, Gianfranco Ciardo, Günter Hommel
Discrete Deterministic and Stochastic Petri Nets. MMB (1997)
Gianfranco Ciardo, David M. Nicol, Kishor S. Trivedi
Discrete-event simulation of fluid stochastic Petri nets. PNPM (1997)
David M. Nicol, Gianfranco Ciardo
Automated Parallelization of Discrete State-Space Generation. J. Parallel Distributed Comput. 47 (2) (1997)

Gianfranco Ciardo.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Gianfranco Ciardo