dblp.uni-trier.dewww.uni-trier.de

Gianfranco Ciardo Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
81EEYang Zhao, Gianfranco Ciardo: Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation. ATVA 2009: 368-381
80EEGianfranco Ciardo, Galen Mecham, Emmanuel Paviot-Adet, Min Wan: P-Semiflow Computation with Decision Diagrams. Petri Nets 2009: 143-162
79EEMin Wan, Gianfranco Ciardo: Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams. SOFSEM 2009: 582-594
78EEMin Wan, Gianfranco Ciardo: Symbolic Reachability Analysis of Integer Timed Petri Nets. SOFSEM 2009: 595-608
77EEAndy 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
76EEKishor S. Trivedi, Gianfranco Ciardo, Balakrishnan Dasarathy, Michael Grottke, Andrew Rindos, Bart Vashaw: Achieving and assuring high availability. IPDPS 2008: 1-7
75EEKishor S. Trivedi, Gianfranco Ciardo, Balakrishnan Dasarathy, Michael Grottke, Rivalino Matias, Andrew Rindos, Bart Vashaw: Achieving and Assuring High Availability. ISAS 2008: 20-25
2007
74EEJonathan Ezekiel, Gerald Lüttgen, Gianfranco Ciardo: Parallelising Symbolic State-Space Generators. CAV 2007: 268-280
73EEGianfranco Ciardo, Gerald Lüttgen, Andy Jinqing Yu: Improving Static Variable Orders Via Invariants. ICATPN 2007: 83-103
72EEGianfranco Ciardo: Data Representation and Efficient Solution: A Decision Diagram Approach. SFM 2007: 371-394
71EEAndy Jinqing Yu, Gianfranco Ciardo, Gerald Lüttgen: Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams. TACAS 2007: 648-663
70EEGianfranco 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)
69EEGianfranco 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)
68EERadu Siminiceanu, Gianfranco Ciardo: Formal verification of the NASA runway safety monitor. STTT 9(1): 63-76 (2007)
2006
67EEMing-Ying Chung, Gianfranco Ciardo, Andy Jinqing Yu: A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis. ATVA 2006: 51-66
66EEMing-Ying Chung, Gianfranco Ciardo: A dynamic firing speculation to speedup distributed symbolic state-space generation. IPDPS 2006
65EERadu Siminiceanu, Gianfranco Ciardo: New Metrics for Static Variable Ordering in Decision Diagrams. TACAS 2006: 90-104
64EEMing-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)
63EEGianfranco 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)
62EEGianfranco 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
60EEGianfranco Ciardo, Andy Jinqing Yu: Saturation-Based Symbolic Reachability Analysis Using Conjunctive and Disjunctive Partitioning. CHARME 2005: 146-161
59EEGianfranco Ciardo: Implicit Representations and Algorithms for the Logic and Stochastic Analysis of Discrete-State Systems. EPEW/WS-FM 2005: 15-17
58EERadu Siminiceanu, Gianfranco Ciardo: Formal Verification of the NASA Runway Safety Monitor. Electr. Notes Theor. Comput. Sci. 128(6): 179-194 (2005)
57EEQi 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)
56EEGianfranco Ciardo, Andrew S. Miner: Implicit data structures for logic and stochastic systems analysis. SIGMETRICS Performance Evaluation Review 32(4): 4-9 (2005)
2004
55EEGianfranco Ciardo: Reachability Set Generation for Petri Nets: Can Brute Force Be Smart? ICATPN 2004: 17-34
54EEMing-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
53EEMing-Ying Chung, Gianfranco Ciardo: Saturation NOW. QEST 2004: 272-281
52EEGianfranco Ciardo, Andrew S. Miner: SMART: The Stochastic Model checking Analyzer for Reliability and Timing. QEST 2004: 338-339
51EEAlma 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)
50EEGianfranco 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
49EEGianfranco Ciardo, Radu Siminiceanu: Structural Symbolic CTL Model Checking of Asynchronous Systems. CAV 2003: 40-53
48EEGianfranco Ciardo, R. L. Jones III, Andrew S. Miner, Radu Siminiceanu: Logical and Stochastic Modeling with SMART. Computer Performance Evaluation / TOOLS 2003: 78-97
47EEQi Zhang, Evgenia Smirni, Gianfranco Ciardo: Profit-driven Service Differentiation in Transient Environments. MASCOTS 2003: 230-233
46EEGianfranco Ciardo, Robert M. Marmorstein, Radu Siminiceanu: Saturation Unbound. TACAS 2003: 379-393
45EEAlma 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
44EEGianfranco 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
43EEGianfranco Ciardo, Radu Siminiceanu: Using Edge-Valued Decision Diagrams for Symbolic Generation of Shortest Paths. FMCAD 2002: 256-273
42EEAlma Riska, Wei Sun, Evgenia Smirni, Gianfranco Ciardo: ADAPTLOAD: Effective Balancing in Custered Web Servers Under Transient Load Conditions. ICDCS 2002: 104-111
41EEGianfranco 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
40EELudmila Cherkasova, Gianfranco Ciardo: Role of Aging, Frequency, and Size in Web Cache Replacement Policies. HPCN Europe 2001: 114-123
39EEGianfranco 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
37EEGianfranco 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
36EEGianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu: Efficient Symbolic State-Space Construction for Asynchronous Systems. ICATPN 2000: 103-122
35EEAndrew S. Miner, Gianfranco Ciardo, Susanna Donatelli: Using the exact state space of a Markov model to compute approximate stationary measures. SIGMETRICS 2000: 207-216
34EEAlma 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
33EEPeter 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
32EEAndrew S. Miner, Gianfranco Ciardo: Efficient Reachability Set Generation and Storage Using Decision Diagrams. ICATPN 1999: 6-25
31EEGianfranco 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
28EEGianfranco 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
27EEGianfranco 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
21EEGianfranco 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)
19EEGianfranco 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
6EEJoanne Bechta Dugan, Gianfranco Ciardo: Stochastic Petri Net Analysis of a Replicated File System. IEEE Trans. Software Eng. 15(4): 394-401 (1989)
5EEAndrew 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

