Andrea Bobbio

According to our database1, Andrea Bobbio authored at least 73 papers between 1985 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Scalable analytical model for reliability measures in aging VLSI by interacting Markovian agents.
Perform. Eval., 2019

Modeling Dependencies In Complex System Dependability.
Proceedings of the 33rd International ECMS Conference on Modelling and Simulation, 2019

2017
The appeal of the devil's eye: social evaluation affects social attention.
Cognitive Processing, 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

Reliability and Availability Engineering - Modeling, Analysis, and Applications
Cambridge University Press, ISBN: 978-1-107-09950-0, 2017

2016
Parametric Sensitivity and Uncertainty Propagation in Dependability Models.
Proceedings of the 10th EAI International Conference on Performance Evaluation Methodologies and Tools, 2016

DSN 2016 Tutorial: Reliability and Availability Modeling in Practice.
Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2016

2015
An Intelligent Swarm of Markovian Agents.
Proceedings of the Springer Handbook of Computational Intelligence, 2015

2014
Markovian agents models for wireless sensor networks deployed in environmental protection.
Rel. Eng. & Sys. Safety, 2014

2013
Bayesian Networks for Dependability Analysis: an Application to Digital Control Reliability
CoRR, 2013

2012
Markovian agent modeling swarm intelligence algorithms in wireless sensor networks.
Perform. Eval., 2012

A dynamic Bayesian network based framework to evaluate cascading effects in a power grid.
Eng. Appl. of AI, 2012

Special section: Dependable system modelling and analysis.
Eng. Appl. of AI, 2012

Parametric Dependability Analysis through Probabilistic Horn Abduction
CoRR, 2012

Multiformalism to Support Software Rejuvenation Modeling.
Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012

A new symbolic approach for network reliability analysis.
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. Reliability, 2010

Unavailability of critical SCADA communication links interconnecting a power grid and a Telco network.
Rel. Eng. & Sys. Safety, 2010

QoS Analysis of Weighted Multi-state Probabilistic Networks via Decision Diagrams.
Proceedings of the Computer Safety, 2010

A Markovian Agent Model for Fire Propagation in Outdoor Environments.
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

Presenting Dynamic Markovian Agents with a road tunnel application.
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.
Rel. Eng. & Sys. Safety, 2008

Analysis of Large Scale Interacting Systems by Mean Field Method.
Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

Analysis of On-off policies in Sensor Networks Using Interacting Markovian Agents.
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

Disaster Propagation in Heterogeneous Media via Markovian Agents.
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

A Tool for Network Reliability Analysis.
Proceedings of the Computer Safety, 2007

2006
Modelling a car safety controller in road tunnels using hybrid petri nets.
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
Efficient Analysis Algorithms for Parametric Fault Trees.
Proceedings of the FIRB-Perf Workshop on Techniques, 2005

2004
The scale factor: a new degree of freedom in phase-type approximation.
Perform. Eval., 2004

2003
Parametric Fault Tree for the Dependability Analysis of Redundant Systems and Its High-Level Petri Net Semantics.
IEEE Trans. Software Eng., 2003

Fluid Petri Nets and hybrid model-checking: a comparative case study.
Rel. Eng. & Sys. Safety, 2003

Sequential application of heterogeneous models for the safetyanalysis of a control system: a case study.
Rel. Eng. & Sys. Safety, 2003

Acyclic discrete phase type distributions: properties and a parameter estimation algorithm.
Perform. Eval., 2003

Parametric Dependability Analysis through Probabilistic Horn Abduction.
Proceedings of the UAI '03, 2003

Petri Nets and Dependability.
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

A hierarchical approach for designing dependable systems.
Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002

The Scale Factor: A New Degree of Freedom in Phase Type Approximation.
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

PhFit: A General Phase-type Fitting Tool.
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.
Rel. Eng. & Sys. Safety, 2001

Fine grained software degradation models for optimal rejuvenation policies.
Perform. Eval., 2001

Petri Nets with Discrete Phase Type Timing: A Bridge Between Stochastic and Functional Analysis.
Electr. Notes Theor. Comput. Sci., 2001

Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: Modelling and Analysis.
Discrete Event Dynamic Systems, 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
A Modeling Framework to Implement Preemption Policies in Non-Markovian SPNs.
IEEE Trans. Software Eng., 2000

The TIRAN approach to reusing software implemented fault tolerance.
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

Comparing Fault Trees and Bayesian Networks for Dependability Analysis.
Proceedings of the Computer Safety, 1999

Fluid stochastic Petri nets: An extended formalism to include non-Markovian models.
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

Exploiting Petri nets to support fault tree based dependability analysis.
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
Recent Developments in Non-Markovian Stochastic Petri Nets.
Journal of Circuits, Systems, and Computers, 1998

Flexible and Approximate Computation through State-Space Reduction.
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
Petri Nets in Performance Analysis: An Introduction.
Proceedings of the Lectures on Petri Nets I: Basic Models, 1996

1995
Non-Markovian Petri Nets (Panel).
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

Steady State Analysis of Markov Regenerative SPN with Age Memory Policy.
Proceedings of the Quantitative Evaluation of Computing and Communication Systems, 1995

Markov Regenerative Stochastic Petri Nets with Age Type General Transitions.
Proceedings of the Application and Theory of Petri Nets 1995, 1995

1994
Computational Restrictions for SPN with Generally Distributed Transition Times.
Proceedings of the Dependable Computing, 1994

1992
Distribution of the Minimal Completion Time of Parallel Tasks in Multi-Reward Semi-Markov Models.
Perform. Eval., 1992

1990
Computing Cumulative Measures of Stiff Markov Chains Using Aggregation.
IEEE Trans. Computers, 1990

1989
The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets.
IEEE Trans. Software Eng., 1989

1986
An Aggregation Technique for the Transient Analysis of Stiff Markov Chains.
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


  Loading...