Romanovsky, Alexander.

Overview

Works:	1 works in 6 publications in 1 languages

Titles

Architecting Dependable Systems III by: Gacek, Cristina.; Lemos, Rogerio de.; Romanovsky, Alexander.; SpringerLink (Online service) (Language materials, printed)

Reliability, safety, and security of railway systems = modelling, analysis, verification, and certification : first International Conference, RSSRail 2016, Paris, France, June 28-30, 2016 : proceedings / by: Lecomte, Thierry.; Pinger, Ralf.; Romanovsky, Alexander.; SpringerLink (Online service) (Electronic resources)

Reliability, safety, and security of railway systems = modelling, analysis, verification, and certification : third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019 : proceedings / by: RSSRail (Conference) (2019 :); Collart-Dutilleul, Simon.; Lecomte, Thierry.; Romanovsky, Alexander.; SpringerLink (Online service) (Electronic resources)

Software engineering for resilient systems = 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017 : proceedings / by: SERENE (Workshop) (2017 :); Romanovsky, Alexander.; Troubitsyna, Elena A.; SpringerLink (Online service) (Electronic resources)

Computer safety, reliability, and security = 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019 : proceedings / by: International Conference on Computer Safety, Reliability, and Security (2019 :); Romanovsky, Alexander.; Troubitsyna, Elena.; Bitsch, Friedemann.; SpringerLink (Online service) (Electronic resources)

Computer safety, reliability, and security = SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019 : proceedings / by: International Conference on Computer Safety, Reliability, and Security (2019 :); Romanovsky, Alexander.; SpringerLink (Online service) (Electronic resources)

Reliability, safety, and security of railway systems = modelling, analysis, verification, and certification : second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017 : proceedings / by: RSSRail (Conference) (2017 :); Fantechi, Alessandro.; Lecomte, Thierry.; Romanovsky, Alexander.; SpringerLink (Online service) (Electronic resources)

Scientific Engineering of Distributed Java Applications = 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers / by: FIDJI 2004 ((2004 :); Guelfi, Nicolas.; Reggio, Gianna.; Romanovsky, Alexander.; SpringerLink (Online service) (Electronic resources)

Subjects

Software Engineering. Computer systems- Reliability Mathematical Logic and Formal Languages. Software engineering Theory of Computation. Computer organization Image Processing and Computer Vision. Logics and Meanings of Programs. Application software- Security measures Software Engineering/Programming and Operating Systems. Cryptology. Java (Computer program language) Software engineering- Congresses. Programming Techniques. Computer architecture- Congresses. Fault-tolerant computing- Congresses. Operating Systems. Artificial Intelligence (incl. Robotics) Control Structures and Microprogramming. Algorithm Analysis and Problem Complexity. Information Storage and Retrieval. Programming Languages, Compilers, Interpreters. Programming languages (Electronic computers) Computer logic Railroads- Safety measures Electronic data processing- Distributed processing Information Systems Applications (incl.Internet) Multimedia Information Systems. The Computing Profession. Artificial Intelligence. Computer security Computer Science. Computer Communication Networks. Systems and Data Security. Computer software- Reliability System Performance and Evaluation. Computer Systems Organization and Communication Networks. Simulation and Modeling.