2008 | ||
---|---|---|
35 | EE | Marco Gribaudo, Davide Cerotti, Andrea Bobbio: Analysis of On-off policies in Sensor Networks Using Interacting Markovian Agents. PerCom 2008: 300-305 |
34 | EE | Andrea Bobbio, Marco Gribaudo, Miklós Telek: Analysis of Large Scale Interacting Systems by Mean Field Method. QEST 2008: 215-224 |
2007 | ||
33 | EE | 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 | EE | Andrea Bobbio, R. Terruggia, A. Boellis, Ester Ciancamerla, Michele Minichino: A Tool for Network Reliability Analysis. SAFECOMP 2007: 417-422 |
2006 | ||
31 | EE | 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 | EE | Andrea Bobbio, Daniele Codetta Raiteri, Massimiliano De Pierro, Giuliana Franceschinis: Efficient Analysis Algorithms for Parametric Fault Trees. FIRB-Perf 2005: 91-105 |
2004 | ||
29 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Andrea Bobbio, András Horváth, Miklós Telek: PhFit: A General Phase-type Fitting Tool. DSN 2002: 543 |
23 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Andrea Bobbio, Luigi Portinale, Michele Minichino, Ester Ciancamerla: Comparing Fault Trees and Bayesian Networks for Dependability Analysis. SAFECOMP 1999: 310-322 |
14 | EE | Luigi Portinale, Andrea Bobbio: Bayesian Networks for Dependability Analysis: an Application to Digital Control Reliability. UAI 1999: 551-558 |
1998 | ||
13 | EE | Andrea Bobbio: Flexible and Approximate Computation through State-Space Reduction. UAI 1998: 531-538 |
12 | EE | 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 | EE | 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 |