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.