Publications by Dr Rogerio De Lemos - ePrints

Browsing publications by Dr Rogerio De Lemos.

Newcastle Authors	Title	Year
Dr Salah Merad Dr Rogerio De Lemos	A game theoretic solution for the optimal selection of services	2014
Dr Rogerio De Lemos Dr Cristina Gacek	Workshop on Architecting Dependable Systems (WADS 2009)	2009
Dr Rogerio De Lemos Dr Cristina Gacek	Architecting Dependable Systems V	2008
Dr Rogerio De Lemos Dr Cristina Gacek	Workshop on Architecting Dependable Systems (WADS 2008)	2008
Dr Rogerio De Lemos Dr Cristina Gacek Emeritus Professor Alexander Romanovsky	Architecting Dependable Systems IV	2007
Dr Rogerio De Lemos Antonio Di Ferdinando Dr Cristina Gacek	Workshop on Architecting Dependable Systems (WADS 2007)	2007
Dr Rogerio De Lemos Dr Cristina Gacek Emeritus Professor Alexander Romanovsky	Architecting dependable systems	2006
Dr Cristina Gacek Dr Rogerio De Lemos	Architectural description of dependable software systems	2006
Dr Rogerio De Lemos Dr Cristina Gacek Emeritus Professor Alexander Romanovsky	Workshop on Architecting Dependable Systems (WADS)	2006
Dr Rogerio De Lemos Dr Cristina Gacek Emeritus Professor Alexander Romanovsky	Architecting Dependable Systems III	2005
Dr Cristina Gacek Dr Rogerio De Lemos	Architectural description of dependable software systems	2005
Emeritus Professor Cliff Jones Emeritus Professor Alexander Romanovsky Dr Rogerio De Lemos Professor Brian Randell	The atomic manifesto	2005
Emeritus Professor Cliff Jones Emeritus Professor Alexander Romanovsky Dr Rogerio De Lemos Professor Brian Randell	The Atomic Manifesto: a Story in Four Quarks	2005
Emeritus Professor Cliff Jones Emeritus Professor Alexander Romanovsky Dr Rogerio De Lemos Professor Brian Randell	The Atomic Manifesto: a Story in Four Quarks	2005
Dr Rogerio De Lemos Emeritus Professor Alexander Romanovsky	Workshop on architecting dependable systems (WADS 2005)	2005
Emeritus Professor Alexander Romanovsky Dr Rogerio De Lemos	A Dependable Architecture for COTS-Based Software Systems using Protective Wrappers	2004
Dr Rogerio De Lemos Dr Cristina Gacek Emeritus Professor Alexander Romanovsky	Architecting Dependable Systems II	2004
Dr Rogerio De Lemos Dr Cristina Gacek Emeritus Professor Alexander Romanovsky	Third Workshop on Architectures for Dependable Systems (WADS), 25th May 2004. [Held as part of ] ICSE Scotland 2004: 26th International Conference on Software Engineering, May 23-28, Edinburgh, UK	2004
Dr Rogerio De Lemos Dr Cristina Gacek Emeritus Professor Alexander Romanovsky	Twin Workshops on Architecting Dependable Systems (WADS 2004)	2004
Dr Rogerio De Lemos Dr Cristina Gacek Emeritus Professor Alexander Romanovsky	Twin Workshops on Architecting Dependable Systems (WADS)	2004
Dr Rogerio De Lemos Emeritus Professor Alexander Romanovsky	[Workshop Summary]ICSE 2003 Workshop on Software Architectures for Dependable Systems	2003
Emeritus Professor Alexander Romanovsky Dr Rogerio De Lemos	A Fault-Tolerant Software Architecture for COTS-Based Software Systems	2003
Dr Rogerio De Lemos Dr Cristina Gacek Emeritus Professor Alexander Romanovsky	Architecting Dependable Systems	2003
Dr Rogerio De Lemos Dr Cristina Gacek Emeritus Professor Alexander Romanovsky	Architecting Dependable Systems	2003
Dr Rogerio De Lemos Dr Cristina Gacek Emeritus Professor Alexander Romanovsky	Architectural Mismatch Tolerance	2003
Dr Rogerio De Lemos Dr Cristina Gacek Emeritus Professor Alexander Romanovsky	ICSE 2003 Workshop on Software Architectures for Dependable Systems	2003
Emeritus Professor Alexander Romanovsky Dr Rogerio De Lemos	Integrating COTS Software Components into Dependable Software Architectures	2003
Emeritus Professor Alexander Romanovsky Dr Rogerio De Lemos	Software Engineering for Large-Scale Multi-Agent Systems - SELMAS 2003	2003
Dr Rogerio De Lemos Dr Cristina Gacek Emeritus Professor Alexander Romanovsky	Workshop on Software Architectures for Dependable Systems	2003
Dr Rogerio De Lemos Dr Cristina Gacek Emeritus Professor Alexander Romanovsky	ICSE 2002 Workshop on Architecting Dependable Systems	2002
Dr Rogerio De Lemos Dr Cristina Gacek Emeritus Professor Alexander Romanovsky	ICSE 2002 Workshop on Architecting Dependable Systems	2002
Dr Rogerio De Lemos Dr Cristina Gacek Emeritus Professor Alexander Romanovsky	ICSE 2002 Workshop on Architecting Dependable Systems (Workshop Summary)	2002
Emeritus Professor Alexander Romanovsky Dr Rogerio De Lemos	Integrating COTS Software Components into Dependable Software Architectures	2002
Dr Rogerio De Lemos Emeritus Professor Alexander Romanovsky	Exception handling in the software lifecycle	2001
Dr Rogerio De Lemos	A Co-operative Object-Oriented Architecture for Adaptive Systems	2000
Dr Rogerio De Lemos	A Co-operative Object-Oriented Architecture for Adaptive Systems	1999
Dr Rogerio De Lemos	A cooperative Object-Oriented Style for Control Systems	1999
Dr Rogerio De Lemos	A cooperative Object-Oriented Style for Control Systems	1999
Dr Rogerio De Lemos Dr Salah Merad	A Game Theoretic Solution for the Optimal Selection of Software Components	1999
Dr Rogerio De Lemos Dr Salah Merad	A Game Theoretic Solution for the Optimal Selection of Software Components	1999
Emiliano Tramontana Dr Rogerio De Lemos	A Reflective Approach for Describing Cooperation between Objects	1999
Dr Rogerio De Lemos	A Reflective Approach for Describing Cooperation between Objects	1999
Dr Rogerio De Lemos	Analysis of the Safety Properties of a System from the Viewpoint of the Interactions of its Components	1999
Dr Salah Merad Dr Rogerio De Lemos Emeritus Professor Tom Anderson	Dynamic Selection of Software Components in the Face of Changing Requirements	1999
Dr Rogerio De Lemos Emeritus Professor Alexander Romanovsky	Exception Handling in a Cooperative Object-Oriented Approach	1999
Dr Rogerio De Lemos Dr Amer Saeed	Safety analysis techniques for validating formal models during verification	1999
Dr Rogerio De Lemos	Validating Formal Verification using Safety Analysis Techniques	1999
Dr Rogerio De Lemos Dr Amer Saeed	Validating Formal Verification using Safety Analysis Techniques	1999
Dr Rogerio De Lemos Emeritus Professor Alexander Romanovsky	Coordinated Atomic Actions in Modelling Object Cooperation	1998
Dr Rogerio De Lemos Emeritus Professor Alexander Romanovsky	Exception Handling in a Co-operative Object-Oriented Approach	1998
Dr Rogerio De Lemos	Objecting 'Beyond Objects'	1998
Dr Rogerio De Lemos	On the Integration of Requirements Analysis and Safety Analysis for Safety-Critical Systems	1998
Dr Rogerio De Lemos Dr Stephen Riddle Dr Amer Saeed	An Object-Based Approach to Modelling and Analysis of Failure Properties	1997
Dr Amer Saeed Dr Rogerio De Lemos Dr Stephen Riddle	An Object-Based Approach to Modelling and Analysis of Failure Properties	1997
Dr Rogerio De Lemos Emeritus Professor Alexander Romanovsky	Coordinated Atomic Actions in Modelling Objects Cooperation	1997
Dr Amer Saeed Dr Rogerio De Lemos	Subjective Safety Analysis for Software Development	1997
Dr Amer Saeed Dr Rogerio De Lemos	Subjective Safety Analysis of Safety Requirements Specifications	1997
Dr Rogerio De Lemos Dr Amer Saeed Emeritus Professor Tom Anderson	Analysis of Safety Requirements for a Chemical Batch Processing System	1996
Dr Rogerio De Lemos	ERTL: An Extension to RTL for Requirements Analysis for Hybrid Systems	1996
Emeritus Professor Tom Anderson Dr Rogerio De Lemos Dr Amer Saeed	Analysis of Safety Requirements for Process Control Systems	1995
Dr Rogerio De Lemos Dr Amer Saeed	Analysis of Safety Requirements in the Context of System Faults and Human Errors	1995
Dr Rogerio De Lemos Dr Amer Saeed Emeritus Professor Tom Anderson	Analyzing Safety Requirements for Process-Control Systems	1995
Dr Rogerio De Lemos Dr Amer Saeed Emeritus Professor Tom Anderson	Formal Techniques for Requirements Analysis for Safety-Critical Systems	1995
Dr Rogerio De Lemos Dr Amer Saeed Emeritus Professor Tom Anderson	Formal Techniques for Requirements Analysys for Safety-Critical Systems	1995
Dr Amer Saeed Dr Rogerio De Lemos Emeritus Professor Tom Anderson	On the Safety Analysis of Requirements Specifications for Safety-Critical Software	1995
Dr Amer Saeed Dr Rogerio De Lemos Emeritus Professor Tom Anderson	Safety Analysis for Requirements Specifications: Methods and Techniques	1995
Dr Rogerio De Lemos	[PhD Thesis] A Methodology For The Requirements Analysis of Critical Real-Time Systems	1994
Dr Rogerio De Lemos Dr Amer Saeed Emeritus Professor Tom Anderson	An Approach for the Risk Analysis of Safety Specifications	1994
Dr Rogerio De Lemos Dr Amer Saeed Emeritus Professor Tom Anderson	Formal Techniqes for Requirements Analysis for Safety-critical Systems	1994
Dr Rogerio De Lemos Dr Amer Saeed Emeritus Professor Tom Anderson	On the Safety Analysis of Requirements Specifications	1994
Dr Rogerio De Lemos Dr Amer Saeed Emeritus Professor Tom Anderson	Requirements Analysis for Safety-critical Systems: A Chemical Batch Processing Example	1994
Dr Amer Saeed Dr Rogerio De Lemos Emeritus Professor Tom Anderson	Formal Techniques for Requirements Analysis for Safe Reactor Control	1993
Dr Amer Saeed Dr Rogerio De Lemos Emeritus Professor Tom Anderson	Formal Techniques for Requirements Analysis for Safe Reactor Control	1993
Emeritus Professor Tom Anderson Dr Rogerio De Lemos Professor John Fitzgerald Dr Amer Saeed	On Formal Support for Industrial Scale Requirements Analysis	1993
Emeritus Professor Tom Anderson Dr Rogerio De Lemos Professor John Fitzgerald Dr Amer Saeed	On Formal Support for Industrial-scale Requirements Analysis	1993
Dr Amer Saeed Emeritus Professor Tom Anderson Dr Rogerio De Lemos	Robust Requirements Specifications for Safety-Critical Systems	1993
Dr Amer Saeed Emeritus Professor Tom Anderson Dr Rogerio De Lemos	Robust Requirements Specifications for Safety-Critical Systems	1993
Dr Amer Saeed Dr Rogerio De Lemos Emeritus Professor Tom Anderson	The Role of Formal Methods in the Requirements Analysis of Safety Critical Systems: A Train Set Example	1993
Dr Rogerio De Lemos Dr Amer Saeed Emeritus Professor Tom Anderson	A Train Set as a Case Study for the Requirements Analysis of Safety-Critical Systems	1992
Dr Amer Saeed Dr Rogerio De Lemos Emeritus Professor Tom Anderson	An Approach to the Assessment of Requirements Specifications for Safety-Critical Systems	1992
Dr Rogerio De Lemos Dr Amer Saeed	Exception Handling in Real-Time Software for Specification	1992
Dr Rogerio De Lemos Dr Amer Saeed Emeritus Professor Tom Anderson	A Train Set as a Case Study for the Requirements Analysis of Safety-Critical Systems	1991
Dr Rogerio De Lemos Dr Paul Ezhilchelvan	Agreement on the Group Membership in Synchronous Distributed Systems	1991
Dr Rogerio De Lemos Dr Amer Saeed Emeritus Professor Tom Anderson	Analysis of Timeliness Requirements in Safety-Critical Systems	1991
Dr Rogerio De Lemos Dr Amer Saeed Emeritus Professor Tom Anderson	Analysis of Timeliness Requirements in Safety-Critical Systems	1991
Dr Rogerio De Lemos Dr Amer Saeed Emeritus Professor Tom Anderson	Requirements Specification and Verification for Safety-critical Systems	1991
Dr Amer Saeed Dr Rogerio De Lemos Emeritus Professor Tom Anderson	The Role of Formal Methods in the Requirements Analysis of Safety-Critical Systems: a Train Set Example	1991
Dr Rogerio De Lemos Dr Amer Saeed Emeritus Professor Tom Anderson	Value Inconsistencies due to Time Uncertainties	1991
Dr Paul Ezhilchelvan Dr Rogerio De Lemos	A Robust Group Membership Algorithm for Distributed Real-Time Systems	1990