![]() | ![]() |
| 2012 | ||
|---|---|---|
| 101 | Paolo Ferrari, Alessandra Flammini, Stefano Rinaldi, Andrea Bondavalli, Francesco Brancati: Experimental Characterization of Uncertainty Sources in a Software-Only Synchronization System. IEEE T. Instrumentation and Measurement 61(5): 1512-1521 (2012) | |
| 2011 | ||
| 100 | Andrea Ceccarelli, Marco Vieira, Andrea Bondavalli: A Testing Service for Lifelong Validation of Dynamic SOA. HASE 2011: 1-8 | |
| 99 | Leonardo Montecchi, Paolo Lollini, Andrea Bondavalli: Towards a MDE Transformation Workflow for Dependability Analysis. ICECCS 2011: 157-166 | |
| 98 | Andrea Ceccarelli, Lorenzo Vinerbi, Lorenzo Falai, Andrea Bondavalli: RACME: A Framework to Support V&V and Certification. LADC 2011: 116-125 | |
| 97 | Antonio Bovenzi, Francesco Brancati, Stefano Russo, Andrea Bondavalli: A Statistical Anomaly-Based Algorithm for On-line Fault Detection in Complex Software Critical Systems. SAFECOMP 2011: 128-142 | |
| 96 | Amine Chohra, Felicita Di Giandomenico, Stefano Porcarelli, Andrea Bondavalli: An Intelligent Maintenance based on Machine Learning Approach for Wireless and Mobile Systems. WINSYS 2011: 115-118 | |
| 95 | Andrea Bondavalli, Ossama Hamouda, Mohamed Kaâniche, Paolo Lollini, István Majzik, Hans-Peter Schwefel: The HIDENETS Holistic Approach for the Analysis of Large Critical Mobile Systems. IEEE Trans. Mob. Comput. 10(6): 783-796 (2011) | |
| 2010 | ||
| 94 | Andrea Bondavalli, Paolo Lollini, Michele Vadursi: AMBER Roadmap: Ongoing Research Directions. ICDCS Workshops 2010: 282-283 | |
| 93 | Jesper Grønbæk, Hans-Peter Schwefel, Andrea Ceccarelli, Andrea Bondavalli: Improving Robustness of Network Fault Diagnosis to Uncertainty in Observations. NCA 2010: 229-232 | |
| 92 | Andrea Bondavalli, Francesco Brancati, Andrea Ceccarelli, Michele Vadursi: Experimental Validation of a Synchronization Uncertainty-Aware Software Clock. SRDS 2010: 245-254 | |
| 91 | Francesco Brancati, Andrea Bondavalli: Practical Aspects in Analyzing and Sharing the Results of Experimental Evaluation. SRDS 2010: 328-332 | |
| 90 | Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai, Michele Vadursi: A New Approach and a Related Tool for Dependability Measurements on Distributed Systems. IEEE T. Instrumentation and Measurement 59(4): 820-831 (2010) | |
| 89 | Andrea Bondavalli, Lorenzo Falai, Stefano Porcarelli, Salvatore Sabina, Fabrizio Zanini: Available and safe message freshness detection algorithm. IJCCBS 1(4): 336-363 (2010) | |
| 2009 | ||
| 88 | Andrea Ceccarelli, Andrea Bondavalli, Danilo Iovino: Trustworthy Evaluation of a Safe Driver Machine Interface through Software-Implemented Fault Injection. PRDC 2009: 234-241 | |
| 87 | Andrea Bondavalli, Francesco Brancati, Andrea Ceccarelli, Lorenzo Falai: An Experimental Framework for the Analysis and Validation of Software Clocks. SEUS 2009: 69-81 | |
| 86 | Andrea Bondavalli, Andrea Ceccarelli, Paolo Lollini: Architecting and Validating Dependable Systems: Experiences and Visions. WADS 2009: 297-321 | |
| 85 | Paolo Lollini, Andrea Bondavalli, Felicita Di Giandomenico: A Decomposition-Based Modeling Framework for Complex Systems. IEEE Transactions on Reliability 58(1): 20-33 (2009) | |
| 84 | Andrea Bondavalli, Paolo Lollini, Leonardo Montecchi: QoS Perceived by Users of Ubiquitous UMTS: Compositional Models and Thorough Analysis. JSW 4(7): 675-685 (2009) | |
| 2008 | ||
| 83 | Andrea Bondavalli, István Majzik, Aad P. A. van Moorsel: International Workshop on Resilience Assessment and Dependability Benchmarking (RADB 2008). DSN 2008: 542-543 | |
| 82 | Andrea Ceccarelli, István Majzik, Danilo Iovino, Fausto Caneschi, Gergely Pintér, Andrea Bondavalli: A Resilient SIL 2 Driver Machine Interface for Train Control Systems. DepCoS-RELCOMEX 2008: 365-374 | |
| 81 | Andrea Bondavalli: How hard is Assessing and Measuring Resilience? Panel. EDCC 2008: 179-180 | |
| 80 | Antonio Casimiro, Paolo Lollini, Monica Dixit, Andrea Bondavalli, Paulo Veríssimo: A framework for dependable QoS adaptation in probabilistic environments. SAC 2008: 2192-2196 | |
| 79 | Máté Kovács, Paolo Lollini, István Majzik, Andrea Bondavalli: An integrated framework for the dependability evaluation of distributed mobile applications. SERENE 2008: 29-38 | |
| 78 | Andrea Bondavalli, Paolo Lollini, Leonardo Montecchi: Analysis of User Perceived QoS in Ubiquitous UMTS Environments Subject to Faults. SEUS 2008: 186-197 | |
| 77 | Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai: Assuring Resilient Time Synchronization. SRDS 2008: 3-12 | |
| 2007 | ||
| 76 | Andrea Bondavalli, Francisco Vilar Brasileiro, Sergio Rajsbaum: Dependable Computing, Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007, Proceedings Springer 2007 | |
| 75 | Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai, Michele Vadursi: Foundations of Measurement Theory Applied to the Evaluation of Dependability Attributes. DSN 2007: 522-533 | |
| 74 | Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai, Michele Vadursi: Towards Making NekoStat a Proper Measurement Tool for the Validation of Distributed Systems. ISADS 2007: 377-386 | |
| 73 | Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai: A Self-Aware Clock for Pervasive Computing Systems. PDP 2007: 403-411 | |
| 72 | 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 | |
| 71 | Alessandro Daidone, Silvano Chiaradonna, Andrea Bondavalli, Paulo Veríssimo: Analysis of a Redundant Architecture for Critical Infrastructure Protection. WADS 2007: 78-100 | |
| 70 | 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 | ||
| 69 | 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 | |
| 68 | Andrea Bondavalli, Silvano Chiaradonna, Paolo Lollini, Fabrizio Squittieri: Integration of an MPS Modeling Approach into Mobius. QEST 2006: 139-140 | |
| 67 | 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 | |
| 66 | 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 | ||
| 65 | Lorenzo Falai, Andrea Bondavalli: Experimental Evaluation of the QoS of Failure Detectors on Wide Area Network. DSN 2005: 624-633 | |
| 64 | Paolo Lollini, Andrea Bondavalli, Felicita Di Giandomenico: Evaluation of the Impact of Congestion on Service Availability in GPRS Infrastructures. ISAS 2005: 180-195 | |
| 63 | Lorenzo Falai, Andrea Bondavalli, Felicita Di Giandomenico: Quantitative Evaluation of Distributed Algorithms Using the Neko Framework: The NekoStat Extension. LADC 2005: 35-51 | |
| 62 | Lorenzo Falai, Andrea Bondavalli, Felicita Di Giandomenico: NekoStat extension to Neko: Quantitative Evaluation of Distributed Algorithms. QEST 2005: 241-242 | |
| 61 | Paolo Lollini, Andrea Bondavalli, Felicita Di Giandomenico: A Modeling Methodology for Hierarchical Control System and its Aplication. J. Braz. Comp. Soc. 10(3): 57-69 (2005) | |
| 2004 | ||
| 60 | 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 | |
| 59 | Luca Simoncini, Felicita Di Giandomenico, Andrea Bondavalli, Silvano Chiaradonna: Architectural challenges for a dependable Information Society. IFIP Congress Topical Sessions 2004: 283-304 | |
| 58 | 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 | |
| 57 | 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 | |
| 56 | Andrea Bondavalli, Enrico De Giudici, Stefano Porcarelli, Salvatore Sabina, Fabrizio Zanini: A Freshness Detection Mechanism for Railway Applications. PRDC 2004: 292-301 | |
| 55 | Andrea Bondavalli, Roberto Filippini: Modeling and Analysis of a Scheduled Maintenance System: a DSPN Approach. Comput. J. 47(6): 634-650 (2004) | |
| 54 | 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) | |
| 53 | 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 | ||
| 52 | Andrea Bondavalli, Silvano Chiaradonna, Domenico Cotroneo, Luigi Romano: A Fault-Tolerant Distributed Legacy-Based System and Its Evaluation. LADC 2003: 303-320 | |
| 51 | 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 | |
| 50 | Andrea Coccoli, Andrea Bondavalli: Analysis of Safety Related Architectures. WORDS Fall 2003: 111-117 | |
| 49 | Shambhu J. Upadhyaya, Andrea Bondavalli: Guest Editorial: Special Issue on Reliable Distributed Systems. IEEE Trans. Computers 52(2): 97-98 (2003) | |
| 48 | 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 | ||
| 47 | Andrea Coccoli, Péter Urbán, Andrea Bondavalli: Performance Analysis of a Consensus Algorithm Combining Stochastic Activity Networks and Measurements. DSN 2002: 551-560 | |
| 46 | Stefano Porcarelli, Felicita Di Giandomenico, Andrea Bondavalli: Analyzing quality of service of GPRS network systems from a user's perspective. ISCC 2002: 142-149 | |
| 45 | Luigi Romano, Andrea Bondavalli, Silvano Chiaradonna, Domenico Cotroneo: Implementation of Threshold-based Diagnostic Mechanisms for COTS-Based Applications. SRDS 2002: 296-303 | |
| 44 | István Majzik, András Pataricza, Andrea Bondavalli: Stochastic Dependability Analysis of System Architecture Based on UML Models. WADS 2002: 219-244 | |
| 43 | 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 | ||
| 42 | 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 | |
| 41 | Amine Chohra, Felicita Di Giandomenico, Stefano Porcarelli, Andrea Bondavalli: Towards Optimal Database Maintenance in Wireless Communication Systems. ISAS-SCI (1) 2001: 571-576 | |
| 40 | Andrea Coccoli, Andrea Bondavalli, Felicita Di Giandomenico: Analysis and Estimation of the Quality of Service of Group Communication Protocols. ISORC 2001: 209-216 | |
| 39 | Stefano Porcarelli, Felicita Di Giandomenico, Amine Chohra, Andrea Bondavalli: Tuning of Database Audits to Improve Scheduled Maintenance in Communication Systems. SAFECOMP 2001: 238-248 | |
| 38 | F. Tataranni, Stefano Porcarelli, Luca Simoncini, Felicita Di Giandomenico, Andrea Bondavalli: Modeling and Analysis of the Behavior of GPRS Systems. WORDS 2001: 51-58 | |
| 37 | 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) | |
| 36 | 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) | |
| 35 | 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) | |
| 34 | Andrea Bondavalli, Alessandro Fantechi, Diego Latella, Luca Simoncini: Design Validation of Embedded Dependable Systems. IEEE Micro 21(5): 52-62 (2001) | |
| 33 | 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 | ||
| 32 | 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 | |
| 31 | F. Sandrini, Felicita Di Giandomenico, Andrea Bondavalli, Edgar Nett: Scheduling Solutions for Supporting Dependable Real-Time Applications. ISORC 2000: 122-129 | |
| 30 | 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 | |
| 29 | Andrea Bondavalli, Felicita Di Giandomenico: A Position on Design, Methods, and Tools for Object-Oriented Real-Time Computing. ISORC 2000: 306- | |
| 28 | Felicita Di Giandomenico, Silvano Chiaradonna, Andrea Bondavalli, Fabrizio Grandoni: Evaluation of Integrated Error Processing and Fault Diagnosis in Multiprocessor Systems. PDPTA 2000 | |
| 27 | 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) | |
| 26 | Alan Burns, Divya 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 | ||
| 25 | Andrea Bondavalli, Ivan Mura, Kishor S. Trivedi: Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems. EDCC 1999: 7-23 | |
| 24 | Andrea Bondavalli, Ivan Mura, István Majzik: Automatic Dependability Analysis for Supporting Design Decisions in UML. HASE 1999: 64- | |
| 23 | Andrea Bondavalli, Ivan Mura, István Majzik: Automated Dependability Analysis of UML Designs. ISORC 1999: 139- | |
| 22 | 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) | |
| 21 | 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) | |
| 20 | 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 | ||
| 19 | M. Pizza, Lorenzo Strigini, Andrea Bondavalli, Felicita Di Giandomenico: Optimal Discrimination between Transient and Permanent Faults. HASE 1998: 214-223 | |
| 18 | Fabrizio Grandoni, Andrea Bondavalli, Silvano Chiaradonna: A New Heuristic to Discriminate between Transient and Intermittent Faults. HASE 1998: 224-231 | |
| 17 | Andrea Bondavalli, Felicita Di Giandomenico, Fabrizio Grandoni, David Powell, Christophe Rabéjac: State Restoration in a COTS-Based N-Modular Architecture. ISORC 1998: 174- | |
| 16 | Cinzia Bernardeschi, Andrea Bondavalli, György Csertán, István Majzik, Luca Simoncini: Temporal analysis of data flow control systems. Automatica 34(2): 169-182 (1998) | |
| 1997 | ||
| 15 | Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, Fabrizio Grandoni: Discriminating Fault Rate and Persistency to Improve Fault Treatment. FTCS 1997: 354-362 | |
| 14 | 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 | |
| 13 | Andrea Bondavalli, Ivan Mura, Manuela Nelli: Analytical Modelling and Evaluation of Phased-Mission Systems for Space Applications. HASE 1997: 85- | |
| 1996 | ||
| 12 | Manuela Nelli, Andrea Bondavalli, Luca Simoncini: Dependability Modeling and Analysis of Complex Control Systems: An Application to Railway Interlocking. EDCC 1996: 93-110 | |
| 11 | 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- | |
| 1995 | ||
| 10 | Cinzia Bernardeschi, Andrea Bondavalli, Luca Simoncini: Using Process Algebras for the Semantic Analysis of Data Flow Networks. IEICE Transactions 78-D(8): 959-968 (1995) | |
| 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) | |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page