default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGianfranco Ciardo
Person information
- affiliation: Iowa State University, Ames, Iowa, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c85]Gianfranco Ciardo
, Andrew S. Miner, Lichuan Deng, Junaid Babar:
RexBDDs: Reduction-on-Edge Complement-and-Swap Binary Decision Diagrams. DAC 2024: 319:1-319:6- [c84]Dave Gomboc, Christian R. Shelton, Andrew S. Miner, Gianfranco Ciardo:
Comparing Lossless Compression Methods for Chess Endgame Data. ECAI 2024: 4116-4123 - 2023
- [c83]Seyedehzahra Hosseini, Gianfranco Ciardo:
Computing Under-approximations of Multivalued Decision Diagrams. Petri Nets 2023: 243-263 - [c82]Gianfranco Ciardo, Andrew S. Miner:
Research Directions in Decision Diagram Technology. JVA 2023: 46-53 - [e3]Maciej Koutny, Robin Bergenthum, Gianfranco Ciardo:
Transactions on Petri Nets and Other Models of Concurrency XVII. Lecture Notes in Computer Science 14150, Springer 2023, ISBN 978-3-662-68190-9 [contents] - 2022
- [j42]Junaid Babar, Gianfranco Ciardo, Andrew S. Miner:
CESRBDDs: binary decision diagrams with complemented edges and edge-specified reductions. Int. J. Softw. Tools Technol. Transf. 24(1): 89-109 (2022) - [c81]Eshita Zaman, Gianfranco Ciardo, Erika Ábrahám, Borzoo Bonakdarpour:
HyperPCTL Model Checking by Probabilistic Decomposition. IFM 2022: 209-226 - [c80]Yousra Lembachar, Ryan Rusich, Iulian Neamtiu, Gianfranco Ciardo:
Bddl: A Type System for Binary Decision Diagrams. TAP@STAF 2022: 31-47 - 2020
- [j41]Elvio Gilberto Amparore, Susanna Donatelli, Gianfranco Ciardo:
Variable order metrics for decision diagrams in system verification. Int. J. Softw. Tools Technol. Transf. 22(5): 541-562 (2020)
2010 – 2019
- 2019
- [c79]Elvio Gilberto Amparore, Bernard Berthomieu, Gianfranco Ciardo, Silvano Dal-Zilio, Francesco Gallà, Lom-Messan Hillah, Francis Hulin-Hubard, Peter Gjøl Jensen, Loïg Jezequel, Fabrice Kordon, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Andrew S. Miner, Emmanuel Paviot-Adet, Jirí Srba, Yann Thierry-Mieg, Tom van Dijk, Karsten Wolf:
Presentation of the 9th Edition of the Model Checking Contest. TACAS (3) 2019: 50-68 - [c78]Elvio Gilberto Amparore, Gianfranco Ciardo, Susanna Donatelli, Andrew S. Miner:
i _\mathrm Rank : A Variable Order Metric for DEDS Subject to Linear Invariants. TACAS (2) 2019: 285-302 - [c77]Junaid Babar, Chuan Jiang, Gianfranco Ciardo, Andrew S. Miner:
Binary Decision Diagrams with Edge-Specified Reductions. TACAS (2) 2019: 303-318 - [p2]Gianfranco Balbo, Gianfranco Ciardo:
On Petri Nets in Performance and Reliability Evaluation of Discrete Event Dynamic Systems. Carl Adam Petri: Ideas, Personality, Impact 2019: 173-185 - 2018
- [c76]Benjamin Smith, Gianfranco Ciardo:
SOUPS: A Variable Ordering Metric for the Saturation Algorithm. ACSD 2018: 1-10 - [c75]Chuan Jiang, Gianfranco Ciardo:
Improving SAT-based Bounded Model Checking for Existential CTL through Path Reuse. LPAR 2018: 471-487 - [c74]Chuan Jiang, Gianfranco Ciardo:
Generation of Minimum Tree-Like Witnesses for Existential CTL. TACAS (1) 2018: 328-343 - 2015
- [j40]Stefano Lonardi, Seyed Hamid Mirebrahim, Steve Wanamaker, Matthew Alpert, Gianfranco Ciardo, Denisa Duma, Timothy J. Close:
When less is more: 'slicing' sequencing data improves read decoding accuracy and de novo assembly quality. Bioinform. 31(18): 2972-2980 (2015) - [c73]Pietro Piazzolla, Gianfranco Ciardo, Andrew S. Miner:
Power Consumption Analysis of Replicated Virtual Applications. ASMTA 2015: 188-202 - [c72]Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort, Gianfranco Ciardo:
Approximate Analysis of Hybrid Petri Nets with Probabilistic Timed Transitions. VALUETOOLS 2015: 127-134 - [c71]Denise Duma, Francesca Cordero, Marco Beccuti, Gianfranco Ciardo, Timothy J. Close, Stefano Lonardi:
Scrible: Ultra-Accurate Error-Correction of Pooled Sequenced Reads. WABI 2015: 162-174 - 2014
- [j39]Christian R. Shelton, Gianfranco Ciardo:
Tutorial on Structured Continuous-Time Markov Processes. J. Artif. Intell. Res. 51: 725-778 (2014) - [j38]Xiaoqing Jin, Yousra Lembachar, Gianfranco Ciardo:
Symbolic Termination and Confluence Checking for ECA Rules. Trans. Petri Nets Other Model. Concurr. 9: 99-123 (2014) - [c70]Hind Alhakami, Gianfranco Ciardo, Marek Chrobak:
Sequence Decision Diagrams. SPIRE 2014: 149-160 - [e2]Gianfranco Ciardo, Ekkart Kindler:
Application and Theory of Petri Nets and Concurrency - 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings. Lecture Notes in Computer Science 8489, Springer 2014, ISBN 978-3-319-07733-8 [contents] - 2013
- [j37]Malcolm Mumme, Gianfranco Ciardo:
An Efficient Fully Symbolic Bisimulation Algorithm for Non-Deterministic Systems. Int. J. Found. Comput. Sci. 24(2): 263-282 (2013) - [j36]Stefano Lonardi, Denisa Duma, Matthew Alpert, Francesca Cordero, Marco Beccuti, Prasanna R. Bhat, Yonghui Wu, Gianfranco Ciardo, Burair Alsaihati, Yaqin Ma, Steve Wanamaker, Josh Resnik, Serdar Bozdag, Ming-Cheng Luo, Timothy J. Close:
Combinatorial Pooling Enables Selective Sequencing of the Barley Gene Space. PLoS Comput. Biol. 9(4) (2013) - [c69]Xiaoqing Jin, Yousra Lembachar, Gianfranco Ciardo:
Symbolic verification of ECA rules. PNSE+ModPE 2013: 41-59 - [c68]Yang Zhao, Gianfranco Ciardo:
Tackling Truncation Errors in CSL Model Checking through Bounding Semantics. EPEW 2013: 58-73 - [c67]Denisa Duma, Mary Wootters, Anna C. Gilbert, Hung Q. Ngo, Atri Rudra, Matthew Alpert, Timothy J. Close, Gianfranco Ciardo, Stefano Lonardi:
Accurate Decoding of Pooled Sequenced Data Using Compressed Sensing. WABI 2013: 70-84 - 2012
- [j35]Gianfranco Ciardo, Roberto Segala:
Selected papers from QEST 2010. Perform. Evaluation 69(7-8): 297-298 (2012) - [j34]Gianfranco Ciardo, Yang Zhao, Xiaoqing Jin:
Ten Years of Saturation: A Petri Net Perspective. Trans. Petri Nets Other Model. Concurr. 5: 51-95 (2012) - [c66]Yang Zhao, Gianfranco Ciardo:
A Two-Phase Gauss-Seidel Algorithm for the Stationary Solution of EVMDD-Encoded CTMCs. QEST 2012: 74-83 - 2011
- [j33]Hong Zheng, Yugang Niu, Gianfranco Ciardo:
Modelling and analysis of UPnP AV media player system based on Petri nets. Int. J. Syst. Sci. 42(9): 1573-1580 (2011) - [j32]Yang Zhao, Gianfranco Ciardo:
Symbolic computation of strongly connected components and fair cycles using saturation. Innov. Syst. Softw. Eng. 7(2): 141-150 (2011) - [j31]Ming-Ying Chung, Gianfranco Ciardo:
Speculative Image Computation for Distributed Symbolic Reachability Analysis. J. Log. Comput. 21(1): 63-83 (2011) - [j30]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. Evaluation 68(5): 463-486 (2011) - [c65]Xiaoqing Jin, Gianfranco Ciardo, Tae-Hyong Kim, Yang Zhao:
Symbolic Verification and Test Generation for a Network of Communicating FSMs. ATVA 2011: 432-442 - [c64]Malcolm Mumme, Gianfranco Ciardo:
A Fully Symbolic Bisimulation Algorithm. RP 2011: 218-230 - [c63]Yang Zhao, Xiaoqing Jin, Gianfranco Ciardo:
A Symbolic Algorithm for Shortest EG Witness Generation. TASE 2011: 68-75 - [i1]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) - 2010
- [c62]Yang Zhao, Gianfranco Ciardo:
Symbolic Computation of Strongly Connected Components Using Saturation. NASA Formal Methods 2010: 202-211
2000 – 2009
- 2009
- [j29]Gianfranco Ciardo, Andrew S. Miner, Min Wan:
Advanced features in SMART: the stochastic model checking analyzer for reliability and timing. SIGMETRICS Perform. Evaluation Rev. 36(4): 58-63 (2009) - [j28]Andy Jinqing Yu, Gianfranco Ciardo, Gerald Lüttgen:
Decision-diagram-based techniques for bounded reachability checking of asynchronous systems. Int. J. Softw. Tools Technol. Transf. 11(2): 117-131 (2009) - [c61]Gianfranco Ciardo, Galen Mecham, Emmanuel Paviot-Adet, Min Wan:
P-Semiflow Computation with Decision Diagrams. Petri Nets 2009: 143-162 - [c60]Yang Zhao, Gianfranco Ciardo:
Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation. ATVA 2009: 368-381 - [c59]Gianfranco Ciardo:
Petri Net Analysis Using Decision Diagrams. QEST 2009: 7 - [c58]Min Wan, Gianfranco Ciardo:
Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams. SOFSEM 2009: 582-594 - [c57]Min Wan, Gianfranco Ciardo:
Symbolic Reachability Analysis of Integer Timed Petri Nets. SOFSEM 2009: 595-608 - [c56]Gianfranco Ciardo, Yang Zhao, Xiaoqing Jin:
Parallel symbolic state-space exploration is difficult, but what is the alternative? PDMC 2009: 1-17 - 2008
- [c55]Kishor S. Trivedi, Gianfranco Ciardo, Balakrishnan Dasarathy, Michael Grottke, Andrew J. Rindos, Bart Vashaw:
Achieving and assuring high availability. IPDPS 2008: 1-7 - [c54]Kishor S. Trivedi, Gianfranco Ciardo, Balakrishnan Dasarathy, Michael Grottke, Rivalino Matias, Andrew J. Rindos, Bart Vashaw:
Achieving and Assuring High Availability. ISAS 2008: 20-25 - 2007
- [j27]Gianfranco Ciardo, Gerald Lüttgen, Andrew S. Miner:
Exploiting interleaving semantics in symbolic state-space generation. Formal Methods Syst. Des. 31(1): 63-100 (2007) - [j26]Gianfranco Ciardo, Andrew S. Miner, Min Wan, Andy Jinqing Yu:
Approximating stationary measures of structured continuous-time Markov models using matrix diagrams. SIGMETRICS Perform. Evaluation Rev. 35(3): 16-18 (2007) - [j25]Radu Siminiceanu, Gianfranco Ciardo:
Formal verification of the NASA runway safety monitor. Int. J. Softw. Tools Technol. Transf. 9(1): 63-76 (2007) - [c53]Gianfranco Ciardo, Gerald Lüttgen, Andy Jinqing Yu:
Improving Static Variable Orders Via Invariants. ICATPN 2007: 83-103 - [c52]Jonathan Ezekiel, Gerald Lüttgen, Gianfranco Ciardo:
Parallelising Symbolic State-Space Generators. CAV 2007: 268-280 - [c51]Gianfranco Ciardo:
Data Representation and Efficient Solution: A Decision Diagram Approach. SFM 2007: 371-394 - [c50]Andy Jinqing Yu, Gianfranco Ciardo, Gerald Lüttgen:
Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams. TACAS 2007: 648-663 - 2006
- [j24]Gianfranco Ciardo, R. L. Jones III, Andrew S. Miner, Radu Siminiceanu:
Logic and stochastic modeling with S m A r T. Perform. Evaluation 63(6): 578-608 (2006) - [j23]Gianfranco Ciardo, Robert M. Marmorstein, Radu Siminiceanu:
The saturation algorithm for symbolic state-space exploration. Int. J. Softw. Tools Technol. Transf. 8(1): 4-25 (2006) - [c49]Ming-Ying Chung, Gianfranco Ciardo, Andy Jinqing Yu:
A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis. ATVA 2006: 51-66 - [c48]Ming-Ying Chung, Gianfranco Ciardo:
A dynamic firing speculation to speedup distributed symbolic state-space generation. IPDPS 2006 - [c47]Radu Siminiceanu, Gianfranco Ciardo:
New Metrics for Static Variable Ordering in Decision Diagrams. TACAS 2006: 90-104 - 2005
- [j22]Gianfranco Ciardo, Andrew S. Miner:
Implicit data structures for logic and stochastic systems analysis. SIGMETRICS Perform. Evaluation Rev. 32(4): 4-9 (2005) - [j21]Qi Zhang, Alma Riska, Wei Sun, Evgenia Smirni, Gianfranco Ciardo:
Workload-Aware Load Balancing for Clustered Web Servers. IEEE Trans. Parallel Distributed Syst. 16(3): 219-233 (2005) - [c46]Gianfranco Ciardo, Andy Jinqing Yu:
Saturation-Based Symbolic Reachability Analysis Using Conjunctive and Disjunctive Partitioning. CHARME 2005: 146-161 - [c45]Gianfranco Ciardo:
Implicit Representations and Algorithms for the Logic and Stochastic Analysis of Discrete-State Systems. EPEW/WS-FM 2005: 15-17 - [c44]Ming-Ying Chung, Gianfranco Ciardo:
A Pattern Recognition Approach for Speculative Firing Prediction in Distributed Saturation State-Space Generation. PDMC@ICALP 2005: 65-80 - [e1]Gianfranco Ciardo, Philippe Darondeau:
Applications and Theory of Petri Nets 2005, 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005, Proceedings. Lecture Notes in Computer Science 3536, Springer 2005, ISBN 3-540-26301-2 [contents] - 2004
- [j20]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. Evaluation 57(3): 235-260 (2004) - [j19]Alma Riska, Evgenia Smirni, Gianfranco Ciardo:
Exact analysis of a class of GI/G/1-type performability models. IEEE Trans. Reliab. 53(2): 238-249 (2004) - [c43]Gianfranco Ciardo:
Reachability Set Generation for Petri Nets: Can Brute Force Be Smart? ICATPN 2004: 17-34 - [c42]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 - [c41]Ming-Ying Chung, Gianfranco Ciardo:
Saturation NOW. QEST 2004: 272-281 - [c40]Gianfranco Ciardo, Andrew S. Miner:
SMART: The Stochastic Model checking Analyzer for Reliability and Timing. QEST 2004: 338-339 - [c39]Radu Siminiceanu, Gianfranco Ciardo:
Formal Verification of the NASA Runway Safety Monitor. AVoCS 2004: 179-194 - 2003
- [j18]Alma Riska, Evgenia Smirni, Gianfranco Ciardo:
An aggregation-based method for the exact analysis of a class of GI/G/1-type processes. SIGMETRICS Perform. Evaluation Rev. 31(2): 28-30 (2003) - [c38]Gianfranco Ciardo, Radu Siminiceanu:
Structural Symbolic CTL Model Checking of Asynchronous Systems. CAV 2003: 40-53 - [c37]Gianfranco Ciardo, R. L. Jones III, Andrew S. Miner, Radu Siminiceanu:
Logical and Stochastic Modeling with SMART. Computer Performance Evaluation / TOOLS 2003: 78-97 - [c36]Qi Zhang, Evgenia Smirni, Gianfranco Ciardo:
Profit-driven Service Differentiation in Transient Environments. MASCOTS 2003: 230-233 - [c35]Gianfranco Ciardo, Robert M. Marmorstein, Radu Siminiceanu:
Saturation Unbound. TACAS 2003: 379-393 - 2002
- [j17]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) - [c34]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 - [c33]Gianfranco Ciardo, Radu Siminiceanu:
Using Edge-Valued Decision Diagrams for Symbolic Generation of Shortest Paths. FMCAD 2002: 256-273 - [c32]Alma Riska, Wei Sun, Evgenia Smirni, Gianfranco Ciardo:
ADAPTLOAD: Effective Balancing in Custered Web Servers Under Transient Load Conditions. ICDCS 2002: 104-111 - 2001
- [j16]Gianfranco Ciardo, Alma Riska, Evgenia Smirni:
EQUILOAD: a load balancing policy for clustered web servers. Perform. Evaluation 46(2-3): 101-124 (2001) - [c31]Ludmila Cherkasova, Gianfranco Ciardo:
Role of Aging, Frequency, and Size in Web Cache Replacement Policies. HPCN Europe 2001: 114-123 - [c30]Gianfranco Ciardo:
What a Structural World. PNPM 2001: 3-16 - [c29]Rob Jones, Gianfranco Ciardo:
On Phased Delay Stochastic Petri Nets: Definition and an Application. PNPM 2001: 165-174 - [c28]Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu:
Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation. TACAS 2001: 328-342 - 2000
- [j15]Peter Buchholz, Gianfranco Ciardo, Susanna Donatelli, Peter Kemper:
Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models. INFORMS J. Comput. 12(3): 203-222 (2000) - [c27]Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu:
Efficient Symbolic State-Space Construction for Asynchronous Systems. ICATPN 2000: 103-122 - [c26]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 - [c25]Ludmila Cherkasova, Gianfranco Ciardo:
Characterizing temporal locality and its impact on web server performance. ICCCN 2000: 434-441 - [c24]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 - [c23]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
1990 – 1999
- 1999
- [j14]Gianfranco Ciardo, Guangzhi Li:
Approximate Transient Analysis for Subclasses of Deterministic and Stochastic Petri Nets. Perform. Evaluation 35(3-4): 109-129 (1999) - [j13]Gianfranco Ciardo, Evgenia Smirni:
ETAQA: An Efficient Technique for the Analysis of QBD-Processes by Aggregation. Perform. Evaluation 36-37(1-4): 71-93 (1999) - [j12]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) - [c22]Andrew S. Miner, Gianfranco Ciardo:
Efficient Reachability Set Generation and Storage Using Decision Diagrams. ICATPN 1999: 6-25 - [c21]Gianfranco Ciardo, Andrew S. Miner:
A data structure for the efficient Kronecker solution of GSPNs. PNPM 1999: 22-31 - 1998
- [j11]Gianfranco Ciardo, Joshua Gluckman, David M. Nicol:
Distributed State Space Generation of Discrete-State Stochastic Models. INFORMS J. Comput. 10(1): 82-93 (1998) - 1997
- [j10]David M. Nicol, Gianfranco Ciardo:
Automated Parallelization of Discrete State-Space Generation. J. Parallel Distributed Comput. 47(2): 153-167 (1997) - [c20]Gianfranco Ciardo, Andrew S. Miner:
Storage Alternatives for Large Structured State Spaces. Computer Performance Evaluation 1997: 44-57 - [c19]Robert Zijal, Gianfranco Ciardo, Günter Hommel:
Discrete Deterministic and Stochastic Petri Nets. MMB 1997: 103-117 - [c18]Gianfranco Ciardo, David M. Nicol, Kishor S. Trivedi:
Discrete-event simulation of fluid stochastic Petri nets. PNPM 1997: 217-225 - 1996
- [c17]Gianfranco Ciardo, Robert Zijal:
Well-Defined Stochastic Petri Nets. MASCOTS 1996: 278-284 - 1995
- [c16]Gianfranco Ciardo, Ludmila Cherkasova, Vadim E. Kotov, Tomas Rokicki:
Modeling a scalable high-speed interconnect with stochastic Petri nets. PNPM 1995: 83-92 - [c15]Kishor S. Trivedi, Andrea Bobbio, Miklós Telek, Reinhard German, Gianfranco Ciardo, Antonio Puliafito:
Non-Markovian Petri Nets (Panel). SIGMETRICS 1995: 263-264 - [c14]Gianfranco Ciardo, Ludmila Cherkasova, Vadim E. Kotov, Tomas Rokicki:
Modeling A Fibre Channel Switch with Stochastic Petri Nets. SIGMETRICS 1995: 319-320 - 1994
- [j9]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) - [j8]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) - [c13]Gianfranco Ciardo:
Petri Nets with Marking-Dependent Ar Cardinality: Properties and Analysis. Application and Theory of Petri Nets 1994: 179-198 - 1993
- [j7]Gianfranco Ciardo, Kishor S. Trivedi:
A Decomposition Approach for Stochastic Reward Net Models. Perform. Evaluation 18(1): 37-59 (1993) - [j6]Gianfranco Ciardo:
PNPM'91-4th International Workshop on Petri Nets and Performance Models. Perform. Evaluation 18(1): 97-100 (1993) - [c12]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 - [c11]Jogesh K. Muppala, Gianfranco Ciardo, Kishor S. Trivedi:
Modeling Using Stochastic Reward Nets. MASCOTS 1993: 367-372 - [c10]Gianfranco Ciardo, Kishor S. Trivedi:
SPNP: The Stochastic Petri Net Package (Version 3.1). MASCOTS 1993: 390-391 - [c9]Gianfranco Ciardo, Christoph Lindemann:
Analysis of deterministic and stochastic Petri nets. PNPM 1993: 160-169 - [c8]Gianfranco Ciardo, Reinhard German, Christoph Lindemann:
A characterization of the stochastic process underlying a stochastic Petri net. PNPM 1993: 170-179 - [c7]Kishor S. Trivedi, Gianfranco Ciardo, Manish Malhotra, Robin A. Sahner:
Dependability and Performability Analysis. Performance/SIGMETRICS Tutorials 1993: 587-612 - 1992
- [j5]Gianfranco Ciardo, Jogesh K. Muppala, Kishor S. Trivedi:
Analyzing Concurrent and Fault-Tolerant Software Using Stochastic Reward Nets. J. Parallel Distributed Comput. 15(3): 255-269 (1992) - 1991
- [j4]Gianfranco Ciardo, Jogesh K. Muppala, Kishor S. Trivedi:
On the Solution of GSPN Reward Models. Perform. Evaluation 12(4): 237-253 (1991) - [c6]Gianfranco Ciardo, Kishor S. Trivedi:
A Decomposition Approach for Stochastic Petri Net Models. PNPM 1991: 74-83 - 1990
- [j3]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)
1980 – 1989
- 1989
- [j2]Andrew L. Reibman, Kishor S. Trivedi, Sanjaya Kumar, Gianfranco Ciardo:
Analysis of Stiff Markov Chains. INFORMS J. Comput. 1(2): 126-133 (1989) - [j1]Joanne Bechta Dugan, Gianfranco Ciardo:
Stochastic Petri Net Analysis of a Replicated File System. IEEE Trans. Software Eng. 15(4): 394-401 (1989) - [c5]Gianfranco Ciardo, Jogesh K. Muppala, Kishor S. Trivedi:
SPNP: Stochastic Petri Net Package. PNPM 1989: 142-151 - [c4]Joanne Bechta Dugan, Dan C. Marinescu, Giovanni Chiola, Yoshio Sugasawa, William H. Sanders, Gianfranco Ciardo:
Panel: Applications of Performance Petri Nets. PNPM 1989: 164 - 1987
- [c3]Gianfranco Ciardo:
Toward a Definition of Modeling Power for Stochastic Petri Net Models. PNPM 1987: 54-62 - [c2]Joanne Bechta Dugan, Gianfranco Ciardo:
Stochastic Petri Net Analysis of a Replicated File System. PNPM 1987: 84-92 - 1985
- [c1]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 - [p1]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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-16 22:00 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