Coauthor Index

1M. N. Bert [1]
2Andrea Bobbio [2] [23]
3Peter Buchholz [33]
4Ludmila Cherkasova [22] [40]
5Giovanni Chiola [7]
6Ming-Ying Chung [53] [54] [64] [66] [67]
7Philippe Darondeau [61]
8Balakrishnan Dasarathy [75] [76]
9G. Barbara Demo [1]
10Susanna Donatelli [33] [35] [54]
11Joanne Bechta Dugan [2] [3] [6] [7]
12Jonathan Ezekiel [74]
13Reinhard German [18] [19] [23] [41]
14Piercarlo Giolito [1]
15Joshua Gluckman [28]
16Michael Grottke [75] [76]
17Boudewijn R. Haverkort [41]
18N. He [54]
19Günter Hommel [18] [26]
20C. Iacobelli [1]
21R. L. Jones III [44] [48] [63]
22Peter Kemper [33]
23Vadim E. Kotov [22]
24Sanjaya Kumar [5]
25Antonio Di Leva [1]
26Guangzhi Li [30]
27Christoph Lindemann [18] [19] [20]
28Gerald Lüttgen [36] [39] [70] [71] [73] [74] [77]
29Manish Malhotra [15]
30Weizhen Mao [50]
31Raymond A. Marie [9]
32Dan C. Marinescu [7]
33Robert M. Marmorstein [44] [46] [62]
34V. Marrone [1]
35Rivalino Matias [75]
36Galen Mecham [80]
37Andrew S. Miner [27] [32] [35] [44] [48] [52] [56] [63] [69] [70]
38Jogesh K. Muppala [8] [10] [12] [17]
39David M. Nicol [25] [28] [31]
40Emmanuel Paviot-Adet [80]
41Brigitte Plateau [54]
42Antonio Puliafito [23]
43Andrew L. Reibman [5]
44Andrew Rindos [75] [76]
45Alma Riska [34] [38] [42] [45] [50] [51] [57]
46Tomas Rokicki [22]
47Robin A. Sahner [15]
48William H. Sanders [7]
49Bruno Sericola [9]
50Radu Siminiceanu [36] [39] [43] [44] [46] [48] [49] [58] [62] [63] [65] [68]
51Evgenia Smirni [29] [34] [38] [42] [45] [47] [50] [51] [57]
52William J. Stewart [54]
53Yoshio Sugasawa [7]
54E. Sulaiman [54]
55Wei Sun [42] [57]
56Miklós Telek [23]
57Kishor S. Trivedi [2] [5] [8] [9] [10] [11] [12] [14] [15] [16] [17] [23] [31] [75] [76]
58Bart Vashaw [75] [76]
59Min Wan [69] [78] [79] [80]
60Andy Jinqing Yu [54] [60] [67] [69] [71] [73] [77]
61Qi Zhang [47] [57]
62Yang Zhao [81]
63Robert Zijal [24] [26]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)