- Logic and stochastic modeling with SmArT G. Ciardo a,1
- ADAPTLOAD: effective balancing in clustered web servers under transient load Alma Riska Wei Sun Evgenia Smirni Gianfranco Ciardo
- Efficient approximate transient analysis for a class of deterministic and stochastic Petri nets
- DISCRETE-TIME MARKOVIAN STOCHASTIC PETRI NETS
- Improving Static Variable Orders via Invariants Gianfranco Ciardo1
- SNS 1.0: Synchronized Network Solver Marco Tilgner and Yukio Takahashi
- Exploiting Interleaving Semantics in Symbolic StateSpace Generation
- Using Edge-Valued Decision Diagrams for Symbolic Generation of Shortest Paths
- Storage Alternatives for Large Structured State Spaces
- Approximate analysis of a fault-tolerant join-the-shortest-queue policy Guangzhi Li Gianfranco Ciardo
- B B
- STRUCTURAL APPROACHES FOR SPN ANALYSIS Gianfranco Ciardo
- On the minimum of independent geometrically distributed random variables
- Modeling A Scalable High-Speed Interconnect with Stochastic Petri Nets
- Workload-Aware Load Balancing for Clustered Web Servers Alma Riska2
- Discrete-event simulation of fluid stochastic Petri nets Gianfranco Ciardo1
- 506 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 20, NO. 7, JULY 1994 A characterization of the stochastic process
- An aggregation-based solution method for M/G/1-type processes
- Modeling a Fibre Channel Switch with Stochastic Petri Nets Gianfranco Ciardo
- Role of Aging, Frequency, and Size in Web Cache Replacement Policies
- Implicit data structures for logic and stochastic systems analysis Gianfranco Ciardo1 Andrew S. Miner2
- Reachability Set Generation for Petri Nets: Can Brute Force Be Smart?
- Implicit representations and algorithms for the logic and stochastic analysis of
- New Metrics for Static Variable Ordering in Decision Diagrams
- Parallelising Symbolic State-Space Generators Jonathan Ezekiel1
- SPNP: Stochastic Petri Net Package Gianfranco Ciardo
- Exact analysis of a class of GI/G/1-type performability models1 Member IEEE
- Structural Symbolic CTL Model Checking of Asynchronous Systems
- Efficient Symbolic State-space Construction for Asynchronous Systems
- Logical and stochastic modeling with SmArT , R. L. Jones III2
- Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
- Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
- Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models
- ETAQA: An Efficient Technique for the Analysis of QBD-processes by Aggregation
- Distributed State Space Generation of Discrete-State Stochastic Models
- Automated Parallelization of Discrete State-space Generation David M. Nicol Gianfranco Ciardo
- Analyzing Concurrent and Fault-Tolerant Software using Stochastic Reward Nets
- Performability analysis using semi-Markov reward processes
- Stochastic Petri Net Analysis of a Replicated File Joanne Bechta Dugan, Gianfranco Ciardo
- P-semiflow computation with decision diagrams Gianfranco Ciardo1
- Symbolic State-space Generation of Asynchronous Systems Using Extensible
- A Dynamic Firing Speculation to Speedup Distributed Symbolic State-space Generation
- PDMC 2005 Preliminary Version A Pattern Recognition Approach for
- AVoCS 2004 Preliminary Version Formal Verification
- Profit-driven Service Differentiation in Transient Environments Qi Zhang Evgenia Smirni Gianfranco Ciardo
- Regenerative Simulation of Stochastic Petri Nets with Discrete and Continuous Timing
- On Phased Delay Stochastic Petri Nets: Definition and an Application
- Saturation: An Efficient Iteration Strategy for Symbolic StateSpace Generation
- Characterizing Temporal Locality and its Impact on Web Server Performance
- Analytic Modeling of Load Balancing Policies for Tasks with Heavy-tailed Distributions
- A data structure for the efficient Kronecker solution of GSPNs Gianfranco Ciardo
- Extended abstract submitted for presentation at PMCCS-4 Projection: An efficient solution algorithm for a
- Discrete Deterministic and Stochastic Petri Nets Dipl.-Inform. Robert Zijal
- Well-defined stochastic Petri nets Gianfranco Ciardo
- A characterization of the stochastic process underlying a stochastic Petri net
- Analysis of Deterministic and Stochastic Petri Nets Gianfranco Ciardo
- Toward a Definition of Modeling Power for Stochastic Petri Net Models
- ! " # $ % " # & ' & ! " % ( ' ) 0 " 1 2 3 4 1 " 5 2 6 ' % 2 7 0 8 9 ! 1 ! 8 $ @ & 9 ! 6 2 # A ' 0 B % @ C 0 B ' 2 D 9 5 @ 6 E 8 8 " 1 " ) F G H
- Approximate transient analysis for subclasses of deterministic and stochastic Petri nets
- 1 1
- T. Nanya et al. (Eds.): ISAS 2008, LNCS 5017, pp. 2025, 2008. Springer-Verlag Berlin Heidelberg 2008
- Distributed and Structured Analysis Approaches to Study Large and Complex Systems
- PDMC 2007 Preliminay Version Caching, Hashing, and Garbage Collection for
- Faster Discrete-event Simulation Through Structural Caching1 Gianfranco Ciardo
- Efficient reachability set generation and storage using decision diagrams
- Data Representation and Efficient Solution: A Decision Diagram Approach
- Etaqa-MG1: An efficient technique for the analysis of a class of M/G/1-type processes by aggregation
- A Decomposition Approach for Stochastic Reward Net Models Gianfranco Ciardo Kishor S. Trivedi
- Using the exact state space of a Markov model to compute approximate stationary measures
- Stochastic Reward Nets for Reliability Prediction Jogesh K. Muppala
- Discrete-event simulation of fluid stochastic Petri nets Gianfranco Ciardo1
- An aggregation-based method for the exact analysis of a class of GI/G/1-type processes
- Saturation-based symbolic reachability analysis using conjunctive and disjunctive partitioning
- Petri Nets with Marking-Dependent Arc Cardinality: Properties and Analysis
- Symbolic Reachability Analysis of Integer Timed Min Wan and Gianfranco Ciardo
- NUMERICAL SOLUTION of MARKOV CHAINS, p. 14 Comparing implicit representations of large CTMCs
- Symbolic Computation of Strongly Connected Components Using Saturation
- EquiLoad: a load balancing policy for clustered web servers Gianfranco Ciardo Alma Riska Evgenia Smirni
- Proceedings in Applied Mathematics and Mechanics, 13 December 2007 Decision diagrams for the approximate analysis of Markov models
- Saturation NOW Ming-Ying Chung and Gianfranco Ciardo
- Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation
- What a Structural World Gianfranco Ciardo