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 × France
1 × Sweden
Collaborated with:
A.Romanovsky I.Lopatkin A.Rafiev F.Xia R.Gensh A.Yakovlev
Talks about:
formal (3) prototyp (1) approach (1) railway (1) practic (1) languag (1) develop (1) augment (1) system (1) specif (1)

Person: Alexei Iliasov

DBLP DBLP: Iliasov:Alexei

Contributed to:

PDP 20152015
Ada-Europe 20142014
Ada-Europe 20122012

Wrote 3 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-2012-Iliasov #case study #development #reasoning
Augmenting Formal Development with Use Case Reasoning (AI), pp. 133–146.

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.