Andrea Bobbio

Publication Activity (10 Years)

Years Active: 1985-2024
Publications (10 Years): 10

Top Topics

Environmental Protection

Complex Systems

Analytical Models

Top Venues

Publications

Kishor S. Trivedi, Andrea Bobbio
Reliability and Availability Analysis in Practice: Toward Multilevel Models for Complex Systems. Computer 57 (4) (2024)
Andrea Bobbio, Lelio Campanile, Marco Gribaudo, Mauro Iacono, Fiammetta Marulli, Michele Mastroianni
A cyber warfare perspective on risks related to health IoT devices and contact tracing. Neural Comput. Appl. 35 (19) (2023)
Davide Cerotti, Simona Mancini, Marco Gribaudo, Andrea Bobbio
Analysis of an Electric Vehicle Charging System Along a Highway. QEST (2022)
Davide Cerotti, Antonio Miele, Marco Gribaudo, Andrea Bobbio, Cristiana Bolchini
Scalable analytical model for reliability measures in aging VLSI by interacting Markovian agents. Perform. Evaluation 132 (2019)
Andrea Bobbio
Modeling Dependencies In Complex System Dependability. ECMS (2019)
Andrea Bobbio, Cristiana Bolchini, Davide Cerotti, Marco Gribaudo, Antonio Miele
Scalable analytical model of the reliability of multi-core systems-on-chip by interacting Markovian agents. VALUETOOLS (2017)
Luciana Carraro, Mario Dalmaso, Luigi Castelli, Giovanni Galfano, Andrea Bobbio, Gabriele Mantovani
The appeal of the devil's eye: social evaluation affects social attention. Cogn. Process. 18 (1) (2017)
Riccardo Pinciroli, Andrea Bobbio, Cristiana Bolchini, Davide Cerotti, Marco Gribaudo, Antonio Miele, Kishor S. Trivedi
Epistemic uncertainty propagation in a Weibull environment for a two-core system-on-chip. ICSRS (2017)
Riccardo Pinciroli, Kishor S. Trivedi, Andrea Bobbio
Parametric Sensitivity and Uncertainty Propagation in Dependability Models. VALUETOOLS (2016)
Kishor S. Trivedi, Andrea Bobbio
DSN 2016 Tutorial: Reliability and Availability Modeling in Practice. DSN Workshops (2016)
Davide Cerotti, Marco Gribaudo, Andrea Bobbio
Markovian agents models for wireless sensor networks deployed in environmental protection. Reliab. Eng. Syst. Saf. 130 (2014)
Luigi Portinale, Andrea Bobbio
Bayesian Networks for Dependability Analysis: an Application to Digital Control Reliability CoRR (2013)
Daniele Codetta Raiteri, Andrea Bobbio, Stefania Montani, Luigi Portinale
A dynamic Bayesian network based framework to evaluate cascading effects in a power grid. Eng. Appl. Artif. Intell. 25 (4) (2012)
Enrico Barbierato, Andrea Bobbio, Marco Gribaudo, Mauro Iacono
Multiformalism to Support Software Rejuvenation Modeling. ISSRE Workshops (2012)
Andrea Bobbio, Stefania Montani, Luigi Portinale
Parametric Dependability Analysis through Probabilistic Horn Abduction CoRR (2012)
Andrea Bobbio, Maria Pia Fanti, Stefania Montani
Special section: Dependable system modelling and analysis. Eng. Appl. Artif. Intell. 25 (4) (2012)
Marco Beccuti, Andrea Bobbio, Giuliana Franceschinis, Roberta Terruggia
A new symbolic approach for network reliability analysis. DSN (2012)
Dario Bruneo, Marco Scarpa, Andrea Bobbio, Davide Cerotti, Marco Gribaudo
Markovian agent modeling swarm intelligence algorithms in wireless sensor networks. Perform. Evaluation 69 (3-4) (2012)
Andrea Bobbio, G. Bonanni, Ester Ciancamerla, R. Clemente, Alessandro Iacomini, Michele Minichino, Alessandro Scarlatti, Roberta Terruggia, Emilio Zendri
Unavailability of critical SCADA communication links interconnecting a power grid and a Telco network. Reliab. Eng. Syst. Saf. 95 (12) (2010)
Guillaume Merle, Jean-Marc Roussel, Jean-Jacques Lesage, Andrea Bobbio
Probabilistic Algebraic Analysis of Fault Trees With Priority Dynamic Gates and Repeated Events. IEEE Trans. Reliab. 59 (1) (2010)
Davide Cerotti, Marco Gribaudo, Andrea Bobbio, Carlos Miguel Tavares Calafate, Pietro Manzoni
A Markovian Agent Model for Fire Propagation in Outdoor Environments. EPEW (2010)
Roberta Terruggia, Andrea Bobbio
QoS Analysis of Weighted Multi-state Probabilistic Networks via Decision Diagrams. SAFECOMP (2010)
Andrea Bobbio, Ester Ciancamerla, Saverio Di Blasi, Alessandro Iacomini, Federico Mari, Igor Melatti, Michele Minichino, Alessandro Scarlatti, Enrico Tronci, Roberta Terruggia, Emilio Zendri
Risk analysis via heterogeneous models of SCADA interconnecting Power Grids and Telco networks. CRiSIS (2009)
Dario Bruneo, Marco Scarpa, Andrea Bobbio, Davide Cerotti, Marco Gribaudo
Analytical modeling of swarm intelligence in wireless sensor networks through Markovian agents. VALUETOOLS (2009)
Davide Cerotti, Marco Gribaudo, Andrea Bobbio
Presenting Dynamic Markovian Agents with a road tunnel application. MASCOTS (2009)
Marco Gribaudo, Davide Cerotti, Andrea Bobbio
Analysis of On-off policies in Sensor Networks Using Interacting Markovian Agents. PerCom (2008)
Stefania Montani, Luigi Portinale, Andrea Bobbio, Daniele Codetta Raiteri
Radyban: A tool for reliability analysis of dynamic fault trees through conversion into dynamic Bayesian networks. Reliab. Eng. Syst. Saf. 93 (7) (2008)
Andrea Bobbio, Marco Gribaudo, Miklós Telek
Analysis of Large Scale Interacting Systems by Mean Field Method. QEST (2008)
Davide Cerotti, Marco Gribaudo, Andrea Bobbio
Disaster Propagation in Heterogeneous Media via Markovian Agents. CRITIS (2008)
Andrea Bobbio, Sachin Garg, Marco Gribaudo, András Horváth, Matteo Sereno, Miklós Telek
Compositional fluid stochastic Petri net model for operational software system performance. ISSRE Workshops (2008)
Andrea Bobbio, Roberta Terruggia, A. Boellis, Ester Ciancamerla, Michele Minichino
A Tool for Network Reliability Analysis. SAFECOMP (2007)
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)
Andrea Bobbio, Marco Gribaudo, András Horváth
Modelling a car safety controller in road tunnels using hybrid petri nets. ITSC (2006)
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)
Andrea Bobbio, Daniele Codetta Raiteri, Massimiliano De Pierro, Giuliana Franceschinis
Efficient Analysis Algorithms for Parametric Fault Trees. FIRB-Perf (2005)
Andrea Bobbio, András Horváth, Miklós Telek
The scale factor: a new degree of freedom in phase-type approximation. Perform. Evaluation 56 (1-4) (2004)
Andrea Bobbio, Stefania Montani, Luigi Portinale
Parametric Dependability Analysis through Probabilistic Horn Abduction. UAI (2003)
Marco Gribaudo, András Horváth, Andrea Bobbio, Enrico Tronci, Ester Ciancamerla, Michele Minichino
Fluid Petri Nets and hybrid model-checking: a comparative case study. Reliab. Eng. Syst. Saf. 81 (3) (2003)
Andrea Bobbio, Ester Ciancamerla, Giuliana Franceschinis, Rossano Gaeta, Michele Minichino, Luigi Portinale
Sequential application of heterogeneous models for the safetyanalysis of a control system: a case study. Reliab. Eng. Syst. Saf. 81 (3) (2003)
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) (2003)
Simona Bernardi, Andrea Bobbio, Susanna Donatelli
Petri Nets and Dependability. Lectures on Concurrency and Petri Nets (2003)
Andrea Bobbio, András Horváth, Marco Scarpa, Miklós Telek
Acyclic discrete phase type distributions: properties and a parameter estimation algorithm. Perform. Evaluation 54 (1) (2003)
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)
Matteo Sonza Reorda, Massimo Violante, Nicola Mazzocca, Salvatore Venticinque, Andrea Bobbio, Giuliana Franceschinis
A hierarchical approach for designing dependable systems. HLDVT (2002)
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)
Andrea Bobbio, András Horváth, Miklós Telek
The Scale Factor: A New Degree of Freedom in Phase Type Approximation. DSN (2002)
Andrea Bobbio, András Horváth, Miklós Telek
PhFit: A General Phase-type Fitting Tool. DSN (2002)
Marco Gribaudo, Matteo Sereno, András Horváth, Andrea Bobbio
Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: Modelling and Analysis. Discret. Event Dyn. Syst. 11 (1-2) (2001)
Andrea Bobbio, Giuliana Franceschinis, Rossano Gaeta, Luigi Portinale
Dependability Assessment of an Industrial Programmable Logic Controller via Parametric Fault-Tree and High level Petri Net. PNPM (2001)
Andrea Bobbio, András Horváth
Petri Nets with Discrete Phase Type Timing: A Bridge Between Stochastic and Functional Analysis. Electron. Notes Theor. Comput. Sci. 52 (3) (2001)
Andrea Bobbio, Luigi Portinale, Michele Minichino, Ester Ciancamerla
Improving the analysis of dependable systems by mapping fault trees into Bayesian networks. Reliab. Eng. Syst. Saf. 71 (3) (2001)
Andrea Bobbio, Matteo Sereno, Cosimo Anglano
Fine grained software degradation models for optimal rejuvenation policies. Perform. Evaluation 46 (1) (2001)
Andrea Bobbio, Antonio Puliafito, Miklós Telek
A Modeling Framework to Implement Preemption Policies in Non-Markovian SPNs. IEEE Trans. Software Eng. 26 (1) (2000)
Oliver Botti, Vincenzo De Florio, Geert Deconinck, Rudy Lauwereins, Flavio Cassinari, Susanna Donatelli, Andrea Bobbio, A. Klein, Holger Küfner, Erwin M. Thurner, Eric Verhulst
The TIRAN approach to reusing software implemented fault tolerance. PDP (2000)
Andrea Bobbio, Luigi Portinale, Michele Minichino, Ester Ciancamerla
Comparing Fault Trees and Bayesian Networks for Dependability Analysis. SAFECOMP (1999)
Luigi Portinale, Andrea Bobbio
Bayesian Networks for Dependability Analysis: an Application to Digital Control Reliability. UAI (1999)
Oliver Botti, Vincenzo De Florio, Geert Deconinck, Flavio Cassinari, Susanna Donatelli, Andrea Bobbio, A. Klein, Holger Küfner, Rudy Lauwereins, Erwin M. Thurner, Eric Verhulst
TIRAN: Flexible and Portable Fault Tolerance Solutions for Cost Effective Dependable Applications. Euro-Par (1999)
Andrea Bobbio, Giuliana Franceschinis, Rossano Gaeta, Luigi Portinale
Exploiting Petri nets to support fault tree based dependability analysis. PNPM (1999)
Marco Gribaudo, Matteo Sereno, Andrea Bobbio
Fluid stochastic Petri nets: An extended formalism to include non-Markovian models. PNPM (1999)
Andrea Bobbio, Sachin Garg, Marco Gribaudo, András Horváth, Matteo Sereno, Miklós Telek
Modeling software systems with rejuvenation, restoration and checkpointing through fluid stochastic Petri nets. PNPM (1999)
Andrea Bobbio
Flexible and Approximate Computation through State-Space Reduction. UAI (1998)
Andrea Bobbio, Antonio Puliafito, Miklós Telek, Kishor S. Trivedi
Recent Developments in Non-Markovian Stochastic Petri Nets. J. Circuits Syst. Comput. 8 (1) (1998)
Andrea Bobbio, Antonio Puliafito, Miklós Telek
New primitives for interlaced memory policies in Markov regenerative Stochastic Petri Nets. PNPM (1997)
Marco Ajmone Marsan, Andrea Bobbio, Susanna Donatelli
Petri Nets in Performance Analysis: An Introduction. Petri Nets (1996)
Kishor S. Trivedi, Andrea Bobbio, Miklós Telek, Reinhard German, Gianfranco Ciardo, Antonio Puliafito
Non-Markovian Petri Nets (Panel). SIGMETRICS (1995)
Andrea Bobbio, Vidyadhar G. Kulkarni, Antonio Puliafito, Miklós Telek, Kishor S. Trivedi
Preemptive repeat identical transitions in Markov regenerative stochastic Petri nets. PNPM (1995)
Miklós Telek, Andrea Bobbio
Markov Regenerative Stochastic Petri Nets with Age Type General Transitions. Application and Theory of Petri Nets (1995)
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)
Andrea Bobbio, Miklós Telek
Computational Restrictions for SPN with Generally Distributed Transition Times. EDCC (1994)
Andrea Bobbio, Laura Roberti
Distribution of the Minimal Completion Time of Parallel Tasks in Multi-Reward Semi-Markov Models. Perform. Evaluation 14 (3-4) (1992)
Andrea Bobbio
Dependability analysis of fault-tolerant systems: a literature survey. Microprocessing and Microprogramming 29 (1) (1990)
Andrea Bobbio, Kishor S. Trivedi
Computing Cumulative Measures of Stiff Markov Chains Using Aggregation. IEEE Trans. Computers 39 (10) (1990)
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) (1989)
Andrea Bobbio, Kishor S. Trivedi
An Aggregation Technique for the Transient Analysis of Stiff Markov Chains. IEEE Trans. Computers 35 (9) (1986)
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)
Marco Ajmone Marsan, Gianfranco Balbo, Andrea Bobbio, Giovanni Chiola, Gianni Conte, Aldo Cumani
On Petri Nets with Stochastic Timing. PNPM (1985)