Romanovsky, Alexander.

Overview

Works:	7 works in 6 publications in 1 languages

Titles

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

Reliable software technologies = Ada-Europe 2011 : 16th Ada-Europe international conference on reliable software technologies, Edinburgh, UK, June 20-24, 2011 : proceedings / by: SpringerLink (Online service); Vardanega, Tullio.; Romanovsky, Alexander.; Workshop on the Preservation of Stability under Discretization ((2001 :) (Language materials, printed)

Software engineering for resilient systems = 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017 : proceedings / by: Workshop on the Preservation of Stability under Discretization ((2001 :); Romanovsky, Alexander.; SpringerLink (Online service); Troubitsyna, Elena A. (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: SpringerLink (Online service); Pinger, Ralf.; Lecomte, Thierry.; Romanovsky, Alexander. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]

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: Workshop on the Preservation of Stability under Discretization ((2001 :); Romanovsky, Alexander.; Lecomte, Thierry.; Pinger, Ralf.; SpringerLink (Online service) (Language materials, printed)

Software engineering for resilient systems = 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013 : proceedings / by: Gorbenko, Anatoliy.; SpringerLink (Online service); Kharchenko, Vyacheslav.; Romanovsky, Alexander.; Workshop on the Preservation of Stability under Discretization ((2001 :) (Language materials, printed)

Industrial deployment of system engineering methods by: Romanovsky, Alexander.; Thomas, Martyn.; SpringerLink (Online service) (Language materials, printed)

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: Collart-Dutilleul, Simon.; SpringerLink (Online service); Romanovsky, Alexander.; Lecomte, Thierry. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]

Scientific Engineering of Distributed Java Applications = 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers / by: Romanovsky, Alexander.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Guelfi, Nicolas.; Reggio, Gianna. (Language materials, printed)

Computer Safety, Reliability, and Security = SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings / by: Romanovsky, Alexander.; Gashi, Ilir.; Troubitsyna, Elena.; Schoitsch, Erwin.; SpringerLink (Online service); Bitsch, Friedemann. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]

Subjects

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