 | 2009 |
|---|
| 81 |       | Yang Zhao,
Gianfranco Ciardo:
Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation.
ATVA 2009: 368-381 |
| 80 | | Gianfranco Ciardo,
Galen Mecham,
Emmanuel Paviot-Adet,
Min Wan:
P-Semiflow Computation with Decision Diagrams.
Petri Nets 2009: 143-162 |
| 79 | | Min Wan,
Gianfranco Ciardo:
Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams.
SOFSEM 2009: 582-594 |
| 78 | | Min Wan,
Gianfranco Ciardo:
Symbolic Reachability Analysis of Integer Timed Petri Nets.
SOFSEM 2009: 595-608 |
| 77 | | Andy Jinqing Yu,
Gianfranco Ciardo,
Gerald Lüttgen:
Decision-diagram-based techniques for bounded reachability checking of asynchronous systems.
STTT 11(2): 117-131 (2009) |
| 2008 |
|---|
| 76 | | Kishor S. Trivedi,
Gianfranco Ciardo,
Balakrishnan Dasarathy,
Michael Grottke,
Andrew Rindos,
Bart Vashaw:
Achieving and assuring high availability.
IPDPS 2008: 1-7 |
| 75 | | Kishor S. Trivedi,
Gianfranco Ciardo,
Balakrishnan Dasarathy,
Michael Grottke,
Rivalino Matias,
Andrew Rindos,
Bart Vashaw:
Achieving and Assuring High Availability.
ISAS 2008: 20-25 |
| 2007 |
|---|
| 74 | | Jonathan Ezekiel,
Gerald Lüttgen,
Gianfranco Ciardo:
Parallelising Symbolic State-Space Generators.
CAV 2007: 268-280 |
| 73 | | Gianfranco Ciardo,
Gerald Lüttgen,
Andy Jinqing Yu:
Improving Static Variable Orders Via Invariants.
ICATPN 2007: 83-103 |
| 72 | | Gianfranco Ciardo:
Data Representation and Efficient Solution: A Decision Diagram Approach.
SFM 2007: 371-394 |
| 71 | | Andy Jinqing Yu,
Gianfranco Ciardo,
Gerald Lüttgen:
Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams.
TACAS 2007: 648-663 |
| 70 | | Gianfranco Ciardo,
Gerald Lüttgen,
Andrew S. Miner:
Exploiting interleaving semantics in symbolic state-space generation.
Formal Methods in System Design 31(1): 63-100 (2007) |
| 69 | | Gianfranco Ciardo,
Andrew S. Miner,
Min Wan,
Andy Jinqing Yu:
Approximating stationary measures of structured continuous-time Markov models using matrix diagrams.
SIGMETRICS Performance Evaluation Review 35(3): 16-18 (2007) |
| 68 | | Radu Siminiceanu,
Gianfranco Ciardo:
Formal verification of the NASA runway safety monitor.
STTT 9(1): 63-76 (2007) |
| 2006 |
|---|
| 67 | | Ming-Ying Chung,
Gianfranco Ciardo,
Andy Jinqing Yu:
A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis.
ATVA 2006: 51-66 |
| 66 | | Ming-Ying Chung,
Gianfranco Ciardo:
A dynamic firing speculation to speedup distributed symbolic state-space generation.
IPDPS 2006 |
| 65 | | Radu Siminiceanu,
Gianfranco Ciardo:
New Metrics for Static Variable Ordering in Decision Diagrams.
TACAS 2006: 90-104 |
| 64 | | Ming-Ying Chung,
Gianfranco Ciardo:
A Pattern Recognition Approach for Speculative Firing Prediction in Distributed Saturation State-Space Generation.
Electr. Notes Theor. Comput. Sci. 135(2): 65-80 (2006) |
| 63 | | Gianfranco Ciardo,
R. L. Jones III,
Andrew S. Miner,
Radu Siminiceanu:
Logic and stochastic modeling with S m A r T.
Perform. Eval. 63(6): 578-608 (2006) |
| 62 | | Gianfranco Ciardo,
Robert M. Marmorstein,
Radu Siminiceanu:
The saturation algorithm for symbolic state-space exploration.
STTT 8(1): 4-25 (2006) |
| 2005 |
|---|
| 61 |  | Gianfranco Ciardo,
Philippe Darondeau:
Applications and Theory of Petri Nets 2005, 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005, Proceedings
Springer 2005 |
| 60 | | Gianfranco Ciardo,
Andy Jinqing Yu:
Saturation-Based Symbolic Reachability Analysis Using Conjunctive and Disjunctive Partitioning.
CHARME 2005: 146-161 |
| 59 | | Gianfranco Ciardo:
Implicit Representations and Algorithms for the Logic and Stochastic Analysis of Discrete-State Systems.
EPEW/WS-FM 2005: 15-17 |
| 58 | | Radu Siminiceanu,
Gianfranco Ciardo:
Formal Verification of the NASA Runway Safety Monitor.
Electr. Notes Theor. Comput. Sci. 128(6): 179-194 (2005) |
| 57 | | Qi Zhang,
Alma Riska,
Wei Sun,
Evgenia Smirni,
Gianfranco Ciardo:
Workload-Aware Load Balancing for Clustered Web Servers.
IEEE Trans. Parallel Distrib. Syst. 16(3): 219-233 (2005) |
| 56 | | Gianfranco Ciardo,
Andrew S. Miner:
Implicit data structures for logic and stochastic systems analysis.
SIGMETRICS Performance Evaluation Review 32(4): 4-9 (2005) |
| 2004 |
|---|
| 55 | | Gianfranco Ciardo:
Reachability Set Generation for Petri Nets: Can Brute Force Be Smart?
ICATPN 2004: 17-34 |
| 54 | | 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 |
| 53 | | Ming-Ying Chung,
Gianfranco Ciardo:
Saturation NOW.
QEST 2004: 272-281 |
| 52 | | Gianfranco Ciardo,
Andrew S. Miner:
SMART: The Stochastic Model checking Analyzer for Reliability and Timing.
QEST 2004: 338-339 |
| 51 | | Alma Riska,
Evgenia Smirni,
Gianfranco Ciardo:
Exact analysis of a class of GI/G/1-type performability models.
IEEE Transactions on Reliability 53(2): 238-249 (2004) |
| 50 | | 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. Eval. 57(3): 235-260 (2004) |
| 2003 |
|---|
| 49 | | Gianfranco Ciardo,
Radu Siminiceanu:
Structural Symbolic CTL Model Checking of Asynchronous Systems.
CAV 2003: 40-53 |
| 48 | | Gianfranco Ciardo,
R. L. Jones III,
Andrew S. Miner,
Radu Siminiceanu:
Logical and Stochastic Modeling with SMART.
Computer Performance Evaluation / TOOLS 2003: 78-97 |
| 47 | | Qi Zhang,
Evgenia Smirni,
Gianfranco Ciardo:
Profit-driven Service Differentiation in Transient Environments.
MASCOTS 2003: 230-233 |
| 46 | | Gianfranco Ciardo,
Robert M. Marmorstein,
Radu Siminiceanu:
Saturation Unbound.
TACAS 2003: 379-393 |
| 45 | | Alma Riska,
Evgenia Smirni,
Gianfranco Ciardo:
An aggregation-based method for the exact analysis of a class of GI/G/1-type processes.
SIGMETRICS Performance Evaluation Review 31(2): 28-30 (2003) |
| 2002 |
|---|
| 44 | | 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: 545 |
| 43 | | Gianfranco Ciardo,
Radu Siminiceanu:
Using Edge-Valued Decision Diagrams for Symbolic Generation of Shortest Paths.
FMCAD 2002: 256-273 |
| 42 | | Alma Riska,
Wei Sun,
Evgenia Smirni,
Gianfranco Ciardo:
ADAPTLOAD: Effective Balancing in Custered Web Servers Under Transient Load Conditions.
ICDCS 2002: 104-111 |
| 41 | | Gianfranco Ciardo,
Reinhard German,
Boudewijn R. Haverkort:
Introduction to the Special Section on Petri Nets and Performance Models.
IEEE Trans. Software Eng. 28(10): 913-914 (2002) |
| 2001 |
|---|
| 40 | | Ludmila Cherkasova,
Gianfranco Ciardo:
Role of Aging, Frequency, and Size in Web Cache Replacement Policies.
HPCN Europe 2001: 114-123 |
| 39 | | Gianfranco Ciardo,
Gerald Lüttgen,
Radu Siminiceanu:
Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation.
TACAS 2001: 328-342 |
| 38 | | Gianfranco Ciardo,
Alma Riska,
Evgenia Smirni:
EQUILOAD: a load balancing policy for clustered web servers.
Perform. Eval. 46(2-3): 101-124 (2001) |
| 2000 |
|---|
| 37 | | Gianfranco Ciardo:
Distributed and Structured Analysis Approaches to Study Large and Complex Systems.
European Educational Forum: School on Formal Methods and Performance Analysis 2000: 344-374 |
| 36 | | Gianfranco Ciardo,
Gerald Lüttgen,
Radu Siminiceanu:
Efficient Symbolic State-Space Construction for Asynchronous Systems.
ICATPN 2000: 103-122 |
| 35 | | Andrew S. Miner,
Gianfranco Ciardo,
Susanna Donatelli:
Using the exact state space of a Markov model to compute approximate stationary measures.
SIGMETRICS 2000: 207-216 |
| 34 | | Alma Riska,
Evgenia Smirni,
Gianfranco Ciardo:
Analytic modeling of load balancing policies for tasks with heavy-tailed distributions.
Workshop on Software and Performance 2000: 147-157 |
| 33 | | Peter Buchholz,
Gianfranco Ciardo,
Susanna Donatelli,
Peter Kemper:
Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models.
INFORMS Journal on Computing 12(3): 203-222 (2000) |
| 1999 |
|---|
| 32 | | Andrew S. Miner,
Gianfranco Ciardo:
Efficient Reachability Set Generation and Storage Using Decision Diagrams.
ICATPN 1999: 6-25 |
| 31 | | Gianfranco Ciardo,
David M. Nicol,
Kishor S. Trivedi:
Discrete-Event Simulation of Fluid Stochastic Petri Nets.
IEEE Trans. Software Eng. 25(2): 207-217 (1999) |
| 30 | | Gianfranco Ciardo,
Guangzhi Li:
Approximate Transient Analysis for Subclasses of Deterministic and Stochastic Petri Nets.
Perform. Eval. 35(3-4): 109-129 (1999) |
| 29 | | Gianfranco Ciardo,
Evgenia Smirni:
ETAQA: An Efficient Technique for the Analysis of QBD-Processes by Aggregation.
Perform. Eval. 36-37(1-4): 71-93 (1999) |
| 1998 |
|---|
| 28 | | Gianfranco Ciardo,
Joshua Gluckman,
David M. Nicol:
Distributed State Space Generation of Discrete-State Stochastic Models.
INFORMS Journal on Computing 10(1): 82-93 (1998) |
| 1997 |
|---|
| 27 | | Gianfranco Ciardo,
Andrew S. Miner:
Storage Alternatives for Large Structured State Spaces.
Computer Performance Evaluation 1997: 44-57 |
| 26 | | Robert Zijal,
Gianfranco Ciardo,
Günter Hommel:
Discrete Deterministic and Stochastic Petri Nets.
MMB 1997: 103-117 |
| 25 | | David M. Nicol,
Gianfranco Ciardo:
Automated Parallelization of Discrete State-Space Generation.
J. Parallel Distrib. Comput. 47(2): 153-167 (1997) |
| 1996 |
|---|
| 24 | | Gianfranco Ciardo,
Robert Zijal:
Well-Defined Stochastic Petri Nets.
MASCOTS 1996: 278-284 |
| 1995 |
|---|
| 23 | | Kishor S. Trivedi,
Andrea Bobbio,
Miklós Telek,
Reinhard German,
Gianfranco Ciardo,
Antonio Puliafito:
Non-Markovian Petri Nets (Panel).
SIGMETRICS 1995: 263-264 |
| 22 | | Gianfranco Ciardo,
Ludmila Cherkasova,
Vadim E. Kotov,
Tomas Rokicki:
Modeling A Fibre Channel Switch with Stochastic Petri Nets.
SIGMETRICS 1995: 319-320 |
| 1994 |
|---|
| 21 | | Gianfranco Ciardo:
Petri Nets with Marking-Dependent Ar Cardinality: Properties and Analysis.
Application and Theory of Petri Nets 1994: 179-198 |
| 20 | | Gianfranco Ciardo,
Christoph Lindemann:
Comments on "Analysis of Self-Stabilizing Clock Synchronization by Means of Stochastic Petri Nets".
IEEE Trans. Computers 43(12): 1453-1456 (1994) |
| 19 | | Gianfranco Ciardo,
Reinhard German,
Christoph Lindemann:
A Characterization of the Stochastic Process Underlying a Stochastic Petri Net.
IEEE Trans. Software Eng. 20(7): 506-515 (1994) |
| 1993 |
|---|
| 18 | | Christoph Lindemann,
Gianfranco Ciardo,
Reinhard German,
Günter Hommel:
Performabilty Modeling of an Automated Manufacturing System with Deterministic and Stochastic Petri Nets.
ICRA (3) 1993: 576-581 |
| 17 | | Jogesh K. Muppala,
Gianfranco Ciardo,
Kishor S. Trivedi:
Modeling Using Stochastic Reward Nets.
MASCOTS 1993: 367-372 |
| 16 | | Gianfranco Ciardo,
Kishor S. Trivedi:
SPNP: The Stochastic Petri Net Package (Version 3.1).
MASCOTS 1993: 390-391 |
| 15 | | Kishor S. Trivedi,
Gianfranco Ciardo,
Manish Malhotra,
Robin A. Sahner:
Dependability and Performability Analysis.
Performance/SIGMETRICS Tutorials 1993: 587-612 |
| 14 | | Gianfranco Ciardo,
Kishor S. Trivedi:
A Decomposition Approach for Stochastic Reward Net Models.
Perform. Eval. 18(1): 37-59 (1993) |
| 13 | | Gianfranco Ciardo:
PNPM'91-4th International Workshop on Petri Nets and Performance Models.
Perform. Eval. 18(1): 97-100 (1993) |
| 1992 |
|---|
| 12 | | Gianfranco Ciardo,
Jogesh K. Muppala,
Kishor S. Trivedi:
Analyzing Concurrent and Fault-Tolerant Software Using Stochastic Reward Nets.
J. Parallel Distrib. Comput. 15(3): 255-269 (1992) |
| 1991 |
|---|
| 11 | | Gianfranco Ciardo,
Kishor S. Trivedi:
A Decomposition Approach for Stochastic Petri Net Models.
PNPM 1991: 74-83 |
| 10 | | Gianfranco Ciardo,
Jogesh K. Muppala,
Kishor S. Trivedi:
On the Solution of GSPN Reward Models.
Perform. Eval. 12(4): 237-253 (1991) |
| 1990 |
|---|
| 9 | | Gianfranco Ciardo,
Raymond A. Marie,
Bruno Sericola,
Kishor S. Trivedi:
Performability Analysis Using Semi-Markov Reard Processes.
IEEE Trans. Computers 39(10): 1251-1264 (1990) |
| 1989 |
|---|
| 8 | | Gianfranco Ciardo,
Jogesh K. Muppala,
Kishor S. Trivedi:
SPNP: Stochastic Petri Net Package.
PNPM 1989: 142-151 |
| 7 | | Joanne Bechta Dugan,
Dan C. Marinescu,
Giovanni Chiola,
Yoshio Sugasawa,
William H. Sanders,
Gianfranco Ciardo:
Panel: Applications of Performance Petri Nets.
PNPM 1989: 164 |
| 6 | | Joanne Bechta Dugan,
Gianfranco Ciardo:
Stochastic Petri Net Analysis of a Replicated File System.
IEEE Trans. Software Eng. 15(4): 394-401 (1989) |
| 5 | | Andrew L. Reibman,
Kishor S. Trivedi,
Sanjaya Kumar,
Gianfranco Ciardo:
Analysis of Stiff Markov Chains.
INFORMS Journal on Computing 1(2): 126-133 (1989) |
| 1987 |
|---|
| 4 | | Gianfranco Ciardo:
Toward a Definition of Modeling Power for Stochastic Petri Net Models.
PNPM 1987: 54-62 |
| 3 | | Joanne Bechta Dugan,
Gianfranco Ciardo:
Stochastic Petri Net Analysis of a Replicated File System.
PNPM 1987: 84-92 |
| 1985 |
|---|
| 2 | | Joanne Bechta Dugan,
Andrea Bobbio,
Gianfranco Ciardo,
Kishor S. Trivedi:
The Design of a Unified Package for the Solution of Stochastic Petri Net Models.
PNPM 1985: 6-13 |
| 1 | | M. N. Bert,
Gianfranco Ciardo,
G. Barbara Demo,
Antonio Di Leva,
Piercarlo Giolito,
C. Iacobelli,
V. Marrone:
The Logical Design in the DATAID Project: The EASYMAP System.
Computer-Aided Database Design: the DATAID approach 1985: 97-113 |
