Search the dblp DataBase
Gianfranco Ciardo :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Joanne Bechta Dugan , Gianfranco Ciardo Stochastic Petri Net Analysis of a Replicated File System. [Citation Graph (3, 0)][DBLP ] IEEE Trans. Software Eng., 1989, v:15, n:4, pp:394-401 [Journal ] Gianfranco Ciardo Reachability Set Generation for Petri Nets: Can Brute Force Be Smart? [Citation Graph (0, 0)][DBLP ] ICATPN, 2004, pp:17-34 [Conf ] Gianfranco Ciardo Petri Nets with Marking-Dependent Ar Cardinality: Properties and Analysis. [Citation Graph (0, 0)][DBLP ] Application and Theory of Petri Nets, 1994, pp:179-198 [Conf ] Gianfranco Ciardo , Gerald Lüttgen , Radu Siminiceanu Efficient Symbolic State-Space Construction for Asynchronous Systems. [Citation Graph (0, 0)][DBLP ] ICATPN, 2000, pp:103-122 [Conf ] Andrew S. Miner , Gianfranco Ciardo Efficient Reachability Set Generation and Storage Using Decision Diagrams. [Citation Graph (0, 0)][DBLP ] ICATPN, 1999, pp:6-25 [Conf ] Ming-Ying Chung , Gianfranco Ciardo , Andy Jinqing Yu A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis. [Citation Graph (0, 0)][DBLP ] ATVA, 2006, pp:51-66 [Conf ] Gianfranco Ciardo , Radu Siminiceanu Structural Symbolic CTL Model Checking of Asynchronous Systems. [Citation Graph (0, 0)][DBLP ] CAV, 2003, pp:40-53 [Conf ] Gianfranco Ciardo , Andy Jinqing Yu Saturation-Based Symbolic Reachability Analysis Using Conjunctive and Disjunctive Partitioning. [Citation Graph (0, 0)][DBLP ] CHARME, 2005, pp:146-161 [Conf ] Gianfranco Ciardo , R. L. Jones III , Andrew S. Miner , Radu Siminiceanu Logical and Stochastic Modeling with SMART. [Citation Graph (0, 0)][DBLP ] Computer Performance Evaluation / TOOLS, 2003, pp:78-97 [Conf ] Gianfranco Ciardo , Andrew S. Miner Storage Alternatives for Large Structured State Spaces. [Citation Graph (0, 0)][DBLP ] Computer Performance Evaluation, 1997, pp:44-57 [Conf ] Gianfranco Ciardo , R. L. Jones III , Robert M. Marmorstein , Andrew S. Miner , Radu Siminiceanu SMART: Stochastic Model-checking Analyzer for Reliability and Timing. [Citation Graph (0, 0)][DBLP ] DSN, 2002, pp:545- [Conf ] Gianfranco Ciardo Distributed and Structured Analysis Approaches to Study Large and Complex Systems. [Citation Graph (0, 0)][DBLP ] European Educational Forum: School on Formal Methods and Performance Analysis, 2000, pp:344-374 [Conf ] Gianfranco Ciardo Implicit Representations and Algorithms for the Logic and Stochastic Analysis of Discrete-State Systems. [Citation Graph (0, 0)][DBLP ] EPEW/WS-FM, 2005, pp:15-17 [Conf ] Gianfranco Ciardo , Radu Siminiceanu Using Edge-Valued Decision Diagrams for Symbolic Generation of Shortest Paths. [Citation Graph (0, 0)][DBLP ] FMCAD, 2002, pp:256-273 [Conf ] Ludmila Cherkasova , Gianfranco Ciardo Role of Aging, Frequency, and Size in Web Cache Replacement Policies. [Citation Graph (0, 0)][DBLP ] HPCN Europe, 2001, pp:114-123 [Conf ] Alma Riska , Wei Sun , Evgenia Smirni , Gianfranco Ciardo ADAPTLOAD: Effective Balancing in Custered Web Servers Under Transient Load Conditions. [Citation Graph (0, 0)][DBLP ] ICDCS, 2002, pp:104-111 [Conf ] Christoph Lindemann , Gianfranco Ciardo , Reinhard German , Günter Hommel Performabilty Modeling of an Automated Manufacturing System with Deterministic and Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP ] ICRA (3), 1993, pp:576-581 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] IPDPS Next Generation Software Program - NSFNGS - PI Workshop, 2004, pp:- [Conf ] Ming-Ying Chung , Gianfranco Ciardo A dynamic firing speculation to speedup distributed symbolic state-space generation. [Citation Graph (0, 0)][DBLP ] IPDPS, 2006, pp:- [Conf ] Gianfranco Ciardo , Kishor S. Trivedi SPNP: The Stochastic Petri Net Package (Version 3.1). [Citation Graph (0, 0)][DBLP ] MASCOTS, 1993, pp:390-391 [Conf ] Gianfranco Ciardo , Robert Zijal Well-Defined Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP ] MASCOTS, 1996, pp:278-284 [Conf ] Jogesh K. Muppala , Gianfranco Ciardo , Kishor S. Trivedi Modeling Using Stochastic Reward Nets. [Citation Graph (0, 0)][DBLP ] MASCOTS, 1993, pp:367-372 [Conf ] Qi Zhang , Evgenia Smirni , Gianfranco Ciardo Profit-driven Service Differentiation in Transient Environments. [Citation Graph (0, 0)][DBLP ] MASCOTS, 2003, pp:230-233 [Conf ] Robert Zijal , Gianfranco Ciardo , Günter Hommel Discrete Deterministic and Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP ] MMB, 1997, pp:103-117 [Conf ] Gianfranco Ciardo Toward a Definition of Modeling Power for Stochastic Petri Net Models. [Citation Graph (0, 0)][DBLP ] PNPM, 1987, pp:54-62 [Conf ] Gianfranco Ciardo , Jogesh K. Muppala , Kishor S. Trivedi SPNP: Stochastic Petri Net Package. [Citation Graph (0, 0)][DBLP ] PNPM, 1989, pp:142-151 [Conf ] Gianfranco Ciardo , Kishor S. Trivedi A Decomposition Approach for Stochastic Petri Net Models. [Citation Graph (0, 0)][DBLP ] PNPM, 1991, pp:74-83 [Conf ] Joanne Bechta Dugan , Andrea Bobbio , Gianfranco Ciardo , Kishor S. Trivedi The Design of a Unified Package for the Solution of Stochastic Petri Net Models. [Citation Graph (0, 0)][DBLP ] PNPM, 1985, pp:6-13 [Conf ] Joanne Bechta Dugan , Gianfranco Ciardo Stochastic Petri Net Analysis of a Replicated File System. [Citation Graph (0, 0)][DBLP ] PNPM, 1987, pp:84-92 [Conf ] Joanne Bechta Dugan , Dan C. Marinescu , Giovanni Chiola , Yoshio Sugasawa , William H. Sanders , Gianfranco Ciardo Panel: Applications of Performance Petri Nets. [Citation Graph (0, 0)][DBLP ] PNPM, 1989, pp:164- [Conf ] Ming-Ying Chung , Gianfranco Ciardo Saturation NOW. [Citation Graph (0, 0)][DBLP ] QEST, 2004, pp:272-281 [Conf ] Gianfranco Ciardo , Andrew S. Miner SMART: The Stochastic Model checking Analyzer for Reliability and Timing. [Citation Graph (0, 0)][DBLP ] QEST, 2004, pp:338-339 [Conf ] Gianfranco Ciardo , Ludmila Cherkasova , Vadim E. Kotov , Tomas Rokicki Modeling A Fibre Channel Switch with Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP ] SIGMETRICS, 1995, pp:319-320 [Conf ] Andrew S. Miner , Gianfranco Ciardo , Susanna Donatelli Using the exact state space of a Markov model to compute approximate stationary measures. [Citation Graph (0, 0)][DBLP ] SIGMETRICS, 2000, pp:207-216 [Conf ] Kishor S. Trivedi , Andrea Bobbio , Miklós Telek , Reinhard German , Gianfranco Ciardo , Antonio Puliafito Non-Markovian Petri Nets (Panel). [Citation Graph (0, 0)][DBLP ] SIGMETRICS, 1995, pp:263-264 [Conf ] Kishor S. Trivedi , Gianfranco Ciardo , Manish Malhotra , Robin A. Sahner Dependability and Performability Analysis. [Citation Graph (0, 0)][DBLP ] Performance/SIGMETRICS Tutorials, 1993, pp:587-612 [Conf ] Gianfranco Ciardo , Gerald Lüttgen , Radu Siminiceanu Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation. [Citation Graph (0, 0)][DBLP ] TACAS, 2001, pp:328-342 [Conf ] Gianfranco Ciardo , Robert M. Marmorstein , Radu Siminiceanu Saturation Unbound. [Citation Graph (0, 0)][DBLP ] TACAS, 2003, pp:379-393 [Conf ] Radu Siminiceanu , Gianfranco Ciardo New Metrics for Static Variable Ordering in Decision Diagrams. [Citation Graph (0, 0)][DBLP ] TACAS, 2006, pp:90-104 [Conf ] Alma Riska , Evgenia Smirni , Gianfranco Ciardo Analytic modeling of load balancing policies for tasks with heavy-tailed distributions. [Citation Graph (0, 0)][DBLP ] Workshop on Software and Performance, 2000, pp:147-157 [Conf ] Ming-Ying Chung , Gianfranco Ciardo A Pattern Recognition Approach for Speculative Firing Prediction in Distributed Saturation State-Space Generation. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:135, n:2, pp:65-80 [Journal ] Radu Siminiceanu , Gianfranco Ciardo Formal Verification of the NASA Runway Safety Monitor. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:128, n:6, pp:179-194 [Journal ] Peter Buchholz , Gianfranco Ciardo , Susanna Donatelli , Peter Kemper Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models. [Citation Graph (0, 0)][DBLP ] INFORMS Journal on Computing, 2000, v:12, n:3, pp:203-222 [Journal ] Gianfranco Ciardo , Jogesh K. Muppala , Kishor S. Trivedi Analyzing Concurrent and Fault-Tolerant Software Using Stochastic Reward Nets. [Citation Graph (0, 0)][DBLP ] J. Parallel Distrib. Comput., 1992, v:15, n:3, pp:255-269 [Journal ] David M. Nicol , Gianfranco Ciardo Automated Parallelization of Discrete State-Space Generation. [Citation Graph (0, 0)][DBLP ] J. Parallel Distrib. Comput., 1997, v:47, n:2, pp:153-167 [Journal ] Gianfranco Ciardo PNPM'91-4th International Workshop on Petri Nets and Performance Models. [Citation Graph (0, 0)][DBLP ] Perform. Eval., 1993, v:18, n:1, pp:97-100 [Journal ] Gianfranco Ciardo , Guangzhi Li Approximate Transient Analysis for Subclasses of Deterministic and Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP ] Perform. Eval., 1999, v:35, n:3-4, pp:109-129 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Perform. Eval., 2004, v:57, n:3, pp:235-260 [Journal ] Gianfranco Ciardo , Jogesh K. Muppala , Kishor S. Trivedi On the Solution of GSPN Reward Models. [Citation Graph (0, 0)][DBLP ] Perform. Eval., 1991, v:12, n:4, pp:237-253 [Journal ] Gianfranco Ciardo , Alma Riska , Evgenia Smirni EQUILOAD: a load balancing policy for clustered web servers. [Citation Graph (0, 0)][DBLP ] Perform. Eval., 2001, v:46, n:2-3, pp:101-124 [Journal ] Gianfranco Ciardo , Evgenia Smirni ETAQA: An Efficient Technique for the Analysis of QBD-Processes by Aggregation. [Citation Graph (0, 0)][DBLP ] Perform. Eval., 1999, v:36, n:1-4, pp:71-93 [Journal ] Gianfranco Ciardo , Kishor S. Trivedi A Decomposition Approach for Stochastic Reward Net Models. [Citation Graph (0, 0)][DBLP ] Perform. Eval., 1993, v:18, n:1, pp:37-59 [Journal ] Gianfranco Ciardo , R. L. Jones III , Andrew S. Miner , Radu Siminiceanu Logic and stochastic modeling with S m A r T. [Citation Graph (0, 0)][DBLP ] Perform. Eval., 2006, v:63, n:6, pp:578-608 [Journal ] Gianfranco Ciardo , Andrew S. Miner Implicit data structures for logic and stochastic systems analysis. [Citation Graph (0, 0)][DBLP ] SIGMETRICS Performance Evaluation Review, 2005, v:32, n:4, pp:4-9 [Journal ] Alma Riska , Evgenia Smirni , Gianfranco Ciardo An aggregation-based method for the exact analysis of a class of GI/G/1-type processes. [Citation Graph (0, 0)][DBLP ] SIGMETRICS Performance Evaluation Review, 2003, v:31, n:2, pp:28-30 [Journal ] Gianfranco Ciardo , Robert M. Marmorstein , Radu Siminiceanu The saturation algorithm for symbolic state-space exploration. [Citation Graph (0, 0)][DBLP ] STTT, 2006, v:8, n:1, pp:4-25 [Journal ] Gianfranco Ciardo , Christoph Lindemann Comments on "Analysis of Self-Stabilizing Clock Synchronization by Means of Stochastic Petri Nets". [Citation Graph (0, 0)][DBLP ] IEEE Trans. Computers, 1994, v:43, n:12, pp:1453-1456 [Journal ] Gianfranco Ciardo , Raymond A. Marie , Bruno Sericola , Kishor S. Trivedi Performability Analysis Using Semi-Markov Reard Processes. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Computers, 1990, v:39, n:10, pp:1251-1264 [Journal ] Qi Zhang , Alma Riska , Wei Sun , Evgenia Smirni , Gianfranco Ciardo Workload-Aware Load Balancing for Clustered Web Servers. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Parallel Distrib. Syst., 2005, v:16, n:3, pp:219-233 [Journal ] Gianfranco Ciardo , Reinhard German , Boudewijn R. Haverkort Introduction to the Special Section on Petri Nets and Performance Models. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2002, v:28, n:10, pp:913-914 [Journal ] Gianfranco Ciardo , Reinhard German , Christoph Lindemann A Characterization of the Stochastic Process Underlying a Stochastic Petri Net. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1994, v:20, n:7, pp:506-515 [Journal ] Gianfranco Ciardo , David M. Nicol , Kishor S. Trivedi Discrete-Event Simulation of Fluid Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1999, v:25, n:2, pp:207-217 [Journal ] Gianfranco Ciardo , Gerald Lüttgen , Andy Jinqing Yu Improving Static Variable Orders Via Invariants. [Citation Graph (0, 0)][DBLP ] ICATPN, 2007, pp:83-103 [Conf ] Jonathan Ezekiel , Gerald Lüttgen , Gianfranco Ciardo Parallelising Symbolic State-Space Generators. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:268-280 [Conf ] Gianfranco Ciardo Data Representation and Efficient Solution: A Decision Diagram Approach. [Citation Graph (0, 0)][DBLP ] SFM, 2007, pp:371-394 [Conf ] Andy Jinqing Yu , Gianfranco Ciardo , Gerald Lüttgen Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams. [Citation Graph (0, 0)][DBLP ] TACAS, 2007, pp:648-663 [Conf ] Gianfranco Ciardo , Gerald Lüttgen , Andrew S. Miner Exploiting interleaving semantics in symbolic state-space generation. [Citation Graph (0, 0)][DBLP ] Formal Methods in System Design, 2007, v:31, n:1, pp:63-100 [Journal ] Radu Siminiceanu , Gianfranco Ciardo Formal verification of the NASA runway safety monitor. [Citation Graph (0, 0)][DBLP ] STTT, 2007, v:9, n:1, pp:63-76 [Journal ] Alma Riska , Evgenia Smirni , Gianfranco Ciardo Exact analysis of a class of GI/G/1-type performability models. [Citation Graph (0, 0)][DBLP ] IEEE Transactions on Reliability, 2004, v:53, n:2, pp:238-249 [Journal ] P-Semiflow Computation with Decision Diagrams. [Citation Graph (, )][DBLP ] Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation. [Citation Graph (, )][DBLP ] Achieving and assuring high availability. [Citation Graph (, )][DBLP ] Achieving and Assuring High Availability. [Citation Graph (, )][DBLP ] Petri Net Analysis Using Decision Diagrams. [Citation Graph (, )][DBLP ] Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams. [Citation Graph (, )][DBLP ] Symbolic Reachability Analysis of Integer Timed Petri Nets. [Citation Graph (, )][DBLP ] Parallel symbolic state-space exploration is difficult, but what is the alternative? [Citation Graph (, )][DBLP ] Search in 0.051secs, Finished in 0.057secs