2008 |
74 | EE | Andrea Bondavalli,
István Majzik,
Aad P. A. van Moorsel:
International Workshop on Resilience Assessment and Dependability Benchmarking (RADB 2008).
DSN 2008: 542-543 |
73 | EE | Antonio Casimiro,
Paolo Lollini,
M. Dixit,
Andrea Bondavalli,
Paulo Veríssimo:
A framework for dependable QoS adaptation in probabilistic environments.
SAC 2008: 2192-2196 |
72 | EE | Andrea Bondavalli,
Paolo Lollini,
Leonardo Montecchi:
Analysis of User Perceived QoS in Ubiquitous UMTS Environments Subject to Faults.
SEUS 2008: 186-197 |
71 | EE | Andrea Bondavalli,
Andrea Ceccarelli,
Lorenzo Falai:
Assuring Resilient Time Synchronization.
SRDS 2008: 3-12 |
2007 |
70 | | Andrea Bondavalli,
Francisco Vilar Brasileiro,
Sergio Rajsbaum:
Dependable Computing, Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007, Proceedings
Springer 2007 |
69 | EE | Andrea Bondavalli,
Andrea Ceccarelli,
Lorenzo Falai,
Michele Vadursi:
Foundations of Measurement Theory Applied to the Evaluation of Dependability Attributes.
DSN 2007: 522-533 |
68 | EE | Andrea Bondavalli,
Andrea Ceccarelli,
Lorenzo Falai:
A Self-Aware Clock for Pervasive Computing Systems.
PDP 2007: 403-411 |
67 | EE | Paulo Veríssimo,
Nuno Ferreira Neves,
Miguel Correia,
Yves Deswarte,
Anas Abou El Kalam,
Andrea Bondavalli,
Alessandro Daidone:
The CRUTIAL Architecture for Critical Information Infrastructures.
WADS 2007: 1-27 |
66 | EE | Alessandro Daidone,
Silvano Chiaradonna,
Andrea Bondavalli,
Paulo Veríssimo:
Analysis of a Redundant Architecture for Critical Infrastructure Protection.
WADS 2007: 78-100 |
65 | EE | Marco Serafini,
Andrea Bondavalli,
Neeraj Suri:
Online Diagnosis and Recovery: On the Choice and Impact of Tuning Parameters.
IEEE Trans. Dependable Sec. Comput. 4(4): 295-312 (2007) |
2006 |
64 | EE | László Gönczy,
Silvano Chiaradonna,
Felicita Di Giandomenico,
András Pataricza,
Andrea Bondavalli,
Tamás Bartha:
Dependability Evaluation of Web Service-Based Processes.
EPEW 2006: 166-180 |
63 | EE | Andrea Bondavalli,
Silvano Chiaradonna,
Paolo Lollini,
Fabrizio Squittieri:
Integration of an MPS Modeling Approach into Mobius.
QEST 2006: 139-140 |
62 | EE | Alessandro Daidone,
Felicita Di Giandomenico,
Andrea Bondavalli,
Silvano Chiaradonna:
Hidden Markov Models as a Support for Diagnosis: Formalization of the Problem and Synthesis of the Solution.
SRDS 2006: 245-256 |
61 | EE | Jean Arlat,
Andrea Bondavalli,
Boudewijn R. Haverkort,
Paulo Veríssimo:
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 Symposia.
IEEE Trans. Dependable Sec. Comput. 3(3): 169-171 (2006) |
2005 |
60 | EE | Lorenzo Falai,
Andrea Bondavalli:
Experimental Evaluation of the QoS of Failure Detectors on Wide Area Network.
DSN 2005: 624-633 |
59 | EE | Paolo Lollini,
Andrea Bondavalli,
Felicita Di Giandomenico:
Evaluation of the Impact of Congestion on Service Availability in GPRS Infrastructures.
ISAS 2005: 180-195 |
58 | EE | Lorenzo Falai,
Andrea Bondavalli,
Felicita Di Giandomenico:
Quantitative Evaluation of Distributed Algorithms Using the Neko Framework: The NekoStat Extension.
LADC 2005: 35-51 |
57 | EE | Lorenzo Falai,
Andrea Bondavalli,
Felicita Di Giandomenico:
NekoStat extension to Neko: Quantitative Evaluation of Distributed Algorithms.
QEST 2005: 241-242 |
2004 |
56 | EE | Stefano Porcarelli,
Felicita Di Giandomenico,
Andrea Bondavalli,
Paolo Lollini:
Model-based evaluation of a radio resource management system for wireless networks.
Conf. Computing Frontiers 2004: 51-59 |
55 | | Luca Simoncini,
Felicita Di Giandomenico,
Andrea Bondavalli,
Silvano Chiaradonna:
Architectural challenges for a dependable Information Society.
IFIP Congress Topical Sessions 2004: 283-304 |
54 | EE | Stefano Porcarelli,
Felicita Di Giandomenico,
Paolo Lollini,
Andrea Bondavalli:
A Modular Approach for Model-Based Dependability Evaluation of a Class of Systems.
ISAS 2004: 160-174 |
53 | EE | Paolo Lollini,
Andrea Bondavalli,
Felicita Di Giandomenico,
Stefano Porcarelli:
Congestion analysis during outage, congestion treatment and outage recovery for simple GPRS networks.
ISCC 2004: 772-778 |
52 | EE | Andrea Bondavalli,
Enrico De Giudici,
Stefano Porcarelli,
Salvatore Sabina,
Fabrizio Zanini:
A Freshness Detection Mechanism for Railway Applications.
PRDC 2004: 292-301 |
51 | EE | Andrea Bondavalli,
Roberto Filippini:
Modeling and Analysis of a Scheduled Maintenance System: a DSPN Approach.
Comput. J. 47(6): 634-650 (2004) |
50 | EE | Andrea Bondavalli,
Silvano Chiaradonna,
Domenico Cotroneo,
Luigi Romano:
Effective Fault Treatment for Improving the Dependability of COTS and Legacy-Based Applications.
IEEE Trans. Dependable Sec. Comput. 1(4): 223-237 (2004) |
49 | EE | Andrea Bondavalli,
Silvano Chiaradonna,
Felicita Di Giandomenico,
Ivan Mura:
Dependability modeling and evaluation of multiple-phased systems using DEEM.
IEEE Transactions on Reliability 53(4): 509-522 (2004) |
2003 |
48 | EE | Andrea Bondavalli,
Silvano Chiaradonna,
Domenico Cotroneo,
Luigi Romano:
A Fault-Tolerant Distributed Legacy-Based System and Its Evaluation.
LADC 2003: 303-320 |
47 | EE | Stefano Porcarelli,
Marco Castaldi,
Felicita Di Giandomenico,
Andrea Bondavalli,
Paola Inverardi:
A Framework for Reconfiguration-Based Fault-Tolerance in Distributed Systems.
WADS 2003: 167-190 |
46 | EE | Andrea Coccoli,
Andrea Bondavalli:
Analysis of Safety Related Architectures.
WORDS Fall 2003: 111-117 |
45 | EE | Shambhu J. Upadhyaya,
Andrea Bondavalli:
Guest Editorial: Special Issue on Reliable Distributed Systems.
IEEE Trans. Computers 52(2): 97-98 (2003) |
44 | EE | Stefano Porcarelli,
Felicita Di Giandomenico,
Andrea Bondavalli,
Massimo Barbera,
Ivan Mura:
Service-Level Availability Estimation of GPRS.
IEEE Trans. Mob. Comput. 2(3): 233-247 (2003) |
2002 |
43 | EE | Andrea Coccoli,
Péter Urbán,
Andrea Bondavalli:
Performance Analysis of a Consensus Algorithm Combining Stochastic Activity Networks and Measurements.
DSN 2002: 551-560 |
42 | EE | Stefano Porcarelli,
Felicita Di Giandomenico,
Andrea Bondavalli:
Analyzing quality of service of GPRS network systems from a user's perspective.
ISCC 2002: 142-149 |
41 | EE | Luigi Romano,
Andrea Bondavalli,
Silvano Chiaradonna,
Domenico Cotroneo:
Implementation of Threshold-based Diagnostic Mechanisms for COTS-Based Applications.
SRDS 2002: 296-303 |
40 | EE | István Majzik,
András Pataricza,
Andrea Bondavalli:
Stochastic Dependability Analysis of System Architecture Based on UML Models.
WADS 2002: 219-244 |
2001 |
39 | EE | F. Tataranni,
Stefano Porcarelli,
Felicita Di Giandomenico,
Andrea Bondavalli:
Analysis of the Effects of Outages on the Quality of Service of GPRS Network Systems.
DSN 2001: 235-250 |
38 | | Amine Chohra,
Felicita Di Giandomenico,
Stefano Porcarelli,
Andrea Bondavalli:
Towards Optimal Database Maintenance in Wireless Communication Systems.
ISAS-SCI (1) 2001: 571-576 |
37 | EE | Andrea Coccoli,
Andrea Bondavalli,
Felicita Di Giandomenico:
Analysis and Estimation of the Quality of Service of Group Communication Protocols.
ISORC 2001: 209-216 |
36 | EE | Stefano Porcarelli,
Felicita Di Giandomenico,
Amine Chohra,
Andrea Bondavalli:
Tuning of Database Audits to Improve Scheduled Maintenance in Communication Systems.
SAFECOMP 2001: 238-248 |
35 | EE | F. Tataranni,
Stefano Porcarelli,
Luca Simoncini,
Felicita Di Giandomenico,
Andrea Bondavalli:
Modeling and Analysis of the Behavior of GPRS Systems.
WORDS 2001: 51-58 |
34 | EE | Fabrizio Grandoni,
Silvano Chiaradonna,
Felicita Di Giandomenico,
Andrea Bondavalli:
Evaluation of Fault-Tolerant Multiprocessor Systems for High Assurance Applications.
Comput. J. 44(6): 544-556 (2001) |
33 | | Andrea Bondavalli,
Manuela Nelli,
Luca Simoncini,
Giorgio Mongardi:
Hierarchical modelling of complex control systems: dependability analysis of a railway interlocking.
Comput. Syst. Sci. Eng. 16(4): 249-261 (2001) |
32 | | Andrea Bondavalli,
Mario Dal Cin,
Diego Latella,
István Majzik,
András Pataricza,
Giancarlo Savoia:
Dependability analysis in the early phases of UML-based system design.
Comput. Syst. Sci. Eng. 16(5): 265-275 (2001) |
31 | EE | Andrea Bondavalli,
Alessandro Fantechi,
Diego Latella,
Luca Simoncini:
Design Validation of Embedded Dependable Systems.
IEEE Micro 21(5): 52-62 (2001) |
30 | EE | Ivan Mura,
Andrea Bondavalli:
Markov Regenerative Stochastic Petri Nets to Model and Evaluate Phased Mission Systems Dependability.
IEEE Trans. Computers 50(12): 1337-1351 (2001) |
2000 |
29 | EE | Andrea Bondavalli,
Ivan Mura,
Silvano Chiaradonna,
Roberto Filippini,
S. Poli,
F. Sandrini:
DEEM: A Tool for the Dependability Modeling and Evaluation of Multiple Phased Systems.
DSN 2000: 231-236 |
28 | EE | F. Sandrini,
Felicita Di Giandomenico,
Andrea Bondavalli,
Edgar Nett:
Scheduling Solutions for Supporting Dependable Real-Time Applications.
ISORC 2000: 122-129 |
27 | EE | Edgar Nett,
Andrea Bondavalli,
Bruce Powel Douglass,
Carlos Eduardo Pereira,
Douglas C. Schmidt,
Bran Selic,
Kelvin D. Nilsen:
Design, Methods, and Tools for ORC.
ISORC 2000: 305 |
26 | EE | Andrea Bondavalli,
Felicita Di Giandomenico:
A Position on Design, Methods, and Tools for Object-Oriented Real-Time Computing.
ISORC 2000: 306- |
25 | | Felicita Di Giandomenico,
Silvano Chiaradonna,
Andrea Bondavalli,
Fabrizio Grandoni:
Evaluation of Integrated Error Processing and Fault Diagnosis in Multiprocessor Systems.
PDPTA 2000 |
24 | EE | Andrea Bondavalli,
Silvano Chiaradonna,
Felicita Di Giandomenico,
Fabrizio Grandoni:
Threshold-Based Mechanisms to Discriminate Transient from Intermittent Faults.
IEEE Trans. Computers 49(3): 230-245 (2000) |
1999 |
23 | EE | Andrea Bondavalli,
Ivan Mura,
Kishor S. Trivedi:
Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems.
EDCC 1999: 7-23 |
22 | EE | Andrea Bondavalli,
Ivan Mura,
István Majzik:
Automatic Dependability Analysis for Supporting Design Decisions in UML.
HASE 1999: 64- |
21 | EE | Andrea Bondavalli,
Ivan Mura,
István Majzik:
Automated Dependability Analysis of UML Designs.
ISORC 1999: 139- |
20 | EE | David Powell,
Jean Arlat,
Ljerka Beus-Dukic,
Andrea Bondavalli,
P. Coppola,
Alessandro Fantechi,
Eric Jenn,
Christophe Rabéjac,
Andy J. Wellings:
GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems.
IEEE Trans. Parallel Distrib. Syst. 10(6): 580-599 (1999) |
19 | | Andrea Bondavalli,
Felicita Di Giandomenico,
Ivan Mura:
An Optimal Value-Based Admission Policy and its Reflective Use in Real-Time Systems.
Real-Time Systems 16(1): 5-30 (1999) |
18 | | Andrea Bondavalli,
Silvano Chiaradonna,
Felicita Di Giandomenico,
Lorenzo Strigini:
A Contribution to the Evaluation of the Reliability of Iterative-Execution Software.
Softw. Test., Verif. Reliab. 9(3): 145-166 (1999) |
1998 |
17 | EE | M. Pizza,
Lorenzo Strigini,
Andrea Bondavalli,
Felicita Di Giandomenico:
Optimal Discrimination between Transient and Permanent Faults.
HASE 1998: 214-223 |
16 | EE | Fabrizio Grandoni,
Andrea Bondavalli,
Silvano Chiaradonna:
A New Heuristic to Discriminate between Transient and Intermittent Faults.
HASE 1998: 224-231 |
15 | EE | Andrea Bondavalli,
Felicita Di Giandomenico,
Fabrizio Grandoni,
David Powell,
Christophe Rabéjac:
State Restoration in a COTS-Based N-Modular Architecture.
ISORC 1998: 174- |
1997 |
14 | | Andrea Bondavalli,
Silvano Chiaradonna,
Felicita Di Giandomenico,
Fabrizio Grandoni:
Discriminating Fault Rate and Persistency to Improve Fault Treatment.
FTCS 1997: 354-362 |
13 | EE | Paolo Bizzarri,
Andrea Bondavalli,
Felicita Di Giandomenico:
A Scheduling Algorithm for Aperiodic Groups of Tasks in Distributed Real-Time Systems and its Holistic Analysis.
FTDCS 1997: 296-303 |
12 | EE | Andrea Bondavalli,
Ivan Mura,
Manuela Nelli:
Analytical Modelling and Evaluation of Phased-Mission Systems for Space Applications.
HASE 1997: 85- |
1996 |
11 | | Manuela Nelli,
Andrea Bondavalli,
Luca Simoncini:
Dependability Modeling and Analysis of Complex Control Systems: An Application to Railway Interlocking.
EDCC 1996: 93-110 |
10 | EE | B. Antal,
György Csertán,
István Majzik,
Andrea Bondavalli,
Luca Simoncini:
Reachability and Timing Analysis in Data Flow Networks: A Case Study.
EUROMICRO 1996: 193- |
1994 |
9 | | Silvano Chiaradonna,
Andrea Bondavalli,
Lorenzo Strigini:
On Performability Modeling and Evaluation of Software Fault Tolerant Structures.
EDCC 1994: 97-114 |
8 | | Andrea Bondavalli,
Silvano Chiaradonna,
Felicita Di Giandomenico:
Efficient Fault Tolerance: An Approach to Deal with Transient Faults in Multiprocessor Architectures.
ICPADS 1994: 354-359 |
1993 |
7 | | Cinzia Bernardeschi,
Andrea Bondavalli,
Luca Simoncini:
From Data Flow Networks to Process Algebras.
PARLE 1993: 740-743 |
1992 |
6 | | Andrea Bondavalli,
Lorenzo Strigini,
Luca Simoncini:
Dataflow-Like Languages for Real-Time Systems: Issues of Computational Models and Notations.
SRDS 1992: 214-221 |
5 | | Andrea Bondavalli,
Lorenzo Strigini,
Matteo Sereno:
Destination Stripping Dual Ring: A New Protocol for MANs.
Computer Networks and ISDN Systems 24(1): 15-32 (1992) |
1991 |
4 | | Andrea Bondavalli,
M. Mannocci,
F. Tarini,
P. Zini,
L. Nardone,
Luca Simoncini:
A Performable BSM Architecture.
Fault-Tolerant Computing Systems 1991: 332-347 |
3 | | Andrea Bondavalli,
Lorenzo Strigini:
DSDR: A Fair and Efficient Access Protocol for Ring-Topology MANs.
INFOCOM 1991: 1022-1030 |
1989 |
2 | EE | Andrea Bondavalli,
Nicoletta De Francesco,
Diego Latella,
Gigliola Vaglini:
Shared Abstract Data Types: An Algebraic Methodology for Their Specification.
MFDBS 1989: 53-67 |
1 | | Andrea Bondavalli,
Marco Conti,
Enrico Gregori,
Luciano Lenzini,
Lorenzo Strigini:
MAC Protocols for High-Speed MANs: Performance Comparisons for a Family of Fasnet-Based Protocols.
Computer Networks and ISDN Systems 18(2): 97-113 (1989) |