 | 2008 |
|---|
| 77 |       | Andrea Bondavalli,
István Majzik,
Aad P. A. van Moorsel:
International Workshop on Resilience Assessment and Dependability Benchmarking (RADB 2008).
DSN 2008: 542-543 |
| 76 | | Andrea Bondavalli:
How hard is Assessing and Measuring Resilience? Panel.
EDCC 2008: 179-180 |
| 75 | | Antonio Casimiro,
Paolo Lollini,
M. Dixit,
Andrea Bondavalli,
Paulo Veríssimo:
A framework for dependable QoS adaptation in probabilistic environments.
SAC 2008: 2192-2196 |
| 74 | | Andrea Bondavalli,
Paolo Lollini,
Leonardo Montecchi:
Analysis of User Perceived QoS in Ubiquitous UMTS Environments Subject to Faults.
SEUS 2008: 186-197 |
| 73 | | Andrea Bondavalli,
Andrea Ceccarelli,
Lorenzo Falai:
Assuring Resilient Time Synchronization.
SRDS 2008: 3-12 |
| 2007 |
|---|
| 72 |  | Andrea Bondavalli,
Francisco Vilar Brasileiro,
Sergio Rajsbaum:
Dependable Computing, Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007, Proceedings
Springer 2007 |
| 71 | | Andrea Bondavalli,
Andrea Ceccarelli,
Lorenzo Falai,
Michele Vadursi:
Foundations of Measurement Theory Applied to the Evaluation of Dependability Attributes.
DSN 2007: 522-533 |
| 70 | | Andrea Bondavalli,
Andrea Ceccarelli,
Lorenzo Falai:
A Self-Aware Clock for Pervasive Computing Systems.
PDP 2007: 403-411 |
| 69 | | 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 |
| 68 | | Alessandro Daidone,
Silvano Chiaradonna,
Andrea Bondavalli,
Paulo Veríssimo:
Analysis of a Redundant Architecture for Critical Infrastructure Protection.
WADS 2007: 78-100 |
| 67 | | 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 |
|---|
| 66 | | 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 |
| 65 | | Andrea Bondavalli,
Silvano Chiaradonna,
Paolo Lollini,
Fabrizio Squittieri:
Integration of an MPS Modeling Approach into Mobius.
QEST 2006: 139-140 |
| 64 | | 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 |
| 63 | | 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 |
|---|
| 62 | | Lorenzo Falai,
Andrea Bondavalli:
Experimental Evaluation of the QoS of Failure Detectors on Wide Area Network.
DSN 2005: 624-633 |
| 61 | | Paolo Lollini,
Andrea Bondavalli,
Felicita Di Giandomenico:
Evaluation of the Impact of Congestion on Service Availability in GPRS Infrastructures.
ISAS 2005: 180-195 |
| 60 | | Lorenzo Falai,
Andrea Bondavalli,
Felicita Di Giandomenico:
Quantitative Evaluation of Distributed Algorithms Using the Neko Framework: The NekoStat Extension.
LADC 2005: 35-51 |
| 59 | | Lorenzo Falai,
Andrea Bondavalli,
Felicita Di Giandomenico:
NekoStat extension to Neko: Quantitative Evaluation of Distributed Algorithms.
QEST 2005: 241-242 |
| 2004 |
|---|
| 58 | | 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 |
| 57 | | Luca Simoncini,
Felicita Di Giandomenico,
Andrea Bondavalli,
Silvano Chiaradonna:
Architectural challenges for a dependable Information Society.
IFIP Congress Topical Sessions 2004: 283-304 |
| 56 | | 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 |
| 55 | | 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 |
| 54 | | Andrea Bondavalli,
Enrico De Giudici,
Stefano Porcarelli,
Salvatore Sabina,
Fabrizio Zanini:
A Freshness Detection Mechanism for Railway Applications.
PRDC 2004: 292-301 |
| 53 | | Andrea Bondavalli,
Roberto Filippini:
Modeling and Analysis of a Scheduled Maintenance System: a DSPN Approach.
Comput. J. 47(6): 634-650 (2004) |
| 52 | | 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) |
| 51 | | 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 |
|---|
| 50 | | Andrea Bondavalli,
Silvano Chiaradonna,
Domenico Cotroneo,
Luigi Romano:
A Fault-Tolerant Distributed Legacy-Based System and Its Evaluation.
LADC 2003: 303-320 |
| 49 | | 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 |
| 48 | | Andrea Coccoli,
Andrea Bondavalli:
Analysis of Safety Related Architectures.
WORDS Fall 2003: 111-117 |
| 47 | | Shambhu J. Upadhyaya,
Andrea Bondavalli:
Guest Editorial: Special Issue on Reliable Distributed Systems.
IEEE Trans. Computers 52(2): 97-98 (2003) |
| 46 | | 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 |
|---|
| 45 | | Andrea Coccoli,
Péter Urbán,
Andrea Bondavalli:
Performance Analysis of a Consensus Algorithm Combining Stochastic Activity Networks and Measurements.
DSN 2002: 551-560 |
| 44 | | Stefano Porcarelli,
Felicita Di Giandomenico,
Andrea Bondavalli:
Analyzing quality of service of GPRS network systems from a user's perspective.
ISCC 2002: 142-149 |
| 43 | | Luigi Romano,
Andrea Bondavalli,
Silvano Chiaradonna,
Domenico Cotroneo:
Implementation of Threshold-based Diagnostic Mechanisms for COTS-Based Applications.
SRDS 2002: 296-303 |
| 42 | | István Majzik,
András Pataricza,
Andrea Bondavalli:
Stochastic Dependability Analysis of System Architecture Based on UML Models.
WADS 2002: 219-244 |
| 41 | | Andrea Bondavalli,
Silvano Chiaradonna,
Felicita Di Giandomenico,
J. Xu:
An adaptive approach to achieving hardware and software fault tolerance in a distributed computing environment.
Journal of Systems Architecture 47(9): 763-781 (2002) |
| 2001 |
|---|
| 40 | | 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 |
| 39 | | Amine Chohra,
Felicita Di Giandomenico,
Stefano Porcarelli,
Andrea Bondavalli:
Towards Optimal Database Maintenance in Wireless Communication Systems.
ISAS-SCI (1) 2001: 571-576 |
| 38 | | Andrea Coccoli,
Andrea Bondavalli,
Felicita Di Giandomenico:
Analysis and Estimation of the Quality of Service of Group Communication Protocols.
ISORC 2001: 209-216 |
| 37 | | Stefano Porcarelli,
Felicita Di Giandomenico,
Amine Chohra,
Andrea Bondavalli:
Tuning of Database Audits to Improve Scheduled Maintenance in Communication Systems.
SAFECOMP 2001: 238-248 |
| 36 | | F. Tataranni,
Stefano Porcarelli,
Luca Simoncini,
Felicita Di Giandomenico,
Andrea Bondavalli:
Modeling and Analysis of the Behavior of GPRS Systems.
WORDS 2001: 51-58 |
| 35 | | 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) |
| 34 | | 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) |
| 33 | | 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) |
| 32 | | Andrea Bondavalli,
Alessandro Fantechi,
Diego Latella,
Luca Simoncini:
Design Validation of Embedded Dependable Systems.
IEEE Micro 21(5): 52-62 (2001) |
| 31 | | 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 |
|---|
| 30 | | 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 |
| 29 | | F. Sandrini,
Felicita Di Giandomenico,
Andrea Bondavalli,
Edgar Nett:
Scheduling Solutions for Supporting Dependable Real-Time Applications.
ISORC 2000: 122-129 |
| 28 | | 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 |
| 27 | | Andrea Bondavalli,
Felicita Di Giandomenico:
A Position on Design, Methods, and Tools for Object-Oriented Real-Time Computing.
ISORC 2000: 306- |
| 26 | | Felicita Di Giandomenico,
Silvano Chiaradonna,
Andrea Bondavalli,
Fabrizio Grandoni:
Evaluation of Integrated Error Processing and Fault Diagnosis in Multiprocessor Systems.
PDPTA 2000 |
| 25 | | 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) |
| 24 | | A. Burns,
D. Prasad,
Andrea Bondavalli,
Felicita Di Giandomenico,
Krithi Ramamritham,
John A. Stankovic,
Lorenzo Strigini:
The meaning and role of value in scheduling flexible real-time systems.
Journal of Systems Architecture 46(4): 305-325 (2000) |
| 1999 |
|---|
| 23 | | Andrea Bondavalli,
Ivan Mura,
Kishor S. Trivedi:
Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems.
EDCC 1999: 7-23 |
| 22 | | Andrea Bondavalli,
Ivan Mura,
István Majzik:
Automatic Dependability Analysis for Supporting Design Decisions in UML.
HASE 1999: 64- |
| 21 | | Andrea Bondavalli,
Ivan Mura,
István Majzik:
Automated Dependability Analysis of UML Designs.
ISORC 1999: 139- |
| 20 | | 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 | | M. Pizza,
Lorenzo Strigini,
Andrea Bondavalli,
Felicita Di Giandomenico:
Optimal Discrimination between Transient and Permanent Faults.
HASE 1998: 214-223 |
| 16 | | Fabrizio Grandoni,
Andrea Bondavalli,
Silvano Chiaradonna:
A New Heuristic to Discriminate between Transient and Intermittent Faults.
HASE 1998: 224-231 |
| 15 | | 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 | | 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 | | 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 | | 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 | | 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) |
