Newcastle University
Toggle Main Menu
Toggle Search
Home
Browse
Latest
Policies
About
Home
Browse
Latest
Policies
About
ePrints
Browse by author
Browsing publications by
Dr Elena Troubitsyna
Newcastle Authors
Title
Year
Full text
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
1
2
3
