Elena Troubitsyna
Título
Citado por
Citado por
Ano
Supporting reuse in Event B development: modularisation approach
A Iliasov, E Troubitsyna, L Laibinis, A Romanovsky, K Varpaaniemi, D Ilic, ...
International Conference on Abstract State Machines, Alloy, B and Z, 174-188, 2010
752010
Developing mode-rich satellite software by refinement in Event B
A Iliasov, E Troubitsyna, L Laibinis, A Romanovsky, K Varpaaniemi, D Ilic, ...
International Workshop on Formal Methods for Industrial Critical Systems, 50-66, 2010
412010
RODIN (rigorous open development environment for complex systems)
J Coleman, C Jones, I Oliver, A Romanovsky, E Troubitsyna
Fifth European Dependable Computing Conference: EDCC-5 supplementary volume …, 2005
362005
Fault tolerance in a layered architecture: a general specification pattern in B
L Laibinis, E Troubitsyna
Proceedings of the Second International Conference on Software Engineering …, 2004
352004
Augmenting Event-B modelling with real-time verification
A Iliasov, A Romanovsky, L Laibinis, E Troubitsyna, T Latvala
2012 First International Workshop on Formal Methods in Software Engineering …, 2012
322012
Patterns for representing FMEA in formal specification of control systems
I Lopatkin, A Iliasov, A Romanovsky, Y Prokhorova, E Troubitsyna
2011 IEEE 13th International Symposium on High-Assurance Systems Engineering …, 2011
322011
Rigorous Development of Complex Fault-Tolerant Systems
M Butler, C Jones, A Romanovsky, E Troubitsyna
Springer, 2006
312006
Refinement of fault tolerant control systems in B
L Laibinis, E Troubitsyna
International Conference on Computer Safety, Reliability, and Security, 254-268, 2004
312004
The probabilistic steam boiler: a case study in probabilistic data refinement
A McIver, C Morgan, E Troubitsyna
Turku Centre for Computer Science, 1998
311998
Elicitation and specification of safety requirements
E Troubitsyna
Third International Conference on Systems (icons 2008), 202-207, 2008
292008
Probabilities in action systems
K Sere, E Troubitsyna
Proc. of the 8th Nordic Workshop on Programming Theory, 373-387, 1996
291996
Formal development of critical multi-agent systems: A refinement approach
I Pereverzeva, E Troubitsyna, L Laibinis
2012 Ninth European Dependable Computing Conference, 156-161, 2012
272012
Safety analysis in formal specication
K Sere, E Troubitsyna
International Symposium on Formal Methods, 1564-1583, 1999
271999
Integrating stochastic reasoning into Event-B development
A Tarasyuk, E Troubitsyna, L Laibinis
formal Aspects of Computing 27 (1), 53-77, 2015
262015
Stepwise development of dependable systems
E Troubitsyna
Turku Centre for Computer Science, 2000
262000
Towards probabilistic modelling in event-b
A Tarasyuk, E Troubitsyna, L Laibinis
International Conference on Integrated Formal Methods, 275-289, 2010
252010
Verifying mode consistency for on-board satellite software
A Iliasov, E Troubitsyna, L Laibinis, A Romanovsky, K Varpaaniemi, ...
International Conference on Computer Safety, Reliability, and Security, 126-141, 2010
252010
Formal development and assessment of a reconfigurable on-board satellite system
A Tarasyuk, I Pereverzeva, E Troubitsyna, T Latvala, L Nummila
International Conference on Computer Safety, Reliability, and Security, 210-222, 2012
242012
Rigorous development of fault-tolerant agent systems
L Laibinis, E Troubitsyna, A Iliasov, A Romanovsky
Rigorous Development of Complex Fault-Tolerant Systems, 241-260, 2006
222006
Reliability assessment through probabilistic refinement
EA Troubitsyna
Nordic Journal of Computing 6 (3), 320-342, 1999
211999
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20