| 2008 | ||
|---|---|---|
| 36 | Davide Cerotti, Marco Gribaudo, Andrea Bobbio: Disaster Propagation in Heterogeneous Media via Markovian Agents. CRITIS 2008: 328-335 | |
| 35 | Marco Gribaudo, Davide Cerotti, Andrea Bobbio: Analysis of On-off policies in Sensor Networks Using Interacting Markovian Agents. PerCom 2008: 300-305 | |
| 34 | Andrea Bobbio, Marco Gribaudo, Miklós Telek: Analysis of Large Scale Interacting Systems by Mean Field Method. QEST 2008: 215-224 | |
| 2007 | ||
| 33 | Luigi Portinale, Andrea Bobbio, Daniele Codetta Raiteri, Stefania Montani: Compiling Dyanamic Fault Trees into Dynamic Bayesian Nets for Reliability Analysis: the RADYBAN Tool. BMA 2007 | |
| 32 | Andrea Bobbio, R. Terruggia, A. Boellis, Ester Ciancamerla, Michele Minichino: A Tool for Network Reliability Analysis. SAFECOMP 2007: 417-422 | |
| 2006 | ||
| 31 | Stefania Montani, Luigi Portinale, Andrea Bobbio, Daniele Codetta Raiteri: Automatically Translating Dynamic Fault Trees into Dynamic Bayesian Networks by Means of a Software Tool. ARES 2006: 804-809 | |
| 2005 | ||
| 30 | Andrea Bobbio, Daniele Codetta Raiteri, Massimiliano De Pierro, Giuliana Franceschinis: Efficient Analysis Algorithms for Parametric Fault Trees. FIRB-Perf 2005: 91-105 | |
| 2004 | ||
| 29 | Andrea Bobbio, András Horváth, Miklós Telek: The scale factor: a new degree of freedom in phase-type approximation. Perform. Eval. 56(1-4): 121-144 (2004) | |
| 2003 | ||
| 28 | Simona Bernardi, Andrea Bobbio, Susanna Donatelli: Petri Nets and Dependability. Lectures on Concurrency and Petri Nets 2003: 125-179 | |
| 27 | Andrea Bobbio, Stefania Montani, Luigi Portinale: Parametric Dependability Analysis through Probabilistic Horn Abduction. UAI 2003: 65-72 | |
| 26 | Andrea Bobbio, Giuliana Franceschinis, Rossano Gaeta, Luigi Portinale: Parametric Fault Tree for the Dependability Analysis of Redundant Systems and Its High-Level Petri Net Semantics. IEEE Trans. Software Eng. 29(3): 270-287 (2003) | |
| 25 | Andrea Bobbio, András Horváth, Marco Scarpa, Miklós Telek: Acyclic discrete phase type distributions: properties and a parameter estimation algorithm. Perform. Eval. 54(1): 1-32 (2003) | |
| 2002 | ||
| 24 | Andrea Bobbio, András Horváth, Miklós Telek: PhFit: A General Phase-type Fitting Tool. DSN 2002: 543 | |
| 23 | Andrea Bobbio, András Horváth, Miklós Telek: The Scale Factor: A New Degree of Freedom in Phase Type Approximation. DSN 2002: 627-636 | |
| 22 | Andrea Bobbio, Ester Ciancamerla, Giuliana Franceschinis, Rossano Gaeta, Michele Minichino, Luigi Portinale: Methods of Increasing Modelling Power for Safety Analysis, Applied to a Turbine Digital Control System. SAFECOMP 2002: 212-223 | |
| 21 | Marco Gribaudo, András Horváth, Andrea Bobbio, Enrico Tronci, Ester Ciancamerla, Michele Minichino: Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant. SAFECOMP 2002: 273-283 | |
| 2001 | ||
| 20 | Marco Gribaudo, Matteo Sereno, András Horváth, Andrea Bobbio: Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: Modelling and Analysis. Discrete Event Dynamic Systems 11(1-2): 97-117 (2001) | |
| 19 | Andrea Bobbio, András Horváth: Petri Nets with Discrete Phase Type Timing: A Bridge Between Stochastic and Functional Analysis. Electr. Notes Theor. Comput. Sci. 52(3): (2001) | |
| 18 | Andrea Bobbio, Matteo Sereno, Cosimo Anglano: Fine grained software degradation models for optimal rejuvenation policies. Perform. Eval. 46(1): 45-62 (2001) | |
| 2000 | ||
| 17 | Andrea Bobbio, Antonio Puliafito, Miklós Telek: A Modeling Framework to Implement Preemption Policies in Non-Markovian SPNs. IEEE Trans. Software Eng. 26(1): 36-54 (2000) | |
| 1999 | ||
| 16 | Oliver Botti, Vincenzo De Florio, Geert Deconinck, Flavio Cassinari, Susanna Donatelli, Andrea Bobbio, A. Klein, H. Kufner, Rudy Lauwereins, Erwin M. Thurner, Eric Verhulst: TIRAN: Flexible and Portable Fault Tolerance Solutions for Cost Effective Dependable Applications. Euro-Par 1999: 1166-1170 | |
| 15 | Andrea Bobbio, Luigi Portinale, Michele Minichino, Ester Ciancamerla: Comparing Fault Trees and Bayesian Networks for Dependability Analysis. SAFECOMP 1999: 310-322 | |
| 14 | Luigi Portinale, Andrea Bobbio: Bayesian Networks for Dependability Analysis: an Application to Digital Control Reliability. UAI 1999: 551-558 | |
| 1998 | ||
| 13 | Andrea Bobbio: Flexible and Approximate Computation through State-Space Reduction. UAI 1998: 531-538 | |
| 12 | Andrea Bobbio, Antonio Puliafito, Miklós Telek, Kishor S. Trivedi: Recent Developments in Non-Markovian Stochastic Petri Nets. Journal of Circuits, Systems, and Computers 8(1): 119-158 (1998) | |
| 1996 | ||
| 11 | Marco Ajmone Marsan, Andrea Bobbio, Susanna Donatelli: Petri Nets in Performance Analysis: An Introduction. Petri Nets 1996: 211-256 | |
| 1995 | ||
| 10 | Miklós Telek, Andrea Bobbio: Markov Regenerative Stochastic Petri Nets with Age Type General Transitions. Application and Theory of Petri Nets 1995: 471-489 | |
| 9 | Miklós Telek, Andrea Bobbio, László Jereb, Antonio Puliafito, Kishor S. Trivedi: Steady State Analysis of Markov Regenerative SPN with Age Memory Policy. MMB 1995: 165-179 | |
| 8 | Kishor S. Trivedi, Andrea Bobbio, Miklós Telek, Reinhard German, Gianfranco Ciardo, Antonio Puliafito: Non-Markovian Petri Nets (Panel). SIGMETRICS 1995: 263-264 | |
| 1994 | ||
| 7 | Andrea Bobbio, Miklós Telek: Computational Restrictions for SPN with Generally Distributed Transition Times. EDCC 1994: 131-148 | |
| 1992 | ||
| 6 | Andrea Bobbio, Laura Roberti: Distribution of the Minimal Completion Time of Parallel Tasks in Multi-Reward Semi-Markov Models. Perform. Eval. 14(3-4): 239-256 (1992) | |
| 1990 | ||
| 5 | Andrea Bobbio, Kishor S. Trivedi: Computing Cumulative Measures of Stiff Markov Chains Using Aggregation. IEEE Trans. Computers 39(10): 1291-1298 (1990) | |
| 1989 | ||
| 4 | Marco Ajmone Marsan, Gianfranco Balbo, Andrea Bobbio, Giovanni Chiola, Gianni Conte, Aldo Cumani: The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets. IEEE Trans. Software Eng. 15(7): 832-846 (1989) | |
| 1986 | ||
| 3 | Andrea Bobbio, Kishor S. Trivedi: An Aggregation Technique for the Transient Analysis of Stiff Markov Chains. IEEE Trans. Computers 35(9): 803-814 (1986) | |
| 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 | Marco Ajmone Marsan, Gianfranco Balbo, Andrea Bobbio, Giovanni Chiola, Gianni Conte, Aldo Cumani: On Petri Nets with Stochastic Timing. PNPM 1985: 80-87 | |