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 × Vietnam
2 × USA
Collaborated with:
A.Harhurin B.Hummel A.Gruler L.Kof M.Spichkova D.Trachtenherz
Talks about:
system (2) integr (2) architectur (1) distribut (1) scenario (1) properti (1) orthogon (1) function (1) trigger (1) specifi (1)

Person: Jewgenij Botaschanjan

DBLP DBLP: Botaschanjan:Jewgenij

Contributed to:

CBSE 20092009
ISSTA 20092009
SEFM 20092009
FM 20062006

Wrote 4 papers:

CBSE-2009-BotaschanjanH #architecture #functional
Integrating Functional and Architectural Views of Reactive Systems (JB, AH), pp. 156–172.
ISSTA-2009-BotaschanjanH #fault #hardware #modelling #orthogonal #specification
Specifying the worst case: orthogonal modeling of hardware errors (JB, BH), pp. 273–284.
SEFM-2009-BotaschanjanH #integration
Property-Driven Scenario Integration (JB, AH), pp. 147–156.
FM-2006-BotaschanjanGHKST #distributed #towards #verification
Towards Modularized Verification of Distributed Time-Triggered Systems (JB, AG, AH, LK, MS, DT), pp. 163–178.

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.