| 2009 |
79 | | Betty H. C. Cheng,
Rogério de Lemos,
Holger Giese,
Paola Inverardi,
Jeff Magee:
Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar]
Springer 2009 |
78 | | Rogério de Lemos,
Jean-Charles Fabre,
Cristina Gacek,
Fabio Gadducci,
Maurice H. ter Beek:
Architecting Dependable Systems VI
Springer 2009 |
77 | | Antonio Casimiro,
Rogério de Lemos,
Cristina Gacek:
Workshop on Architecting Dependable Systems (WADS 2009).
DSN 2009: 598-599 |
76 | | Carlos Eduardo da Silva,
Rogério de Lemos:
Towards the use of dynamic workflows for coordinating self-adaptation of software systems.
ICSE Companion 2009: 383-386 |
75 | | 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: 463-464 |
74 | | 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 2009: 1-26 |
73 | | Jesper Andersson,
Rogério de Lemos,
Sam Malek,
Danny Weyns:
Modeling Dimensions of Self-Adaptive Software Systems.
Software Engineering for Self-Adaptive Systems 2009: 27-47 |
72 | | Patrick H. S. Brito,
Cecília M. F. Rubira,
Rogério de Lemos:
Verifying architectural variabilities in software fault tolerance techniques.
WICSA/ECSA 2009: 231-240 |
71 | | Rogério de Lemos:
On Architecting Software Fault Tolerance using Abstractions.
Electr. Notes Theor. Comput. Sci. 236: 21-32 (2009) |
70 | | 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. 24(2): 212-237 (2009) |
| 2008 |
69 | | Betty H. C. Cheng,
Rogério de Lemos,
Holger Giese,
Paola Inverardi,
Jeff Magee:
Software Engineering for Self-Adaptive Systems, 13.1. - 18.1.2008
Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008 |
68 | | Rogério de Lemos,
Felicita Di Giandomenico,
Cristina Gacek,
Henry Muccini,
Marlon Vieira:
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]
Springer 2008 |
67 | | Rogério de Lemos,
Jean-Charles Fabre,
Cristina Gacek:
Workshop on Architecting Dependable Systems (WADS 2008).
DSN 2008: 548-549 |
66 | | 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: 131-147 |
65 | | 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: 177-186 |
64 | | 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 |
63 | | 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 |
62 | | Cecília M. F. Rubira,
Rogério de Lemos:
Software Components, Architectures and Reuse.
J. UCS 14(8): 1179- (2008) |
| 2007 |
61 | | Rogério de Lemos,
Cristina Gacek,
Alexander B. Romanovsky:
Architecting Dependable Systems IV [the book is a result of the ICSE 2006 and DSN 2006 workshops]
Springer 2007 |
60 | | 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: 142-152 |
59 | | Rogério de Lemos,
Felicita Di Giandomenico,
Cristina Gacek:
Workshop on Architecting Dependable Systems (WADS 2007).
DSN 2007: 805-806 |
58 | | 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: 152-153 |
57 | | Rogério de Lemos:
Scaling Dependability and Security in Ad Hoc Networks.
LADC 2007: 237 |
56 | | 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: 75-94 |
55 | | 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 37(5): 873-886 (2007) |
| 2006 |
54 | | 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 |
53 | | Rogério de Lemos,
Cristina Gacek,
Alexander Romanovsky:
Workshop on Architecting Dependable Systems (WADS).
DSN 2006: 592 |
52 | | 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: 1015-1016 |
51 | | Rogério de Lemos:
Software architectures for dependable systems: a software engineering perspective.
ICSE 2006: 1065-1066 |
50 | | Rogério de Lemos:
Architectural Fault Tolerance Using Exception Handling.
WADS 2006: 142-162 |
49 | | Rogério de Lemos,
Paulo Asterio de Castro Guerra,
Cecília M. F. Rubira:
A Fault-Tolerant Architectural Approach for Dependable Systems.
IEEE Software 23(2): 80-87 (2006) |
48 | | Rogério de Lemos,
Cristina Gacek,
Alexander Romanovsky:
Architecting dependable systems.
Journal of Systems and Software 79(10): 1359-1360 (2006) |
47 | | 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 21(3): 239-248 (2006) |
| 2005 |
46 | | Rogério de Lemos,
Cristina Gacek,
Alexander B. Romanovsky:
Architecting Dependable Systems III [the book is a result of the ICSE 2004 and DSN 2004 workshops]
Springer 2005 |
45 | | 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: 1171-1175 |
44 | | Modupe Ayara,
Jon Timmis,
Rogério de Lemos,
Simon Forrest:
Immunising Automated Teller Machines.
ICARIS 2005: 404-417 |
43 | | Rogério de Lemos,
Alexander B. Romanovsky:
Workshop on architecting dependable systems (WADS 2005).
ICSE 2005: 691 |
42 | | Rogério de Lemos,
Paulo Asterio de Castro Guerra:
Software Architectures for Dependable Systems.
LADC 2005: 263-264 |
41 | | Rogério de Lemos:
The Conflict Between Self-* Capabilities and Predictability.
Self-star Properties in Complex Information Systems 2005: 219-228 |
40 | | Rogério de Lemos,
Cristina Gacek,
Alexander Romanovsky:
ICSE 2004 workshop on architecting dependable systems.
ACM SIGSOFT Software Engineering Notes 30(1): 3 (2005) |
39 | | Rogério de Lemos,
Alexander Romanovsky:
ICSE 2005 Workshop on Architecting Dependable Systems (WADS 2005).
ACM SIGSOFT Software Engineering Notes 30(4): 1-4 (2005) |
38 | | 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 39(2): 41-46 (2005) |
37 | | 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 34(1): 63-69 (2005) |
36 | | 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. 35(3): 195-236 (2005) |
| 2004 |
35 | | Rogério de Lemos,
Cristina Gacek,
Alexander B. Romanovsky:
Architecting Dependable Systems II - [the book is a result of the ICSE 2003 Workshop on Software Architectures for Dependable Systems]
Springer 2004 |
34 | | Rogério de Lemos,
Cristina Gacek,
Alexander B. Romanovsky:
Twin Workshops on Architecting Dependable Systems (WADS 2004).
DSN 2004: 901 |
33 | | Rogério de Lemos,
Cristina Gacek,
Alexander B. Romanovsky:
Twin Workshops on Architecting Dependable Systems (WADS 2004).
ICSE 2004: 758 |
32 | | Rogério de Lemos:
Architecting Web Services Applications for Improving Availability.
WADS 2004: 69-91 |
31 | | 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 29(5): 1-10 (2004) |
30 | | Rogério de Lemos:
Analysing failure behaviours in component interaction.
Journal of Systems and Software 71(1-2): 97-115 (2004) |
| 2003 |
29 | | Rogério de Lemos,
Cristina Gacek,
Alexander B. Romanovsky:
Architecting Dependable Systems [the book is a result of the ICSE 2002 Workshop on Software Architectures for Dependable Systems]
Springer 2003 |
28 | | Rogério de Lemos,
Taisy Silva Weber,
João Batista Camargo Jr.:
Dependable Computing, First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings
Springer 2003 |
27 | | 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: 375-378 |
26 | | Rogério de Lemos,
Cristina Gacek,
Alexander B. Romanovsky:
ICSE 2003 Workshop on Software Architectures for Dependable Systems.
ICSE 2003: 781-782 |
25 | | Paulo Asterio de Castro Guerra,
Alexander B. Romanovsky,
Rogério de Lemos:
Integrating COTS Software Components into Dependable Software Architectures.
ISORC 2003: 139-142 |
24 | | João Batista Camargo Jr.,
Rogério de Lemos:
Workshop on Safety: Computer Systems in Critical Applications.
LADC 2003: 362 |
23 | | 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 2003: 144-166 |
22 | | 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 28(6): 1 (2003) |
21 | | Rogério de Lemos,
Cristina Gacek,
Alexander Romanovsky:
ICSE 2003 workshop on software architectures for dependable systems.
ACM SIGSOFT Software Engineering Notes 28(6): 8 (2003) |
| 2002 |
20 | | Rogério de Lemos:
Novel Approaches in Dependable Computing.
EDCC 2002: 79-80 |
19 | | Rogério de Lemos,
Cristina Gacek,
Alexander B. Romanovsky:
ICSE 2002 workshop on architecting dependable systems.
ICSE 2002: 673-674 |
18 | | Paulo Asterio de Castro Guerra,
Cecília M. F. Rubira,
Rogério de Lemos:
A Fault-Tolerant Software Architecture for Component-Based Systems.
WADS 2002: 129-149 |
17 | | Rogério de Lemos,
Cristina Gacek,
Alexander Romanovsky:
Architectural Mismatch Tolerance.
WADS 2002: 175-194 |
16 | | Rogério de Lemos,
José Luiz Fiadeiro:
An architectural support for self-adaptive software for treating faults.
WOSS 2002: 39-42 |
| 2001 |
15 | | 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: 182-193 |
14 | | Rogério de Lemos:
Describing Evolving Dependable Systems Using Co-Operative Software Architectures.
ICSM 2001: 320- |
13 | | Rogério de Lemos,
Alexander B. Romanovsky:
Exception handling in the software lifecycle.
Comput. Syst. Sci. Eng. 16(2): 119-133 (2001) |
| 2000 |
12 | | Rogério de Lemos:
A Co-Operative Object-Oriented Architecture for Adaptive Systems.
ECBS 2000: 120-128 |
| 1999 |
11 | | Rogério de Lemos,
Alexander B. Romanovsky:
Exception Handling in a Cooperative Object-Oriented Approach.
ISORC 1999: 3-13 |
10 | | Rogério de Lemos,
Amer Saeed:
Safety Analysis Techniques for Validating Formal Models During Verification.
SAFECOMP 1999: 58-66 |
| 1998 |
9 | | Rogério de Lemos,
Alexander B. Romanovsky:
Coordinated Atomic Actions in Modelling Objects Cooperation.
ISORC 1998: 152-161 |
| 1995 |
8 | | Rogério de Lemos,
Jon G. Hall:
Extended RTL in the Specification and Verification of an Industrial Press.
Hybrid Systems 1995: 114-125 |
7 | | Rogério de Lemos,
Amer Saeed,
Tom Anderson:
Analyzing Safety Requirements for Process-Control Systems.
IEEE Software 12(3): 42-53 (1995) |
| 1992 |
6 | | Rogério de Lemos,
Amer Saeed,
Tom Anderson:
Analysis of Timeliness Requirements in Safety-Critical Systems.
FTRTFT 1992: 171-192 |
5 | | Tom Anderson,
Rogério de Lemos,
John S. Fitzgerald,
Amer Saeed:
On Foraml Support for Industrial-Scale Requirements Analysis.
Hybrid Systems 1992: 426-451 |
4 | | 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. 35(1): 30-40 (1992) |
| 1991 |
3 | | 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: 478-487 |
| 1990 |
2 | | Paul D. Ezhilchelvan,
Rogério de Lemos:
A Robust Group Membership Algorithm for Distributed Real-Time Systems.
IEEE Real-Time Systems Symposium 1990: 173-181 |
1 | | Rogério de Lemos,
Paul D. Ezhilchelvan:
Agreement on the Group Membership in Synchronous Distributed Systems.
WDAG 1990: 353-372 |