Andrea Ceccarelli

Proceedings of the First Italian Conference on Cybersecurity (ITASEC17), 2017

RADIANCE Welcome.

[BibT_eX]

[DOI]

Nuno Antunes

Proceedings of the 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2017

Dealing with Functional Safety Requirements for Automotive Systems: A Cyber-Physical-Social Approach.

[BibT_eX]

[DOI]

Proceedings of the Critical Information Infrastructures Security, 2017

Continuous Biometric Verification for Non-Repudiation of Remote Services.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Availability, Reliability and Security, Reggio Calabria, Italy, August 29, 2017

2016

Basic Concepts on Systems of Systems.

[BibT_eX]

[DOI]

Proceedings of the Cyber-Physical Systems of Systems - Foundations, 2016

Time and Resilient Master Clocks in Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the Cyber-Physical Systems of Systems - Foundations, 2016

Managing Dynamicity in SoS.

[BibT_eX]

[DOI]

Proceedings of the Cyber-Physical Systems of Systems - Foundations, 2016

System and Network Security: Anomaly Detection and Monitoring.

[BibT_eX]

[DOI]

J. Electr. Comput. Eng., 2016

On the impact of emergent properties on SoS security.

[BibT_eX]

[DOI]

Proceedings of the 11th System of Systems Engineering Conference, 2016

Challenging Anomaly Detection in Complex Dynamic Systems.

[BibT_eX]

[DOI]

Tommaso Zoppi

Proceedings of the 35th IEEE Symposium on Reliable Distributed Systems, 2016

Continuous Authentication and Non-repudiation for the Security of Critical Systems.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE Symposium on Reliable Distributed Systems, 2016

Threat Navigator: Grouping and Ranking Malicious External Threats to Current and Future Urban Smart Grids.

[BibT_eX]

[DOI]

Proceedings of the Smart Grid Inspired Future Technologies, 2016

Context-Awareness to Improve Anomaly Detection in Dynamic Service Oriented Architectures.

[BibT_eX]

[DOI]

Tommaso Zoppi

Proceedings of the Computer Safety, Reliability, and Security, 2016

A multi-criteria ranking of security countermeasures.

[BibT_eX]

[DOI]

Felicita Di Giandomenico

Fabio Martinelli

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Usability Assessment in a Multi-Biometric Continuous Authentication System.

[BibT_eX]

[DOI]

Proceedings of the 2016 Seventh Latin-American Symposium on Dependable Computing, 2016

Presenting the Proper Data to the Crisis Management Operator: A Relevance Labelling Strategy.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

A Holistic Viewpoint-Based SysML Profile to Design Systems-of-Systems.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

Introduction to RADIANCE 2016.

[BibT_eX]

[DOI]

Nuno Antunes

András Zentai

Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2016

A Hazus-Based Method for Assessing Robustness of Electricity Supply to Critical Smart Grid Consumers during Flood Events.

[BibT_eX]

[DOI]

Alexandr Vasenev

Lorena Montoya

Proceedings of the 11th International Conference on Availability, Reliability and Security, 2016

2015

Continuous and Transparent User Identity Verification for Secure Internet Services.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2015

On trustworthy measurements when testing dependable systems: a discussion and experiences.

[BibT_eX]

[DOI]

Int. J. Crit. Comput. Based Syst., 2015

A Multi-layer Anomaly Detector for Dynamic Service-Based Systems.

[BibT_eX]

[DOI]

Tommaso Zoppi

Massimiliano Leone Itria

Proceedings of the Computer Safety, Reliability, and Security, 2015

Analysis of Companies Gaps in the Application of Standards for Safety-Critical Software.

[BibT_eX]

[DOI]

Nuno Silva

Proceedings of the Computer Safety, Reliability, and Security, 2015

Continuous User Identity Verification for Trusted Operators in Control Rooms.

[BibT_eX]

[DOI]

Proceedings of the Algorithms and Architectures for Parallel Processing, 2015

Introducing Meta-Requirements for Describing System of Systems.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

Workshop on Recent Advances in the DependabIlity AssessmeNt of Complex systEms (RADIANCE).

[BibT_eX]

[DOI]

Nuno Antunes

András Zentai

Proceedings of the 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2015

2014

Insider Threat Assessment: a Model-Based Methodology.

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 2014

Model-based Evaluation of Scalability and Security Tradeoffs: a Case Study on a Multi-Service Platform.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Workshop on the Practical Application of Stochastic Modelling, 2014

A Complex Event Processing Approach for Crisis-Management Systems.

[BibT_eX]

[DOI]

Massimiliano Leone Itria

