Trustworthy cyber-physical systems engineering

por Romanovsky, Alexander, Ishikawa, Fuyuki
Publicado 2016

Software engineering for resilient systems: 9th international workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, proceedings

por Romanovsky, Alexander, Troubitsyna, Elena A
Publicado 2017

Computer safety, reliability, and security: 38th international conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019, proceedings

por Romanovsky, Alexander, Troubitsyna, Elena, Bitsch, Friedemann
Publicado 2019

Reliability, safety, and security of railway systems modelling, analysis, verification, and certification: first international conference, RSSRAIL 2016, Paris, France, June 28-30,...

por Lecomte, Thierry, Pinger, Ralf, Romanovsky, Alexander
Publicado 2016

Architecting dependable systems

por Lemos, Rogério de, Gacek, Cristina, Romanovsky, Alexander
Publicado 2003

Computer safety, reliability, and security: SAFECOMP 2019 workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, proceedings

por Romanovsky, Alexander, Troubitsyna, Elena, Gashi, Ilir, Schoitsch, Erwin, Bitsch, Friedemann
Publicado 2019

Architecting dependable systems IV

por Lemos, Rogério de, Gacek, Cristina, Romanovsky, Alexander, Lemos, Rogério de
Publicado 2007

A customisable pipeline for the semi-automated discovery of online activists and social campaigns on Twitter

por Primo, Flavio, Romanovsky, Alexander, de Mello, Rafael, Garcia, Alessandro, Missier, Paolo
Publicado 2021

Formal Distributed Protocol Development for Reservation of Railway Sections

por Stankaitis, Paulius, Iliasov, Alexei, Kobayashi, Tsutomu, Aït-Ameur, Yamine, Ishikawa, Fuyuki, Romanovsky, Alexander
Publicado 2020