Paolo Lollini

Andrea Ceccarelli

Jane Dirce A. Sandim Eleuterio

Proceedings of the Critical Information Infrastructures Security, 2017

2016

AMADEOS SysML Profile for SoS Conceptual Modeling.

[BibT_eX]

[DOI]

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

AMADEOS Framework and Supporting Tools.

[BibT_eX]

[DOI]

Proceedings of the Cyber-Physical Systems of Systems - Foundations, 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

On the Dependability for Dynamic Software Product Lines: A Comparative Systematic Mapping Study.

[BibT_eX]

[DOI]

Felipe Nunes Gaia

Cecília Mary Fischer Rubira

Genaína Nunes Rodrigues

Proceedings of the 42th Euromicro Conference on Software Engineering and Advanced Applications, 2016

Combining SAN and P-Graphs for the Analysis and Optimization of Industrial Processes.

[BibT_eX]

[DOI]

Proceedings of the 12th European Dependable Computing Conference, 2016

A Model-Based Approach to Support Safety-Related Decisions in the Petroleum Domain.

[BibT_eX]

[DOI]

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

2015

Continuous and Transparent User Identity Verification for Secure Internet Services.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 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

Executable Models to Support Automated Software FMEA.

[BibT_eX]

[DOI]

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

Quantifying the Impact of External Attacks on a Distributed Automatic Track Warning System.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Dependable Systems and Networks Workshops, 2015

Software Faults Emulation at Model-Level: Towards Automated Software FMEA.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Dependable Systems and Networks Workshops, 2015

2014

A DSL-Supported Workflow for the Automated Assembly of Large Stochastic Models.

[BibT_eX]

[DOI]

Proceedings of the 2014 Tenth European Dependable Computing Conference, 2014

2013

A reusable modular toolchain for automated dependability evaluation.

[BibT_eX]

[DOI]

Jorge Rady de Almeida Jr.

Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, 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

Adaptare: Supporting automatic and dependable adaptation in dynamic environments.

[BibT_eX]

[DOI]

ACM Trans. Auton. Adapt. Syst., 2012

Modeling the resilience of large and evolving systems

[BibT_eX]

[DOI]

CoRR, 2012

A Federated Simulation Framework with ATN Fault Injection Module for Reliablity Analysis of UAVs in Non-controlled Airspace.

[BibT_eX]

[DOI]

Magali Andreia Rossi

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

Quantitative Security Evaluation of a Multi-biometric Authentication System.

[BibT_eX]

[DOI]

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

Model-based analysis of a protocol for reliable communication in railway worksites.

[BibT_eX]

[DOI]

Proceedings of the 15th ACM International Conference on Modeling, 2012

Case Study on Critical Infrastructures: Assessment of Electric Power Systems.

[BibT_eX]

[DOI]

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

Future of Resilience Assessment: The AMBER Research Roadmap.

[BibT_eX]

[DOI]

Henrique Madeira

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

Modelling and Model-Based Assessment.

[BibT_eX]

[DOI]

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

2011

The HIDENETS Holistic Approach for the Analysis of Large Critical Mobile Systems.

[BibT_eX]

[DOI]

IEEE Trans. Mob. Comput., 2011

Definition, implementation and application of a model-based framework for analyzing interdependencies in electric power systems.

[BibT_eX]

[DOI]

Jorge Rady de Almeida Júnior

Int. J. Crit. Infrastructure Prot., 2011

Towards a Federated Simulation Approach for Reliability Evaluation of Unmanned Aircraft Vehicles within Aeronautical Communcations Networking.

[BibT_eX]

[DOI]

Magali Andreia Rossi

Proceedings of the 30th IEEE Symposium on Reliable Distributed Systems Workshops, 2011

Dependability Concerns in Model-Driven Engineering.

[BibT_eX]

[DOI]

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

Towards a MDE Transformation Workflow for Dependability Analysis.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

2010

AMBER Roadmap: Ongoing Research Directions.

[BibT_eX]

[DOI]

Michele Vadursi

Proceedings of the 30th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2010 Workshops), 2010

2009

A Decomposition-Based Modeling Framework for Complex Systems.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2009

QoS Perceived by Users of Ubiquitous UMTS: Compositional Models and Thorough Analysis.

[BibT_eX]

[DOI]

J. Softw., 2009

Assessing the impact of interdependencies in electric power systems.

[BibT_eX]

[DOI]

Int. J. Syst. Syst. Eng., 2009

Architecting and Validating Dependable Systems: Experiences and Visions.

[BibT_eX]

[DOI]

Andrea Ceccarelli

Proceedings of the Architecting Dependable Systems VII, 2009

2008

Analysis of User Perceived QoS in Ubiquitous UMTS Environments Subject to Faults.

[BibT_eX]

[DOI]

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

An integrated framework for the dependability evaluation of distributed mobile applications.

[BibT_eX]

[DOI]

Proceedings of the SERENE 2008, 2008

A framework for dependable QoS adaptation in probabilistic environments.

[BibT_eX]

[DOI]

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Interdependency Analysis in Electric Power Systems.

[BibT_eX]

[DOI]

Proceedings of the Critical Information Infrastructure Security, 2008

2007

Evaluation of Critical Infrastructures: Challenges and Viable Approaches.

[BibT_eX]

[DOI]

Proceedings of the Architecting Dependable Systems V [the book is a result from the WADS 2007 and the Third Workshop on the Role of Software Architecture for Testing and Analysis], 2007

On a Modeling Framework for the Analysis of Interdependencies in Electric Power Systems.

[BibT_eX]

[DOI]

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

2006

Integration of an MPS Modeling Approach into Mobius.

[BibT_eX]

[DOI]