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: Troubitsyna:Elena
Contributed to:
2014
2014
2012201220102004
1999Wrote 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.