Travelled to:1 × Canada
1 × India
1 × Korea
1 × Switzerland
3 × France
Collaborated with:I.Lopatkin G.D.M.Serugendo J.S.Fitzgerald A.Iliasov ∅ H.Muccini P.Pelliccione F.C.Filho C.M.F.Rubira N.Guelfi P.Popov L.Strigini S.Riddle A.Rafiev F.Xia R.Gensh A.Yakovlev
Talks about:system (5) architectur (2) version (2) develop (2) method (2) formal (2) toler (2) fault (2) self (2) architect (1)
♂ Person: Alexander Romanovsky
DBLP: Romanovsky:Alexander
Facilitated 2 volumes:
Ed
PrCoContributed to:
20152014
20102007
200720062001
1999Wrote 9 papers:
- PDP-2015-IliasovRXGRY #manycore #prototype #specification
- A Formal Specification and Prototyping Language for Multi-core System Management (AI, AR, FX, RG, AR, AY), pp. 696–700.
- AdaEurope-2014-IliasovLR #approach #formal method
- Practical Formal Methods in Railways — The SafeCap Approach (AI, IL, AR), pp. 177–192.
- AdaEurope-2014-LopatkinR #development #fault tolerance
- Rigorous Development of Fault-Tolerant Systems through Co-refinement (IL, AR), pp. 11–26.
- SAC-2010-SerugendoFR #architecture #development #named #self
- MetaSelf: an architecture and a development method for dependable self-* systems (GDMS, JSF, AR), pp. 457–461.
- SAC-2007-SerugendoFRG #architecture
- A metadata-based architectural model for dynamically resilient systems (GDMS, JSF, AR, NG), pp. 566–572.
- WICSA-2007-MucciniPR #architecture #fault tolerance
- Architecting Fault Tolerant Systems (HM, PP, AR), p. 43.
- SAC-2006-FilhoRR #coordination #exception #verification
- Verification of coordinated exception handling (FCF, AR, CMFR), pp. 680–685.
- CBSE-2001-PopovSRR #component
- Protective Wrapping of OTS Components (PP, LS, SR, AR), p. 8.
- TOOLS-EUROPE-1999-Romanovsky #programming
- Abstract Object State and Version Recovery in N-Version Programming (AR), pp. 86–95.