Publications by Dr Elena Troubitsyna - ePrints

Browsing publications by Dr Elena Troubitsyna.

Newcastle Authors	Title	Year
Emeritus Professor Alexander Romanovsky Dr Elena Troubitsyna	Software Engineering for Resilient Systems: 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings	2017
Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky Dr Elena Troubitsyna	Formalisation-Driven Development of Safety-Critical Systems	2016
Emeritus Professor Alexander Romanovsky Dr Elena Troubitsyna	Message from the Program Co-Chairs	2016
Emeritus Professor Alexander Romanovsky Dr Elena Troubitsyna	Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems	2016
Dr Elena Troubitsyna Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	From Requirements Engineering to Safety Assurance:Refinement Approach	2015
Dr Alexei Iliasov Dr Elena Troubitsyna David Ebo Adjepon-Yamoah Emeritus Professor Alexander Romanovsky	Refinement-based Approach to Co-engineering Requirements and Formal Models	2015
Dr Alexei Iliasov Dr Elena Troubitsyna Emeritus Professor Alexander Romanovsky	Developing mode-rich satellite software by refinement in Event-B	2013
Dr Elena Troubitsyna Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	Formal Approach to Ensuring Interoperability of Mobile Agents	2012
Dr Alexei Iliasov Dr Elena Troubitsyna Emeritus Professor Alexander Romanovsky	Formal Derivation of a Distributed Program in Event B	2011
Dr Alexei Iliasov Dr Elena Troubitsyna Emeritus Professor Alexander Romanovsky	Formal Derivation of a Distributed Program in Event B	2011
Dr Ilya Lopatkin Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky Dr Elena Troubitsyna	Patterns for Representing FMEA in Formal Specification of Control Systems	2011
Dr Alexei Iliasov Dr Elena Troubitsyna Emeritus Professor Alexander Romanovsky	Developing Mode-Rich Satellite Software by Refinement in Event B	2010
Dr Alexei Iliasov Dr Elena Troubitsyna Emeritus Professor Alexander Romanovsky	Developing Mode-Rich Satellite Software by Refinement in Event B	2010
Dr Alexei Iliasov Dr Elena Troubitsyna Emeritus Professor Alexander Romanovsky	Patterns for Refinement Automation	2010
Dr Alexei Iliasov Dr Elena Troubitsyna Emeritus Professor Alexander Romanovsky	Patterns for Refinement Automation	2010
Dr Alexei Iliasov Dr Elena Troubitsyna Emeritus Professor Alexander Romanovsky	Supporting Reuse in Event B Development: Modularisation Approach	2010
Dr Elena Troubitsyna Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	System Architecture, Dependability and Modes	2010
Dr Alexei Iliasov Dr Elena Troubitsyna Emeritus Professor Alexander Romanovsky	Verifying Mode Consistency for On-Board Satellite Software	2010
Emeritus Professor Cliff Jones Emeritus Professor Alexander Romanovsky Dr Elena Troubitsyna	Methods, Models and Tools for Fault Tolerance	2009
Dr Elena Troubitsyna Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	Formal development of cooperative exception handling for mobile agent systems	2008
Dr Elena Troubitsyna Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	Formal development of cooperative exception handling for mobile agent systems	2008
Dr Alexei Iliasov Dr Elena Troubitsyna Emeritus Professor Alexander Romanovsky	Guided Formal Development: Patterns for Modelling and Refinement	2008
Dr Alexei Iliasov Dr Elena Troubitsyna Emeritus Professor Alexander Romanovsky	Patterns for Refinement Automation	2008
Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky Dr Leonardus Arief Dr Elena Troubitsyna	A framework for open distributed system design	2007
Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky Dr Leonardus Arief Dr Elena Troubitsyna	On rigorous design and implementation of fault tolerant ambient systems	2007
Emeritus Professor Cliff Jones Emeritus Professor Alexander Romanovsky Dr Elena Troubitsyna	Proceedings of the Workshop on Methods, Models and Tools for Fault Tolerance	2007
Dr Alexei Iliasov Dr Elena Troubitsyna Emeritus Professor Alexander Romanovsky	Formal Approach to Ensuring Interoperability of Mobile Agents	2006
Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky Dr Leonardus Arief Dr Elena Troubitsyna	On Rigorous Design and Implementation of Fault Tolerant Ambient Systems	2006
Emeritus Professor Cliff Jones Emeritus Professor Alexander Romanovsky Dr Elena Troubitsyna	Rigorous Development of Complex Fault-Tolerant Systems	2006
Dr Elena Troubitsyna Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	Rigorous Development of Fault-Tolerant Agent Systems	2006
Emeritus Professor Cliff Jones Emeritus Professor Alexander Romanovsky Dr Elena Troubitsyna	Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005)	2005
Dr Joey Coleman Emeritus Professor Cliff Jones Emeritus Professor Alexander Romanovsky Dr Elena Troubitsyna	RODIN (Rigorous Open Development Environment for Complex Systems)	2005