Gianfranco Ciardo

	2012
93		Gianfranco Ciardo, Yang Zhao, Xiaoqing Jin: Ten Years of Saturation: A Petri Net Perspective. T. Petri Nets and Other Models of Concurrency 5: 51-95 (2012)
	2011
92		Xiaoqing Jin, Gianfranco Ciardo, Tae-Hyong Kim, Yang Zhao: Symbolic Verification and Test Generation for a Network of Communicating FSMs. ATVA 2011: 432-442
91		Malcolm Mumme, Gianfranco Ciardo: A Fully Symbolic Bisimulation Algorithm. RP 2011: 218-230
90		Yang Zhao, Xiaoqing Jin, Gianfranco Ciardo: A Symbolic Algorithm for Shortest EG Witness Generation. TASE 2011: 68-75
89		Stefano Lonardi, Denisa Duma, Matthew Alpert, Francesca Cordero, Marco Beccuti, Prasanna Bhat, Yonghui Wu, Gianfranco Ciardo, Burair Alsaihati, Yaqin Ma, Steve Wanamaker, Josh Resnik, Timothy J. Close: Barcoding-free BAC Pooling Enables Combinatorial Selective Sequencing of the Barley Gene Space CoRR abs/1112.4438: (2011)
88		Yang Zhao, Gianfranco Ciardo: Symbolic computation of strongly connected components and fair cycles using saturation. ISSE 7(2): 141-150 (2011)
87		Hong Zheng, Yugang Niu, Gianfranco Ciardo: Modelling and analysis of UPnP AV media player system based on Petri nets. Int. J. Systems Science 42(9): 1573-1580 (2011)
86		Ming-Ying Chung, Gianfranco Ciardo: Speculative Image Computation for Distributed Symbolic Reachability Analysis. J. Log. Comput. 21(1): 63-83 (2011)
85		Min Wan, Gianfranco Ciardo, Andrew S. Miner: Approximate steady-state analysis of large Markov models based on the structure of their decision diagram encoding. Perform. Eval. 68(5): 463-486 (2011)
	2009
84		Yang Zhao, Gianfranco Ciardo: Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation. ATVA 2009: 368-381
83		Gianfranco Ciardo, Yang Zhao, Xiaoqing Jin: Parallel symbolic state-space exploration is difficult, but what is the alternative? PDMC 2009: 1-17
82		Gianfranco Ciardo, Galen Mecham, Emmanuel Paviot-Adet, Min Wan: P-Semiflow Computation with Decision Diagrams. Petri Nets 2009: 143-162
81		Gianfranco Ciardo: Petri Net Analysis Using Decision Diagrams. QEST 2009: 7
80		Min Wan, Gianfranco Ciardo: Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams. SOFSEM 2009: 582-594
79		Min Wan, Gianfranco Ciardo: Symbolic Reachability Analysis of Integer Timed Petri Nets. SOFSEM 2009: 595-608
78		Gianfranco Ciardo, Andrew S. Miner, Min Wan: Advanced features in SMART: the stochastic model checking analyzer for reliability and timing. SIGMETRICS Performance Evaluation Review 36(4): 58-63 (2009)
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

Coauthor Index

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

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page