The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Gianfranco Ciardo: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Gianfranco Ciardo
    Reachability Set Generation for Petri Nets: Can Brute Force Be Smart? [Citation Graph (0, 0)][DBLP]
    ICATPN, 2004, pp:17-34 [Conf]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. Gianfranco Ciardo, Radu Siminiceanu
    Structural Symbolic CTL Model Checking of Asynchronous Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 2003, pp:40-53 [Conf]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. Gianfranco Ciardo, Robert Zijal
    Well-Defined Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP]
    MASCOTS, 1996, pp:278-284 [Conf]
  22. Jogesh K. Muppala, Gianfranco Ciardo, Kishor S. Trivedi
    Modeling Using Stochastic Reward Nets. [Citation Graph (0, 0)][DBLP]
    MASCOTS, 1993, pp:367-372 [Conf]
  23. Qi Zhang, Evgenia Smirni, Gianfranco Ciardo
    Profit-driven Service Differentiation in Transient Environments. [Citation Graph (0, 0)][DBLP]
    MASCOTS, 2003, pp:230-233 [Conf]
  24. Robert Zijal, Gianfranco Ciardo, Günter Hommel
    Discrete Deterministic and Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP]
    MMB, 1997, pp:103-117 [Conf]
  25. Gianfranco Ciardo
    Toward a Definition of Modeling Power for Stochastic Petri Net Models. [Citation Graph (0, 0)][DBLP]
    PNPM, 1987, pp:54-62 [Conf]
  26. Gianfranco Ciardo, Jogesh K. Muppala, Kishor S. Trivedi
    SPNP: Stochastic Petri Net Package. [Citation Graph (0, 0)][DBLP]
    PNPM, 1989, pp:142-151 [Conf]
  27. Gianfranco Ciardo, Kishor S. Trivedi
    A Decomposition Approach for Stochastic Petri Net Models. [Citation Graph (0, 0)][DBLP]
    PNPM, 1991, pp:74-83 [Conf]
  28. 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]
  29. 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]
  30. 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]
  31. Ming-Ying Chung, Gianfranco Ciardo
    Saturation NOW. [Citation Graph (0, 0)][DBLP]
    QEST, 2004, pp:272-281 [Conf]
  32. 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]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. Gianfranco Ciardo, Robert M. Marmorstein, Radu Siminiceanu
    Saturation Unbound. [Citation Graph (0, 0)][DBLP]
    TACAS, 2003, pp:379-393 [Conf]
  39. Radu Siminiceanu, Gianfranco Ciardo
    New Metrics for Static Variable Ordering in Decision Diagrams. [Citation Graph (0, 0)][DBLP]
    TACAS, 2006, pp:90-104 [Conf]
  40. 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]
  41. 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]
  42. 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]
  43. 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]
  44. 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]
  45. 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]
  46. 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]
  47. 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]
  48. 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]
  49. 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]
  50. 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]
  51. 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]
  52. 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]
  53. 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]
  54. 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]
  55. 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]
  56. 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]
  57. 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]
  58. 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]
  59. 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]
  60. 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]
  61. 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]
  62. 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]
  63. 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]
  64. Jonathan Ezekiel, Gerald Lüttgen, Gianfranco Ciardo
    Parallelising Symbolic State-Space Generators. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:268-280 [Conf]
  65. Gianfranco Ciardo
    Data Representation and Efficient Solution: A Decision Diagram Approach. [Citation Graph (0, 0)][DBLP]
    SFM, 2007, pp:371-394 [Conf]
  66. 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]
  67. 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]
  68. 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]
  69. 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]

  70. P-Semiflow Computation with Decision Diagrams. [Citation Graph (, )][DBLP]


  71. Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation. [Citation Graph (, )][DBLP]


  72. Achieving and assuring high availability. [Citation Graph (, )][DBLP]


  73. Achieving and Assuring High Availability. [Citation Graph (, )][DBLP]


  74. Petri Net Analysis Using Decision Diagrams. [Citation Graph (, )][DBLP]


  75. Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams. [Citation Graph (, )][DBLP]


  76. Symbolic Reachability Analysis of Integer Timed Petri Nets. [Citation Graph (, )][DBLP]


  77. Parallel symbolic state-space exploration is difficult, but what is the alternative? [Citation Graph (, )][DBLP]


Search in 0.104secs, Finished in 0.108secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002