| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Christopher Bailey, David W. Chadwick, Rogério de Lemos |
Self-Adaptive Authorization Framework for Policy Based RBAC/ABAC Models.  |
DASC  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Eduardo da Silva, Rogério de Lemos |
Dynamic plans for integration testing of self-adaptive software systems.  |
SEAMS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes |
Workshop on assurances for self-adaptive systems (ASAS 2011).  |
SIGSOFT FSE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Danny Weyns, Sam Malek, Rogério de Lemos, Jesper Andersson (eds.) |
Self-Organizing Architectures, First International Workshop, SOAR 2009, Cambridge, UK, September 14, 2009, Revised Selected and Invited Papers  |
SOAR  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Casimiro, Rogério de Lemos, Cristina Gacek (eds.) |
Architecting Dependable Systems VII  |
WADS  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Betty H. C. Cheng, Rogério de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Müller, Mauro Pezzè, Richard Taylor |
Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010).  |
ICSE  |
2010 |
DBLP DOI BibTeX RDF |
autonomic computing, adaptive software |
| 1 | Rogério de Lemos |
On Architecting Software Fault Tolerance using Abstractions.  |
Electr. Notes Theor. Comput. Sci.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick H. S. Brito, Rogério de Lemos, Cecília M. F. Rubira, Eliane Martins |
Architecting Fault Tolerance with Exception Handling: Verification and Validation.  |
J. Comput. Sci. Technol.  |
2009 |
DBLP DOI BibTeX RDF |
fault-tolerant software architecture, model checking, exception handling, model-based test, software verification and validation |
| 1 | Patrick H. S. Brito, Rogério de Lemos, Eliane Martins, Regina Lúcia de Oliveira Moraes, Cecília M. F. Rubira |
Architectural-Based Validation of Fault-Tolerant Software.  |
LADC  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick H. S. Brito, Cecília M. F. Rubira, Rogério de Lemos |
Verifying architectural variabilities in software fault tolerance techniques.  |
WICSA/ECSA  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Casimiro, Rogério de Lemos, Cristina Gacek |
Workshop on Architecting Dependable Systems (WADS 2009).  |
DSN  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee, Jesper Andersson, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Giovanna Di Marzo Serugendo, Schahram Dustdar, Anthony Finkelstein, Cristina Gacek, Kurt Geihs, Vincenzo Grassi, Gabor Karsai, Holger M. Kienle, Jeff Kramer, Marin Litoiu, Sam Malek, Raffaela Mirandola, Hausi A. Müller, Sooyong Park, Mary Shaw, Matthias Tichy, Massimo Tivoli, Danny Weyns, Jon Whittle |
Software Engineering for Self-Adaptive Systems: A Research Roadmap.  |
Software Engineering for Self-Adaptive Systems ![In: Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar], pp. 1-26, 2009, Springer, 978-3-642-02160-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesper Andersson, Rogério de Lemos, Sam Malek, Danny Weyns |
Modeling Dimensions of Self-Adaptive Software Systems.  |
Software Engineering for Self-Adaptive Systems ![In: Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar], pp. 27-47, 2009, Springer, 978-3-642-02160-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Self-*, Modeling, Self-Adaptive, Dynamic Adaptation |
| 1 | Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee (eds.) |
Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar]  |
Software Engineering for Self-Adaptive Systems  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Betty H. C. Cheng, Rogério de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard Taylor |
SEAMS 2009: Software engineering for adaptive and self-managing systems.  |
ICSE Companion  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesper Andersson, Rogério de Lemos, Sam Malek, Danny Weyns |
Reflecting on self-adaptive software systems.  |
SEAMS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice H. ter Beek (eds.) |
Architecting Dependable Systems VI  |
WADS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Eduardo da Silva, Rogério de Lemos |
Using dynamic workflows for coordinating self-adaptation of software systems.  |
SEAMS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Eduardo da Silva, Rogério de Lemos |
Towards the use of dynamic workflows for coordinating self-adaptation of software systems.  |
ICSE Companion  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Cecília M. F. Rubira, Rogério de Lemos |
Software Components, Architectures and Reuse.  |
J. UCS  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Patrick H. S. Brito, Rogério de Lemos, Cecília M. F. Rubira |
Development of Fault-Tolerant Software Systems Based on Architectural Abstractions.  |
ECSA  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Henrique da S. Brito, Rogério de Lemos, Cecília M. F. Rubira |
Verification of Exception Control Flows and Handlers Based on Architectural Scenarios.  |
HASE  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek |
Workshop on Architecting Dependable Systems (WADS 2008).  |
DSN  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Betty H. C. Cheng, Holger Giese, Paola Inverardi, Jeff Magee, Rogério de Lemos |
08031 Abstracts Collection -- Software Engineering for Self-Adaptive Systems.  |
Software Engineering for Self-Adaptive Systems  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Betty H. C. Cheng, Holger Giese, Paola Inverardi, Jeff Magee, Rogério de Lemos |
08031 -- Software Engineering for Self-Adaptive Systems: A Research Road Map.  |
Software Engineering for Self-Adaptive Systems  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee (eds.) |
Software Engineering for Self-Adaptive Systems, 13.1. - 18.1.2008  |
Software Engineering for Self-Adaptive Systems  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Rogério de Lemos, Felicita Di Giandomenico, Cristina Gacek, Henry Muccini, Marlon Vieira (eds.) |
Architecting Dependable Systems V [the book is a result from the WADS 2007 and the Third Workshop on the Role of Software Architecture for Testing and Analysis]  |
WADS  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Rogério de Lemos, Jonathan Timmis, Modupe Ayara, Simon Forrest |
Immune-Inspired Adaptable Error Detection for Automated Teller Machines.  |
IEEE Transactions on Systems, Man, and Cybernetics, Part C  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rogério de Lemos |
Scaling Dependability and Security in Ad Hoc Networks.  |
LADC  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Henrique da S. Brito, Rogério de Lemos, Eliane Martins, Cecília M. F. Rubira |
Architecture-Centric Fault Tolerance with Exception Handling.  |
LADC  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rogério de Lemos, Felicita Di Giandomenico, Cristina Gacek |
Workshop on Architecting Dependable Systems (WADS 2007).  |
DSN  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rudi Ball, James Grant, Jonathan So, Victoria Spurrett, Rogério de Lemos |
Dependable and Secure Distributed Storage System for Ad Hoc Networks.  |
ADHOC-NOW  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Betty H. C. Cheng, Rogério de Lemos, Stephen Fickas, David Garlan, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard Taylor |
SEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems.  |
SEAMS  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Betty H. C. Cheng, Rogério de Lemos, Stephen Fickas, David Garlan, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard Taylor |
SEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems.  |
ICSE Companion  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky (eds.) |
Architecting Dependable Systems IV [the book is a result of the ICSE 2006 and DSN 2006 workshops]  |
WADS  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Rogério de Lemos, Paulo Asterio de Castro Guerra, Cecília M. F. Rubira |
A Fault-Tolerant Architectural Approach for Dependable Systems.  |
IEEE Software  |
2006 |
DBLP DOI BibTeX RDF |
fault tolerance, reliability, software architecture, dependability, exception handling |
| 1 | Julie A. McCann, Rogério de Lemos, Markus C. Huebscher, Omer F. Rana, Andreas Wombacher |
Can self-managed systems be trusted? Some views and trends.  |
Knowledge Eng. Review  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Rogério de Lemos, Cristina Gacek, Alexander Romanovsky |
Architecting dependable systems.  |
Journal of Systems and Software  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Rogério de Lemos, Cristina Gacek, Alexander Romanovsky |
Workshop on Architecting Dependable Systems (WADS).  |
DSN  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Calton Pu, Jim Johnson, Rogério de Lemos, Andreas Reuter, David Taylor, Irfan Zakiuddin |
06121 Report: Break Out Session on Guaranteed Execution.  |
Atomicity: A Unifying Concept in Computer Science  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Rogério de Lemos |
Architectural Fault Tolerance Using Exception Handling.  |
WADS ![In: Architecting Dependable Systems IV [the book is a result of the ICSE 2006 and DSN 2006 workshops], pp. 142-162, 2006, Springer, 978-3-540-74033-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Rogério de Lemos |
Software architectures for dependable systems: a software engineering perspective.  |
ICSE  |
2006 |
DBLP DOI BibTeX RDF |
fault-tolerance, software architecture, dependability, trustworthiness |
| 1 | Betty H. C. Cheng, David Garlan, Rogério de Lemos, Jeff Magee, Richard Taylor, Stephen Fickas, Hausi A. Müller |
Software engineering for adaptive and self-managing systems.  |
ICSE  |
2006 |
DBLP DOI BibTeX RDF |
self-adaptive, self-healing, autonomic, self-management, self-optimizing |
| 1 | Cecília M. F. Rubira, Rogério de Lemos, Gisele Rodrigues Mesquita Ferreira, Fernando Castor Filho |
Exception handling in the development of dependable component-based systems.  |
Softw., Pract. Exper.  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Rogério de Lemos, Eliane Martins |
Dependable Computing.  |
J. Braz. Comp. Soc.  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum, Alan Fekete, Marie-Claude Gaudel, Henry F. Korth, Rogério de Lemos, J. Eliot B. Moss, Ravi Rajwar, Krithi Ramamritham, Brian Randell, Luís Rodrigues |
The atomic manifesto: a story in four quarks.  |
SIGMOD Record  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum, Alan Fekete, Marie-Claude Gaudel, Henry F. Korth, Rogério de Lemos, J. Eliot B. Moss, Ravi Rajwar, Krithi Ramamritham, Brian Randell, Luís Rodrigues |
The atomic manifesto: a story in four quarks.  |
Operating Systems Review  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Rogério de Lemos, Cristina Gacek, Alexander Romanovsky |
ICSE 2004 workshop on architecting dependable systems.  |
ACM SIGSOFT Software Engineering Notes  |
2005 |
DBLP DOI BibTeX RDF |
software architectures, dependability |
| 1 | Rogério de Lemos, Alexander Romanovsky |
ICSE 2005 Workshop on Architecting Dependable Systems (WADS 2005).  |
ACM SIGSOFT Software Engineering Notes  |
2005 |
DBLP DOI BibTeX RDF |
software architectures, dependability |
| 1 | Rogério de Lemos, Paulo Asterio de Castro Guerra |
Software Architectures for Dependable Systems.  |
LADC  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Rogério de Lemos |
The Conflict Between Self-* Capabilities and Predictability.  |
Self-star Properties in Complex Information Systems ![In: Self-star Properties in Complex Information Systems, Conceptual and Practical Foundations [the book is a result from a workshop at Bertinoro, Italy, Summer 2004], pp. 219-228, 2005, Springer, 3-540-26009-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Modupe Ayara, Jon Timmis, Rogério de Lemos, Simon Forrest |
Immunising Automated Teller Machines.  |
ICARIS  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Rogério de Lemos, Alexander B. Romanovsky |
Workshop on architecting dependable systems (WADS 2005).  |
ICSE  |
2005 |
DBLP DOI BibTeX RDF |
fault-tolerance, software architecture, dependability, trustworthiness |
| 1 | Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky (eds.) |
Architecting Dependable Systems III [the book is a result of the ICSE 2004 and DSN 2004 workshops]  |
WADS  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Rogério de Lemos, Julie A. McCann, Omer F. Rana, Andreas Wombacher, Markus C. Huebscher |
Academic Panel: "Can Self-Managed Systems Be Trusted?".  |
DEXA Workshops  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Rogério de Lemos |
Analysing failure behaviours in component interaction.  |
Journal of Systems and Software  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Choren, Alessandro Garcia, Carlos José Pereira de Lucena, Martin L. Griss, David Chenho Kung, Naftaly H. Minsky, Alexander Romanovsky, Jaelson Brelaz de Castro, Rogério de Lemos, Danny Weyns |
Software engineering for large-scale multi-agent systems - SELMAS 2004: workshop report.  |
ACM SIGSOFT Software Engineering Notes  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky |
Twin Workshops on Architecting Dependable Systems (WADS 2004).  |
DSN  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Rogério de Lemos |
Architecting Web Services Applications for Improving Availability.  |
WADS ![In: Architecting Dependable Systems III [the book is a result of the ICSE 2004 and DSN 2004 workshops], pp. 69-91, 2004, Springer, 3-540-28968-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky |
Twin Workshops on Architecting Dependable Systems (WADS 2004).  |
ICSE  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky (eds.) |
Architecting Dependable Systems II - [the book is a result of the ICSE 2003 Workshop on Software Architectures for Dependable Systems]  |
WADS  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Rogério de Lemos, Cristina Gacek, Alexander Romanovsky |
ICSE 2003 workshop on software architectures for dependable systems.  |
ACM SIGSOFT Software Engineering Notes  |
2003 |
DBLP DOI BibTeX RDF |
software architectures, dependability |
| 1 | Alessandro Garcia, José Alberto R. P. Sardinha, Carlos José Pereira de Lucena, Jaelson Brelaz de Castro, Julio Cesar Sampaio do Prado Leite, Ruy Luiz Milidiú, Alexander Romanovsky, Martin L. Griss, Rogério de Lemos, Anna Perini |
Software engineering for large-scale multi-agent systems: SELMAS 2003: workshop report.  |
ACM SIGSOFT Software Engineering Notes  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Rogério de Lemos, Taisy Silva Weber, João Batista Camargo Jr. (eds.) |
Dependable Computing, First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings  |
LADC  |
2003 |
DBLP BibTeX RDF |
|
| 1 | João Batista Camargo Jr., Rogério de Lemos |
Workshop on Safety: Computer Systems in Critical Applications.  |
LADC  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Asterio de Castro Guerra, Alexander B. Romanovsky, Rogério de Lemos |
Integrating COTS Software Components into Dependable Software Architectures. (PDF / PS)  |
ISORC  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky |
ICSE 2003 Workshop on Software Architectures for Dependable Systems. (PDF / PS)  |
ICSE  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky (eds.) |
Architecting Dependable Systems [the book is a result of the ICSE 2002 Workshop on Software Architectures for Dependable Systems]  |
WADS  |
2003 |
DBLP BibTeX RDF |
|
| 1 | Paulo Asterio de Castro Guerra, Cecília M. F. Rubira, Alexander B. Romanovsky, Rogério de Lemos |
A Dependable Architecture for COTS-Based Software Systems Using Protective Wrappers.  |
WADS ![In: Architecting Dependable Systems II - [the book is a result of the ICSE 2003 Workshop on Software Architectures for Dependable Systems], pp. 144-166, 2003, Springer, 3-540-23168-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Asterio de Castro Guerra, Cecília M. F. Rubira, Alexander B. Romanovsky, Rogério de Lemos |
A fault-tolerant software architecture for COTS-based software systems.  |
ESEC / SIGSOFT FSE  |
2003 |
DBLP DOI BibTeX RDF |
COTS-based, fault-tolerance, software architecture |
| 1 | Rogério de Lemos, José Luiz Fiadeiro |
An architectural support for self-adaptive software for treating faults.  |
WOSS  |
2002 |
DBLP DOI BibTeX RDF |
fault treatment, fault tolerance, software architectures, dependability, dynamic adaptation |
| 1 | Rogério de Lemos |
Novel Approaches in Dependable Computing.  |
EDCC  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky |
ICSE 2002 workshop on architecting dependable systems.  |
ICSE  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Rogério de Lemos, Cristina Gacek, Alexander Romanovsky |
Architectural Mismatch Tolerance.  |
WADS ![In: Architecting Dependable Systems [the book is a result of the ICSE 2002 Workshop on Software Architectures for Dependable Systems], pp. 175-194, 2002, Springer, 978-3-540-40727-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Asterio de Castro Guerra, Cecília M. F. Rubira, Rogério de Lemos |
A Fault-Tolerant Software Architecture for Component-Based Systems.  |
WADS ![In: Architecting Dependable Systems [the book is a result of the ICSE 2002 Workshop on Software Architectures for Dependable Systems], pp. 129-149, 2002, Springer, 978-3-540-40727-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Rogério de Lemos, Alexander B. Romanovsky |
Exception handling in the software lifecycle.  |
Comput. Syst. Sci. Eng.  |
2001 |
DBLP BibTeX RDF |
|
| 1 | Gisele Rodrigues Mesquita Ferreira, Cecília M. F. Rubira, Rogério de Lemos |
Explicit Representation of Exception Handling in the Development of Dependable Component-Based Systems.  |
HASE  |
2001 |
DBLP BibTeX RDF |
|
| 1 | Rogério de Lemos |
Describing Evolving Dependable Systems Using Co-Operative Software Architectures. (PDF / PS)  |
ICSM  |
2001 |
DBLP DOI BibTeX RDF |
software architecture, dependability, evolution, exception handling, timed automata |
| 1 | Rogério de Lemos |
A Co-Operative Object-Oriented Architecture for Adaptive Systems.  |
ECBS  |
2000 |
DBLP DOI BibTeX RDF |
collaborations, software architectures, objects, formal models, architectural styles, run-time adaptability |
| 1 | Rogério de Lemos, Amer Saeed |
Safety Analysis Techniques for Validating Formal Models During Verification.  |
SAFECOMP  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Rogério de Lemos, Alexander B. Romanovsky |
Exception Handling in a Cooperative Object-Oriented Approach.  |
ISORC  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Rogério de Lemos, Alexander B. Romanovsky |
Coordinated Atomic Actions in Modelling Objects Cooperation.  |
ISORC  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Rogério de Lemos, Amer Saeed, Tom Anderson |
Analyzing Safety Requirements for Process-Control Systems.  |
IEEE Software  |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Rogério de Lemos, Jon G. Hall |
Extended RTL in the Specification and Verification of an Industrial Press.  |
Hybrid Systems  |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Rogério de Lemos, Amer Saeed, Tom Anderson |
A Train Set as a Case Study for the Requirements Analysis of Safety-Critical Systems.  |
Comput. J.  |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Anderson, Rogério de Lemos, John S. Fitzgerald, Amer Saeed |
On Foraml Support for Industrial-Scale Requirements Analysis.  |
Hybrid Systems  |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Rogério de Lemos, Amer Saeed, Tom Anderson |
Analysis of Timeliness Requirements in Safety-Critical Systems.  |
FTRTFT  |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Amer Saeed, Rogério de Lemos, Tom Anderson |
The Role of Formal Methods in the Requirements Analysis of Safety-Critical Systems: A Train Set Example.  |
FTCS  |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Rogério de Lemos, Paul D. Ezhilchelvan |
Agreement on the Group Membership in Synchronous Distributed Systems.  |
WDAG  |
1990 |
DBLP DOI BibTeX RDF |
fault-tolerance, distributed algorithms, group membership, broadcast networks |
| 1 | Paul D. Ezhilchelvan, Rogério de Lemos |
A Robust Group Membership Algorithm for Distributed Real-Time Systems.  |
IEEE Real-Time Systems Symposium  |
1990 |
DBLP BibTeX RDF |
|