Implicit Reward Structures for Implicit Reliability Models von Masetti, Giulio, Robol, Leonardo, Chiaradonna, Silvano, Giandomenico, Felicita Di

Volltext

On Extending and Comparing Newton-Raphson Variants for Solving Power-Flow Equations von Dutto, Simone, Masetti, Giulio, Chiaradonna, Silvano, Giandomenico, Felicita Di

Volltext

Safety and Cybersecurity Assessment Techniques for Critical Industries: A Mapping Study von Babeshko, Ievgen, Giandomenico, Felicita Di

Volltext

Redundancy–Based Intrusion Tolerance Approaches Moving from Classical Fault Tolerance Methods von Di Giandomenico, Felicita, Masetti, Giulio, Chiaradonna, Silvano

Volltext

Software Engineering for Resilient Systems: 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings von Calinescu, Radu, Di Giandomenico, Felicita

Volltext

Special issue on resilient software and software-controlled systems von Calinescu, Radu, Di Giandomenico, Felicita

Volltext

Tuning Energy Consumption Strategies in the Railway Domain: A Model-Based Approach von Basile, Davide, Di Giandomenico, Felicita, Gnesi, Stefania

Volltext

Security-Informed Safety Analysis of Autonomous Transport Systems Considering AI-Powered Cyberattacks and Protection von Illiashenko, Oleg, Kharchenko, Vyacheslav, Babeshko, Ievgen, Fesenko, Herman, Di Giandomenico, Felicita

Volltext

A Refinement Approach to Analyse Critical Cyber-Physical Systems von Basile, Davide, Di Giandomenico, Felicita, Gnesi, Stefania

Volltext

Enhancing sustainability of the railway infrastructure: Trading energy saving and unavailability through efficient switch heating policies von Chiaradonna, Silvano, Masetti, Giulio, Di Giandomenico, Felicita, Righetti, Francesca, Vallati, Carlo

Volltext

Achieving functional and non functional interoperability through synthesized connectors von Nostro, Nicola, Spalazzese, Romina, Giandomenico, Felicita Di, Inverardi, Paola

Volltext

Dependable Dynamic Routing for Urban Transport Systems Through Integer Linear Programming von Basile, Davide, Di Giandomenico, Felicita, Gnesi, Stefania

Volltext

A tour of secure software engineering solutions for connected vehicles von Bertolino, Antonia, Calabro’, Antonello, Di Giandomenico, Felicita, Lami, Giuseppe, Lonetti, Francesca, Marchetti, Eda, Martinelli, Fabio, Matteucci, Ilaria, Mori, Paolo

Volltext

Definition, implementation and application of a model-based framework for analyzing interdependencies in electric power systems von Chiaradonna, Silvano, Giandomenico, Felicita Di, Lollini, Paolo

Volltext

Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating System von Basile, Davide, Chiaradonna, Silvano, Di Giandomenico, Felicita, Gnesi, Stefania, Mazzanti, Franco

Volltext

Model-based security testing in IoT systems: A Rapid Review von Lonetti, Francesca, Bertolino, Antonia, Di Giandomenico, Felicita

Volltext

Computer Safety, Reliability, and Security: 33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings von Bondavalli, Andrea, Di Giandomenico, Felicita

Volltext

Supervisory Synthesis of Configurable Behavioural Contracts with Modalities von Basile, Davide, ter Beek, Maurice H., Degano, Pierpaolo, Legay, Axel, Ferrari, Gian-Luigi, Gnesi, Stefania, Di Giandomenico, Felicita

Volltext

On identity-aware replication in stochastic modeling for simulation-based dependability analysis of large interconnected systems von Chiaradonna, Silvano, Di Giandomenico, Felicita, Masetti, Giulio

Volltext

On a Modeling Framework for the Analysis of Interdependencies in Electric Power Systems von Chiaradonna, Silvano, Lollini, Paolo, Giandomenico, Felicita Di

Volltext