Elena Troubitsyna

	2009
20		Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna: Methods, Models and Tools for Fault Tolerance Springer 2009
19		Linas Laibinis, Elena Troubitsyna, Sari Leppänen: Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems. Methods, Models and Tools for Fault Tolerance 2009: 130-151
	2008
18		Elena Troubitsyna: Elicitation and Specification of Safety Requirements. ICONS 2008: 202-207
	2007
17		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
16		Michael J. Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna: Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project] Springer 2006
15		Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Sari Leppänen: Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols. ISoLA 2006: 425-432
14		Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Colin F. Snook: Formal Development of Mechanisms for Tolerating Transient Faults. RODIN Book 2006: 189-209
13		Linas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander Romanovsky: Rigorous Development of Fault-Tolerant Agent Systems. RODIN Book 2006: 241-260
12		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		Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik: Formal Model-Driven Development of Communicating Systems. ICFEM 2005: 188-203
10		Dubravka Ilic, Elena Troubitsyna: Formal Development of Software for Tolerating Transient Faults. PRDC 2005: 140-150
9		Linas Laibinis, Elena Troubitsyna: Formal Development of Reactive Fault Tolerant Systems. RISE 2005: 234-249
	2004
8		Linas Laibinis, Elena Troubitsyna: Refinement of Fault Tolerant Control Systems in B. SAFECOMP 2004: 254-268
7		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		Elena Troubitsyna: Integrating Safety Analysis into Formal Specification of Dependable Systems. IPDPS 2003: 215
	1999
4		Elena Troubitsyna: Enhancing Dependability via Parameterized Refinement. PRDC 1999: 120-
3		Kaisa Sere, Elena Troubitsyna: Hazard Analysis in Formal Specification. SAFECOMP 1999: 350-360
2		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)

Coauthor Index

1	Budi Arief	[17]
2	Michael Butler	[20]
3	Michael J. Butler	[16]
4	Alexei Iliasov	[13] [17]
5	Dubravka Ilic	[10] [14] [15]
6	Cliff B. Jones	[16] [20]
7	Linas Laibinis	[7] [8] [9] [11] [12] [13] [14] [15] [17] [19]
8	Sari Leppänen	[11] [12] [15] [19]
9	Johan Lilius	[11] [12]
10	Qaisar A. Malik	[11] [12]
11	Alexander Romanovsky (Alexander B. Romanovsky)	[13] [16] [17] [20]
12	Kaisa Sere	[2] [3]
13	Colin F. Snook	[14]