Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Rogerio De Lemos.

Newcastle AuthorsTitleYearFull text
Dr Salah Merad
Dr Rogerio De Lemos
A game theoretic solution for the optimal selection of services2014
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 V2008
Dr Rogerio De Lemos
Dr Cristina Gacek
Workshop on Architecting Dependable Systems (WADS 2008)2008
Dr Rogerio De Lemos
Dr Cristina Gacek
Professor Alexander Romanovsky
Architecting Dependable Systems IV2007
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
Professor Alexander Romanovsky
Architecting dependable systems2006
Dr Cristina Gacek
Dr Rogerio De Lemos
Architectural description of dependable software systems2006
Dr Rogerio De Lemos
Dr Cristina Gacek
Professor Alexander Romanovsky
Workshop on Architecting Dependable Systems (WADS)2006
Dr Rogerio De Lemos
Dr Cristina Gacek
Professor Alexander Romanovsky
Architecting Dependable Systems III2005
Dr Cristina Gacek
Dr Rogerio De Lemos
Architectural description of dependable software systems2005
Professor Cliff Jones
Professor Alexander Romanovsky
Dr Rogerio De Lemos
Professor Brian Randell
The atomic manifesto2005
Professor Cliff Jones
Professor Alexander Romanovsky
Dr Rogerio De Lemos
Professor Brian Randell
The Atomic Manifesto: a Story in Four Quarks2005
Professor Cliff Jones
Professor Alexander Romanovsky
Dr Rogerio De Lemos
Professor Brian Randell
The Atomic Manifesto: a Story in Four Quarks2005
Dr Rogerio De Lemos
Professor Alexander Romanovsky
Workshop on architecting dependable systems (WADS 2005)2005
Professor Alexander Romanovsky
Dr Rogerio De Lemos
A Dependable Architecture for COTS-Based Software Systems using Protective Wrappers2004
Dr Rogerio De Lemos
Dr Cristina Gacek
Professor Alexander Romanovsky
Architecting Dependable Systems II2004
Dr Rogerio De Lemos
Dr Cristina Gacek
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, UK2004
Dr Rogerio De Lemos
Dr Cristina Gacek
Professor Alexander Romanovsky
Twin Workshops on Architecting Dependable Systems (WADS 2004)2004
Dr Rogerio De Lemos
Dr Cristina Gacek
Professor Alexander Romanovsky
Twin Workshops on Architecting Dependable Systems (WADS)2004
Dr Rogerio De Lemos
Professor Alexander Romanovsky
[Workshop Summary]ICSE 2003 Workshop on Software Architectures for Dependable Systems2003
Professor Alexander Romanovsky
Dr Rogerio De Lemos
A Fault-Tolerant Software Architecture for COTS-Based Software Systems2003
Dr Rogerio De Lemos
Dr Cristina Gacek
Professor Alexander Romanovsky
Architecting Dependable Systems2003
Dr Rogerio De Lemos
Dr Cristina Gacek
Professor Alexander Romanovsky
Architecting Dependable Systems2003
Dr Rogerio De Lemos
Dr Cristina Gacek
Professor Alexander Romanovsky
Architectural Mismatch Tolerance2003
Dr Rogerio De Lemos
Dr Cristina Gacek
Professor Alexander Romanovsky
ICSE 2003 Workshop on Software Architectures for Dependable Systems2003
Professor Alexander Romanovsky
Dr Rogerio De Lemos
Integrating COTS Software Components into Dependable Software Architectures2003
Professor Alexander Romanovsky
Dr Rogerio De Lemos
Software Engineering for Large-Scale Multi-Agent Systems - SELMAS 20032003
Dr Rogerio De Lemos
Dr Cristina Gacek
Professor Alexander Romanovsky
Workshop on Software Architectures for Dependable Systems2003
Dr Rogerio De Lemos
Dr Cristina Gacek
Professor Alexander Romanovsky
ICSE 2002 Workshop on Architecting Dependable Systems2002
Dr Rogerio De Lemos
Dr Cristina Gacek
Professor Alexander Romanovsky
ICSE 2002 Workshop on Architecting Dependable Systems2002
Dr Rogerio De Lemos
Dr Cristina Gacek
Professor Alexander Romanovsky
ICSE 2002 Workshop on Architecting Dependable Systems (Workshop Summary)2002
Professor Alexander Romanovsky
Dr Rogerio De Lemos
Integrating COTS Software Components into Dependable Software Architectures2002
Dr Rogerio De Lemos
Professor Alexander Romanovsky
Exception handling in the software lifecycle2001
Dr Rogerio De Lemos
A Co-operative Object-Oriented Architecture for Adaptive Systems2000
Dr Rogerio De Lemos
A Co-operative Object-Oriented Architecture for Adaptive Systems1999
Dr Rogerio De Lemos
A cooperative Object-Oriented Style for Control Systems1999
Dr Rogerio De Lemos
A cooperative Object-Oriented Style for Control Systems1999
Dr Rogerio De Lemos
Dr Salah Merad
A Game Theoretic Solution for the Optimal Selection of Software Components1999
Dr Rogerio De Lemos
Dr Salah Merad
A Game Theoretic Solution for the Optimal Selection of Software Components1999
Emiliano Tramontana
Dr Rogerio De Lemos
A Reflective Approach for Describing Cooperation between Objects1999
Dr Rogerio De Lemos
A Reflective Approach for Describing Cooperation between Objects1999
Dr Rogerio De Lemos
Analysis of the Safety Properties of a System from the Viewpoint of the Interactions of its Components1999
Dr Salah Merad
Dr Rogerio De Lemos
Emeritus Professor Tom Anderson
Dynamic Selection of Software Components in the Face of Changing Requirements1999
Dr Rogerio De Lemos
Professor Alexander Romanovsky
Exception Handling in a Cooperative Object-Oriented Approach1999
Dr Rogerio De Lemos
Dr Amer Saeed
Safety analysis techniques for validating formal models during verification1999
Dr Rogerio De Lemos
Validating Formal Verification using Safety Analysis Techniques1999
Dr Rogerio De Lemos
Dr Amer Saeed
Validating Formal Verification using Safety Analysis Techniques1999
Dr Rogerio De Lemos
Professor Alexander Romanovsky
Coordinated Atomic Actions in Modelling Object Cooperation1998
Dr Rogerio De Lemos
Professor Alexander Romanovsky
Exception Handling in a Co-operative Object-Oriented Approach1998
Dr Rogerio De Lemos
Objecting 'Beyond Objects'1998
Dr Rogerio De Lemos
On the Integration of Requirements Analysis and Safety Analysis for Safety-Critical Systems1998
Dr Rogerio De Lemos
Dr Stephen Riddle
Dr Amer Saeed
An Object-Based Approach to Modelling and Analysis of Failure Properties1997
Dr Amer Saeed
Dr Rogerio De Lemos
Dr Stephen Riddle
An Object-Based Approach to Modelling and Analysis of Failure Properties1997
Dr Rogerio De Lemos
Professor Alexander Romanovsky
Coordinated Atomic Actions in Modelling Objects Cooperation1997
Dr Amer Saeed
Dr Rogerio De Lemos
Subjective Safety Analysis for Software Development1997
Dr Amer Saeed
Dr Rogerio De Lemos
Subjective Safety Analysis of Safety Requirements Specifications1997
Dr Rogerio De Lemos
Dr Amer Saeed
Emeritus Professor Tom Anderson
Analysis of Safety Requirements for a Chemical Batch Processing System1996
Dr Rogerio De Lemos
ERTL: An Extension to RTL for Requirements Analysis for Hybrid Systems1996
Emeritus Professor Tom Anderson
Dr Rogerio De Lemos
Dr Amer Saeed
Analysis of Safety Requirements for Process Control Systems1995
Dr Rogerio De Lemos
Dr Amer Saeed
Analysis of Safety Requirements in the Context of System Faults and Human Errors1995
Dr Rogerio De Lemos
Dr Amer Saeed
Emeritus Professor Tom Anderson
Analyzing Safety Requirements for Process-Control Systems1995
Dr Rogerio De Lemos
Dr Amer Saeed
Emeritus Professor Tom Anderson
Formal Techniques for Requirements Analysis for Safety-Critical Systems1995
Dr Rogerio De Lemos
Dr Amer Saeed
Emeritus Professor Tom Anderson
Formal Techniques for Requirements Analysys for Safety-Critical Systems1995
Dr Amer Saeed
Dr Rogerio De Lemos
Emeritus Professor Tom Anderson
On the Safety Analysis of Requirements Specifications for Safety-Critical Software1995
Dr Amer Saeed
Dr Rogerio De Lemos
Emeritus Professor Tom Anderson
Safety Analysis for Requirements Specifications: Methods and Techniques1995
Dr Rogerio De Lemos
[PhD Thesis] A Methodology For The Requirements Analysis of Critical Real-Time Systems1994
Dr Rogerio De Lemos
Dr Amer Saeed
Emeritus Professor Tom Anderson
An Approach for the Risk Analysis of Safety Specifications1994
Dr Rogerio De Lemos
Dr Amer Saeed
Emeritus Professor Tom Anderson
Formal Techniqes for Requirements Analysis for Safety-critical Systems1994
Dr Rogerio De Lemos
Dr Amer Saeed
Emeritus Professor Tom Anderson
On the Safety Analysis of Requirements Specifications1994
Dr Rogerio De Lemos
Dr Amer Saeed
Emeritus Professor Tom Anderson
Requirements Analysis for Safety-critical Systems: A Chemical Batch Processing Example1994
Dr Amer Saeed
Dr Rogerio De Lemos
Emeritus Professor Tom Anderson
Formal Techniques for Requirements Analysis for Safe Reactor Control1993
Dr Amer Saeed
Dr Rogerio De Lemos
Emeritus Professor Tom Anderson
Formal Techniques for Requirements Analysis for Safe Reactor Control1993
Emeritus Professor Tom Anderson
Dr Rogerio De Lemos
Professor John Fitzgerald
Dr Amer Saeed
On Formal Support for Industrial Scale Requirements Analysis1993
Emeritus Professor Tom Anderson
Dr Rogerio De Lemos
Professor John Fitzgerald
Dr Amer Saeed
On Formal Support for Industrial-scale Requirements Analysis1993
Dr Amer Saeed
Emeritus Professor Tom Anderson
Dr Rogerio De Lemos
Robust Requirements Specifications for Safety-Critical Systems1993
Dr Amer Saeed
Emeritus Professor Tom Anderson
Dr Rogerio De Lemos
Robust Requirements Specifications for Safety-Critical Systems1993
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 Example1993
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 Systems1992
Dr Amer Saeed
Dr Rogerio De Lemos
Emeritus Professor Tom Anderson
An Approach to the Assessment of Requirements Specifications for Safety-Critical Systems1992
Dr Rogerio De Lemos
Dr Amer Saeed
Exception Handling in Real-Time Software for Specification1992
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 Systems1991
Dr Rogerio De Lemos
Dr Paul Ezhilchelvan
Agreement on the Group Membership in Synchronous Distributed Systems1991
Dr Rogerio De Lemos
Dr Amer Saeed
Emeritus Professor Tom Anderson
Analysis of Timeliness Requirements in Safety-Critical Systems1991
Dr Rogerio De Lemos
Dr Amer Saeed
Emeritus Professor Tom Anderson
Analysis of Timeliness Requirements in Safety-Critical Systems1991
Dr Rogerio De Lemos
Dr Amer Saeed
Emeritus Professor Tom Anderson
Requirements Specification and Verification for Safety-critical Systems1991
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 Example1991
Dr Rogerio De Lemos
Dr Amer Saeed
Emeritus Professor Tom Anderson
Value Inconsistencies due to Time Uncertainties1991
Dr Paul Ezhilchelvan
Dr Rogerio De Lemos
A Robust Group Membership Algorithm for Distributed Real-Time Systems1990