Alessandro Daidone

CoRR, 2014

Big Data in Critical Infrastructures Security Monitoring: Challenges and Opportunities.

[BibT_eX]

[DOI]

CoRR, 2014

On Security Countermeasures Ranking through Threat Analysis.

[BibT_eX]

[DOI]

Nicola Nostro

Ilaria Matteucci

Felicita Di Giandomenico

Fabio Martinelli

Proceedings of the Computer Safety, Reliability, and Security, 2014

Cost-Effective Testing for Critical Off-the-Shelf Services.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2014

A Testbed for Evaluating Anomaly Detection Monitors through Fault Injection.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2014

2013

Resilient estimation of synchronisation uncertainty through software clocks.

[BibT_eX]

[DOI]

Int. J. Crit. Comput. Based Syst., 2013

A methodology and supporting techniques for the quantitative assessment of insider threats.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Dependability Issues in Cloud Computing, 2013

Experimental analysis of the first order time difference of indicators used in the monitoring of complex systems.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE International Workshop on Measurements & Networking, 2013

Qualitative comparison of aerospace standards: An objective approach.

[BibT_eX]

[DOI]

Nuno Silva

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

A monitoring and testing framework for critical off-the-shelf applications and services.

[BibT_eX]

[DOI]

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

Meeting the challenges in the design and evaluation of a trackside real-time safety-critical system.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2013

2012

Analysis of critical systems through rigorous, reproducible and comparable experimental assessment.

[BibT_eX]

[DOI]

PhD thesis, 2012

Improving Security of Internet Services through Continuous and Transparent User Identity Verification.

[BibT_eX]

[DOI]

Proceedings of the IEEE 31st Symposium on Reliable Distributed Systems, 2012

GPS and Electronic Fence Data Fusion for Positioning within Railway Worksite Scenarios.

[BibT_eX]

[DOI]

Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012

Design and Implementation of Real-Time Wearable Devices for a Safety-Critical Track Warning System.

[BibT_eX]

[DOI]

Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012

Timed Broadcast via Off-the-Shelf WLAN Distributed Coordination Function for Safety-Critical Systems.

[BibT_eX]

[DOI]

Proceedings of the 2012 Ninth European Dependable Computing Conference, 2012

Foundations of Metrology in the Observation of Critical Systems.

[BibT_eX]

[DOI]

Proceedings of the Resilience Assessment and Evaluation of Computing Systems, 2012

2011

RACME: A Framework to Support V&V and Certification.

[BibT_eX]

[DOI]

Proceedings of the 5th Latin-American Symposium on Dependable Computing, 2011

Localization errors of low-cost GPS devices in railway worksite-like scenarios.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Workshop on Measurement and Networking, 2011

A Service Discovery Approach for Testing Dynamic SOAs.

[BibT_eX]

[DOI]

Marco Vieira

Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2011

A Testing Service for Lifelong Validation of Dynamic SOA.

[BibT_eX]

[DOI]

Marco Vieira

Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

2010

A New Approach and a Related Tool for Dependability Measurements on Distributed Systems.

[BibT_eX]

[DOI]

IEEE Trans. Instrum. Meas., 2010

Experimental Validation of a Synchronization Uncertainty-Aware Software Clock.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE Symposium on Reliable Distributed Systems (SRDS 2010), New Delhi, Punjab, India, October 31, 2010

Improving Robustness of Network Fault Diagnosis to Uncertainty in Observations.

[BibT_eX]

[DOI]

Proceedings of The Ninth IEEE International Symposium on Networking Computing and Applications, 2010

Towards a Framework for Self-Adaptive Reliable Network Services in Highly-Uncertain Environments.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2010

2009

An Experimental Framework for the Analysis and Validation of Software Clocks.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2009

Trustworthy Evaluation of a Safe Driver Machine Interface through Software-Implemented Fault Injection.

[BibT_eX]

[DOI]

Danilo Iovino

Proceedings of the 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing, 2009

Architecting and Validating Dependable Systems: Experiences and Visions.

[BibT_eX]

[DOI]

Paolo Lollini

Proceedings of the Architecting Dependable Systems VII, 2009

2008

Assuring Resilient Time Synchronization.

[BibT_eX]

[DOI]

Lorenzo Falai

Proceedings of the 27th IEEE Symposium on Reliable Distributed Systems (SRDS 2008), 2008

A Resilient SIL 2 Driver Machine Interface for Train Control Systems.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Dependability of Computer Systems, 2008

2007

A Self-Aware Clock for Pervasive Computing Systems.

[BibT_eX]

[DOI]