Andrea Bobbio
Orcid: 0000-0002-6690-3961
According to our database1,
Andrea Bobbio
authored at least 76 papers
between 1985 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on scopus.com
-
on orcid.org
On csauthors.net:
Bibliography
2024
Reliability and Availability Analysis in Practice: Toward Multilevel Models for Complex Systems.
Computer, April, 2024
2023
A cyber warfare perspective on risks related to health IoT devices and contact tracing.
Neural Comput. Appl., July, 2023
2022
Proceedings of the Quantitative Evaluation of Systems - 19th International Conference, 2022
2020
Appendix: Stochastic Modeling Techniques in Software Aging and Rejuvenation Phenomena.
Proceedings of the Handbook of Software Aging and Rejuvenation, 2020
2019
Scalable analytical model for reliability measures in aging VLSI by interacting Markovian agents.
Perform. Evaluation, 2019
Proceedings of the 33rd International ECMS Conference on Modelling and Simulation, 2019
2017
Cogn. Process., 2017
Scalable analytical model of the reliability of multi-core systems-on-chip by interacting Markovian agents.
Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, 2017
Epistemic uncertainty propagation in a Weibull environment for a two-core system-on-chip.
Proceedings of the 2nd International Conference on System Reliability and Safety, 2017
Cambridge University Press, ISBN: 978-1-107-09950-0, 2017
2016
Proceedings of the 10th EAI International Conference on Performance Evaluation Methodologies and Tools, 2016
Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2016
2015
Proceedings of the Springer Handbook of Computational Intelligence, 2015
2014
Markovian agents models for wireless sensor networks deployed in environmental protection.
Reliab. Eng. Syst. Saf., 2014
2012
Perform. Evaluation, 2012
A dynamic Bayesian network based framework to evaluate cascading effects in a power grid.
Eng. Appl. Artif. Intell., 2012
Eng. Appl. Artif. Intell., 2012
Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012
Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks, 2012
2010
Probabilistic Algebraic Analysis of Fault Trees With Priority Dynamic Gates and Repeated Events.
IEEE Trans. Reliab., 2010
Unavailability of critical SCADA communication links interconnecting a power grid and a Telco network.
Reliab. Eng. Syst. Saf., 2010
Proceedings of the Computer Safety, 2010
Proceedings of the Computer Performance Engineering, 2010
2009
Analytical modeling of swarm intelligence in wireless sensor networks through Markovian agents.
Proceedings of the 4th International Conference on Performance Evaluation Methodologies and Tools, 2009
Proceedings of the 17th Annual Meeting of the IEEE/ACM International Symposium on Modelling, 2009
Risk analysis via heterogeneous models of SCADA interconnecting Power Grids and Telco networks.
Proceedings of the CRiSIS 2009, 2009
2008
Radyban: A tool for reliability analysis of dynamic fault trees through conversion into dynamic Bayesian networks.
Reliab. Eng. Syst. Saf., 2008
Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008
Proceedings of the Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom 2008), 2008
Compositional fluid stochastic Petri net model for operational software system performance.
Proceedings of the IEEE International Conference on Software Reliability Engineering Workshops, 2008
Proceedings of the Critical Information Infrastructure Security, 2008
2007
Compiling Dyanamic Fault Trees into Dynamic Bayesian Nets for Reliability Analysis: the RADYBAN Tool.
Proceedings of the Fifth UAI Bayesian Modeling Applications Workshop (UAI-AW 2007), 2007
2006
Proceedings of the IEEE Intelligent Transportation Systems Conference, 2006
Automatically Translating Dynamic Fault Trees into Dynamic Bayesian Networks by Means of a Software Tool.
Proceedings of the The First International Conference on Availability, 2006
2005
Proceedings of the FIRB-Perf Workshop on Techniques, 2005
2004
Perform. Evaluation, 2004
2003
Parametric Fault Tree for the Dependability Analysis of Redundant Systems and Its High-Level Petri Net Semantics.
IEEE Trans. Software Eng., 2003
Reliab. Eng. Syst. Saf., 2003
Sequential application of heterogeneous models for the safetyanalysis of a control system: a case study.
Reliab. Eng. Syst. Saf., 2003
Acyclic discrete phase type distributions: properties and a parameter estimation algorithm.
Perform. Evaluation, 2003
Proceedings of the UAI '03, 2003
Proceedings of the Lectures on Concurrency and Petri Nets, 2003
2002
Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant.
Proceedings of the Computer Safety, 2002
Methods of Increasing Modelling Power for Safety Analysis, Applied to a Turbine Digital Control System.
Proceedings of the Computer Safety, 2002
Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002
2001
Improving the analysis of dependable systems by mapping fault trees into Bayesian networks.
Reliab. Eng. Syst. Saf., 2001
Perform. Evaluation, 2001
Petri Nets with Discrete Phase Type Timing: A Bridge Between Stochastic and Functional Analysis.
Proceedings of the International Workshop on Models for Time-Critical Systems, 2001
Discret. Event Dyn. Syst., 2001
Dependability Assessment of an Industrial Programmable Logic Controller via Parametric Fault-Tree and High level Petri Net.
Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 2001
2000
IEEE Trans. Software Eng., 2000
Proceedings of the Eight Euromicro Workshop on Parallel and Distributed Processing, 2000
1999
Bayesian Networks for Dependability Analysis: an Application to Digital Control Reliability.
Proceedings of the UAI '99: Proceedings of the Fifteenth Conference on Uncertainty in Artificial Intelligence, Stockholm, Sweden, July 30, 1999
Proceedings of the Computer Safety, 1999
Proceedings of the 8th International Workshop on Petri Nets and Performance Models, 1999
Modeling software systems with rejuvenation, restoration and checkpointing through fluid stochastic Petri nets.
Proceedings of the 8th International Workshop on Petri Nets and Performance Models, 1999
Proceedings of the 8th International Workshop on Petri Nets and Performance Models, 1999
TIRAN: Flexible and Portable Fault Tolerance Solutions for Cost Effective Dependable Applications.
Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999
1998
J. Circuits Syst. Comput., 1998
Proceedings of the UAI '98: Proceedings of the Fourteenth Conference on Uncertainty in Artificial Intelligence, 1998
1997
New primitives for interlaced memory policies in Markov regenerative Stochastic Petri Nets.
Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, 1997
1996
Proceedings of the Lectures on Petri Nets I: Basic Models, 1996
1995
Proceedings of the 1995 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems, 1995
Preemptive repeat identical transitions in Markov regenerative stochastic Petri nets.
Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, 1995
Proceedings of the Quantitative Evaluation of Computing and Communication Systems, 1995
Proceedings of the Application and Theory of Petri Nets 1995, 1995
1994
Proceedings of the Dependable Computing, 1994
1992
Distribution of the Minimal Completion Time of Parallel Tasks in Multi-Reward Semi-Markov Models.
Perform. Evaluation, 1992
1990
IEEE Trans. Computers, 1990
Microprocessing and Microprogramming, 1990
1989
The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets.
IEEE Trans. Software Eng., 1989
1986
IEEE Trans. Computers, 1986
1985
On Petri Nets with Stochastic Timing.
Proceedings of the International Workshop on Timed Petri Nets, 1985
The Design of a Unified Package for the Solution of Stochastic Petri Net Models.
Proceedings of the International Workshop on Timed Petri Nets, 1985