Elena Troubitsyna
Titre
Citée par
Citée par
Année
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
852010
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
462010
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
382012
Rigorous Development of Complex Fault-Tolerant Systems
M Butler, C Jones, A Romanovsky, E Troubitsyna
Springer, 2006
382006
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
382004
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
372005
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
352011
Refinement of fault tolerant control systems in B
L Laibinis, E Troubitsyna
International Conference on Computer Safety, Reliability, and Security, 254-268, 2004
342004
The probabilistic steam boiler: a case study in probabilistic data refinement
A McIver, C Morgan, E Troubitsyna
Turku Centre for Computer Science, 1998
321998
Elicitation and specification of safety requirements
E Troubitsyna
Third International Conference on Systems (icons 2008), 202-207, 2008
312008
Safety analysis in formal specication
K Sere, E Troubitsyna
International Symposium on Formal Methods, 1564-1583, 1999
301999
Integrating stochastic reasoning into Event-B development
A Tarasyuk, E Troubitsyna, L Laibinis
formal Aspects of Computing 27 (1), 53-77, 2015
292015
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
292012
Probabilities in action systems
K Sere, E Troubitsyna
Proc. of the 8th Nordic Workshop on Programming Theory, 373-387, 1996
291996
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
282015
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
282012
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
282010
Stepwise development of dependable systems
E Troubitsyna
Turku Centre for Computer Science, 2000
272000
Towards probabilistic modelling in event-b
A Tarasyuk, E Troubitsyna, L Laibinis
International Conference on Integrated Formal Methods, 275-289, 2010
262010
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
222018
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20