Search the dblp DataBase
Elena Troubitsyna :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Kaisa Sere , Elena Troubitsyna Safety Analysis in Formal Specification. [Citation Graph (0, 0)][DBLP ] World Congress on Formal Methods, 1999, pp:1564-1583 [Conf ] Linas Laibinis , Elena Troubitsyna , Sari Leppänen , Johan Lilius , Qaisar A. Malik Formal Model-Driven Development of Communicating Systems. [Citation Graph (0, 0)][DBLP ] ICFEM, 2005, pp:188-203 [Conf ] Elena Troubitsyna Integrating Safety Analysis into Formal Specification of Dependable Systems. [Citation Graph (0, 0)][DBLP ] IPDPS, 2003, pp:215- [Conf ] Dubravka Ilic , Elena Troubitsyna Formal Development of Software for Tolerating Transient Faults. [Citation Graph (0, 0)][DBLP ] PRDC, 2005, pp:140-150 [Conf ] Linas Laibinis , Elena Troubitsyna Formal Development of Reactive Fault Tolerant Systems. [Citation Graph (0, 0)][DBLP ] RISE, 2005, pp:234-249 [Conf ] Linas Laibinis , Elena Troubitsyna Refinement of Fault Tolerant Control Systems in B. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2004, pp:254-268 [Conf ] Kaisa Sere , Elena Troubitsyna Hazard Analysis in Formal Specification. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 1999, pp:350-360 [Conf ] Linas Laibinis , Elena Troubitsyna Fault Tolerance in a Layered Architecture: A General Specification Pattern in B. [Citation Graph (0, 0)][DBLP ] SEFM, 2004, pp:346-355 [Conf ] Elena Troubitsyna A Formal Approach to Fault Tolerance in Parallel Systems. [Citation Graph (0, 0)][DBLP ] Software Engineering Research and Practice, 2004, pp:510-515 [Conf ] Dubravka Ilic , Elena Troubitsyna , Linas Laibinis , Colin Snook Formal Development of Mechanisms for Tolerating Transient Faults. [Citation Graph (0, 0)][DBLP ] RODIN Book, 2006, pp:189-209 [Conf ] Linas Laibinis , Elena Troubitsyna , Alexei Iliasov , Alexander Romanovsky Rigorous Development of Fault-Tolerant Agent Systems. [Citation Graph (0, 0)][DBLP ] RODIN Book, 2006, pp:241-260 [Conf ] Linas Laibinis , Elena Troubitsyna , Sari Leppänen , Johan Lilius , Qaisar A. Malik Formal Service-Oriented Development of Fault Tolerant Communicating Systems. [Citation Graph (0, 0)][DBLP ] RODIN Book, 2006, pp:261-287 [Conf ] Elena Troubitsyna Reliability Assessment through Probabilistic Refinement. [Citation Graph (0, 0)][DBLP ] Nord. J. Comput., 1999, v:6, n:3, pp:320-342 [Journal ] Supporting Reuse in Event B Development: Modularisation Approach. [Citation Graph (, )][DBLP ] Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols. [Citation Graph (, )][DBLP ] On Rigorous Design and Implementation of Fault Tolerant Ambient Systems. [Citation Graph (, )][DBLP ] Enhancing Dependability via Parameterized Refinement. [Citation Graph (, )][DBLP ] Verifying Mode Consistency for On-Board Satellite Software. [Citation Graph (, )][DBLP ] Developing Mode-Rich Satellite Software by Refinement in Event B. [Citation Graph (, )][DBLP ] Elicitation and Specification of Safety Requirements. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.002secs