Gianfranco Ciardo
Orcid: 0000-0002-4906-6145Affiliations:
- Iowa State University, Ames, Iowa, USA
According to our database1,
Gianfranco Ciardo
authored at least 124 papers
between 1985 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Proceedings of the IEEE John Vincent Atanasoff International Symposium on Modern Computing, 2023
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023
2022
CESRBDDs: binary decision diagrams with complemented edges and edge-specified reductions.
Int. J. Softw. Tools Technol. Transf., 2022
Proceedings of the Tests and Proofs - 16th International Conference, 2022
Proceedings of the Integrated Formal Methods - 17th International Conference, 2022
2020
Int. J. Softw. Tools Technol. Transf., 2020
2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
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.
Proceedings of the Carl Adam Petri: Ideas, Personality, Impact, 2019
2018
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018
Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018
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.
Bioinform., 2015
Proceedings of the Algorithms in Bioinformatics - 15th International Workshop, 2015
Proceedings of the VALUETOOLS'15: Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools, 2015
Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2015
2014
Trans. Petri Nets Other Model. Concurr., 2014
J. Artif. Intell. Res., 2014
Proceedings of the String Processing and Information Retrieval, 2014
2013
PLoS Comput. Biol., 2013
Int. J. Found. Comput. Sci., 2013
Proceedings of the Algorithms in Bioinformatics - 13th International Workshop, 2013
Proceedings of the Computer Performance Engineering - 10th European Workshop, 2013
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
Trans. Petri Nets Other Model. Concurr., 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. Evaluation, 2011
J. Log. Comput., 2011
Symbolic computation of strongly connected components and fair cycles using saturation.
Innov. Syst. Softw. Eng., 2011
Int. J. Syst. Sci., 2011
Barcoding-free BAC Pooling Enables Combinatorial Selective Sequencing of the Barley Gene Space
CoRR, 2011
Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011
Proceedings of the Reachability Problems - 5th International Workshop, 2011
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.
Int. J. Softw. Tools Technol. Transf., 2009
Advanced features in SMART: the stochastic model checking analyzer for reliability and timing.
SIGMETRICS Perform. Evaluation Rev., 2009
Proceedings of the Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, 2009
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
Proceedings of the Automated Technology for Verification and Analysis, 2009
Proceedings of the Applications and Theory of Petri Nets, 2009
2008
Proceedings of the Service Availability, 5th International Service Availability Symposium, 2008
Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008
2007
Int. J. Softw. Tools Technol. Transf., 2007
Approximating stationary measures of structured continuous-time Markov models using matrix diagrams.
SIGMETRICS Perform. Evaluation Rev., 2007
Formal Methods Syst. Des., 2007
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007
Proceedings of the Formal Methods for Performance Evaluation, 2007
Proceedings of the Computer Aided Verification, 19th International Conference, 2007
Proceedings of the Petri Nets and Other Models of Concurrency, 2007
2006
Int. J. Softw. Tools Technol. Transf., 2006
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006
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
IEEE Trans. Parallel Distributed Syst., 2005
SIGMETRICS Perform. Evaluation Rev., 2005
A Pattern Recognition Approach for Speculative Firing Prediction in Distributed Saturation State-Space Generation.
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.
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
IEEE Trans. Reliab., 2004
ETAQA-MG1: an efficient technique for the analysis of a class of M/G/1-type processes by aggregation.
Perform. Evaluation, 2004
Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004
Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004
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 Perform. Evaluation Rev., 2003
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003
Proceedings of the 11th International Workshop on Modeling, 2003
Proceedings of the Computer Performance Evaluations, 2003
Proceedings of the Computer Aided Verification, 15th International Conference, 2003
2002
IEEE Trans. Software Eng., 2002
ADAPTLOAD: Effective Balancing in Custered Web Servers Under Transient Load Conditions.
Proceedings of the 22nd International Conference on Distributed Computing Systems (ICDCS'02), 2002
Proceedings of the Formal Methods in Computer-Aided Design, 4th International Conference, 2002
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002
2001
Perform. Evaluation, 2001
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001
Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 2001
Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 2001
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 J. Comput., 2000
Analytic modeling of load balancing policies for tasks with heavy-tailed distributions.
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.
Proceedings of the 2000 ACM SIGMETRICS international conference on Measurement and modeling of computer systems, 2000
Proceedings of the Proceedings Ninth International Conference on Computer Communications and Networks, 2000
Proceedings of the Lectures on Formal Methods and Performance Analysis, 2000
Proceedings of the Application and Theory of Petri Nets 2000, 2000
1999
IEEE Trans. Software Eng., 1999
ETAQA: An Efficient Technique for the Analysis of QBD-Processes by Aggregation.
Perform. Evaluation, 1999
Approximate Transient Analysis for Subclasses of Deterministic and Stochastic Petri Nets.
Perform. Evaluation, 1999
Proceedings of the 8th International Workshop on Petri Nets and Performance Models, 1999
Proceedings of the Application and Theory of Petri Nets 1999, 1999
1998
INFORMS J. Comput., 1998
1997
J. Parallel Distributed Comput., 1997
Discrete Deterministic and Stochastic Petri Nets.
Proceedings of the MMB '97, 1997
Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 1997
1996
1995
Proceedings of the 1995 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems, 1995
Proceedings of the 1995 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems, 1995
Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, 1995
1994
IEEE Trans. Software Eng., 1994
Comments on "Analysis of Self-Stabilizing Clock Synchronization by Means of Stochastic Petri Nets".
IEEE Trans. Computers, 1994
Proceedings of the Application and Theory of Petri Nets 1994, 1994
1993
Perform. Evaluation, 1993
Proceedings of the Performance Evaluation of Computer and Communication Systems, 1993
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
J. Parallel Distributed Comput., 1992
1991
Proceedings of the Fourth International Workshop on Petri Nets and Performance Models, 1991
1990
IEEE Trans. Computers, 1990
1989
IEEE Trans. Software Eng., 1989
Panel: Applications of Performance Petri Nets.
Proceedings of the Third International Workshop on Petri Nets and Performance Models, 1989
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.
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.
Proceedings of the Computer-Aided Database Design: the DATAID approach., 1985