Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Elena Troubitsyna.

Newcastle AuthorsTitleYearFull text
Professor Alexander Romanovsky
Dr Elena Troubitsyna
Software Engineering for Resilient Systems: 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings2017
Dr Alexei Iliasov
Professor Alexander Romanovsky
Dr Elena Troubitsyna
Formalisation-Driven Development of Safety-Critical Systems2016
Professor Alexander Romanovsky
Dr Elena Troubitsyna
Message from the Program Co-Chairs2016
Professor Alexander Romanovsky
Dr Elena Troubitsyna
Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems2016
Dr Elena Troubitsyna
Dr Alexei Iliasov
Professor Alexander Romanovsky
From Requirements Engineering to Safety Assurance:Refinement Approach2015
Dr Alexei Iliasov
Dr Elena Troubitsyna
David Ebo Adjepon-Yamoah
Professor Alexander Romanovsky
Refinement-based Approach to Co-engineering Requirements and Formal Models2015
Dr Alexei Iliasov
Dr Elena Troubitsyna
Professor Alexander Romanovsky
Developing mode-rich satellite software by refinement in Event-B2013
Dr Elena Troubitsyna
Dr Alexei Iliasov
Professor Alexander Romanovsky
Formal Approach to Ensuring Interoperability of Mobile Agents2012
Dr Alexei Iliasov
Dr Elena Troubitsyna
Professor Alexander Romanovsky
Formal Derivation of a Distributed Program in Event B2011
Dr Alexei Iliasov
Dr Elena Troubitsyna
Professor Alexander Romanovsky
Formal Derivation of a Distributed Program in Event B2011
Dr Ilya Lopatkin
Dr Alexei Iliasov
Professor Alexander Romanovsky
Dr Elena Troubitsyna
Patterns for Representing FMEA in Formal Specification of Control Systems2011
Dr Alexei Iliasov
Dr Elena Troubitsyna
Professor Alexander Romanovsky
Developing Mode-Rich Satellite Software by Refinement in Event B2010
Dr Alexei Iliasov
Dr Elena Troubitsyna
Professor Alexander Romanovsky
Developing Mode-Rich Satellite Software by Refinement in Event B2010
Dr Alexei Iliasov
Dr Elena Troubitsyna
Professor Alexander Romanovsky
Patterns for Refinement Automation2010
Dr Alexei Iliasov
Dr Elena Troubitsyna
Professor Alexander Romanovsky
Patterns for Refinement Automation2010
Dr Alexei Iliasov
Dr Elena Troubitsyna
Professor Alexander Romanovsky
Supporting Reuse in Event B Development: Modularisation Approach2010
Dr Elena Troubitsyna
Dr Alexei Iliasov
Professor Alexander Romanovsky
System Architecture, Dependability and Modes2010
Dr Alexei Iliasov
Dr Elena Troubitsyna
Professor Alexander Romanovsky
Verifying Mode Consistency for On-Board Satellite Software2010
Professor Cliff Jones
Professor Alexander Romanovsky
Dr Elena Troubitsyna
Methods, Models and Tools for Fault Tolerance2009
Dr Elena Troubitsyna
Dr Alexei Iliasov
Professor Alexander Romanovsky
Formal development of cooperative exception handling for mobile agent systems2008
Dr Elena Troubitsyna
Dr Alexei Iliasov
Professor Alexander Romanovsky
Formal development of cooperative exception handling for mobile agent systems2008
Dr Alexei Iliasov
Dr Elena Troubitsyna
Professor Alexander Romanovsky
Guided Formal Development: Patterns for Modelling and Refinement2008
Dr Alexei Iliasov
Dr Elena Troubitsyna
Professor Alexander Romanovsky
Patterns for Refinement Automation2008
Dr Alexei Iliasov
Professor Alexander Romanovsky
Dr Leonardus Arief
Dr Elena Troubitsyna
A framework for open distributed system design2007
Dr Alexei Iliasov
Professor Alexander Romanovsky
Dr Leonardus Arief
Dr Elena Troubitsyna
On rigorous design and implementation of fault tolerant ambient systems2007
Professor Cliff Jones
Professor Alexander Romanovsky
Dr Elena Troubitsyna
Proceedings of the Workshop on Methods, Models and Tools for Fault Tolerance2007
Dr Alexei Iliasov
Dr Elena Troubitsyna
Professor Alexander Romanovsky
Formal Approach to Ensuring Interoperability of Mobile Agents2006
Dr Alexei Iliasov
Professor Alexander Romanovsky
Dr Leonardus Arief
Dr Elena Troubitsyna
On Rigorous Design and Implementation of Fault Tolerant Ambient Systems2006
Professor Cliff Jones
Professor Alexander Romanovsky
Dr Elena Troubitsyna
Rigorous Development of Complex Fault-Tolerant Systems2006
Dr Elena Troubitsyna
Dr Alexei Iliasov
Professor Alexander Romanovsky
Rigorous Development of Fault-Tolerant Agent Systems2006
Professor Cliff Jones
Professor Alexander Romanovsky
Dr Elena Troubitsyna
Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005)2005
Dr Joey Coleman
Professor Cliff Jones
Professor Alexander Romanovsky
Dr Elena Troubitsyna
RODIN (Rigorous Open Development Environment for Complex Systems)2005