Follow
Elena Troubitsyna
Elena Troubitsyna
Full Professor in Computer Science specialising in Software Engineering at KTH -- Royal Institute of
Verified email at kth.se
Title
Cited by
Cited by
Year
Supporting reuse in Event B development: modularisation approach
A Iliasov, E Troubitsyna, L Laibinis, A Romanovsky, K Varpaaniemi, D Ilic, ...
Abstract State Machines, Alloy, B and Z: Second International Conference …, 2010
912010
Rigorous development of complex fault-tolerant systems
M Butler, C Jones, A Romanovsky, E Troubitsyna
Springer, 2006
522006
Developing mode-rich satellite software by refinement in event b
A Iliasov, E Troubitsyna, L Laibinis, A Romanovsky, K Varpaaniemi, D Ilic, ...
Formal Methods for Industrial Critical Systems: 15th International Workshop …, 2010
512010
RODIN (rigorous open development environment for complex systems)
J Coleman, C Jones, I Oliver, A Romanovsky, E Troubitsyna
School of Computing Science Technical Report Series, 2005
422005
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
402012
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
402011
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
402004
Elicitation and specification of safety requirements
E Troubitsyna
Third International Conference on Systems (icons 2008), 202-207, 2008
382008
Integrating learning, optimization, and prediction for efficient navigation of swarms of drones
A Majd, A Ashraf, E Troubitsyna, M Daneshtalab
2018 26th Euromicro International Conference on Parallel, Distributed and …, 2018
372018
Safety analysis in formal specication
K Sere, E Troubitsyna
International Symposium on Formal Methods, 1564-1583, 1999
361999
The probabilistic steam boiler: a case study in probabilistic data refinement
A McIver, C Morgan, E Troubitsyna
Turku Centre for Computer Science, 1998
361998
A systematic mapping study of API usability evaluation methods
I Rauf, E Troubitsyna, I Porres
Computer Science Review 33, 49-68, 2019
352019
Formal development and assessment of a reconfigurable on-board satellite system
A Tarasyuk, I Pereverzeva, E Troubitsyna, T Latvala, L Nummila
Computer Safety, Reliability, and Security: 31st International Conference …, 2012
342012
Refinement of fault tolerant control systems in B
L Laibinis, E Troubitsyna
International Conference on Computer Safety, Reliability, and Security, 254-268, 2004
342004
Integrating stochastic reasoning into Event-B development
A Tarasyuk, E Troubitsyna, L Laibinis
formal Aspects of Computing 27, 53-77, 2015
332015
Facilitating construction of safety cases from formal models in Event-B
Y Prokhorova, L Laibinis, E Troubitsyna
Information and Software Technology 60, 51-76, 2015
312015
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
312012
Probabilities in action systems
K Sere, E Troubitsyna
Proc. of the 8th Nordic Workshop on Programming Theory, 373-387, 1996
301996
Towards probabilistic modelling in event-b
A Tarasyuk, E Troubitsyna, L Laibinis
Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy …, 2010
292010
Verifying mode consistency for on-board satellite software
A Iliasov, E Troubitsyna, L Laibinis, A Romanovsky, K Varpaaniemi, ...
Computer Safety, Reliability, and Security: 29th International Conference …, 2010
292010
The system can't perform the operation now. Try again later.
Articles 1–20