Gharib, Mohamad; Zoppi, Tommaso; Bondavalli, Andrea (2022). On the Properness of Incorporating Binary Classification Machine Learning Algorithms into Safety-Critical Systems. IEEE TRANSACTIONS ON EMERGING TOPICS IN COMPUTING, pp. 1-1, ISSN:2168-6750 DOI   Accesso ONLINE all'editore

  Mohamad Gharib , Andrea Ceccarelli , Paolo Lollini , Andrea Bondavalli (2022). A cyber-physical-social approach for engineering functional safety requirements for automotive systems. THE JOURNAL OF SYSTEMS AND SOFTWARE, pp. 0-0, ISSN:0164-1212 DOI   Accesso ONLINE all'editore

  Atif M.; Zoppi T.; Gharib M.; Bondavalli A. (2022). Towards Enhancing Traffic Sign Recognition through Sliding Windows. SENSORS, vol. 22, pp. 2683-2708, ISSN:1424-8220 DOI   Accesso ONLINE all'editore

  Gharib, Mohamad; Lollini, Paolo; Bondavalli, Andrea (2021). IQCPSoS: A Model-Based Approach for Modeling and Analyzing Information Quality Requirements for Cyber-Physical System-of-Systems. JOURNAL ON DATA SEMANTICS, pp. 0-0, ISSN:1861-2032 DOI   Accesso ONLINE all'editore

  Zoppi T.; Gharib M.; Atif M.; Bondavalli A. (2021). Meta-learning to improve unsupervised intrusion detection in cyber-physical systems. ACM TRANSACTIONS ON CYBER-PHYSICAL SYSTEMS, vol. 5, pp. 1-27, ISSN:2378-962X DOI   Accesso ONLINE all'editore

  Staderini, Mirko; Bondavalli, Andrea (2021). Investigating Static Analyzers Detection Capabilities on Ethereum Smart Contracts. In: 28th Minisymposium of the Department of Measurement and Information Systems of the Budapest University of Technology and Economic, Department of Measurement and Information Systems, Budapest University of Technology and Economics., pp. 36-39.

  Zoppi Tommaso ; Ceccarelli Andrea; Bondavalli Andrea (2021). Unsupervised Algorithms to Detect Zero-Day Attacks: Strategy and Application. IEEE ACCESS, vol. 9, pp. 90603-90615, ISSN:2169-3536 DOI  

  Atif M.; Zoppi T.; Gharib M.; Bondavalli A. (2021). Quantitative comparison of supervised algorithms and feature sets for traffic sign recognition. In: 36th Annual ACM Symposium on Applied Computing, SAC 2021, online, 2021, Association for Computing Machinery, pp. 174-177, ISBN:9781450381048 DOI   Accesso ONLINE all'editore

  Tommaso Zoppi, Andrea Bondavalli, Andrea Ceccarelli (2021). Detecting Intrusions by Voting Diverse Machine Learners: Is It Really Worth?. In: 2021 IEEE 26th Pacific Rim International Symposium on Dependable Computing (PRDC), IEEE, pp. 0-0.

  Gharib M.; Zoppi T.; Bondavalli A. (2021). Understanding the properness of incorporating machine learning algorithms in safety-critical systems. In: 36th Annual ACM Symposium on Applied Computing, SAC 2021, online, 2021, Association for Computing Machinery, pp. 232-234, ISBN:9781450381048 DOI   Accesso ONLINE all'editore

  da Silva L.D.; Lollini P.; Mongelli D.; Bondavalli A.; Mando G. (2021). A stochastic modeling approach for traffic analysis of a tramway system with virtual tags and local positioning. JOURNAL OF THE BRAZILIAN COMPUTER SOCIETY, vol. 27, pp. 1-38, ISSN:0104-6500 DOI   Accesso ONLINE all'editore

  tommaso zoppi, andrea ceccarelli, tommaso capecchi, andrea bondavalli (2021). Unsupervised Anomaly Detectors to Detect Intrusions in the Current Threat Landscape. ACM/IMS TRANSACTIONS ON DATA SCIENCE, vol. 2, pp. 1-26, ISSN:2691-1922 DOI   Accesso ONLINE all'editore

  Staderini, Mirko; Bondavalli, Andrea (2021). Investigation on Vulnerabilities Location in Solidity Smart Contracts. In: Blockchain 2021, Prieto J., Partida A., Leitão P., Pinto A. (eds), vol. 320, pp. 199-211, ISBN:978-3-030-86161-2 DOI  

  Montecchi, Leonardo; Lollini, Paolo; Bondavalli, Andrea (2021). Stochastic Activity Networks Templates: Supporting Variability in Performability Models. IEEE TRANSACTIONS ON RELIABILITY, vol. ?, pp. 1-17, ISSN:0018-9529 DOI   Accesso ONLINE all'editore

  Staderini Mirko, Pataricza András, Bondavalli Andrea (2021). Static Analysis Tools Applied to Smart Contracts. In: X Latin-American Symposium on Dependable Computing (LADC), SBC, pp. 3-4. Accesso ONLINE all'editore

  Bertieri D.; Ceccarelli A.; Zoppi T.; Mungiello I.; Barbareschi M.; Bondavalli A. (2021). Development and validation of a safe communication protocol compliant to railway standards. JOURNAL OF THE BRAZILIAN COMPUTER SOCIETY, vol. 27, pp. 0-0, ISSN:0104-6500 DOI  

  Zoppi Tommaso, Ceccarelli Andrea, Bondavalli Andrea (2021). Feature Rankers to Predict Classification Performance of Unsupervised Intrusion Detectors. In: 2021 10th Latin-American Symposium on Dependable Computing (LADC), IEEE, pp. 1-9. DOI  

  leonardo montecchi, paolo lollini, andrea bondavalli (2020). A template-based methodology for the specification and automated composition of performability models. IEEE TRANSACTIONS ON RELIABILITY, vol. 69, pp. 293-309, ISSN:0018-9529 DOI   Accesso ONLINE all'editore

  Zoppi T.; Ceccarelli A.; Salani L.; Bondavalli A. (2020). On the educated selection of unsupervised algorithms via attacks and anomaly classes. JOURNAL OF INFORMATION SECURITY AND APPLICATIONS, vol. 52, pp. 0-0, ISSN:2214-2134 DOI  

  Gharib, Mohamad; Lollini, Paolo; Ceccarelli, Andrea; Bondavalli, Andrea (2020). Governance & Autonomy: Towards a Governance-based Analysis of Autonomy in Cyber-Physical Systems-of-Systems. In: INTERNATIONAL CONFERENCE ON SYSTEM OF SYSTEMS ENGINEERING, IEEE, pp. 000217-000222, ISBN:978-1-7281-8050-2 DOI   Accesso ONLINE all'editore

  Staderini, Mirko; Palli, Caterina (2020). An Analysis on Ethereum Vulnerabilities and Further Steps. In: 27th Minisymposium of the Department of Measurement and Information Systems of the Budapest University of Technology and Economic, Department of Measurement and Information Systems, Budapest University of Technology and Economics., pp. 21-24.

  Maqsood H.M.; Bondavalli A. (2020). Agility of security practices and agile process models: An evaluation of cost for incorporating security in agile process models. In: 15th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2020, 2020, SciTePress, pp. 331-338, ISBN:978-989758421-3

  Zoppi T.; Ceccarelli A.; Bondavalli A. (2020). Into the unknown: Unsupervised machine learning algorithms for anomaly-based intrusion detection. In: DEPENDABLE SYSTEMS AND NETWORKS, esp, 2020, Institute of Electrical and Electronics Engineers Inc., pp. 81-81, ISBN:978-1-7281-7260-6 DOI  

  Staderini, Mirko; Palli, Caterina; Bondavalli, Andrea (2020). Classification of Ethereum Vulnerabilities and their Propagations. In: The Second International Conference on Blockchain Computing and Applications (BCCA 2020), IEEE, pp. 44-51, ISBN:978-1-7281-8370-1 DOI   Accesso ONLINE all'editore

  Mohamad Gharib, Paolo Lollini, Andrea Ceccarelli, Andrea Bondavalli (2019). Engineering Functional Safety Requirements for Automotive Systems: A Cyber-Physical-Social Approach. In: IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, Hangzhou, China, Jan 3 – 5, 2019, IEEE Computer Society, pp. 74-81, ISBN:978-1-5386-8540-2 DOI  

  Nostro N.; Shahid K.; Bondavalli A.; Schwefel H.-P. (2019). Resilient access to heterogeneous measurement data for grid observability. In: 15th European Dependable Computing Conference, EDCC 2019, ita, 2019, Institute of Electrical and Electronics Engineers Inc., pp. 180-182, ISBN:978-1-7281-3929-6 DOI  

  Ceccarelli, Andrea; Basile, Davide; Bondavalli, Andrea; Falai, Lorenzo; Fantechi, Alessandro; Ferrari, Sandro; Mandò, Gianluca; Nostro, Nicola; Rucher, Luigi (2019). The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results. In: SAFECOMPW-SASSUR 2019, Springer, pp. 185-197, ISBN:978-3-030-26249-5

  tommaso zoppi, andrea ceccarelli, andrea bondavalli (2019). An Initial Investigation on Sliding Windows for Anomaly-Based Intrusion Detection. In: Workshop on Cyber Security & Resilience in the Internet of Things (CSRIoT 2019), Milan, Italy, 8-11/7/2019, IEEE Computer Society, pp. 99-104. DOI   Accesso ONLINE all'editore

  Gharib M.; Bondavalli A. (2019). On the evaluation measures for machine learning algorithms for safety-critical systems. In: 15th European Dependable Computing Conference, EDCC 2019, ita, 2019, Institute of Electrical and Electronics Engineers Inc., pp. 141-144, ISBN:978-1-7281-3929-6 DOI  

  Da Silva L.D.; Mongelli D.; Lollini P.; Bondavalli A.; Mando G. (2019). Performability analysis of a tramway system with virtual tags and local positioning. In: LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING, Instituto Metroplole Digital (IMD), Federal University of Rio Grande do Norte (UFRN), bra, 2019, Institute of Electrical and Electronics Engineers Inc., pp. 1-10, ISBN:978-1-7281-6622-3 DOI   Accesso ONLINE all'editore

  ANDREA CECCARELLI, TOMMASO ZOPPI, ALEXANDR VASENEV, MARCO MORI, DAN IONITA, LORENA MONTOYA, ANDREA BONDAVALLI (2019). Threat Analysis in Systems-of-Systems: An Emergence-Oriented Approach. ACM TRANSACTIONS ON CYBER-PHYSICAL SYSTEMS, vol. 3, pp. 1-24, ISSN:2378-962X DOI   Accesso ONLINE all'editore

  Schiavone E.; Ceccarelli A.; Carvalho A.; Bondavalli A. (2019). Design, implementation, and assessment of a usable multi-biometric continuous authentication system. INTERNATIONAL JOURNAL OF CRITICAL COMPUTER-BASED SYSTEMS, vol. 9, pp. 215-247, ISSN:1757-8779 DOI  

  Zoppi T.; Ceccarelli A.; Bondavalli A. (2019). MADneSs: a Multi-layer Anomaly Detection Framework for Complex Dynamic Systems. IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, vol. 18, pp. 796-809, ISSN:1545-5971 DOI   Accesso ONLINE all'editore

  Staderini, Mirko; Schiavone, Enrico; Bondavalli, Andrea (2019). A requirements-driven methodology for the proper selection and configuration of blockchains. In: SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, Mathematics and Statistics Institute of Federal University of Bahia (UFBA), bra, 2018, IEEE Computer Society, vol. 2019-, pp. 201-206, ISBN:9781538683019 DOI   Accesso ONLINE all'editore

  Morganti G.; Schiavone E.; Bondavalli A. (2019). Risk Assessment of Blockchain Technology. In: 8th Latin-American Symposium on Dependable Computing, LADC 2018, bra, 2018, Institute of Electrical and Electronics Engineers Inc., pp. 87-96, ISBN:978-1-5386-8489-4 DOI  

  Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli (2019). Evaluation of Anomaly Detection algorithms made easy with RELOAD. In: INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, IEEE Computer Society, pp. 0-0.

  mohamad gharib, paolo lollini, andrea bondavalli (2019). Toward a Model-based Approach for Analyzing Information Quality Requirements for Smart Grid. In: International Workshop on Dependable SOlutions for Intelligent Electricity Distribution GRIds, Naples, 17-20 September 2019, IEEE Conference Publishing Services, pp. 183-185. Accesso ONLINE all'editore

  Bertieri D.; Zoppi T.; Mungiello I.; Ceccarelli A.; Barbareschi M.; Bondavalli A. (2019). Practical Experience Report: Implementation, verification and validation of a safe and secure communication protocol for the railway domain. In: 9th Latin-American Symposium on Dependable Computing, LADC 2019, Instituto Metroplole Digital (IMD), Federal University of Rio Grande do Norte (UFRN), bra, 2019, Institute of Electrical and Electronics Engineers Inc., pp. 1-6, ISBN:978-1-7281-6622-3 DOI  

  Filipe Falcao, Tommaso Zoppi, Caio Barbosa, Anderson Santos, Baldoino Fonseca, Andrea Ceccarelli, Andrea Bondavalli (2019). Quantitative Comparison of Unsupervised Anomaly Detection Algorithms for Intrusion Detection. In: ACM SYMPOSIUM ON APPLIED COMPUTING, Limassol, Cyprus, 8-12/4/2019, ACM, New York, NY, USA, pp. 318-327, ISBN:978-1-4503-5933-7 DOI  

  tommaso zoppi, andrea ceccarelli, andrea bondavalli (2018). On Algorithms Selection for Unsupervised Anomaly Detection. In: PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, Taipei, Taiwan, 4-7/12/2018, IEEE Computer Society, vol. 2018-December, pp. 279-288, ISBN:978-153865700-3 DOI  

  Mauro D'Arco , Alfredo Renga , Andrea Ceccarelli , Francesco Brancati , Andrea Bondavalli (2018). Enhancing workers safety in worksites through augmented GNSS sensors. MEASUREMENT, vol. 117, pp. 144-152, ISSN:0263-2241 DOI   Accesso ONLINE all'editore

  Gharib, Mohamad*; Lollini, Paolo; Botta, Marco; Amparore, Elvio; Donatelli, Susanna; Bondavalli, Andrea (2018). On the Safety of Automotive Systems Incorporating Machine Learning Based Components: A Position Paper. In: 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, DSN-W 2018, Parc Alvisse Hotel, lux, 2018, Institute of Electrical and Electronics Engineers Inc., pp. 271-274, ISBN:9781538655955 DOI   Accesso ONLINE all'editore

  Mori, Marco; Ceccarelli, Andrea; Lollini, Paolo; Frömel, Bernhard; Brancati, Francesco; Bondavalli, Andrea (2018). Systems-of-systems modeling using a comprehensive viewpoint-based SysML profile. JOURNAL OF SOFTWARE, vol. 30, pp. 0-0, ISSN:2047-7481 DOI   Accesso ONLINE all'editore

  Bondavalli, Andrea; Ceccarelli, Andrea; Lollini, Paolo; Montecchi, Leonardo; Mori, Marco (2018). System-of-Systems to Support Mobile Safety Critical Applications: Open Challenges and Viable Solutions. IEEE SYSTEMS JOURNAL, vol. 12(1), pp. 250-261, ISSN:1932-8184 DOI   Accesso ONLINE all'editore

  Zoppi, Tommaso; Ceccarelli, Andrea; Lo Piccolo, Francesco; Lollini, Paolo; Giunta, Gabriele; Morreale, Vito; Bondavalli, Andrea (2018). Labelling Relevant Events to Support the Crisis Management Operator. JOURNAL OF SOFTWARE, vol. 30, pp. 0-0, ISSN:2047-7481 DOI   Accesso ONLINE all'editore

  Itria, Massimiliano L.; Kocsis-Magyar, Melinda; Ceccarelli, Andrea; Lollini, Paolo; Giunta, Gabriele; Bondavalli, Andrea (2017). Identification of critical situations via Event Processing and Event Trust Analysis. KNOWLEDGE AND INFORMATION SYSTEMS, pp. 147-178, ISSN:0219-1377 DOI   Accesso ONLINE all'editore

  Arun Babu Puthuparambil, Francesco Brancati, Andrea Bondavalli, Andrea Ceccarelli (2017). SYSML-UML Like Modeling Environment Based on Google Blockly Customization. In: Andrea Bondavalli, Francesco Brancati. Certifications of Critical Systems - The CECRIS Experience, pp. 65-80 River Publishers, ISBN:9788793519565. Accesso ONLINE all'editore

  Schiavone, Enrico; Ceccarelli, Andrea; Bondavalli, Andrea (2017). Continuous Biometric Verification for Non-Repudiation of Remote Services. In: International Conference on Availability, Reliability and Security, Francesco Buccafurri, pp. 1-10, ISBN:978-1-4503-5257-4 Accesso ONLINE all'editore

  Schiavone, Enrico; Ceccarelli, Andrea; Bondavalli, Andrea (2017). Continuous Biometric Verification for Non-Repudiation of Remote Services. In: International Conference on Availability, Reliability and Security, Francesco Buccafurri, pp. 1-10, ISBN:978-1-4503-5257-4 Accesso ONLINE all'editore

  Valentina Bonfiglio, Francesco Brancati, Francesco Rossi, Andrea Bondavalli, Leonardo Montecchi, Andras Pataricza, Imre Kocsis, Vince Molnar (2017). Composable Framework Support for Software-FMEA through Model Execution. In: Valentina Bonfiglio, Francesco Brancati, Francesco Rossi, Andrea Bondavalli, Leonardo Montecchi, Andras Pataricza, Imre Kocsis and Vince Molnar. Certifications of Critical Systems - The CECRIS Experience, pp. 183-200 River Publishers, ISBN:9788793519565. Accesso ONLINE all'editore

  Gharib, Mohamad; Lollini, Paolo; Bondavalli, Andrea (2017). A conceptual model for analyzing information quality in System-of-Systems. In: 12th System of Systems Engineering Conference, SoSE 2017, usa, 2017, Institute of Electrical and Electronics Engineers Inc., pp. 1-6, ISBN:9781509059454 DOI  

  Gharib, Mohamad; Lollini, Paolo; Bondavalli, Andrea (2017). Towards an approach for analyzing trust in Cyber-Physical-Social Systems. In: 12th System of Systems Engineering Conference, SoSE 2017, usa, 2017, Institute of Electrical and Electronics Engineers Inc., pp. 1-6, ISBN:9781509059454 DOI  

  Gharib, Mohamad; Lollini, Paolo; Ceccarelli, Andrea; Bondavalli, Andrea (2017). Dealing with Functional Safety Requirements for Automotive Systems: A Cyber-Physical-Social Approach. In: CRITICAL INFORMATION INFRASTRUCTURES SECURITY, Lucca, Italy, Ottobre 8 -13, Gregorio D'Agostino, pp. 194-206, ISBN:978-3-319-99842-8 DOI  

  Nuno Antunes, Francesco Brancati, Andrea Ceccarelli, Andrea Bondavalli, Marco Vieira (2017). A Monitoring and Testing Framework for Critical Off-the-Shelf Applications and Services. In: Nuno Antunes, Francesco Brancati, Andrea Ceccarelli, Andrea Bondavalli and Marco Vieira. Certifications of Critical Systems - The CECRIS Experience, pp. 201-226 River Publishers, ISBN:9788793519565. Accesso ONLINE all'editore

  Schiavone, Enrico; Ceccarelli, Andrea; Bondavalli, Andrea (2017). Risk assessment of a biometric continuous authentication protocol for internet services. In: Italian Conference on Cybersecurity (ITASEC17), Venezia, 17 - 20 Gennaio, 2017, Alessandro Armando,Roberto Baldoni,Riccardo Focardi, vol. 1816, pp. 53-65. Accesso ONLINE all'editore

  Andras Pataricza, Laszlo Gonczy, Francesco Brancati, Francisco Moreira, Nuno Silva, Rosaria Esposito, Andrea Bondavalli, Alexandre Esper (2017). Cost Estimation for Independent Systems Verification and Validation. In: Andras Pataricza, Laszlo Gonczy, Francesco Brancati, Francisco Moreira, Nuno Silva, Rosaria Esposito, Andrea Bondavalli and Alexandre Esper. Certifications of Critical Systems - The CECRIS Experience, pp. 117-142 River Publishers, ISBN:9788793519565. Accesso ONLINE all'editore

  Basso, Tania; Montecchi, Leonardo; Moraes, Regina; Jino, Mario; Bondavalli, Andrea (2017). PrivAPP: An integrated approach for the design of privacy-aware applications. SOFTWARE-PRACTICE & EXPERIENCE, pp. 0-0, ISSN:0038-0644 DOI  

  Andras Pataricza, Imre Kocsis, Francesco Brancati, Lorenzo Vinerbi, Andrea Bondavalli (2017). Lightweight Formal Analysis of Requirements. In: Andras Pataricza, Imre Kocsis, Francesco Brancati, Lorenzo Vinerbi and Andrea Bondavalli. Certifications of Critical Systems - The CECRIS Experience, pp. 143-166 River Publishers, ISBN:9788793519565. Accesso ONLINE all'editore

  Bondavalli, Andrea, Brancati, Francesco (2017). Certifications of Critical Systems - The CECRIS Experience. River Publishers, pp. 1-278, 9788793519565. Accesso ONLINE all'editore

  Zoppi, Tommaso; Ceccarelli, Andrea; Bondavalli, Andrea (2017). Exploring Anomaly Detection in Systems of Systems. In: ACM SYMPOSIUM ON APPLIED COMPUTING, Marrakech, Marocco, 4-7/4/2017, ACM, vol. ..., pp. 1139-1146, ISBN:978-1-4503-4486-9 DOI   Accesso ONLINE all'editore

  Mori, Marco; Ceccarelli, Andrea; Zoppi, Tommaso; Bondavalli, Andrea (2016). On the impact of emergent properties on SoS security. In: INTERNATIONAL CONFERENCE ON SYSTEM OF SYSTEMS ENGINEERING, Kongsberg, Norway, 12-16/6/2016, IEEE, pp. 0-0, ISBN:978-1-4673-8727-9

  Eleuterio, Jane Dirce Alves Sandim; Gaia, Felipe Nunes; Bondavalli, Andrea; Lollini, Paolo; Rodrigues, Genaina Nunes; Rubira, Cecilia Mary Fischer (2016). On the Dependability for Dynamic Software Product Lines: A Comparative Systematic Mapping Study. In: 42th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), Limassol, Cyprus, 31 Aug.-2 Sept. 2016, IEEE, pp. 323-330, ISBN:978-1-5090-2820-7 DOI   Accesso ONLINE all'editore

  Montecchi, Leonardo; Refsdal, Atle; Lollini, Paolo; Bondavalli, Andrea (2016). A Model-Based Approach to Support Safety-Related Decisions in the Petroleum Domain. In: DEPENDABLE SYSTEMS AND NETWORKS, Toulouse, France, June 28 - July 1, 2016, IEEE, pp. 275-286, ISBN:978-1-4673-8891-7 DOI   Accesso ONLINE all'editore

  Enrico Schiavone; Andrea Ceccarelli; Andrea Bondavalli; Ariadne M. B. R. Carvalho (2016). Usability Assessment in a Multi-biometric Continuous Authentication System. In: 7th Latin-American Symposium on Dependable Computing, LADC 2016, IEEE, pp. 43-50, ISBN:978-1-5090-5120-5 DOI  

  Zoppi, Tommaso; Ceccarelli, Andrea; Bondavalli, Andrea (2016). Challenging Anomaly Detection in Complex Dynamic Systems. In: 2016 IEEE 35th Symposium on Reliable Distributed Systems, Budapest, IEEE, pp. 0-0, ISBN:978-1-5090-3513-7 DOI  

  Zoppi, Tommaso; Ceccarelli, Andrea; Bondavalli, Andrea (2016). Challenging Anomaly Detection in Complex Dynamic Systems. In: 2016 IEEE 35th Symposium on Reliable Distributed Systems, Budapest, IEEE, pp. 0-0, ISBN:978-1-5090-3513-7 DOI  

  Schiavone, Enrico; Ceccarelli, Andrea; Bondavalli, Andrea (2016). Continuous Authentication and Non-repudiation for the Security of Critical Systems. In: SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, Budapest, IEEE, pp. 0-0, ISBN:978-1-5090-3513-7 DOI   Accesso ONLINE all'editore

  Schiavone, Enrico; Ceccarelli, Andrea; Bondavalli, Andrea (2016). Continuous Authentication and Non-repudiation for the Security of Critical Systems. In: SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, Budapest, IEEE, pp. 0-0, ISBN:978-1-5090-3513-7 DOI   Accesso ONLINE all'editore

  Mori, Marco; Ceccarelli, Andrea; Lollini, Paolo; Bondavalli, Andrea; Frömel, Bernhard (2016). A Holistic Viewpoint-Based SysML Profile to Design Systems-of-Systems. In: IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, usa, 2016, IEEE Computer Society, pp. 276-283, ISBN:978-1-4673-9913-5 DOI  

  Ceccarelli, Andrea; Bondavalli, Andrea; Froemel, Bernhard; Hoeftberger, Oliver; Kopetz, Hermann (2016). Basic concepts on Systems of Systems. In: Andrea Bondavalli, Sara Bouchenak, Hermann Kopetz. Cyber-Physical Systems of Systems. Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy, pp. 0-0 Springer International Publishing, ISBN:978-3-319-47589-9. DOI  

  Ceccarelli, Andrea; Bondavalli, Andrea; Froemel, Bernhard; Hoeftberger, Oliver; Kopetz, Hermann (2016). Basic concepts on Systems of Systems. In: Andrea Bondavalli, Sara Bouchenak, Hermann Kopetz. Cyber-Physical Systems of Systems. Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy, pp. 0-0 Springer International Publishing, ISBN:978-3-319-47589-9. DOI  

  Patricia, Andras; Gonczy, Laszlo; Brancati, Francesco; Moreira, Francisco; Silva, Nuno; Esposito, Rosaria; Salani, Agnes; Bondavalli, Andrea (2016). Towards an analysis framework for cost & quality estimation of V&V projects. In: DAta Systems in Aerospace Conference, DASIA 2016, Tallinn; Estonia, 10 May 2016 through 12 May 2016, Ouwehand L., vol. SP-736, pp. 0-0, ISBN:978-929221301-5 Accesso ONLINE all'editore

  Andrea Bondavalli, Sara Bouchenak, Herman Kopetz (2016). CYBER-PHYSICAL SYSTEMS OF SYSTEMS Foundations, a conceptual model and some derivations: the AMADEOS legacy. di Andrea Bondavalli, Sara Bouchenak, Herman Kopetz, Springer Verlag, pp. 1-255, 978331947589-9. Accesso ONLINE all'editore

  Kopetz, Hermann; Bondavalli, Andrea; Brancati, Francesco; Frömel, Bernhard*; Höftberger, Oliver; Iacob, Sorin (2016). Emergence in cyber-physical systems-of-systems (CPSoSs). In: Andrea Bondavalli, Sara Bouchenak, Herman Koptetz. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 73-96 Springer Verlag, ISBN:978-3-319-47589-9. DOI   Accesso ONLINE all'editore

  Nostro, Nicola; Matteucci, Ilaria; Ceccarelli, Andrea; Santini, Francesco; Di Giandomenico, Felicita; Martinelli, Fabio; Bondavalli, Andrea (2016). A multi-criteria ranking of security countermeasures. In: ACM SYMPOSIUM ON APPLIED COMPUTING, ita, 2016, Association for Computing Machinery, vol. 04-08-, pp. 530-533, ISBN:978-1-4503-3739-7 DOI   Accesso ONLINE all'editore

  Veeraragavan, Narasimha Raghavan; Montecchi, Leonardo; Nostro, Nicola; Vitenberg, Roman; Meling, Hein; Bondavalli, Andrea (2016). Modeling QoE in Dependable Tele-Immersive Applications: A Case Study of World Opera. IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, vol. 27, pp. 2667-2681, ISSN:1045-9219 DOI   Accesso ONLINE all'editore

  Nicola Nostro; Davide Iacono; Andrea Ceccarelli; Andrea Bondavalli (2016). Towards Failure and Intrusion Detection in Systems of Systems: Challenges and an Approach. In: ISORCW-SORT (Workshop on Self-Organizing Real-Time Systems) 2016, York, UK, IEEE, pp. 0-0.

  Bondavalli, Andrea; Ceccarelli, Andrea; Brancati, Francesco; Santoro, Diego; Vadursi, Michele (2016). Differential analysis of Operating System indicators for anomaly detection in dependable systems: An experimental study. MEASUREMENT, vol. 80, pp. 229-240, ISSN:0263-2241 DOI   Accesso ONLINE all'editore

  Bernini, Riccardo; Bondavalli, Andrea; Lollini, Paolo; Montecchi, Leonardo (2016). Combining SAN and P-Graphs for the Analysis and Optimization of Industrial Processes. In: 12th European Dependable Computing Conference (EDCC 2016), Gothenburg, Sweden, September 5-9, 2016, IEEE, pp. 197-207, ISBN:978-1-5090-1582-5 DOI   Accesso ONLINE all'editore

  Zoppi, Tommaso; Ceccarelli, Andrea; Bondavalli, Andrea (2016). Context-Awareness to improve Anomaly Detection in Dynamic Service Oriented Architectures. In: INTERNATIONAL CONFERENCE ON COMPUTER SAFETY, RELIABILITY AND SECURITY, Trondheim, Norway, 20-23 September 2016, Springer, vol. 9922, pp. 145-158, ISBN:978-3-319-45476-4 DOI  

  Zoppi, Tommaso; Ceccarelli, Andrea; Lollini, Paolo; Bondavalli, Andrea; Lo Piccolo, Francesco; Giunta, Gabriele; Morreale, Vito (2016). Presenting the Proper Data to the Crisis Management Operator: A Relevance Labelling Strategy. In: IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, Orlando, Florida, 7-9/1/2016, IEEE, vol. 2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE), pp. 228-235, ISBN:978-1-4673-9913-5 DOI   Accesso ONLINE all'editore

  Andrea Ceccarelli; Leonardo Montecchi; Francesco Brancati; Paolo Lollini; A. Marguglio; Andrea Bondavalli. (2015). Continuous and Transparent User Identity Verification for Secure Internet Services. IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, vol. 12, pp. 270-283, ISSN:1545-5971 DOI   Accesso ONLINE all'editore

  Bonfiglio, Valentina; Montecchi, Leonardo; Irrera, Ivano; Rossi, Francesco; Lollini, Paolo; Bondavalli, Andrea (2015). Software Faults Emulation at Model-Level: Towards Automated Software FMEA. In: 1st Workshop on Safety and Security of Intelligent Vehicles (SSIV 2015), IEEE, pp. 133-140, ISBN:978-1-4673-8044-7 DOI  

  Montecchi, Leonardo; Lollini, Paolo; Bondavalli, Andrea (2015). Quantifying the Impact of External Attacks on a Distributed Automatic Track Warning System. In: International Workshop on Recent Advances in the DependabIlity AssessmeNt of Complex systEms (RADIANCE 2015), IEEE, pp. 33-38, ISBN:978-1-4673-8044-7 DOI  

  Montecchi, Leonardo; Lollini, Paolo; Bondavalli, Andrea (2015). Quantifying the Impact of External Attacks on a Distributed Automatic Track Warning System. In: International Workshop on Recent Advances in the DependabIlity AssessmeNt of Complex systEms (RADIANCE 2015), IEEE, pp. 33-38, ISBN:978-1-4673-8044-7 DOI  

  Schiavone, Enrico; Ceccarelli, Andrea; Bondavalli, Andrea (2015). Continuous User Identity Verification for Trusted Operators in Control Rooms. In: ICA3PP International Conference on Algorithms and Architectures for Parallel Computing, Zhangjiajie, China, November 18-20, 2015, Guojun Wang, vol. 9532, pp. 187-200, ISBN:978-3-319-27161-3 DOI   Accesso ONLINE all'editore

  francesco brancati, claudio fantacci, andrea bondavalli, andrea ceccarelli (2015). Metodo e apparato per una segnalazione resiliente del tempo. Numero: 102015000072477 Resiltech SRL

  Rossi, Magali Andreia; De Oliveira, Fabricio B.; Lollini, Paolo; Bondavalli, Andrea; Corrêa, Mario (2015). Zarzirbird project: Modeling RPAS dynamics for load stability. In: 34th Digital Avionics Systems Conference, DASC 2015, Corinthia Hotel, cze, 2015, Institute of Electrical and Electronics Engineers Inc., pp. 1-23, ISBN:9781479989409 DOI   Accesso ONLINE all'editore

  Rossi, Magali Andreia; De Oliveira, Fabricio B.; Lollini, Paolo; Bondavalli, Andrea; Corrêa, Mario (2015). Zarzirbird project: Modeling RPAS dynamics for load stability. In: 34th Digital Avionics Systems Conference, DASC 2015, Corinthia Hotel, cze, 2015, Institute of Electrical and Electronics Engineers Inc., pp. 1-23, ISBN:9781479989409 DOI   Accesso ONLINE all'editore

  Basso, Tania; Montecchi, Leonardo; Moraes, Regina; Jino, Mario; Bondavalli, Andrea (2015). Towards a UML Profile for Privacy-Aware Applications. In: The 15th IEEE International Conference on Computer and Information Technology (CIT-2015), Liverpool, UK, 26-28 October 2015, IEEE, pp. 371-378, ISBN:978-1-5090-0153-8 DOI   Accesso ONLINE all'editore

  Ceccarelli, Andrea; Mori, Marco; Lollini, Paolo; Bondavalli, Andrea (2015). Introducing Meta-Requirements for Describing System of Systems. In: IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, usa, January 8 - 10, 2015, IEEE Computer Society, vol. 2015-, pp. 150-157, ISBN:978-1-4799-8111-3 DOI   Accesso ONLINE all'editore

  Ceccarelli, Andrea; Bondavalli, Andrea (2015). On trustworthy measurements when testing dependable systems: a discussion and experiences. INTERNATIONAL JOURNAL OF CRITICAL COMPUTER-BASED SYSTEMS, vol. 6, pp. 154-170, ISSN:1757-8779 DOI  

  Valentina Bonfiglio; Leonardo Montecchi; Francesco Rossi; Paolo Lollini; András Pataricza; Andrea Bondavalli; (2015). Executable Models to Support Automated Software FMEA. In: IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, Daytona Beach Shores, FL, USA, 8-10 January 2015, IEEE, pp. 189-196, ISBN:9781479981106 DOI   Accesso ONLINE all'editore

  Tommaso Zoppi; Andrea Bondavalli; Andrea Ceccarelli; Massimiliano Itria (2015). A Multi-layer Anomaly Detector for Dynamic Service-Based Systems. In: INTERNATIONAL CONFERENCE ON COMPUTER SAFETY, RELIABILITY AND SECURITY, Delft, 22-09-2015, Springer, vol. 9337, pp. 166-180, ISBN:978-3-319-24254-5 DOI  

  Brancati, Francesco; Pataricza, András; Silva, Nuno; Hegedüs, Ábel; Gönczy, László; Bondavalli, Andrea; Esposito, Rosaria (2015). Cost Prediction for V&V and Certification Processes. In: 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, DSN-W 2015, bra, 2015, Institute of Electrical and Electronics Engineers Inc., pp. 57-62, ISBN:9781467380447 DOI  

  Kopetz, H.; Höftberger, O.; Frömel, B.; Brancati, F.; Bondavalli, A. (2015). Towards an understanding of emergence in systems-of-systems. In: INTERNATIONAL CONFERENCE ON SYSTEM OF SYSTEMS ENGINEERING, usa, 2015, Institute of Electrical and Electronics Engineers Inc., pp. 214-219, ISBN:9781479976119 DOI  

  Leonardo Montecchi ; Nicola Nostro ; Andrea Ceccarelli ; Giuseppe Vella ; Antonio Caruso ; Andrea Bondavalli (2015). Model-based Evaluation of Scalability and Security Tradeoffs: a Case Study on a Multi-Service Platform. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, vol. 5, pp. 113-133, ISSN:1571-0661 DOI   Accesso ONLINE all'editore

  Andrea Ceccarelli;Tommaso Zoppi;Andrea Bondavalli;Fabio Duchi;Giuseppe Vella (2014). A Testbed for Evaluating Anomaly Detection Monitors through Fault Injection. In: 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), Reno, NV, USA, 10-12 June 2014, IEEE, pp. 358-365, ISBN:978-1-4799-4430-9 DOI  

  Fabio Duchi; Nuno Antunes; Andrea Ceccarelli; Giuseppe Vella; Francesco Rossi; Andrea Bondavalli (2014). Cost-Effective Testing for Critical Off-the-Shelf Services. In: 1st International Workshop on DEvelopment, Verification and VAlidation of cRiTical Systems, Florence (Italy), September 8th 2014, Andrea Bondavalli and Andrea Ceccarelli and Frank Ortmeier, vol. 8696, pp. 231-242, ISBN:978-3-319-10557-4 DOI   Accesso ONLINE all'editore

  Nicola Nostro; Ilaria Matteucci; Andrea Ceccarelli; Felicita Di Giandomenico; Fabio Martinelli; Andrea Bondavalli (2014). On Security Countermeasures Ranking through Threat Analysis. In: 1st International Workshop on DEvelopment, Verification and VAlidation of cRiTical Systems, Florence (Italy), September 8-9, 2014, Andrea Bondavalli and Andrea Ceccarelli and Frank Ortmeier, vol. 8696, pp. 243-254, ISBN:978-3-319-10557-4 DOI   Accesso ONLINE all'editore

  A. Bovenzi; F. Brancati; S. Russo; A. Bondavalli (2014). An OS-level Framework for Anomaly Detection in Complex Software Systems. IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, vol. 12, pp. 366-372, ISSN:1545-5971 DOI  

  Rossi, Magali Andreia; Lollini, Paolo; Bondavalli, Andrea; Romani de Oliveira, Italo; Rady de Almeida, Jorge (2014). A safety assessment on the use of CPDLC in UAS communication system. In: Digital Avionics Systems Conference, Colorado Springs, CO, 5-9 Oct. 2014, IEEE/AIAA, pp. 6B1-1-6B1-11, ISBN:978-1-4799-5001-0 DOI   Accesso ONLINE all'editore

  Nicola Nostro; Andrea Ceccarelli; Francesco Brancati; Andrea Bondavalli (2014). Insider Threat Assessment: a Model-Based Methodology. OPERATING SYSTEMS REVIEW, vol. 48, pp. 3-12, ISSN:0163-5980 DOI   Accesso ONLINE all'editore

  Nicola Nostro; Andrea Bondavalli; Nuno Silva (2014). Adding Security Concerns to Safety Critical Certification. In: 4th edition of the IEEE International Workshop on Software Certification (WoSoCer2014), Naples (Italy), November 3-6, 2014, IEEE, pp. 521-526. DOI  

  A. Bondavalli; A. Ceccarelli; F. Brancati; D. Santoro; M. Vadursi (2014). Anomaly detection in sistemi complessi mediante monitoraggio di variabili di sistema operativo. In: XXXI Congresso Nazionale Associazione "Gruppo Misure Elettriche ed Elettroniche, Ancona, 11-13 Settembre 2014, Gruppo Misure Elettriche ed Elettroniche, pp. 0-0, ISBN:978-88-97683-67-4

  Bondavalli, Andrea; Di Giandomenico, Felicita (2014). Computer Safety, Reliability, and Security. di Andrea Bondavalli, Felicita Di Giandomenico, Springer, 978-3-319-10505-5. Accesso ONLINE all'editore

  Leonardo Montecchi; Paolo Lollini; Andrea Bondavalli (2014). A DSL-Supported Workflow for the Automated Assembly of Large Stochastic Models. In: Tenth EuropeanDependable Computing Conference (EDCC 2014), Newcastle upon Tyne, UK, 13-16 May 2014, IEEE, pp. 82-93. DOI   Accesso ONLINE all'editore

  Bondavalli, Andrea; Ceccarelli, Andrea; Ortmeier, Frank (2014). Computer Safety, Reliability, and Security: SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. di Andrea Bondavalli, Andrea Ceccarelli, Frank Ortmeier, Springer International Publishing, pp. 1-456, 978-3-319-10556-7.

  Rossi, Magali Andreia; Lollini, Paolo; Bondavalli, Andrea; Romani de Oliveira, Italo; Rady de Almeida, Jorge (2014). A safety assessment on the use of CPDLC in UAS communication system. In: Digital Avionics Systems Conference, Colorado Springs, CO, 5-9 Oct. 2014, IEEE/AIAA, pp. 6B1-1-6B1-11, ISBN:978-1-4799-5001-0 DOI   Accesso ONLINE all'editore

  Leonardo Montecchi; Paolo Lollini; Andrea Bondavalli (2013). A Reusable Modular Toolchain for Automated Dependability Evaluation. In: 7th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2013), Turin, Italy, 10-12 December 2013, ACM, pp. 298-303, ISBN:9781936968480 DOI   Accesso ONLINE all'editore

  Andrea Bondavalli; Francesco Brancati; Andrea Ceccarelli; Diego Santoro; Michele Vadursi (2013). Experimental analysis of the first order time difference of indicators used in the monitoring of complex systems. In: 2013 IEEE International Workshop on Date of Conference Measurements and Networking, Naples (Italy), 7-8 Oct. 2013, Leopoldo Angrisani, pp. 138-142, ISBN:978-1-4673-2873-9 DOI   Accesso ONLINE all'editore

  Valentina Bonfiglio; Leonardo Montecchi; Francesco Rossi; Andrea Bondavalli (2013). On the Need of a Methodological Approach for the Assessment of Software Architectures within ISO26262. In: 2nd Workshop on Critical Automotive applications : Robustness & Safety, Toulouse, France, 24-27 September 2013, HAL, pp. 1-6.

  Nuno Antunes;Francesco Brancati;Andrea Ceccarelli;Andrea Bondavalli;Marco Vieira (2013). A monitoring and testing framework for critical off-the-shelf applications and services. In: 2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Pasadena, CA, 4-7 Nov. 2013, IEEE, pp. 371-374, ISBN:978-1-4799-2552-0 DOI  

  Nicola Nostro; Andrea Ceccarelli; Andrea Bondavalli; Francesco Brancati (2013). A methodology and supporting techniques for the quantitative assessment of insider threats. In: 2nd International Workshop on Dependability Issues in Cloud Computing - DISCCO '13, Braga (Portugal), 30 September 2013, Miguel Correia and Neeraj Mittal, pp. 1-6, ISBN:978-1-4503-2248-5 DOI   Accesso ONLINE all'editore

  A. Bondavalli; F. Brancati; A. Flammini; S. Rinaldi"; (2013). Master Failure Detection Protocol in Internal Synchronization Environment. IEEE TRANSACTIONS ON INSTRUMENTATION AND MEASUREMENT, vol. 62, pp. .4-.12, ISSN:0018-9456

  Narasimha Raghavan; Leonardo Montecchi; Nicola Nostro; Andrea Bondavalli; Roman Vitenberg; Hein Meling (2013). Understanding the Quality of Experience in Modern Distributed Interactive Multimedia Applications in Presence of Failures: Metrics and Analysis. In: 28th ACM Symposium On Applied Computing (SAC 2013) - Track on Dependable and Adaptive Distributed Systems (DADS), Coimbra, Portugal, 18-22 March 2013, Association for Computing Machinery, Inc. (ACM), pp. 439-446, ISBN:9781450316569 DOI  

  Joao Figueiras;Jesper Gronbaek;Hans-Peter Schwefel;Andrea Bondavalli (2013). Multi-hypothesis GPS and Electronic Fence Data Fusion for Safety-Critical Positioning in Railway Worksites. In: 2013 Sixth Latin-American Symposium on Dependable Computing, Rio de Janeiro (Brazil), April 1-5, 2013, IEEE Press, pp. 31-39, ISBN:9780769549620 DOI  

  Alessandro Daidone; Thibault Renier; Andrea Bondavalli; Hans Peter Schwefel (2013). Optimal configuration of fault-tolerance parameters for distributed replicated server access. INTERNATIONAL JOURNAL OF CRITICAL COMPUTER-BASED SYSTEMS, vol. 4, pp. 144-172, ISSN:1757-8779 DOI   Accesso ONLINE all'editore

  Andrea Bondavalli;Francesco Brancati;Andrea Ceccarelli;Lorenzo Falai (2013). Providing Safety-Critical and Real-Time Services for Mobile Devices in Uncertain Environment. In: Higuera-Toledano, M. Teresa and Brinkschulte, Uwe and Rettberg, Achim. Self-Organization in Embedded Real-Time Systems, pp. 25-53 M. Teresa Higuera-Toledano and Uwe Brinkschulte and Achim Rettberg, ISBN:978-1-4614-1968-6. DOI   Accesso ONLINE all'editore

  Andrea Bondavalli; Andrea Ceccarelli; Florjan Gogaj; Andrea Seminatore; Michele Vadursi (2013). Experimental assessment of low-cost GPS-based localization in railway worksite-like scenarios. MEASUREMENT, vol. 46, pp. 456-466, ISSN:0263-2241 DOI  

  L. Montecchi;A. Ceccarelli;P. Lollini;A. Bondavalli (2013). Meeting the challenges in the design and evaluation of a trackside real-time safety-critical system. In: Fourth IEEE Workshop on Self-Organizing Real-Time Systems, Paderborn, Germany, 2013-June 20th, IEEE, pp. 1-10, ISBN:978-1-4799-2111-9 DOI  

  Andrea Bondavalli;Francesco Brancati;Andrea Ceccarelli;Lorenzo Falai;Michele Vadursi (2013). Resilient estimation of synchronisation uncertainty through software clocks. INTERNATIONAL JOURNAL OF CRITICAL COMPUTER-BASED SYSTEMS, vol. 4, pp. 301-322, ISSN:1757-8779 DOI   Accesso ONLINE all'editore

  A. Bondavalli; H. Madeira; P. Lollini (2012). Future of resilience assessment: the AMBER research roadmap. In: K. Wolter, A. Avritzer, M. Vieira, A. van Moorsel. Resilience assessment and evaluation, pp. 1-25, Berlin: Springer Berlin / Heidelberg, ISBN:9783642290329. DOI   Accesso ONLINE all'editore

  A. Bondavalli; A. Ceccarelli; L. Falai; M. Vadursi (2012). Foundations of Metrology in the Observation of Critical Systems. In: Wolter, Katinka, Avritzer, Alberto, Vieira, Marco, van Moorsel, Aad. Resilience Assessment and Evaluation of Computing Systems, pp. 205-211 Springer Berlin Heidelberg, ISBN:9783642290312. DOI   Accesso ONLINE all'editore

  Andrea Ceccarelli; Andrea Bondavalli; Joao Figueiras; Boris Malinowsky; Jurij Wakula; Francesco Brancati; Carlo Dambra;Antonio Seminatore (2012). Design and Implementation of Real-Time Wearable Devices for a Safety-Critical Track Warning System. In: 14th International Symposium on High-Assurance Systems Engineering, Omaha, NE, USA, 2012-Oct, IEEE, pp. 147-154, ISBN:978-1-4673-4742-6 DOI  

  Andrea Ceccarelli; Andrea Bondavalli; Francesco Brancati; Ernesto La Mattina (2012). Improving Security of Internet Services through Continuous and Transparent User Identity Verification. In: 31st International Symposium on Reliable Distributed Systems, Irvine, CA, USA, 2012-Oct, IEEE, pp. 201-206, ISBN:978-1-4673-2397-0 DOI   Accesso ONLINE all'editore

  A. Bondavalli; P. Lollini; L. Montecchi (2012). Graphical formalisms for modeling critical infrastructures. In: F. Flammini. Critical infrastructure security: assessment, prevention, detection, response, pp. 57-73, Ashurst Lodge, Ashurst, Southampton: WIT Press, ISBN:9781845645625. DOI  

  B. Malinowsky; J. Gronbaek; H. Schwefel; A. Ceccarelli; A. Bondavalli; E. Nett (2012). Timed Broadcast via Off-the-Shelf WLAN Distributed Coordination Function for Safety-Critical Systems. In: Ninth European Dependable Computing Conference (EDCC'12), Sibiu, Romania, 2012-May, IEEE, pp. 144-155, ISBN:978-1-4673-0938-7 DOI   Accesso ONLINE all'editore

  L. Montecchi; P. Lollini; B. Malinowsky; J. Grønbæk; A. Bondavalli (2012). Model-based analysis of a protocol for reliable communication in railway worksites. In: The 15th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM 2012), Paphos, Cyprus, 21-25 October 2012, ACM, pp. 23-32, ISBN:9781450316286 DOI   Accesso ONLINE all'editore

  L. Coppolino; L. Romano; A. Bondavalli; A. Daidone (2012). A hidden Markov model based intrusion detection system for wireless sensor networks. INTERNATIONAL JOURNAL OF CRITICAL COMPUTER-BASED SYSTEMS, vol. 3, pp. 210-228, ISSN:1757-8779 Accesso ONLINE all'editore

  P. Ferrari; A. Flammini; S. Rinaldi; A. Bondavalli; F. Brancati (2012). Experimental Characterization of Uncertainty Sources in a Software-Only Synchronization System. IEEE TRANSACTIONS ON INSTRUMENTATION AND MEASUREMENT, vol. 61, pp. 1512-1521, ISSN:0018-9456 DOI   Accesso ONLINE all'editore

  L. Montecchi; P. Lollini; A. Bondavalli; E. La Mattina (2012). Quantitative Security Evaluation of a Multi-Biometric Authentication System. In: DESEC4LCCI 2012, Magdeburg, Germany, 25-28 September 2012, Springer-Verlag, vol. 7613, pp. 209-221, ISBN:9783642336744 DOI   Accesso ONLINE all'editore

  Magali Andreia Rossi;Jorge Rady de Almeida Junior;Andrea Bondavalli;Paolo Lollini (2012). A Federated Simulation Framework with ATN Fault Injection Module for Reliablity Analysis of UAVs in Non-controlled Airspace. In: AFECOMP 2012 Workshops: DESEC4LCCI, Magdeburg, Germany, September 25, 2012, Frank Ortmeier and Peter Daniel, vol. 7613, pp. 271-281, ISBN:9783642336744 DOI   Accesso ONLINE all'editore

  A. Bondavalli; P. Lollini; I. Majzik; L. Montecchi (2012). Modelling and model-based assessment. In: K. Wolter, A. Avritzer, M. Vieira, A. van Moorsel. Resilience assessment and evaluation, pp. 153-165, berlin: Springer Berlin / Heidelberg, ISBN:9783642290312. DOI   Accesso ONLINE all'editore

  M. Dixit; A. Casimiro; P. Lollini; A. Bondavalli; P. Veríssimo (2012). Adaptare: supporting automatic and dependable adaptation in dynamic environments. ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS, vol. 7, pp. 18:1-18:25, ISSN:1556-4665 DOI   Accesso ONLINE all'editore

  A. Ceccarelli;M. Vieira;A. Bondavalli (2011). A Service Discovery Approach for Testing Dynamic SOAs. In: 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), 2011-March, IEEE, pp. 133-142, ISBN:978-1-4577-0303-4 DOI   Accesso ONLINE all'editore

  A. Bondavalli;F. Brancati;A. Flammini;S. Rinaldi (2011). A Reliable and Self-Aware Clock for Reference Time Failure Detection in Internal Synchronization Environment. In: The IEEE International Workshop on Measurements and Networking 2011 (M&N2011), 2011-October, IEE, pp. 94-99, ISBN:9781457704550 DOI  

  L. Montecchi; P. Lollini; A. Bondavalli (2011). Towards a MDE Transformation Workflow for Dependability Analysis. In: 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2011), Las Vegas, NV, USA, 27-29 April 2011, IEEE, pp. 157-166, ISBN:9781612848532 DOI   Accesso ONLINE all'editore

  A. Bovenzi;F. Brancati;S. Russo;A. Bondavalli (2011). Towards identifying OS-level anomalies to detect Application Software Failures. In: The IEEE International Workshop on Measurements and Networking (M&N 2011), 2011-October, IEEE, pp. 128-142, ISBN:9781457704550 DOI  

  A. Bondavalli; L. Montecchi (2011). Metodi combinatori. In: A. Bondavalli. L'Analisi Quantitativa dei Sistemi Critici, pp. 59-91, Bologna: Esculapio, ISBN:9788874884315.

  A. Bondavalli; O. Hamouda; M. Kaâniche; P. Lollini; I. Majzik; H.-P. Schwefel (2011). The HIDENETS Holistic Approach for the Analysis of Large Critical Mobile Systems. IEEE TRANSACTIONS ON MOBILE COMPUTING, vol. 10, pp. 783-796, ISSN:1536-1233 DOI   Accesso ONLINE all'editore

  P. Ferrari;A. Flammini;S. Rinaldi;A. Bondavalli;F. Brancati (2011). Evaluation of Timestamping Uncertainty in a Software-based IEEE1588 Implementation. In: IEEE International Instrumentation and Measurement Technology Conference, 2011-May, IEEE, pp. 1-6, ISBN:9781424479337 DOI  

  A. Ceccarelli; M. Vieira; A. Bondavalli (2011). A testing service for lifelong validation of dynamic SOA. In: HASE 2011 - 13th IEEE International High Assurance Systems Engineering Symposium, IEEE, pp. 1-8, ISBN:978-1-4673-0107-7 DOI   Accesso ONLINE all'editore

  M. A. Rossi; J. Rady de Almeida Junior; A. Bondavalli; P. Lollini (2011). Towards a federated simulation approach for reliability evaluation of unmanned aircraft vehicles within aeronautical communications networking. In: 30th IEEE Symposium on Reliable Distributed Systems Workshops, Madrid, October 4 -7, 2011, IEEE Computer Society Press, vol. Proc. of the 30th IEEE Symposium on Reliable Distributed Systems Workshops (SRDSW 2011), pp. 67-71, ISBN:9781457716249 DOI   Accesso ONLINE all'editore

  M. Ficco; A. Daidone; L. Coppolino; L. Romano; A. Bondavalli (2011). An event correlation approach for fault diagnosis in SCADA infrastructures. In: EWDC '11 Proceedings of the 13th European Workshop on Dependable Computing, Pisa, Italy, 11-12 May 2011, ACM, pp. 15-20, ISBN:9781450302845 DOI  

  L. Montecchi; P. Lollini; A. Bondavalli (2011). Dependability concerns in model-driven engineering. In: 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW 2011), Newport Beach, CA, USA, 28-31 March 2011, IEEE, pp. 254-263, ISBN:9781457703034 DOI   Accesso ONLINE all'editore

  A. Ceccarelli;L. Vinerbi;L. Falai;A. Bondavalli (2011). RACME: a framework to support V\&V and certification. In: LADC 2011, 2011, IEEE, pp. 116-125, ISBN:978-0-7695-4320-8 DOI   Accesso ONLINE all'editore

  A. Bondavalli (2011). L'analisi quantitativa dei sistemi critici. di A. Bondavalli, Bologna: Esculapio, pp. 1-300, 9788874884315.

  A. Bovenzi;F. Brancati;S. Russo;A. Bondavalli (2011). A Statistical Anomaly-Based Algorithm for On-line Fault Detection in Complex Software Critical Systems. In: The 30th International Conference on Computer Safety, Reliability and Security, 2011, Springer, vol. 6894, pp. 128-142. DOI   Accesso ONLINE all'editore

  A. Bondavalli; A. Ceccarelli; F. Gogaj; A. Seminatore; M. Vadursi (2011). Localization errors of low-cost GPS devices in railway worksite-like scenarios. In: IEEE International Workshop on Measurements & Networking (M&N 2011), IEEE, pp. 6-11, ISBN:978-1-4577-0457-4 DOI   Accesso ONLINE all'editore

  A. Bondavalli;F. Brancati;A. Ceccarelli (2011). Monitoring di Sistemi. In: Bondavalli, A.. L'analisi Quantitativa Dei Sistemi Critici, pp. 201-232, Bologna: Esculapio, ISBN:9788874884315.

  A. Bondavalli; A. Ceccarelli; L. Falai; M. Vadursi (2010). A New Approach and a Related Tool for Dependability Measurements on Distributed Systems. IEEE TRANSACTIONS ON INSTRUMENTATION AND MEASUREMENT, vol. 59, pp. 820-831, ISSN:0018-9456 DOI  

  A. Bondavalli;F. Brancati;A. Ceccarelli;M. Vadursi (2010). Experimental Validation of a Synchronization Uncertainty-Aware Software Clock. In: 29th IEEE International Symposium on Reliable Distributed Systems (SRDS 2010), 2010, IEEE, pp. 245-254, ISBN:978-0-7695-4250-8 DOI  

  P. Ferrari;A. Flammini;S. Rinaldi;A. Bondavalli;F. Brancati (2010). Improving robustness of the synchronization quality of IEEE1588 nodes. In: 2010 IEEE International Symposium on Precision Clock Synchronization for Measurement, Control, and Communication, 2010-oct, IEEE, pp. 36-41, ISBN:9781424459780 DOI  

  F. Brancati;A. Bondavalli (2010). Practical Aspects in Analyzing and Sharing the Results of Experimental Evaluation. In: 29th IEEE International Symposium on Reliable Distributed Systems (SRDS 2010), 2010-nov, IEEE, pp. 328-332, ISBN:9780769542508 DOI  

  A. Bondavalli; P. Lollini; M. Vadursi (2010). AMBER roadmap: ongoing research directions. In: Second Workshop on Sharing Field Data and Experiment Measurements on Resilience of Distributed Computer Systems (RDCS 2010), Genoa, Italy, IEEE Computer Society Press, pp. 0-0, ISBN:9781424474714 DOI  

  J. Gronbaek;H. Schwefel;A. Ceccarelli;A. Bondavalli (2010). Improving Robustness of Network Fault Diagnosis to Uncertainty in Observations. In: 9th IEEE International Symposium on Network Computing and Applications (NCA), 2010-July, IEEE, pp. 229-232, ISBN:978-1-4244-7627-5 DOI   Accesso ONLINE all'editore

  A. Bondavalli;A. Ceccarelli;P. Lollini (2010). Architecting and Validating Dependable Systems: Experiences and Visions. In: A. Casimiro, R. de Lemos, C. Gacek (co-editors). Architecting Dependable Systems VII, pp. 297-321, Berlin / Heidelberg: Springer, ISBN:978-3-642-17244-1., vol. 6420: DOI   Accesso ONLINE all'editore

  L. Vinerbi; A. Bondavalli; P. Lollini (2010). Emergence: A new Source of Failures in Complex Systems. In: Third International Conference on Dependability (DEPEND 2010), Venice/Mestre, Italy, July 18 - 25, 2010, IEEE Computer Society Press, vol. Proc. of the Third International Conference on Dependability (DEPEND 2010), pp. 133-138, ISBN:9781424475308 DOI  

  A. Ceccarelli;J. Gronbaek;L. Montecchi;H. Schwefel;A. Bondavalli (2010). Towards a Framework for Self-Adaptive Reliable Network Services in Highly-Uncertain Environments. In: 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), 2010-May, IEEE, pp. 184-193, ISBN:978-1-4244-7219-2 DOI   Accesso ONLINE all'editore

  A. Bondavalli;F. Brancati;A. Ceccarelli (2009). Safe Estimation of Time Uncertainty of Local Clocks. In: 2009 International IEEE Symposium on Precision Clock Synchronization for Measurement, Control and Communication, 2009, IEEE, pp. 47-52, ISBN:978-1-4244-4391-8 DOI  

  A. Bondavalli; P. Lollini; L. Montecchi (2009). QoS Perceived by Users of Ubiquitous UMTS:Compositional Models and Thorough Analysis. JOURNAL OF SOFTWARE, vol. 4, pp. 675-685, ISSN:1796-217X DOI   Accesso ONLINE all'editore

  P. Lollini; A. Bondavalli; F. di Giandomenico; (2009). A Decomposition-Based Modeling Framework for Complex Systems. IEEE TRANSACTIONS ON RELIABILITY, vol. 58, pp. 20-33, ISSN:0018-9529 DOI   Accesso ONLINE all'editore

  A. Bondavalli;F. Brancati;A. Ceccarelli;L. Falai (2009). An Experimental Framework for the Analysis and Validation of Software Clocks. In: Seventh IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2009), 2009, Springer, pp. 69-81, ISBN:978-3-642-10264-6 DOI  

  A. Ceccarelli;A. Bondavalli;D. Iovino (2009). Trustworthy Evaluation of a Safe Driver Machine Interface through Software-Implemented Fault Injection. In: 15th IEEE Pacific Rim International Symposium on Dependable Computing, 2009, IEEE Computer Society, pp. 234-241, ISBN:978-0-7695-3849-5 DOI   Accesso ONLINE all'editore

  ANDREA BONDAVALLI; ANDREA CECCARELLI; JESPER GRØNBÆK; DANILO IOVINO; LUCIE KÁRNÁ; ŠTEPAN KLAPKA; TATIANA K. MADSEN; MELINDA MAGYAR; ISTVÁN MAJZIK; ANNA SALZO (2009). Design and Evaluation of a Safe Driver Machine Interface. INTERNATIONAL JOURNAL OF PERFORMABILITY ENGINEERING, vol. 5, pp. 153-166, ISSN:0973-1318

  A. Ceccarelli;I. Majzik;D. Iovino;F. Caneschi;G. Pinter;A. Bondavalli (2008). A resilient SIL 2 Driver Machine Interface for train control systems. In: IEEE DEPCOS-RELCOMEX, 2008-June, IEEE, pp. 365-374, ISBN:978-0-7695-3179-3 DOI   Accesso ONLINE all'editore

  A. Daidone; S. Chiaradonna; A. Bondavalli; and P. Verissimo (2008). Analysis of a redundant architecture for critical infrastructure protection. In: R. De Lemos, F. Di Giandomenico, C. Gacek, H. Muccini, and M. Vieira. Architecting Dependable Systems V, volume 5135 of LNCS, pp. 78-100, Heidelberg: R. De Lemos, F. Di Giandomenico, C. Gacek, H. Muccini, and M. Vieira, ISBN:9783540855705.

  A. Bondavalli; L. Falai (2008). RODS: General Framework for Rigorous Observation of Distributed Systems. In: Workshop on Resilience Assessment and Dependability Benchmarking (RADB08). DSN 2008-The 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, IEEE, pp. 1-6.

  A. Bondavalli; P. Lollini; L. Montecchi (2008). Analysis of User Perceived QoS in Ubiquitous UMTS Environments Subject to Faults. In: 6th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS '08), Springer, pp. 186-197, ISBN:9783540877844 DOI  

  M. Kaâniche; P. Lollini; A. Bondavalli; K. Kanoun (2008). Modeling the Resilience of Large and Evolving Systems. INTERNATIONAL JOURNAL OF PERFORMABILITY ENGINEERING, vol. 4, pp. 153-168, ISSN:0973-1318

  A. Casimiro; P. Lollini; M. Dixit ; A. Bondavalli; P. Verissimo (2008). A framework for dependable QoS adaptation in probabilistic environments. In: 2008 ACM Symposium on Applied Computing, Fortaleza, Ceara, Brazil, March 16 - 20, 2008, ACM, pp. 2192-2196, ISBN:9781595937537 DOI  

  P. Lollini; L. Montecchi; M. Magyar; I. Majzik; A. Bondavalli (2008). Analysis of the impact of communication protocols on service quality in ERTMS automatic train control systems.. In: Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2008), Budapest, Hungary, October 9-10, 2008, Springer, pp. 225-232, ISBN:9789632361383

  M. Kovacs; P. Lollini; I. Majzik; A. Bondavalli (2008). An integrated framework for the dependability evaluation of distributed mobile applications. In: RISE/EFTS Joint International Workshop on Software Engineering for REsilieNt systEms (SERENE 2008), Newcastle upon Tyne, UK, November 17-19, 2008, ACM, pp. 29-38, ISBN:9781605582757 DOI  

  P. Verissimo; N. Neves; M. Correia; A. Abou El Kalam; Y. Deswarte; A. Bondavalli; and A. Daidone (2008). The crutial architecture for critical information infrastructures. In: R. De Lemos, F. Di Giandomenico, C. Gacek, H. Muccini, and M. Vieira. Architecting Dependable Systems V, volume 5135 of LNCS, pp. 1-27, Heidelberg: R. De Lemos, F. Di Giandomenico, C. Gacek, H. Muccini, and M. Vieira, ISBN:9783540855705.

  I. Majzik; A. Bondavalli; S. Klapka; T.K. Madsen; D. Iovino (2008). Formal methods in the evaluation of a safe driver-machine interface. In: Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2008), Budapest, Hungary, 09-10 October 2008, Springer, pp. 313-320, ISBN:9789632361383

  A. Bondavalli; A. Ceccarelli; L. Falai (2008). Assuring resilient time synchronization. In: SRDS 2008: Proceedings of the 27th IEEE Symposium on Reliable Distributed Systems, IEEE, pp. 3-12, ISBN:978-0-7695-3410-7 DOI  

  A. Bondavalli;A. Ceccarelli;L. Falai;M. Vadursi (2007). Towards Making NekoStat a Proper Measurement Tool for the Validation of Distributed Systems. In: Eighth International Symposium on Autonomous Decentralized Systems, 2007-March, IEEE, pp. 377-386, ISBN:0-7695-2804-X DOI   Accesso ONLINE all'editore

  M. Serafini; A. Bondavalli; N. Suri (2007). Online Diagnosis and Recovery: On the Choice and Impact of Tuning Parameters. IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, vol. 4, pp. 295-312, ISSN:1545-5971 DOI   Accesso ONLINE all'editore

  A. Bondavalli; F. V. Brasileiro; S. Rajsbaum (2007). Dependable Computing, Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007, Proceedings. Springer Verlag, 9783540752936.

  A. Bondavalli; A. Ceccarelli; L. Falai; M. Vadursi (2007). Foundations of Measurement Theory Applied to the Evaluation of Dependability Attributes. In: The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007,, Edinburgh, 25-28 June 2007, IEEE, pp. 522-533, ISBN:0-7695-2855-4 DOI   Accesso ONLINE all'editore

  A. Bondavalli;A. Ceccarelli;L. Falai (2007). A self-aware clock for pervasive computing systems. In: 15th EUROMICRO International Conference on Parallel, Distributed and Network-Based Processing, 2007-Febraury 7-9, IEEE, pp. 403-411, ISBN:0-7695-2784-1 DOI   Accesso ONLINE all'editore

  L. Falai; A. Bondavalli (2007). Extending the applicability of the neko framework for the validation and verification of distributed algorithms. In: P. Pelliccione, H. Muccini, N. Guelfi, A. Romanovsky. SOFTWARE ENGINEERING AND FAULT TOLERANCE, pp. 256-280, London: P. Pelliccione, H. Muccini, N. Guelfi, A. Romanovsky, ISBN:9812705031.

  M. Serafini;P. Lollini;A. Bondavalli (2006). Modeling On-line tests in Safety-Critical Systems. In: Int. Conf. on Safety and Reliability for Managing Risk (ESREL 2006), Estoril (Portogallo), 2006, Taylor & Francis Group, vol. 1, pp. 231-238, ISBN:9780415416207

  LASZLO GNCZY; SILVANO CHIARADONNA; FELICITA DI GIANDOMENICO; ANDRAS PATARICZA; A. BONDAVALLI; TAMAS BARTHA (2006). Dependability Evaluation of Web Service-Based Processes. In: András Horváth, Miklós Telek. Formal Methods and Stochastic Models for Performance Evaluation, Third European Performance Engineering Workshop, EPEW 2006, Lecture Notes in Computer Science 4054., pp. 166-180, Berlino: Springer Verlag, ISBN:9783540353621. DOI  

  ALESSANDRO DAIDONE; FELICITA DI GIANDOMENICO; A. BONDAVALLI; SILVANO CHIARADONNA (2006). Hidden Markov Models as a Support for Diagnosis: Formalization of the Problem and Synthesis of the Solution. In: 25th IEEE Symposium on Reliable Distributed Systems (SRDS '06), Leeds, U.K., IEEE, pp. 245-256, ISBN:0769526772 DOI  

  JEAN ARLAT; A. BONDAVALLI; BOUDEWIJN R. HAVERKORT; PAULO VERSSIMO (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 SYMPOSIA. IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, vol. 3, pp. 169-171, ISSN:1545-5971 DOI  

  A. Bondavalli; S. Chiaradonna; P. Lollini; F. Squittieri (2006). Integration of an MPS Modeling Approach into Möbius. In: International Conference on Quantitative Evaluation of Systems (QEST 2006), Los Alamitos, CA, USA, September 11-14, 2006, IEEE Computer Society Press, vol. 0, pp. 139-140, ISBN:9780769526652 DOI   Accesso ONLINE all'editore

  L. Falai;A. Bondavalli;F. D. Giandomenico (2005). NekoStat extension to Neko: quantitative evaluation of distributed algorithms. In: 2nd International Conference on Quantitative Evaluation of Systems (QEST '05). 2005, Torino, Italy, 19-22 September 2005, pp. 241-242, ISBN:0769524273 DOI   Accesso ONLINE all'editore

  A. BONDAVALLI; L. FALAI (2005). EXPERIMENTAL EVALUATION OF THE QOS OF FAILURE DETECTORS ON WIDE AREA NETWORK. In: IEEE DSN05 - INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (IPDS TRACK), YOKOHAMA, JAPAN, 28 June-1 July 2005, IEEE, pp. 624-633, ISBN:0769522823 DOI   Accesso ONLINE all'editore

  P. Lollini; A. Bondavalli; F. Di Giandomenico (2005). QoS analysis of a UMTS cell with different service classes. In: 4th IASTED International Conference on Communication Systems and Networks (CSN'05), Benidorm, Spain, September 12-14, 2005, C.E. Palau Salvador, pp. 55-60, ISBN:088986540X Accesso ONLINE all'editore

  LORENZO FALAI; A. BONDAVALLI; FELICITA DI GIANDOMENICO . (2005). QUANTITATIVE EVALUATION OF DISTRIBUTED ALGORITHMS USING THE NEKO FRAMEWORK: THE NEKOSTAT EXTENSION. In: CARLOS ALBERTO MAZIERO; JOO GABRIEL SILVA; ALINE MARIA SANTOS ANDRADE; FLVIO MORAIS DE ASSIS SILVA. Dependable Computing, Second Latin-American Symposium, LADC 2005, Lecture Notes in Computer Science 3747, pp. 35-51, Berlino: Springer Verlag, ISBN:9783540295723.

  A. Bondavalli; S. Chiaradonna; F. Di Giandomenico (2005). Model-Based Evaluation as a Support to the Design of Dependable Systems. In: Hassan B. Diab, Albert Y. Zomaya. Dependable Computing Systems: Paradigms, Performance Issues, and Applications, pp. '-', -: Wiley, ISBN:9780471674221.

  PAOLO LOLLINI; A. BONDAVALLI; FELICITA DI GIANDOMENICO (2005). Evaluation of the Impact of Congestion on Service Availability in GPRS Infrastructures. In: MIROSLAW MALEK; EDGAR NETT; NEERAJ SURI. Service Availability, Second International Service Availability Symposium, ISAS 2005, Lecture Notes in Computer Science 3694, pp. 180-195, Berlino: Springer Verlag, ISBN:9783540291039.

  P. Lollini; A. Bondavalli; F. Di Giandomenico (2005). A modeling methodology for hierarchical control system and its aplication. JOURNAL OF THE BRAZILIAN COMPUTER SOCIETY, vol. 10, pp. 57-69, ISSN:0104-6500 DOI   Accesso ONLINE all'editore

  L. Simoncini;F. D. Giandomenico;A. Bondavalli;S. Chiaradonna (2004). Architectural Challenges for a Dependable Information Society. In: WCC 18th IFIP World Computer Congress, Toulouse, France, 2004-August, 22-27, Toulouse, France:, pp. 1-22, ISBN:9781402081569

  A. BONDAVALLI; CHIARADONNA S.; DI GIANDOMENICO F.; MURA I. (2004). Dependability Modeling and Evaluation of Multiple Phased Systems using DEEM. IEEE TRANSACTIONS ON RELIABILITY, vol. 53, pp. 509-522, ISSN:0018-9529 DOI  

  P. Lollini;F. D. Giandomenico;A. Bondavalli;S. Porcarelli (2004). Congestion analysis in a general GPRS network. In: Mobile Venue'04 (Informal Proceedings), Athens, Greece, 2004-May 27-28, Athens, Greece:, pp. ---.

  A. BONDAVALLI; M. CASTALDI; P. INVERARDI; F. DI GIANDOMENICO; S. PORCARELLI (2004). A FRAMEWORK FOR RECONFIGURATION-BASED FAULT-TOLERANCE IN DISTRIBUTED SYSTEMS. In: R. DE LEMOS, C. GACEK, AND A. ROMANOVSKY. ARCHITECTING DEPENDABLE SYSTEMS II, LNCS 3069, LECTURE NOTES IN COMPUTER SCIENCE, pp. 167-190, BERLIN, HEIDELBERG, NEW YORK: R. DE LEMOS, C. GACEK, AND A. ROMANOVSKY, EDS., ISBN:9783540231684.

  A. BONDAVALLI; R. FILIPPINI (2004). Modeling and Analysis of a Scheduled Maintenance System: a DSPN Approach. COMPUTER JOURNAL, vol. 47, pp. 634-650, ISSN:0010-4620

  A. BONDAVALLI; ENRICO DE GIUDICI; STEFANO PORCARELLI; SALVATORE SABINA; FABRIZIO ZANINI (2004). A Freshness Detection Mechanism for Railway Applications.. In: 10th IEEE Pacific Rim International Symposium on Dependable, IEEE, pp. 292-301, ISBN:9780769520766 DOI  

  S. Porcarelli; F. Di Giandomenico; A. Bondavalli; P. Lollini (2004). Model-based Evaluation of a Radio Resource Management System for Wireless Networks. In: 1st conference on Computing frontiers (CF '04), Ischia, Italy, April 14–16, 2004, ACM, pp. 51-59, ISBN:9781581137415 DOI   Accesso ONLINE all'editore

  S. PORCARELLI; F. DI GIANDOMENICO; P. LOLLINI; A. BONDAVALLI (2004). A Modular Approach for Model-Based Dependability Evaluation of a Class of Systems. In: MIROSLAW MALEK; MANFRED REITENSPIESS; JOERG KAISER EDS.. Service Availability, First International Service Availability Symposium, ISAS 2004, Lecture Notes in Computer Science 3335, pp. 160-174, Berlino: Miroslaw Malek, Manfred Reitenspiess and Joerg Kaiser, ISBN:9783540244202. DOI  

  ANDREA BONDAVALLI; SILVANO CHIARADONNA; DOMENICO COTRONEO; LUIGI ROMANO (2004). Effective fault treatment for improving the dependability of cots and legacy based applications. IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, vol. 1, pp. 223-237, ISSN:1545-5971 DOI  

  F. D. Giandomenico;S. Porcarelli;D. Viva;A. Bondavalli;P. Lollini (2004). Model-based Evaluation for Dependability Assessment of CAUTION++ Instances. In: Mobile Venue'04 (Informal Proceedings), Athens, Greece, 2004-May 27-28, Athens, Greece:, pp. ---.

  P. LOLLINI; A. BONDAVALLI; F. DI GIANDOMENICO; S. PORCARELLI (2004). CONGESTION ANALYSIS DURING OUTAGE, CONGESTION TREATMENT AND OUTAGE RECOVERY FOR SIMPLE GPRS NETWORKS. In: ISCC'2004 THE NINTH IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS, ALEXANDRIA, June 28 - July 1, 2004, IEEE Computer Society Press, vol. 2, pp. 772-778, ISBN:078038623X DOI  

  A. Bondavalli; S. Chiaradonna; D. Cotroneo; L. Romano (2003). A Fault-Tolerant Distributed Legacy-based System and Its Evaluation. In: Rogerio de Lemos, Taysy Silva Weber, Joao batista camargo Jr.. LADC2003- 1st Latin-American Dependable Computing Conference - Lecture Notes in Computer Science N. 2487, pp. 303-320, Berlino: Springer Verlag, ISBN:3540202242.

  F. D. Giandomenico; S. Porcarelli; P. Lollini; A. Bondavalli (2003). Dependability Issues in Radio Resource Management of Wireless Systems. In: 6th International Symposium on Wireless Personal Multimedia Communications (WPMC '03), Yokosuka, Japan, 2003, vol. 2, pp. 146-150.

  A. Bondavalli; F. Di Giandomenico; F. Grandoni; P. Lollini; S. Porcarelli (2003). Dependability Provisions for a Network Management Platform. In: International Conference on Dependable Systems and Networks (DSN 2003), (Fast Abstract), vol. Supplemental Volume, pp. B82-B83.

  SHAMBHU J. UPADHYAYA; A. BONDAVALLI (2003). Guest Editorial: Special Issue on Reliable Distributed Systems. IEEE TRANSACTIONS ON COMPUTERS, vol. 52, pp. 97-98, ISSN:0018-9340, IEEE / Institute of Electrical and Electronics Engineers Incorporated:445 Hoes Lane:Piscataway, NJ 08854:(800)701-4333, (732)981-0060, EMAIL: subscription-service@ieee.org, INTERNET: http://www.ieee.org, Fax: (732)981-9667: DOI   Accesso ONLINE all'editore

  PORCARELLI S.; DI GIANDOMENICO F.; A. BONDAVALLI; BARBERA M.; MURA I. (2003). Service Level Availability Estimation of GPRS. IEEE TRANSACTIONS ON MOBILE COMPUTING, vol. 2, pp. 233-247, ISSN:1536-1233 DOI   Accesso ONLINE all'editore

  A. Coccoli; A. Bondavalli (2003). Analysis of safety related architectures. In: Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003), Capri, Italy, 1-3 October 2003, IEEE, pp. 111-117, ISBN:0769520545 DOI   Accesso ONLINE all'editore

  A. BONDAVALLI; I. MAJZIK; A. PATARICZA (2003). Stochastic Dependability Analysis of System Architecture Based on UML Models. In: DE LEMOS R.; GACEK C.; ROMANOVSKY A.. Architecting Dependable Systems, (Lecture Notes on Computer Science - LNCS 2677), pp. 219-244, BERLIN, HEIDELBERG, NEW YORK: R. DE LEMOS, C. GACEK, AND A. ROMANOVSKY, ISBN:9783540407270., vol. 2677: DOI   Accesso ONLINE all'editore

  L. ROMANO; S. CHIARADONNA; A. BONDAVALLI; D. COTRONEO (2002). IMPLEMENTATION OF THRESHOLD-BASED DIAGNOSTIC MECHANISMS FOR COTS-BASED APPLICATIONS. In: IEEE SRDS 2002, 21ST IEEE SYMPOSIUM ON RELIABLE DISTRIBUTED DYSTEMS, OSAKA, IEEE, pp. 296-303, ISBN:0769516599 DOI  

  A. BONDAVALLI; A. COCCOLI; F. DI GIANDOMENICO (2002). QOS ANALYSIS OF GROUP COMMUNICATION PROTOCOLS IN WIRELESS ENVIRONMENT. In: EZHILCHELVAN P.; ROMANOVSKY A.. Concurrency in Dependable Computing, pp. 169-188, DOORDRECHT: KLUWER ACADEMIC PUBLISHERS.

  A. BONDAVALLI; A. COCCOLI; P. URBAN; A. SCHIPER (2002). PERFORMANCE ANALYSIS OF A CONSENSUS ALGORITHM COMBINING STOCHASTIC ACTIVITY NETWORKS AND MEASUREMENTS. In: IEEE DSN - INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, WASHIGTON DC, IEEE, pp. 551-560, ISBN:0769511015 DOI   Accesso ONLINE all'editore

  A. Bondavalli; S. Chiaradonna; F. D. Giandomenico; J. Xu (2002). An Adaptive Approach to Achieving Hardware and Software Fault Tolerance in a Distributed Computing Environment. JOURNAL OF SYSTEMS ARCHITECTURE, vol. 47, pp. 763-781, ISSN:1383-7621 DOI  

  A. BONDAVALLI; DAL CIN M.; D. LATELLA; I. MAJZIK; A. PATARICZA; G. SAVOIA (2001). Dependability Analysis in the Early Phases of UML Based System Design. COMPUTER SYSTEMS SCIENCE AND ENGINEERING, vol. 16, pp. 265-275, ISSN:0267-6192

  J. ARLAT; A. BONDAVALLI; F. DI GIANDOMENICO; M. T. JARBOUI; E. JENN; K. KANOUN; I. MURA; D. POWELL (2001). Dependability Evaluation. In: D. POWELL ED.. A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems, pp. 157-191, BOSTON: Kluwer, ISBN:0792372956. Accesso ONLINE all'editore

  D. POWELL; A. AMENDOLA; J. ARLAT; B. ATTERMEYER; L. BEUS-DUKIC; A. BONDAVALLI; P. COPPOLA; C. DAMBRA; A. FANTECHI; E. JENN; C. RABEJAC; V. THEVENOT; A. WELLINGS (2001). Introduction and Overview (Chapter 1).. In: D. POWELL. A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems, pp. 1-26, BOSTON: Kluwer Academic Publishers, ISBN:9780792372950.

  S. PORCARELLI; F. DI GIANDOMENICO; A. CHOHRA; A. BONDAVALLI (2001). TUNING OF DATABASE AUDITS TO IMPROVE SCHEDULED MAINTENANCE IN COMMUNICATION SYSTEMS. In: SAFECOMP 2001, 20TH INTERNATIONAL CONFERENCE ON COMPUTER SAFETY, RELIABILITY AND SECURITY, Budapest, Hungary, 25-28 September 2001, Springer, vol. 2187, pp. 238-248, ISBN:3540426078 DOI   Accesso ONLINE all'editore

  A. BONDAVALLI; L. SIMONCINI; M. NELLI; G. MONGARDI (2001). Hierarchical Modelling of Complex Control Systems: Dependability Analysis of a Railway Interlocking. COMPUTER SYSTEMS SCIENCE AND ENGINEERING, vol. 16, pp. 249-261, ISSN:0267-6192

  A. BONDAVALLI; F. DI GIANDOMENICO; F. TATARANNI; S. PORCARELLI (2001). ANALYSIS OF THE EFFECTS OF OUTAGES ON THE QUALITY OF SERVICE OF GPRS NETWORK SYSTEMS. In: DSN2001 INT. CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, GOTEBORG, Sweden, 1-4 July 2001, IEEE, pp. 235-244, ISBN:0769511015 DOI   Accesso ONLINE all'editore

  A. Coccoli;A. Bondavalli;F. D. Giandomenico (2001). Analysis and Estimation of the Quality of Service of Group Communication Protocols. In: ISORC'01 - 4th IEEE Int. Symposium on Object-oriented Real-time distributed Computing, Magdeburg, Germany, 02 May 2001-04 May 2001, Magdeburg, Germany:, pp. 209-216, ISBN:0769510892 DOI   Accesso ONLINE all'editore

  A. BONDAVALLI; I. MURA (2001). Markov Regenerative Stochastic Petri Nets to Model and Evaluate the Dependability of Phased Missions. IEEE TRANSACTIONS ON COMPUTERS, vol. 50, pp. 1337-1351, ISSN:0018-9340 DOI   Accesso ONLINE all'editore

  D. POWELL; A. AMENDOLA; J. ARLAT; B. ATTERMEYER; L. BEUS-DUKIC; A. BONDAVALLI; P. COPPOLA; C. DAMBRA; A. FANTECHI; E. JENN; C. RABÉJAC; V. THEVENOT; A. WELLINGS (2001). Introduction and Overview. In: D. POWELL ED.. A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems, pp. 2-26, BOSTON: kluwer, ISBN:0792372956. Accesso ONLINE all'editore

  F. Tataranni;S. Porcarelli;F. D. Giandomenico;A. Bondavalli;L. Simoncini (2001). Modeling and Analysis of the Behavior of GPRS Systems. In: WORDS 2001 6th Int. Workshop on Object-oriented Real-time Dependable Systems, Rome, Italy, 2001-January 2001, Rome, Italy:, pp. 51-58, ISBN:076951068X DOI   Accesso ONLINE all'editore

  A. BONDAVALLI; A. FANTECHI; D. LATELLA; L. SIMONCINI (2001). Design Validation of Embedded Dependable Systems. IEEE MICRO, vol. 21 / 5, pp. 52-62, ISSN:0272-1732

  A. BONDAVALLI; S. CHIARADONNA; F. DI GIANDOMENICO; F. GRANDONI; D. POWELL; C. RABÉJAC (2001). Error Processing and Fault Treatment. In: D. POWELL ED.. A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems, pp. 71-86, BOSTON: kluwer, ISBN:0792372956. Accesso ONLINE all'editore

  F. Grandoni; S. CHIARADONNA; F. DI GIANDOMENICO; A. Bondavalli (2001). EVALUATION OF FAULT-TOLERANT MULTIPROCESSOR SYSTEMS FOR HIGH ASSURANCE APPLICATIONS. THE COMPUTER JOURNAL, vol. 44, pp. 544-556, ISSN:0748-9331

  A. Chohra;F. D. Giandomenico;S. Porcarelli;A. Bondavalli (2001). Towards Optimal Database Maintenance in Wireless Communication Systems. In: 5th World Multi-Conference on Systemics, Cybernetics and Informatics, ISAS-SCI 2001, Volume I: Information Systems Development, 2001-July 22-25, Orlando, Florida, USA:, IIIS, vol. 1, pp. 571-576, ISBN:9800775412 Accesso ONLINE all'editore

  A. Bondavalli;R. Filippini (2001). Modelling and analysis of a scheduled maintenance system: a DSPN approach. In: DSN2001 IEEE Int. Conference on Dependable Systems and Networks (Fast Abstract Track), Goteborg, Sweden, 2001, IEEE, vol. 47, pp. 1-2. DOI   Accesso ONLINE all'editore

  F. D. Giandomenico;S. Chiaradonna;A. Bondavalli;F. Grandoni (2000). Evaluation of Integrated Error Processing and Fault Diagnosis in Multiprocessor Systems. In: IEEE Int. Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2000), Monte Carlo Resort, Las Vegas, Nevada, USA, 2000-June 26-29, Monte Carlo Resort, Las Vegas, Nevada, USA:, pp. 1145-1151.

  A. Bondavalli;F. D. Giandomenico (2000). A Position on Design, Methods, and Tools for Object-Oriented Real-time Computing. In: ISORC2k - 3rd IEEE Int. Symposium on Object-oriented Real-time distributed Computing, Newport Beach, CA, USA, 2000-March 15-17, Newport Beach, CA, USA:, pp. 306-308, ISBN:0769506070 DOI  

  F. Sandrini;F. D. Giandomenico;A. Bondavalli;E. Nett (2000). Scheduling solutions for supporting dependable real-time applications. In: ISORC2k - 3rd IEEE Int. Symposium on Object-oriented Real-time distributed Computing, Newport Beach, CA, USA, 2000-March 15-17, Newport Beach, CA, USA:, pp. 122-129, ISBN:0769506070 DOI  

  A. BONDAVALLI; CHIARADONNA, S.; DI GIANDOMENICO, F.; GRANDONI, F. (2000). Threshold-Based Mechanisms to Discriminate Transient from Intermittent Faults. IEEE TRANSACTIONS ON COMPUTERS, vol. 49, pp. 230-245, ISSN:0018-9340 DOI  

  A. BONDAVALLI; S. CHIARADONNA; I. MURA; R. FILIPPINI; F. SANDRINI; S. POLI (2000). DEEM: A TOOL FOR THE DEPENDABILITY MODELING AND EVALUATION OF MULTIPLE PHASED SYSTEMS. In: DSN2000 INT. CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (FTCS-30 AND DCCA-8), NEW YORK, IEEE, pp. 231-236, ISBN:0769507077 DOI  

  M. Minichino;E. Ciancamerla;S. Chiaradonna;A. Bondavalli (2000). An experience of dependability assessment of a typical industrial safety critical Programmable Logic Controller. In: 4t Int. Symposium Programmable Electronic Systems in Safety Related Applications, Koln, Cologne, Germany, 2000-May 3-4, K\"oln, Cologne, Germany:, pp. ---.

  BURNS, A.; PRASAD, D.; A. BONDAVALLI; DI GIANDOMENICO, F.; RAMAMRITHAM, K.; STANKOVIC, J.; STRIGINI, L. (2000). The Meaning and Role of Value in Scheduling Flexible Real-Time Systems. JOURNAL OF SYSTEMS ARCHITECTURE, vol. 46, pp. 305-325, ISSN:1383-7621 DOI  

  A. Bondavalli;A. Fantechi;D. Latella;L. Simoncini (2000). An Integrated and Compositional Approach to Design Validation of Embedded Dependable Systems. In: IEEE Int. Workshop On Embedded Fault-Tolerant Systems (EFTS00), Washington, DC, USA, 2000-September 21-22, Washington DC:, pp. ---.

  A. Coccoli;S. Schemmer;F. D. Giandomenico;M. Mock;A. Bondavalli (2000). Analysis of Group Communication Protocols to Assess Quality of Service Properties. In: HASE00 - 5th IEEE High Assurance System Engineering Symposium, Albuquerque, NM, USA, 2000, Albuquerque, NM, USA:, pp. 247-256, ISBN:0769509274 DOI  

  A. Coccoli;A. Bondavalli;F. D. Giandomenico (2000). Dependability and performance analysis of a protocol for efficient real-time group communication. In: EWDC-12 European Workshop on Dependable Computing, Budapest, Hungary, 2000, Budapest, Hungary:, pp. ---.

  A. Coccoli;A. Bondavalli;L. Simoncini (2000). Consensus in asynchronous distributed systems. In: IDPT '2000 5th, Int. Conference on Integrated Design and Process Technology, Dallas, TX, USA, 2000-June 4-8, Dallas, TX, USA:, pp. ---.

  A. Bondavalli;M. D. Cin;D. Latella;A. Pataricza (1999). High-level Integrated Design Environment for Dependability (HIDE). In: WORDS'99F Fifth Int. Workshop on Object-oriented Real-time Dependable Systems, Monterey, CA, USA, 1999-November 18-20, Monterey, CA, USA:, pp. 87-92, ISBN:076950616X Accesso ONLINE all'editore

  A. BONDAVALLI; MURA I.; TRIVEDI K. S. (1999). Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems. In: J. Hlavicka; E. Maehle; A. Pataricza. Dependable Computing - EDCC-3 (also Lecture Notes in Computer Science N. 1667), pp. 7-23, Berlin: springer verlag, ISBN:9783540664833.

  A. BONDAVALLI; F. DI GIANDOMENICO; I. MURA (1999). An Optimal Value-Based Admission Policy and its Reflective Use in Real-Time Dependable Systems. REAL-TIME SYSTEMS, vol. 16, pp. 5-30, ISSN:0922-6443 DOI   Accesso ONLINE all'editore

  F. D. Giandomenico;F. Grandoni;A. Bondavalli;I. Mura (1999). Scheduling Solutions for a Unified Approach to the Tolerance of Value and Timing Faults. In: 29th IEEE FTCS - Int. Symposium on Fault-Tolerant Computing - Fast Abstract Track, Madison, Wisconsin USA, 1999-June 15-18, Madison, Wisconsin USA:, pp. ---.

  A. BONDAVALLI; I. MURA (1999). HIERARCHICAL MODELLING AND EVALUATION OF PHASED-MISSION SYSTEMS, IEEE TRANSACTIONS ON RELIABILITY. IEEE TRANSACTIONS ON RELIABILITY, vol. 48, pp. 360-368, ISSN:0018-9529 DOI   Accesso ONLINE all'editore

  D. POWELL; J. ARLAT; L. BEUS-DUKIC; A. BONDAVALLI; P. COPPOLA; A. FANTECHI; E. JENN; C. RABEJAC; A. WELLINGS (1999). GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems. IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, vol. 10, pp. 580-599, ISSN:1045-9219

  A. Bondavalli;A. Fantechi;D. Latella;L. Simoncini (1999). Integrated Validation of Dependable Systems. In: IDPT '99 4th, Int. Conference on Integrated Design and Process Technology, Kusadasi, Turkey, 1999-June 27 - July 2, Kusadasi, Turkey:, pp. ---.

  A. Bondavalli;I. Majzik;I. Mura (1999). Automated Dependability Analysis of UML Designs. In: 2nd IEEE Int. Symposium on Object-oriented Real-time distributed Computing (ISORC'99), Saint Malo, France, 1999-May 2-5, Saint Malo, France:, pp. 139-144, ISBN:0769502075 DOI   Accesso ONLINE all'editore

  A. Bondavalli;I. Mura (1999). High-Level Petri Net Modelling of Phased Mission Systems. In: 10th European Workshop on Dependable Computing (EWDC-10), Vienna, Austria, 1999, Vienna, Austria:, pp. 91-95.

  A. Bondavalli;A. Fantechi;D. Latella;L. Simoncini (1999). Towards a Discipline of System Engineering: Validation of Dependable Systems. In: IEEE - From Needs to Solutions: Computer Security, Dependability, and Assurance (NATO CSDA'98), Williamsburg, VA, USA, 1999-November 11-13, Williamsburg, VA, USA:, pp. 144-165, ISBN:0769503373 DOI   Accesso ONLINE all'editore

  I. Mura;A. Bondavalli;X. Zang;K. S. Trivedi (1999). Dependability Modeling and Evaluation of Phased Mission Systems: a DSPN Approach. In: IEEE DCCA-7, IFIP Int. Conference on Dependable Computing for Critical Applications, San Jose, CA, USA, 06 Jan 1999-08 Jan 1999, San Jose, CA, USA:, pp. 319-337, ISBN:0769502849 DOI  

  A. Coccoli;L. Simoncini;A. Bondavalli (1999). Analysis and Validation of Protocols for the Realisation of Distributed Dependable Applications in Wireless Networks. In: First Int. Workshop on Networked Group Communication, NGC '99, Pisa, Italy, 1999, Pisa, Italy:, pp. ---.

  A. Bondavalli;I. Majzik;I. Mura (1999). Automatic Dependability Analysis for Supporting Design Decisions in UML. In: 4th IEEE High Assurance System Engineering Symposium (HASE99), Washington D.C., USA, 1999, Washington D.C., USA:, pp. 64-71, ISBN:0769504183 DOI  

  A. BONDAVALLI; S. CHIARADONNA; F. DI GIANDOMENICO; L. STRIGINI (1999). A Contribution to the Evaluation of the Reliability of Iterative-Execution Software. SOFTWARE TESTING VERIFICATION & RELIABILITY, vol. 9, pp. 145-166, ISSN:0960-0833 DOI   Accesso ONLINE all'editore

  F. Grandoni;S. Chiaradonna;A. Bondavalli (1998). A new Heuristic to Discriminate Transient from Intermittent Faults. In: 3rd IEEE High Assurance System Engineering Symposium (HASE'98), Bethesda, MD, USA, 1998, Bethesda, MD, USA:, pp. 224-231, ISBN:0818692219 DOI  

  C. BERNARDESCHI; A. BONDAVALLI; G. CSERTAN; I MAIZIK; L. SIMONCINI (1998). Temporal Analysis of Data Flow Control Systems. AUTOMATICA, vol. 34, pp. 169-182, ISSN:0005-1098, Elsevier Science Limited:Oxford Fulfillment Center, PO Box 800, Kidlington Oxford OX5 1DX United Kingdom:011 44 1865 843000, 011 44 1865 843699, EMAIL: asianfo@elsevier.com, tcb@elsevier.co.UK, INTERNET: http://www.elsevier.com, http://www.elsevier.com/locate/shpsa/, Fax: 011 44 1865 843010: DOI  

  M. Pizza;L. Strigini;A. Bondavalli;F. D. Giandomenico (1998). Optimal Discrimination between Transient and Permanent Faults. In: 3rd IEEE High Assurance System Engineering Symposium, Bethesda, MD, USA, 1998, Bethesda, MD, USA:, pp. 214-223, ISBN:0818692219 DOI  

  I. Majzik;A. Bondavalli (1998). Automatic Dependability Modelling of Systems Described in UML. In: 9th IEEE Int. Symposium on Software Reliability Engineering (ISSRE) - Fast Abstract Track, Paderborn, Germany, 1998-November 4-7, Paderborn, Germany:, pp. 29-30.

  A. Bondavalli;F. D. Giandomenico;F. Grandoni;D. Powell;C. Rabejac (1998). State Restoration in a COTS-based N-Modular Architecture. In: 1st IEEE Int. Symposium on Object-oriented Real-time distributed Computing (ISORC '98), Kyoto, Japan, 1998-April 20 - 22, Kyoto, Japan:, pp. 174-183, ISBN:0818684305 DOI  

  A. Bondavalli;I. Mura;M. Nelli (1997). Analytical Modelling and Evaluation of Phased-Mission Systems for Space Applications. In: IEEE HASE'97, High Assurance System Engineering Workshop, Washington, DC, USA, 1997-August 11-12, Washington, DC, USA:, pp. 85-91, ISBN:0818679719 DOI   Accesso ONLINE all'editore

  F. D. Giandomenico;A. Bondavalli;J. Xu;S. Chiaradonna (1997). Hardware and Software Fault Tolerance: Definition and Evaluation of Adaptive Architectures in a Distributed Computing Environment. In: Int. Conference on Safety and Reliability (ESREL'97), Lisbon, Portugal, 1997-June 17-20, Lisbon, Portugal:, Pergamon Press, Cambridge, pp. 341-348, ISBN:0080428355

  A. Bondavalli;G. Mongardi;M. Nelli;L. Simoncini (1997). Analytical Model-Based Evaluations of Railway Aplications: a case study on sensitivity analysis. In: WCRR - World Congress on Railway Research, Firenze, Italia, 1997-16-19 Novembre, Firenze, Italia:, pp. ---.

  A. Bondavalli;F. D. Giandomenico;I. Mura (1997). Value-Driven Resource Assignment in Object-Oriented Real-Time Dependable Systems. In: Third IEEE Int. Workshop on Object-oriented Real-time Dependable Systems (WORDS 97), Newport Beach, California, USA, 1997-February 6-7, Newport Beach, California, USA:, pp. 92-99, ISBN:0818680466 Accesso ONLINE all'editore

  A. Bondavalli;S. Chiaradonna;F. D. Giandomenico;F. Grandoni (1997). Discriminating Fault Rate and Persistency to Improve Fault Treatment. In: 27th IEEE Int. Symposium on Fault-Tolerant Computing (FTCS-27), Seattle, Washington, USA, 1997-June 24-27, Seattle, Washington, USA:, pp. 354-362, ISBN:0818678313 DOI   Accesso ONLINE all'editore

  P. Bizzarri;A. Bondavalli;F. D. Giandomenico (1997). A Scheduling Algorithm for Aperiodic Groups of Tasks in distributed Real-Time Systems and its Holistic Analysis. In: 6th IEEE Workshop on Future Trend in Distributed Computing Systems - FTDCS'97, Tunis, Tunisia, 1997-October 29-31, Tunis, Tunisia:, pp. 296-301, ISBN:0818681535 DOI   Accesso ONLINE all'editore

  D. Powell;J. Arlat;L. Beus-Dukic;A. Wellings;A. Bondavalli;F. D. Giandomenico (1997). Ultra-Dependable and Real-Time Systems: The GUARDS Approach. In: 3rd CABERNET Plenary Workshop, IRISA, Campus de Beaulieu, Rennes, France, 1997-April 16-18, IRISA, Campus de Beaulieu, Rennes, France:, pp. ---.

  A. Parigi;A. Bondavalli;E. Martinelli (1997). Progetto e Realizzazione di un Server Internet come Ausilio alla Organizzazione della Didattica. In: Didamatica'97, Siena, Italy, 1997-8-10 Maggio, Siena, Italy:, pp. 371-374.

  A. Bondavalli;F. D. Giandomenico;I. Mura (1997). A Value-Based Approach to Flexible Decision Making in Real-Time Dependable Systems. In: 2nd Int. Workshop on Mechatronical Computer Systems, Pisa, Italy, 1997, Pisa, Italy:, pp. 155-163. Accesso ONLINE all'editore

  A. BONDAVALLI; S. CHIARADONNA; F. DI GIANDOMENICO; S. LA TORRE (1997). Modelling the Effects of Input Correlation in Iterative Software. RELIABILITY ENGINEERING & SYSTEM SAFETY, vol. 57, pp. 189-202, ISSN:0951-8320, Elsevier Applied Science:An Imprint of Elsevier Science Ltd, The Boulevard, Langford Lane, Kidlington Oxford OX5 1GB United Kingdom:011 44 1865 843000, 011 44 1865 843699, EMAIL: nlinfo-f@elsevier.nl OR usinfo-f@elsevier.com OR forinfo-kyf04035@niftyserve.or.jp, INTERNET: http://www.elsevier.nl/, Fax: 011 44 1865 843010: DOI   Accesso ONLINE all'editore

  A. Bondavalli (1996). Design of Fault Tolerant Software. In: EDCC-2 Companion Workshop on Dependable Computing, Gliwice, Poland, 1996, Gliwice, Poland:, AMK-Press, pp. 41-51, ISBN:9788390658209

  P. Bizzarri;A. Bondavalli;F. D. Giandomenico;F. Tarini (1996). Planning the Execution of Task Groups in Real-Time Systems. In: 8th IEEE Euromicro Workshop on Real-Time Systems, L'Aquila, Italy, 1996-June 12-14, L'Aquila, Italy:, pp. 169-174, ISBN:0818674962 DOI  

  M. Nelli;A. Bondavalli;L. Simoncini (1996). Dependability Modelling and Analysis of Complex Control Systems: an Application to Railway Interlocking. In: EDCC-2 European Dependable Computing Conference, Taormina, Italy, 1996, Taormina, Italy:, pp. 93-110, ISBN:9783540617723

  E. Nett;H. Streich;P. Bizzarri;A. Bondavalli;F. Tarini (1996). Adaptive Software Fault Tolerance Policies with Dynamic Real-Time Guarantees. In: WORDS 96, IEEE Second Int. Workshop on Object-oriented Real-time Dependable Systems, Laguna Beach, California, U.S.A., 1996-February 1-2, Laguna Beach, California, U.S.A.:, pp. 78-85, ISBN:0818675705 DOI  

  B. Antal;A. Bondavalli;G. Csertan;I. Majzik;L. Simoncini (1996). Reachability and Timing Analysis in Data Flow Networks: a Case Study. In: Euromicro 96, 22nd IEEE Euromicro Conference, Prague, Czech Republic, September 2-5, 1996, Prague, Czech Republic, September 2-5, 1996:, pp. 193-200, ISBN:9780818674877 DOI  

  A. Bondavalli;S. Chiaradonna;F. D. Giandomenico;L. Strigini (1995). Dependability Models for Iterative Software Considering Correlation among Successive Inputs. In: IEEE Int. Computer Performance and Dependability Symposium (IPDS'95), Erlangen, Germany, 24 Apr 1995-26 Apr 1995, Erlangen, Germany:, pp. 13-21, ISBN:0818670592 DOI  

  C. Bernardeschi;A. Bondavalli;L. Simoncini (1995). Using Process Algebras for the Semantic Analysis of Data Flow Networks. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, vol. E78-D, pp. 959-968, ISSN:0916-8532

  A. Bondavalli;S. Chiaradonna;F. D. Giandomenico;S. L. Torre (1995). Dependability of Iterative Software: a Model for Evaluating the Effects of Input Correlation. In: 14th Int. Conference on Computer Safety, Reliability and Security (SAFECOMP'95), Belgirate, Italy, 1995-October 11-13, Belgirate, Italy:, Springer-Verlag, pp. 489-503.

  M. Bizzarri;P. Bizzarri;A. Bondavalli;F. D. Giandomenico;F. Tarini (1995). Design of Flexible and Dependable Real-Time Applications. In: 20th IFAC-IFIP WRTP'95, Ft. Lauderdale, Florida, USA, 1995, Ft. Lauderdale, Florida, USA:, pp. 141-147.

  A. Bondavalli;J. A. Stankovic;L. Strigini (1995). Adaptable Fault Tolerance for Real-Time Systems. In: Fussell, D., Malek, M.. Responsive Computer Systems: Steps Toward Fault-Tolerant Real-Time Systems, pp. 187-208, Boston: Kluwer Academic Publishers, ISBN:9780792395638. Accesso ONLINE all'editore

  A. Bondavalli;S. Chiaradonna;F. D. Giandomenico;L. Strigini (1995). Rational Design of Multiple-Redundant Systems: Adjudication and Fault Treatment. In: Randell, B., Laprie, J.C., Kopetz, H., Littlewood, B.. Predictably Dependable Computing Systems, pp. 141-154, New York: Springer-Verlag, ISBN:3540593349.

  A. Bondavalli;A. Buzzi;F. Tarini (1995). Uno Strumento Grafico per la Strutturazione di Applicazioni Tolleranti i Guasti. In: Congresso annuale A.I.C.A. '95, Cagliari, Italy, 1995, Cagliari, Italy:, pp. 979-986.

  P. Bizzarri;F. D. Giandomenico;A. Bondavalli;F. Tarini (1995). Un protocollo per la schedulazione distribuita Hard Real-Time. In: Congresso annuale A.I.C.A. '95, Cagliari, Italy, 1995, Cagliari, Italy:, pp. 202-208.

  J. Xu;A. Bondavalli;F. D. Giandomenico (1995). Dynamic Adjustment of Dependability and Efficiency in Fault-Tolerant Software. In: Randell, B., Laprie, J.C., Kopetz, H., Littlewood, B.. Predictably Dependable Computing Systems, pp. 155-172, -: Springer-Verlag, ISBN:3540593349.

  A. Bondavalli;S. Chiaradonna;F. D. Giandomenico;L. Strigini (1995). Dependability Analysis of Iterative Fault Tolerant Software Considering Correlation. In: Randell, B., Laprie, J.C., Kopetz, H., Littlewood, B.. Predictably Dependable Computing Systems, pp. 459-472, Berlin: Springer-Verlag, ISBN:3540593349.

  S. Chiaradonna;A. Bondavalli;L. Strigini (1994). On Performability Modeling and Evaluation of Software Fault Tolerance Structures. In: 1st European Dependable Computing Conference (EDCC), 1994, Berlin, Germany:, Springer-Verlag, pp. 97-114, ISBN:9783540584261

  A. Bondavalli;L. Simoncini (1994). Dependable Dataflow Control Systems. In: MicroP94, 8th Symposium on Microcomputer and Microprocessor Applications, 1994-March 30 - April 1, Budapest, Hungary:, pp. 5-14.

  C. Bernardeschi;A. Bondavalli (1994). Semantics analysis of dataflow control systems. In: MicroP94, 8th Symposium on Microcomputer and Microprocessor Applications, Budapest, Hungary, 1994, Budapest, Hungary:, pp. 15-24.

  A. Bondavalli;S. Chiaradonna;F. D. Giandomenico (1994). Efficient Fault Tolerance: an Approach to Deal with Transient Faults in Multiprocessor Architectures. In: IEEE Int. Conference on Parallel and Distributed Systems (ICPADS'94), Hsinchu, Taiwan, ROC, 1994-December, Hsinchu, Taiwan, ROC:, pp. 354-359, ISBN:0818665556 DOI  

  A. Bondavalli;C. Bernardeschi;L. Simoncini (1994). The Design of Distributed, Dependable Real-Time Systems Using a Functional Paradigm. In: Halang, W.A., Stoyenko, A.D.. Real Time Computing, pp. 527-529, Saint Martin, Dutch Antilles: Springer Verlag, ISBN:3540575588.

  G. Csertan;C. Bernardeschi;A. Bondavalli;L. Simoncini (1994). Analysis of temporal properties of dataflow networks. In: 12th IFAC workshop DCCS 94, Toledo, Spain, 1994, Toledo, Spain:, Elsevier Science, pp. 153-158.

  C. Bernardeschi;A. Bondavalli;L. Simoncini (1994). Data-flow networks in the design of safety-critical systems. In: ESREL 94, Le Baule, France, 1994, Le Baule, France:, pp. 876-881.

  S. Chiaradonna;A. Bondavalli (1993). Uno Schema Efficiente per la Tolleranza a Guasti Operazionali in Architetture Multiprocessore. In: Congresso annuale A.I.C.A. '93, Lecce, Italy, 1993-September 22-24, Lecce, Italy:, pp. 1289-1303.

  C. Bernardeschi;A. Bondavalli;L. Simoncini (1993). Data Flow Control Systems: an Example of Safety Validation. In: SAFECOMP '93, Poznan, Poland, 1993-October 27-29, Poznan, Poland:, Springer Verlag, pp. 9-20, ISBN:0387198385

  C. Bernardeschi;A. Bondavalli;L. Simoncini (1993). From Data Flow Networks to Process Algebras. In: PARLE '93 Parallel Architectures and Languages Europe, 1993-June 14-18, Springer, vol. 694, pp. 740-743, ISBN:3540568913 Accesso ONLINE all'editore

  A. Bondavalli;F. D. Giandomenico;J. Xu (1993). A Cost-Effective and Flexible Scheme for Software fault Tolerance. COMPUTER SYSTEMS SCIENCE AND ENGINEERING, vol. 8, pp. 234-244, ISSN:0267-6192

  A. Bondavalli;L. Simoncini (1993). Functional Paradigm for Designing Dependable Large-Scale Parallel Computing Systems. In: IEEE Int. Symposium on Autonomous Decentralized Systems (ISADS '93), Kawasaki, japan, 1993-March 30 - April 1, Kawasaki, japan:, pp. 108-114, ISBN:0818631252 DOI  

  A. Bondavalli;L. Strigini;L. Simoncini (1992). Data-Flow like Languages for Real-Time Systems: Issues of Computational Models and Notation. In: 11th Symposium on Reliable Distributed Systems, 1992-October 5-7, pp. 214-221, ISBN:0818628901 DOI  

  A. Bondavalli;L. Simoncini (1992). Structured Software Fault-Tolerance with BSM. In: 3rd. IEEE Workshop on Future Trends in Distributed Computing Systems, Taipei, Taiwan, 1992-April 14-16, Taipei, Taiwan:, pp. 278-286, ISBN:0818627557 DOI  

  A. Bondavalli;L. Strigini;M. Sereno (1992). Destination Stripping Dual Ring: a new protocol for MANs. COMPUTER NETWORKS AND ISDN SYSTEMS, vol. 24, pp. 15-32, ISSN:0169-7552 DOI  

  A. Bondavalli;L. Strigini (1991). DSDR: A Fair and Efficient Access Protocol for Ring-Topology MANs. In: IEEE INFOCOM'91, Bal Harbour, FL, 1991-April 7-11, Miami, Florida:, vol. 3, pp. 1022-1030, ISBN:0879426942 DOI   Accesso ONLINE all'editore

  A. Bondavalli;M. Mannocci;L. Nardone;L. Simoncini;F. Tarini;P. Zini (1991). PACS: Performability-Achieving Computing Systems. In: 30th Congresso annuale A.I.C.A., Siena, Italy, 1991, Siena, Italy:, AICA, pp. 1025-1028.

  A. Bondavalli;M. Mannocci;L. Nardone;L. Simoncini;F. Tarini;P. Zini (1991). A Performable BSM Architecture. In: 5th Int. Conference on Fault-Tolerant Computing Systems, Nurnberg, Germany, 1991-September, Nurnberg, Germany:, Springer-Verlag, pp. 332-347, ISBN:354054545X Accesso ONLINE all'editore

  A. Bondavalli;L. Nardone (1991). Supporto a Tempo di Esecuzione ed Ambiente per un Linguaggio Dataflow Esteso. In: 30th Congresso annuale A.I.C.A., Siena, Italy, 1991, Siena, Italy:, pp. 1061-1075.

  L. Strigini;A. Bondavalli;L. Simoncini (1991). Data-Flow like Languages for Designing Dependable Real-Time Control Systems. In: 10th IFAC Workshop on Distributed Computer Control Systems, Vienna, Austria, 1991, Vienna, Austria:, Pergamon Press, pp. 131-136.

  A. Bondavalli;M. Conti;E. Gregori;L. Lenzini;L. Strigini (1990). MAC Protocols for High-Speed, MANs: Performance Comparisons for a Family of Fasnet-based Protocols. COMPUTER NETWORKS AND ISDN SYSTEMS, vol. 18, pp. 97-113, ISSN:0169-7552 DOI  

  A. Bondavalli;L. Simoncini (1990). Failures Classification with Respect to Detection. In: Second IEEE Workshop on Future Trends of Distributed Computing Systems, 30 Sep 1990-02 Oct 1990, Cairo, Egypt:, pp. 47-53, ISBN:0818620889 DOI  

  A. Bondavalli;L. Simoncini (1989). Data-flow-like model for robust computations. COMPUTER SYSTEMS SCIENCE AND ENGINEERING, vol. 4, pp. 176-184, ISSN:0267-6192

  A. Bondavalli;N. D. Francesco;D. Latella;G. Vaglini (1989). Shared Abstract Data Types: an Algebraic Methodology for their Specification. In: 2nd Symposium on Mathematical Fundamentals of Database Systems-MFDBS'89, LNCS 364, Visegrad, Hungary, 1989-June 26-30, Visegrad, Hungary:, Springer-Verlag, vol. 364, pp. 53-67, ISBN:9783540512516 DOI   Accesso ONLINE all'editore

  A. Bondavalli;E. Gregori (1988). Concurrency Control in OSI Transactional Environments. In: IFIP TC6/TC8 Open Symposium on Network Information Processing Systems, North Holland, Sofia, Bulgaria, 1988-May, Sofia, Bulgaria:, North Holland, pp. 69-77, ISBN:9780444873309

  T. Belli;C. Bernardeschi;A. Bondavalli;D. Latella (1988). Costruzione gerarchica di tipi di dati astratti condivisi. In: 27th Congresso annuale A.I.C.A., Cagliari, Italy, 1988-September 28-30, Cagliari, Italy:, pp. 165-180.

  A. Bondavalli;L. Simoncini (1988). Modelling robust computations in a Data-Flow-Like style. In: 1st IEEE Workshop on Future Trends of Distributed Computing Systems, Hong Kong, 1988-September 14-16, Hong Kong:, pp. 252-261, ISBN:0818608978 DOI  

  A. Bondavalli;E. Gregori (1988). OSIRIDE and Transactions. In: 2nd IEEE Int. Zurich Seminar on Digital Communications, Zurich, Switzerland, 1988-March 8-10, Zurich, Switzerland:, pp. 261-266, ISBN:3908265010 DOI  

  A. Bondavalli;L. Simoncini (1987). Un modello per la descrizione di computazioni robuste Data-Flow-Like. In: 26th Congresso annuale A.I.C.A., Trento, Italy, 1987-September 30 - Octob, Trento, Italy:, A.I.C.A., pp. 163-182.