2008 |
17 | EE | Elena Troubitsyna:
Elicitation and Specification of Safety Requirements.
ICONS 2008: 202-207 |
2007 |
16 | EE | Alexei Iliasov,
Alexander Romanovsky,
Budi Arief,
Linas Laibinis,
Elena Troubitsyna:
On Rigorous Design and Implementation of Fault Tolerant Ambient Systems.
ISORC 2007: 141-145 |
2006 |
15 | | Michael J. Butler,
Cliff B. Jones,
Alexander Romanovsky,
Elena Troubitsyna:
Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project]
Springer 2006 |
14 | EE | Dubravka Ilic,
Elena Troubitsyna,
Linas Laibinis,
Colin F. Snook:
Formal Development of Mechanisms for Tolerating Transient Faults.
RODIN Book 2006: 189-209 |
13 | EE | Linas Laibinis,
Elena Troubitsyna,
Alexei Iliasov,
Alexander Romanovsky:
Rigorous Development of Fault-Tolerant Agent Systems.
RODIN Book 2006: 241-260 |
12 | EE | Linas Laibinis,
Elena Troubitsyna,
Sari Leppänen,
Johan Lilius,
Qaisar A. Malik:
Formal Service-Oriented Development of Fault Tolerant Communicating Systems.
RODIN Book 2006: 261-287 |
2005 |
11 | EE | Linas Laibinis,
Elena Troubitsyna,
Sari Leppänen,
Johan Lilius,
Qaisar A. Malik:
Formal Model-Driven Development of Communicating Systems.
ICFEM 2005: 188-203 |
10 | EE | Dubravka Ilic,
Elena Troubitsyna:
Formal Development of Software for Tolerating Transient Faults.
PRDC 2005: 140-150 |
9 | EE | Linas Laibinis,
Elena Troubitsyna:
Formal Development of Reactive Fault Tolerant Systems.
RISE 2005: 234-249 |
2004 |
8 | EE | Linas Laibinis,
Elena Troubitsyna:
Refinement of Fault Tolerant Control Systems in B.
SAFECOMP 2004: 254-268 |
7 | EE | Linas Laibinis,
Elena Troubitsyna:
Fault Tolerance in a Layered Architecture: A General Specification Pattern in B.
SEFM 2004: 346-355 |
6 | | Elena Troubitsyna:
A Formal Approach to Fault Tolerance in Parallel Systems.
Software Engineering Research and Practice 2004: 510-515 |
2003 |
5 | EE | Elena Troubitsyna:
Integrating Safety Analysis into Formal Specification of Dependable Systems.
IPDPS 2003: 215 |
1999 |
4 | EE | Elena Troubitsyna:
Enhancing Dependability via Parameterized Refinement.
PRDC 1999: 120- |
3 | EE | Kaisa Sere,
Elena Troubitsyna:
Hazard Analysis in Formal Specification.
SAFECOMP 1999: 350-360 |
2 | EE | Kaisa Sere,
Elena Troubitsyna:
Safety Analysis in Formal Specification.
World Congress on Formal Methods 1999: 1564-1583 |
1 | | Elena Troubitsyna:
Reliability Assessment through Probabilistic Refinement.
Nord. J. Comput. 6(3): 320-342 (1999) |