| 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 | 90 | 2010 |
| 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 | 51 | 2010 |
| Rigorous development of complex fault-tolerant systems M Butler, C Jones, A Romanovsky, E Troubitsyna Springer, 2006 | 46 | 2006 |
| 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 | 42 | 2005 |
| 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 | 40 | 2012 |
| 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 | 40 | 2011 |
| 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 | 40 | 2004 |
| Elicitation and specification of safety requirements E Troubitsyna Third International Conference on Systems (icons 2008), 202-207, 2008 | 39 | 2008 |
| 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 | 37 | 2018 |
| Safety analysis in formal specication K Sere, E Troubitsyna International Symposium on Formal Methods, 1564-1583, 1999 | 36 | 1999 |
| The probabilistic steam boiler: a case study in probabilistic data refinement A McIver, C Morgan, E Troubitsyna Turku Centre for Computer Science, 1998 | 36 | 1998 |
| Refinement of fault tolerant control systems in B L Laibinis, E Troubitsyna International Conference on Computer Safety, Reliability, and Security, 254-268, 2004 | 35 | 2004 |
| A systematic mapping study of API usability evaluation methods I Rauf, E Troubitsyna, I Porres Computer Science Review 33, 49-68, 2019 | 34 | 2019 |
| 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 | 34 | 2012 |
| Integrating stochastic reasoning into Event-B development A Tarasyuk, E Troubitsyna, L Laibinis formal Aspects of Computing 27, 53-77, 2015 | 33 | 2015 |
| 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 | 31 | 2015 |
| 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 | 31 | 2012 |
| Probabilities in action systems K Sere, E Troubitsyna Proc. of the 8th Nordic Workshop on Programming Theory, 373-387, 1996 | 31 | 1996 |
| 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 | 29 | 2010 |
| Towards probabilistic modelling in event-b A Tarasyuk, E Troubitsyna, L Laibinis Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy …, 2010 | 28 | 2010 |
Alexander RomanovskySenior Research Investigator and Emeritus Professor, Newcastle University, UK在 ncl.ac.uk 的电子邮件经过验证
Alexander RomanovskySenior Research Investigator and Emeritus Professor, Newcastle University, UK在 ncl.ac.uk 的电子邮件经过验证