Andrea Bobbio - RankMe

80 papers A* 2A 6B 8C 4Misc 1Journal 28Unranked 28

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