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

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