Searching for authors named "Elena Troubitsyna" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

14 documents found, showing 1 through 10. Next 10 →

Developing fault-tolerant control systems composed of selfchecking components in the action systems formalism
by Elena Troubitsyna — 2003 — In Proceedings of the Workshop on Formal Aspects of Component Software FACS’03
… Systems Formalism 1. Introduction Elena Troubitsyna Åbo Akademi University, Department of Computer Science…
Cited by 1 (0 self) – Add To MetaCart

A Formal Model Driven Approach to Requirements Engineering
by Dubravka Ilić, Elena Troubitsyna — 2005
…Author Dubravka One Ilić | Author | Elena Two Troubitsyna | Author Three Author Four | Author Five…
Cited by 2 (0 self) – Add To MetaCart

Towards Automated Model-Driven Development of Distributed Communicating Systems and Communication Protocols
by Of The, Dubravka Ili, Elena Troubitsyna, Linas Laibinis — 2007
…Author Dubravka One Ili„ | Author | Sari Lepp‰nen Two | Author | Three Author Elena Troubitsyna…
Add To MetaCart

Enhancing Dependability via Parameterized Re nement
by Elena Troubitsyna, Turku Centre, Computer Science — 1999
…Enhancing Dependability via Parameterized Re nement Elena Troubitsyna Turku Centre for Computer…
Add To MetaCart

Refinement of fault tolerant control systems in B
by Linas Laibinis, Elena Troubitsyna, Turku Centre, Computer Science — 2004 — in B Source: Computer Safety, Reliability, and Security. 23rd International Conference, SAFECOMP 2004. Proceedings (Lecture Notes in Comput. Sci. Vol.3219
…, Department of Computer Science, Lemminkäisenkatu 14, FIN-20520 Turku, Finland Elena Troubitsyna Åbo Akademi…
Cited by 3 (1 self) – Add To MetaCart

Fault Tolerance in a Layered Architecture: a General Specification Pattern in B
by Linas Laibinis, Elena Troubitsyna, Turku Centre, Computer Science — 2004 — In Proc. of Software Engineering and Formal Methods
… Akademi University, Department of Computer Science, Lemminkäisenkatu 14, FIN-20520 Turku, Finland Elena…
Cited by 3 (1 self) – Add To MetaCart

Specifying Safety-Related Hazards Formally
by Elena Troubitsyna, Turku Centre, Computer Science — 1999 — Turku Centre for Computer Science Lemminkaisenkatu 14 FIN-20520 Turku Finland http://www.tucs.abo.fi University of Turku ffl Department of Mathematical Sciences Abo Akademi University ffl Department of Computer Science ffl Institute for
…Specifying Safety-Related Hazards Formally Elena Troubitsyna Åbo Akademi University, Department…
Cited by 3 (3 self) – Add To MetaCart

Hazard Analysis in Formal Specification
by Kaisa Sere, Elena Troubitsyna, Turku Centre, Computer Science — 1999 — In Proc. of SAFECOMP'99, Tolouse
… University, Lemminkaisenkatu 14 A, FIN-20520 Turku, Finland, Kaisa.Sere@(email omitted); Elena Troubitsyna Turku…
Cited by 4 (3 self) – Add To MetaCart

Refining for Safety
by Elena Troubitsyna, Turku Centre, Computer Science — 1999
…Refining for Safety Elena Troubitsyna Turku Centre for Computer Science, Department of Computer…
Cited by 2 (2 self) – Add To MetaCart

Probabilities in Action Systems
by Kaisa Sere, Elena A. Troubitsyna — 1996 — In Proc. of the 8th Nordic Workshop on Programming Theory
…Probabilities in Action Systems Kaisa Sere Elena A. Troubitsyna y Abstract Action systems…
Cited by 2 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB