Gianfranco Ciardo

Available identifiers

zbMath Open ciardo.gianfrancoMaRDI QIDQ2158284

List of research outcomes

Publication	Date of Publication	Type
Binary decision diagrams with edge-specified reductions	2023-11-24	Paper
HyperPCTL model checking by probabilistic decomposition	2022-08-19	Paper
The footprint form of a matrix: definition, properties, and an application	2022-07-26	Paper
Generation of minimum tree-like witnesses for existential CTL	2019-09-16	Paper
Improving SAT-based Bounded Model Checking for Existential CTL through Path Reuse	2019-07-04	Paper
Symbolic Termination and Confluence Checking for ECA Rules	2015-11-12	Paper
Tutorial on Structured Continuous-Time Markov Processes	2015-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q2848665	2013-09-26	Paper
AN EFFICIENT FULLY SYMBOLIC BISIMULATION ALGORITHM FOR NON-DETERMINISTIC SYSTEMS	2013-07-30	Paper
Ten Years of Saturation: A Petri Net Perspective	2012-06-08	Paper
A Fully Symbolic Bisimulation Algorithm	2011-10-07	Paper
Symbolic Verification and Test Generation for a Network of Communicating FSMs	2011-10-07	Paper
Data Representation and Efficient Solution: A Decision Diagram Approach	2011-03-25	Paper
Speculative Image Computation for Distributed Symbolic Reachability Analysis	2011-02-02	Paper
Computer Aided Verification	2010-04-20	Paper
Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation	2009-12-01	Paper
P-Semiflow Computation with Decision Diagrams	2009-06-30	Paper
Improving Static Variable Orders Via Invariants	2009-03-11	Paper
Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams	2009-02-03	Paper
Symbolic Reachability Analysis of Integer Timed Petri Nets	2009-02-03	Paper
A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis	2008-09-04	Paper
Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams	2007-09-03	Paper
Exploiting interleaving semantics in symbolic state-space generation	2007-08-17	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-05-02	Paper
Correct Hardware Design and Verification Methods	2006-10-20	Paper
Applications and Theory of Petri Nets 2004	2005-12-23	Paper
Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models	2003-10-28	Paper
Comments on "Analysis of self-stabilizing clock synchronization by means of stochastic Petri nets"	2003-10-16	Paper
https://portal.mardi4nfdi.de/entity/Q4427908	2003-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q4417940	2003-07-30	Paper
Approximate transient analysis for subclasses of deterministic and stochastic Petri nets	2003-06-24	Paper
ETAQA: an efficient technique for the analysis of QBD-processes by aggregation	2003-06-24	Paper
https://portal.mardi4nfdi.de/entity/Q4547772	2002-08-21	Paper
EquiLoad: a load balancing policy for clustered web servers	2002-07-14	Paper
https://portal.mardi4nfdi.de/entity/Q2766555	2002-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q4535838	2002-06-16	Paper
https://portal.mardi4nfdi.de/entity/Q2769596	2002-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q4945336	2000-08-21	Paper
https://portal.mardi4nfdi.de/entity/Q5687221	1996-12-11	Paper
https://portal.mardi4nfdi.de/entity/Q4763571	1995-11-28	Paper
https://portal.mardi4nfdi.de/entity/Q4281302	1994-11-17	Paper
A decomposition approach for stochastic reward net models	1994-06-09	Paper
Analysis of Stiff Markov Chains	1993-01-16	Paper
On the solution of GSPN reward models	1992-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q3976689	1992-06-26	Paper
Stochastic Petri net analysis of a replicated file system	1989-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Gianfranco Ciardo