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 × China
1 × Sweden
2 × Italy
3 × France
Collaborated with:
L.Laibinis A.Tarasyuk I.Pereverzeva K.Sere Z.Graja F.Migeon A.H.Kacem B.Byholm K.E.Tan I.Porres
Talks about:
event (6) formal (4) model (4) probabilist (2) specif (2) resili (2) orient (2) verif (2) architectur (1) behaviour (1)

Person: Elena Troubitsyna

DBLP DBLP: Troubitsyna:Elena

Contributed to:

IFM 20142014
SEFM 20142014
Ada-Europe 20122012
IFM 20122012
IFM 20102010
SEFM 20042004
World Congress on Formal Methods 19991999

Wrote 7 papers:

IFM-2014-LaibinisBPTTP #in the cloud #modelling #simulation
Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud (LL, BB, IP, ET, KET, IP), pp. 103–119.
SEFM-2014-LaibinisTGMK #behaviour #formal method #modelling #verification
Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B (LL, ET, ZG, FM, AHK), pp. 363–377.
AdaEurope-2012-PereverzevaTL #development
Formal Goal-Oriented Development of Resilient MAS in Event-B (IP, ET, LL), pp. 147–161.
IFM-2012-TarasyukTL #formal method #modelling #probability #verification
Formal Modelling and Verification of Service-Oriented Systems in Probabilistic Event-B (AT, ET, LL), pp. 237–252.
IFM-2010-TarasyukTL #modelling #probability #towards
Towards Probabilistic Modelling in Event-B (AT, ET, LL), pp. 275–289.
SEFM-2004-LaibinisT #architecture #fault tolerance #specification
Fault Tolerance in a Layered Architecture: A General Specification Pattern in B (LL, ET), pp. 346–355.
FM-v2-1999-SereT #analysis #safety #specification
Safety Analysis in Formal Specification (KS, ET), pp. 1564–1583.

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.