default search action
Andrea Bobbio
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j26]Kishor S. Trivedi
, Andrea Bobbio
Reliability and Availability Analysis in Practice: Toward Multilevel Models for Complex Systems. Computer 57(4): 82-92 (2024) - 2023
- [j25]Andrea Bobbio, Lelio Campanile, Marco Gribaudo
A cyber warfare perspective on risks related to health IoT devices and contact tracing. Neural Comput. Appl. 35(19): 13823-13837 (2023) - 2022
- [c48]Davide Cerotti, Simona Mancini
Analysis of an Electric Vehicle Charging System Along a Highway. QEST 2022: 298-316 - 2020
- [p2]Andrea Bobbio, Antonio Puliafito, Marco Scarpa, Miklós Telek:
Appendix: Stochastic Modeling Techniques in Software Aging and Rejuvenation Phenomena. Handbook of Software Aging and Rejuvenation 2020: 363-401
2010 – 2019
- 2019
- [j24]Davide Cerotti, Antonio Miele
Scalable analytical model for reliability measures in aging VLSI by interacting Markovian agents. Perform. Evaluation 132: 21-37 (2019) - [c47]Andrea Bobbio:
Modeling Dependencies In Complex System Dependability. ECMS 2019: 18-20 - 2017
- [b1]Kishor S. Trivedi, Andrea Bobbio:
Reliability and Availability Engineering - Modeling, Analysis, and Applications. Cambridge University Press 2017, ISBN 978-1-107-09950-0, pp. 1-726 - [j23]Luciana Carraro
The appeal of the devil's eye: social evaluation affects social attention. Cogn. Process. 18(1): 97-103 (2017) - [c46]Riccardo Pinciroli
Epistemic uncertainty propagation in a Weibull environment for a two-core system-on-chip. ICSRS 2017: 516-520 - [c45]Andrea Bobbio
Scalable analytical model of the reliability of multi-core systems-on-chip by interacting Markovian agents. VALUETOOLS 2017: 156-163 - 2016
- [c44]Kishor S. Trivedi, Andrea Bobbio
DSN 2016 Tutorial: Reliability and Availability Modeling in Practice. DSN Workshops 2016: 263 - [c43]Riccardo Pinciroli
Parametric Sensitivity and Uncertainty Propagation in Dependability Models. VALUETOOLS 2016 - 2015
- [p1]Dario Bruneo, Marco Scarpa, Andrea Bobbio
An Intelligent Swarm of Markovian Agents. Handbook of Computational Intelligence 2015: 1345-1359 - 2014
- [j22]Davide Cerotti
Markovian agents models for wireless sensor networks deployed in environmental protection. Reliab. Eng. Syst. Saf. 130: 149-158 (2014) - 2013
- [i2]Luigi Portinale, Andrea Bobbio:
Bayesian Networks for Dependability Analysis: an Application to Digital Control Reliability. CoRR abs/1301.6734 (2013) - 2012
- [j21]Andrea Bobbio
Special section: Dependable system modelling and analysis. Eng. Appl. Artif. Intell. 25(4): 669-670 (2012) - [j20]Daniele Codetta Raiteri
A dynamic Bayesian network based framework to evaluate cascading effects in a power grid. Eng. Appl. Artif. Intell. 25(4): 683-697 (2012) - [j19]Dario Bruneo
Markovian agent modeling swarm intelligence algorithms in wireless sensor networks. Perform. Evaluation 69(3-4): 135-149 (2012) - [c42]Marco Beccuti
A new symbolic approach for network reliability analysis. DSN 2012: 1-12 - [c41]Enrico Barbierato, Andrea Bobbio
Multiformalism to Support Software Rejuvenation Modeling. ISSRE Workshops 2012: 271-276 - [i1]Andrea Bobbio, Stefania Montani, Luigi Portinale:
Parametric Dependability Analysis through Probabilistic Horn Abduction. CoRR abs/1212.2446 (2012) - 2010
- [j18]Andrea Bobbio
Unavailability of critical SCADA communication links interconnecting a power grid and a Telco network. Reliab. Eng. Syst. Saf. 95(12): 1345-1357 (2010) - [j17]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): 250-261 (2010) - [c40]Davide Cerotti
A Markovian Agent Model for Fire Propagation in Outdoor Environments. EPEW 2010: 131-146 - [c39]Roberta Terruggia
QoS Analysis of Weighted Multi-state Probabilistic Networks via Decision Diagrams. SAFECOMP 2010: 41-54
2000 – 2009
- 2009
- [c38]Andrea Bobbio
Risk analysis via heterogeneous models of SCADA interconnecting Power Grids and Telco networks. CRiSIS 2009: 90-97 - [c37]Davide Cerotti
Presenting Dynamic Markovian Agents with a road tunnel application. MASCOTS 2009: 1-4 - [c36]Dario Bruneo
Analytical modeling of swarm intelligence in wireless sensor networks through Markovian agents. VALUETOOLS 2009: 52 - 2008
- [j16]Stefania Montani
Radyban: A tool for reliability analysis of dynamic fault trees through conversion into dynamic Bayesian networks. Reliab. Eng. Syst. Saf. 93(7): 922-932 (2008) - [c35]Davide Cerotti
Disaster Propagation in Heterogeneous Media via Markovian Agents. CRITIS 2008: 328-335 - [c34]Andrea Bobbio
Compositional fluid stochastic Petri net model for operational software system performance. ISSRE Workshops 2008: 1-6 - [c33]Marco Gribaudo
Analysis of On-off policies in Sensor Networks Using Interacting Markovian Agents. PerCom 2008: 300-305 - [c32]Andrea Bobbio
Analysis of Large Scale Interacting Systems by Mean Field Method. QEST 2008: 215-224 - 2007
- [c31]Andrea Bobbio, Roberta Terruggia
A Tool for Network Reliability Analysis. SAFECOMP 2007: 417-422 - [c30]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 - 2006
- [c29]Stefania Montani
Automatically Translating Dynamic Fault Trees into Dynamic Bayesian Networks by Means of a Software Tool. ARES 2006: 804-809 - [c28]Andrea Bobbio, Marco Gribaudo
Modelling a car safety controller in road tunnels using hybrid petri nets. ITSC 2006: 1436-1441 - 2005
- [c27]Andrea Bobbio
Efficient Analysis Algorithms for Parametric Fault Trees. FIRB-Perf 2005: 91-105 - 2004
- [j15]Andrea Bobbio
The scale factor: a new degree of freedom in phase-type approximation. Perform. Evaluation 56(1-4): 121-144 (2004) - 2003
- [j14]Andrea Bobbio
Acyclic discrete phase type distributions: properties and a parameter estimation algorithm. Perform. Evaluation 54(1): 1-32 (2003) - [j13]Marco Gribaudo
Fluid Petri Nets and hybrid model-checking: a comparative case study. Reliab. Eng. Syst. Saf. 81(3): 239-257 (2003) - [j12]Andrea Bobbio
Sequential application of heterogeneous models for the safetyanalysis of a control system: a case study. Reliab. Eng. Syst. Saf. 81(3): 269-280 (2003) - [j11]Andrea Bobbio
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) - [c26]Simona Bernardi, Andrea Bobbio, Susanna Donatelli:
Petri Nets and Dependability. Lectures on Concurrency and Petri Nets 2003: 125-179 - [c25]Andrea Bobbio, Stefania Montani, Luigi Portinale:
Parametric Dependability Analysis through Probabilistic Horn Abduction. UAI 2003: 65-72 - 2002
- [c24]Andrea Bobbio
PhFit: A General Phase-type Fitting Tool. DSN 2002: 543 - [c23]Andrea Bobbio
The Scale Factor: A New Degree of Freedom in Phase Type Approximation. DSN 2002: 627-636 - [c22]Matteo Sonza Reorda
A hierarchical approach for designing dependable systems. HLDVT 2002: 63-68 - [c21]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 - [c20]Marco Gribaudo
Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant. SAFECOMP 2002: 273-283 - 2001
- [j10]Marco Gribaudo
Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: Modelling and Analysis. Discret. Event Dyn. Syst. 11(1-2): 97-117 (2001) - [j9]Andrea Bobbio
Fine grained software degradation models for optimal rejuvenation policies. Perform. Evaluation 46(1): 45-62 (2001) - [j8]Andrea Bobbio
Improving the analysis of dependable systems by mapping fault trees into Bayesian networks. Reliab. Eng. Syst. Saf. 71(3): 249-260 (2001) - [c19]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: 29-38 - [c18]Andrea Bobbio
Petri Nets with Discrete Phase Type Timing: A Bridge Between Stochastic and Functional Analysis. MTCS 2001: 209-226 - 2000
- [j7]Andrea Bobbio
A Modeling Framework to Implement Preemption Policies in Non-Markovian SPNs. IEEE Trans. Software Eng. 26(1): 36-54 (2000) - [c17]Oliver Botti, Vincenzo De Florio
The TIRAN approach to reusing software implemented fault tolerance. PDP 2000: 325-332
1990 – 1999
- 1999
- [c16]Oliver Botti, Vincenzo De Florio, Geert Deconinck
TIRAN: Flexible and Portable Fault Tolerance Solutions for Cost Effective Dependable Applications. Euro-Par 1999: 1166-1170 - [c15]Marco Gribaudo
Fluid stochastic Petri nets: An extended formalism to include non-Markovian models. PNPM 1999: 74-81 - [c14]Andrea Bobbio
Modeling software systems with rejuvenation, restoration and checkpointing through fluid stochastic Petri nets. PNPM 1999: 82-91 - [c13]Andrea Bobbio
Exploiting Petri nets to support fault tree based dependability analysis. PNPM 1999: 146-155 - [c12]Andrea Bobbio, Luigi Portinale, Michele Minichino, Ester Ciancamerla:
Comparing Fault Trees and Bayesian Networks for Dependability Analysis. SAFECOMP 1999: 310-322 - [c11]Luigi Portinale, Andrea Bobbio:
Bayesian Networks for Dependability Analysis: an Application to Digital Control Reliability. UAI 1999: 551-558 - 1998
- [j6]Andrea Bobbio
Recent Developments in Non-Markovian Stochastic Petri Nets. J. Circuits Syst. Comput. 8(1): 119-158 (1998) - [c10]Andrea Bobbio:
Flexible and Approximate Computation through State-Space Reduction. UAI 1998: 531-538 - 1997
- [c9]Andrea Bobbio, Antonio Puliafito, Miklós Telek:
New primitives for interlaced memory policies in Markov regenerative Stochastic Petri Nets. PNPM 1997: 70-79 - 1996
- [c8]Marco Ajmone Marsan, Andrea Bobbio, Susanna Donatelli:
Petri Nets in Performance Analysis: An Introduction. Petri Nets 1996: 211-256 - 1995
- [c7]Miklós Telek
Markov Regenerative Stochastic Petri Nets with Age Type General Transitions. Application and Theory of Petri Nets 1995: 471-489 - [c6]Miklós Telek
Steady State Analysis of Markov Regenerative SPN with Age Memory Policy. MMB 1995: 165-179 - [c5]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: 113-122 - [c4]Kishor S. Trivedi, Andrea Bobbio
Non-Markovian Petri Nets (Panel). SIGMETRICS 1995: 263-264 - 1994
- [c3]Andrea Bobbio, Miklós Telek
Computational Restrictions for SPN with Generally Distributed Transition Times. EDCC 1994: 131-148 - 1992
- [j5]Andrea Bobbio
Distribution of the Minimal Completion Time of Parallel Tasks in Multi-Reward Semi-Markov Models. Perform. Evaluation 14(3-4): 239-256 (1992) - 1990
- [j4]Andrea Bobbio
Dependability analysis of fault-tolerant systems: a literature survey. Microprocessing and Microprogramming 29(1): 1-13 (1990) - [j3]Andrea Bobbio
Computing Cumulative Measures of Stiff Markov Chains Using Aggregation. IEEE Trans. Computers 39(10): 1291-1298 (1990)
1980 – 1989
- 1989
- [j2]Marco Ajmone Marsan, Gianfranco Balbo, Andrea Bobbio
The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets. IEEE Trans. Software Eng. 15(7): 832-846 (1989) - 1986
- [j1]Andrea Bobbio
An Aggregation Technique for the Transient Analysis of Stiff Markov Chains. IEEE Trans. Computers 35(9): 803-814 (1986) - 1985
- [c2]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 - [c1]Marco Ajmone Marsan, Gianfranco Balbo, Andrea Bobbio, Giovanni Chiola, Gianni Conte, Aldo Cumani:
On Petri Nets with Stochastic Timing. PNPM 1985: 80-87
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: