Andrea Bondavalli - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

2010

2009

2008

International Workshop on Resilience Assessment and Dependability Benchmarking (RADB 2008)Andrea Bondavalli, István Majzik, Aad P. A. van Moorsel. dsn 2008: 542-543 [doi]

How hard is Assessing and Measuring Resilience? PanelAndrea Bondavalli. edcc 2008: 179-180 [doi]

Assuring Resilient Time SynchronizationAndrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai. srds 2008: 3-12 [doi]

Analysis of User Perceived QoS in Ubiquitous UMTS Environments Subject to FaultsAndrea Bondavalli, Paolo Lollini, Leonardo Montecchi. seus 2008: 186-197 [doi]

A framework for dependable QoS adaptation in probabilistic environmentsAntonio Casimiro, Paolo Lollini, M. Dixit, Andrea Bondavalli, Paulo Veríssimo. SAC 2008: 2192-2196 [doi]

A Resilient SIL 2 Driver Machine Interface for Train Control SystemsAndrea Ceccarelli, IstvÃ¡n Majzik, Danilo Iovino, Fausto Caneschi, Gergely PintÃ©r, Andrea Bondavalli. depcos 2008: 365-374 [doi]

2007

Dependable Computing, Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007, ProceedingsAndrea Bondavalli, Francisco Vilar Brasileiro, Sergio Rajsbaum, editors, Volume 4746 of Lecture Notes in Computer Science, Springer, 2007.

Foundations of Measurement Theory Applied to the Evaluation of Dependability AttributesAndrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai, Michele Vadursi. dsn 2007: 522-533 [doi]

A Self-Aware Clock for Pervasive Computing SystemsAndrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai. pdp 2007: 403-411 [doi]

Analysis of a Redundant Architecture for Critical Infrastructure ProtectionAlessandro Daidone, Silvano Chiaradonna, Andrea Bondavalli, Paulo Veríssimo. ICSE 2008: 78-100 [doi]

Online Diagnosis and Recovery: On the Choice and Impact of Tuning ParametersMarco Serafini, Andrea Bondavalli, Neeraj Suri. tdsc, 4(4):295-312, 2007. [doi]

The CRUTIAL Architecture for Critical Information InfrastructuresPaulo Veríssimo, Nuno Ferreira Neves, Miguel Correia, Yves Deswarte, Anas Abou El Kalam, Andrea Bondavalli, Alessandro Daidone. ICSE 2008: 1-27 [doi]

2006

Guest Editorial for the Special Issue on the 2005 IEEE/IFIP Conference on Dependable Systems and Networks, including the Dependable Computing and Communications and Performance and Dependability SymposiaJean Arlat, Andrea Bondavalli, Boudewijn R. Haverkort, Paulo Veríssimo. tdsc, 3(3):169-171, 2006. [doi]

Integration of an MPS Modeling Approach into MobiusAndrea Bondavalli, Silvano Chiaradonna, Paolo Lollini, Fabrizio Squittieri. qest 2006: 139-140 [doi]

Hidden Markov Models as a Support for Diagnosis: Formalization of the Problem and Synthesis of the SolutionAlessandro Daidone, Felicita Di Giandomenico, Andrea Bondavalli, Silvano Chiaradonna. srds 2006: 245-256 [doi]

Dependability Evaluation of Web Service-Based ProcessesLászló Gönczy, Silvano Chiaradonna, Felicita Di Giandomenico, András Pataricza, Andrea Bondavalli, Tamás Bartha. epew 2006: 166-180 [doi]

2005

2004

A Freshness Detection Mechanism for Railway ApplicationsAndrea Bondavalli, Enrico De Giudici, Stefano Porcarelli, Salvatore Sabina, Fabrizio Zanini. prdc 2004: 292-301 [doi]

Dependability modeling and evaluation of multiple-phased systems using DEEMAndrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, Ivan Mura. tr, 53(4):509-522, 2004. [doi]

Modeling and Analysis of a Scheduled Maintenance System: a DSPN ApproachAndrea Bondavalli, Roberto Filippini. cj, 47(6):634-650, 2004. [doi]

Effective Fault Treatment for Improving the Dependability of COTS and Legacy-Based ApplicationsAndrea Bondavalli, Silvano Chiaradonna, Domenico Cotroneo, Luigi Romano. tdsc, 1(4):223-237, 2004. [doi]

Congestion analysis during outage, congestion treatment and outage recovery for simple GPRS networksPaolo Lollini, Andrea Bondavalli, Felicita Di Giandomenico, Stefano Porcarelli. ISCC 2004: 772-778 [doi]

Model-based evaluation of a radio resource management system for wireless networksStefano Porcarelli, Felicita Di Giandomenico, Andrea Bondavalli, Paolo Lollini. cf 2004: 51-59 [doi]

A Modular Approach for Model-Based Dependability Evaluation of a Class of SystemsStefano Porcarelli, Felicita Di Giandomenico, Paolo Lollini, Andrea Bondavalli. isas 2005: 160-174 [doi]

Architectural challenges for a dependable Information SocietyLuca Simoncini, Felicita Di Giandomenico, Andrea Bondavalli, Silvano Chiaradonna. ifip 2004: 283-304

2003

2002

An adaptive approach to achieving hardware and software fault tolerance in a distributed computing environmentAndrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, J. Xu. jsa, 47(9):763-781, 2002. [doi]

Performance Analysis of a Consensus Algorithm Combining Stochastic Activity Networks and MeasurementsAndrea Coccoli, Péter Urbán, Andrea Bondavalli. dsn 2002: 551-560 [doi]

Stochastic Dependability Analysis of System Architecture Based on UML ModelsIstván Majzik, András Pataricza, Andrea Bondavalli. ICSE 2003: 219-244 [doi]

Analyzing quality of service of GPRS network systems from a user s perspectiveStefano Porcarelli, Felicita Di Giandomenico, Andrea Bondavalli. ISCC 2002: 142-149 [doi]

Implementation of Threshold-based Diagnostic Mechanisms for COTS-Based ApplicationsLuigi Romano, Andrea Bondavalli, Silvano Chiaradonna, Domenico Cotroneo. srds 2002: 296-303 [doi]

2001

Evaluation of Fault-Tolerant Multiprocessor Systems for High Assurance ApplicationsFabrizio Grandoni 0002, Silvano Chiaradonna, Felicita Di Giandomenico, Andrea Bondavalli. cj, 44(6):544-556, 2001. [doi]

Hierarchical modelling of complex control systems: dependability analysis of a railway interlockingAndrea Bondavalli, Manuela Nelli, Luca Simoncini, Giorgio Mongardi. csse, 16(4):249-261, 2001.

Dependability analysis in the early phases of UML-based system designAndrea Bondavalli, Mario Dal Cin, Diego Latella, István Majzik, András Pataricza, Giancarlo Savoia. csse, 16(5):265-275, 2001.

Design Validation of Embedded Dependable SystemsAndrea Bondavalli, Alessandro Fantechi, Diego Latella, Luca Simoncini. micro, 21(5):52-62, 2001. [doi]

Towards Optimal Database Maintenance in Wireless Communication SystemsAmine Chohra, Felicita Di Giandomenico, Stefano Porcarelli, Andrea Bondavalli. isas-sci 2001: 571-576

Analysis and Estimation of the Quality of Service of Group Communication ProtocolsAndrea Coccoli, Andrea Bondavalli, Felicita Di Giandomenico. isorc 2001: 209-216 [doi]

Markov Regenerative Stochastic Petri Nets to Model and Evaluate Phased Mission Systems DependabilityIvan Mura, Andrea Bondavalli. TC, 50(12):1337-1351, 2001. [doi]

Tuning of Database Audits to Improve Scheduled Maintenance in Communication SystemsStefano Porcarelli, Felicita Di Giandomenico, Amine Chohra, Andrea Bondavalli. safecomp 2001: 238-248 [doi]

Modeling and Analysis of the Behavior of GPRS SystemsF. Tataranni, Stefano Porcarelli, Luca Simoncini, Felicita Di Giandomenico, Andrea Bondavalli. words 2001: 51-58 [doi]

Analysis of the Effects of Outages on the Quality of Service of GPRS Network SystemsF. Tataranni, Stefano Porcarelli, Felicita Di Giandomenico, Andrea Bondavalli. dsn 2001: 235-250 [doi]

2000

DEEM: A Tool for the Dependability Modeling and Evaluation of Multiple Phased SystemsAndrea Bondavalli, Ivan Mura, Silvano Chiaradonna, Roberto Filippini, S. Poli, F. Sandrini. dsn 2000: 231-236 [doi]

Threshold-Based Mechanisms to Discriminate Transient from Intermittent FaultsAndrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, Fabrizio Grandoni 0002. TC, 49(3):230-245, 2000. [doi]

A Position on Design, Methods, and Tools for Object-Oriented Real-Time ComputingAndrea Bondavalli, Felicita Di Giandomenico. isorc 2000: 306 [doi]

The meaning and role of value in scheduling flexible real-time systemsA. Burns, D. Prasad, Andrea Bondavalli, Felicita Di Giandomenico, Krithi Ramamritham, John A. Stankovic, Lorenzo Strigini. jsa, 46(4):305-325, 2000. [doi]

Evaluation of Integrated Error Processing and Fault Diagnosis in Multiprocessor SystemsFelicita Di Giandomenico, Silvano Chiaradonna, Andrea Bondavalli, Fabrizio Grandoni 0002. pdpta 2000:

Design, Methods, and Tools for ORCEdgar Nett, Andrea Bondavalli, Bruce Powel Douglass, Carlos Eduardo Pereira, Douglas C. Schmidt, Bran Selic, Kelvin D. Nilsen. isorc 2000: 305 [doi]

Scheduling Solutions for Supporting Dependable Real-Time ApplicationsF. Sandrini, Felicita Di Giandomenico, Andrea Bondavalli, Edgar Nett. isorc 2000: 122-129 [doi]

1999

A Contribution to the Evaluation of the Reliability of Iterative-Execution SoftwareAndrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, Lorenzo Strigini. stvr, 9(3):145-166, 1999.

Automated Dependability Analysis of UML DesignsAndrea Bondavalli, Ivan Mura, István Majzik. isorc 1999: 139 [doi]

Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance SystemsAndrea Bondavalli, Ivan Mura, Kishor S. Trivedi. edcc 1999: 7-23 [doi]

An Optimal Value-Based Admission Policy and its Reflective Use in Real-Time SystemsAndrea Bondavalli, Felicita Di Giandomenico, Ivan Mura. rts, 16(1):5-30, 1999.

Automatic Dependability Analysis for Supporting Design Decisions in UMLAndrea Bondavalli, Ivan Mura, István Majzik. hase 1999: 64 [doi]

GUARDS: A Generic Upgradable Architecture for Real-Time Dependable SystemsDavid Powell, Jean Arlat, Ljerka Beus-Dukic, Andrea Bondavalli, P. Coppola, Alessandro Fantechi, Eric Jenn, Christophe Rabéjac, Andy J. Wellings. tpds, 10(6):580-599, 1999. [doi]

1998

1997

A Scheduling Algorithm for Aperiodic Groups of Tasks in Distributed Real-Time Systems and its Holistic AnalysisPaolo Bizzarri, Andrea Bondavalli, Felicita Di Giandomenico. ftdcs 1997: 296-303 [doi]

Analytical Modelling and Evaluation of Phased-Mission Systems for Space ApplicationsAndrea Bondavalli, Ivan Mura, Manuela Nelli. hase 1997: 85 [doi]

Discriminating Fault Rate and Persistency to Improve Fault TreatmentAndrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, Fabrizio Grandoni 0002. ftcs 1997: 354-362

1996

Reachability and Timing Analysis in Data Flow Networks: A Case StudyB. Antal, György Csertán, István Majzik, Andrea Bondavalli, Luca Simoncini. euromicro 1996: 193 [doi]

Dependability Modeling and Analysis of Complex Control Systems: An Application to Railway InterlockingManuela Nelli, Andrea Bondavalli, Luca Simoncini. edcc 1996: 93-110

1995

Using Process Algebras for the Semantic Analysis of Data Flow NetworksCinzia Bernardeschi, Andrea Bondavalli, Luca Simoncini. ieicet, 78-D(8):959-968, 1995. [doi]

1994

Efficient Fault Tolerance: An Approach to Deal with Transient Faults in Multiprocessor ArchitecturesAndrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico. icpads 1994: 354-359

On Performability Modeling and Evaluation of Software Fault Tolerant StructuresSilvano Chiaradonna, Andrea Bondavalli, Lorenzo Strigini. edcc 1994: 97-114

1993

From Data Flow Networks to Process AlgebrasCinzia Bernardeschi, Andrea Bondavalli, Luca Simoncini. parle 1993: 740-743

1992

Dataflow-Like Languages for Real-Time Systems: Issues of Computational Models and NotationsAndrea Bondavalli, Lorenzo Strigini, Luca Simoncini. srds 1992: 214-221

Destination Stripping Dual Ring: A New Protocol for MANsAndrea Bondavalli, Lorenzo Strigini, Matteo Sereno. cn, 24(1):15-32, 1992.

1991

DSDR: A Fair and Efficient Access Protocol for Ring-Topology MANsAndrea Bondavalli, Lorenzo Strigini. infocom 1991: 1022-1030

A Performable BSM ArchitectureAndrea Bondavalli, M. Mannocci, F. Tarini, P. Zini, L. Nardone, Luca Simoncini. icftcs 1991: 332-347

1989

MAC Protocols for High-Speed MANs: Performance Comparisons for a Family of Fasnet-Based ProtocolsAndrea Bondavalli, Marco Conti, Enrico Gregori, Luciano Lenzini, Lorenzo Strigini. cn, 18(2):97-113, 1989.

Shared Abstract Data Types: An Algebraic Methodology for Their SpecificationAndrea Bondavalli, Nicoletta De Francesco, Diego Latella, Gigliola Vaglini. mfdbs 1989: 53-67 [doi]