BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Romanovsky:Alexander

Facilitated 2 volumes:

Ada-Europe 2011Ed
CBSE 2009PrCo

Contributed to:

PDP 20152015
Ada-Europe 20142014
SAC 20102010
SAC 20072007
WICSA 20072007
SAC 20062006
CBSE 20012001
TOOLS Europe 19991999

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.