dblp.uni-trier.dewww.uni-trier.de

Elena Troubitsyna

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
17EEElena Troubitsyna: Elicitation and Specification of Safety Requirements. ICONS 2008: 202-207
2007
16EEAlexei 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
14EEDubravka Ilic, Elena Troubitsyna, Linas Laibinis, Colin F. Snook: Formal Development of Mechanisms for Tolerating Transient Faults. RODIN Book 2006: 189-209
13EELinas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander Romanovsky: Rigorous Development of Fault-Tolerant Agent Systems. RODIN Book 2006: 241-260
12EELinas 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
11EELinas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik: Formal Model-Driven Development of Communicating Systems. ICFEM 2005: 188-203
10EEDubravka Ilic, Elena Troubitsyna: Formal Development of Software for Tolerating Transient Faults. PRDC 2005: 140-150
9EELinas Laibinis, Elena Troubitsyna: Formal Development of Reactive Fault Tolerant Systems. RISE 2005: 234-249
2004
8EELinas Laibinis, Elena Troubitsyna: Refinement of Fault Tolerant Control Systems in B. SAFECOMP 2004: 254-268
7EELinas 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
5EEElena Troubitsyna: Integrating Safety Analysis into Formal Specification of Dependable Systems. IPDPS 2003: 215
1999
4EEElena Troubitsyna: Enhancing Dependability via Parameterized Refinement. PRDC 1999: 120-
3EEKaisa Sere, Elena Troubitsyna: Hazard Analysis in Formal Specification. SAFECOMP 1999: 350-360
2EEKaisa 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

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)