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 |