The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Rogério de Lemos" ( http://dblp.L3S.de/Authors/Rogério_de_Lemos )

  Author page on DBLP  Author page in RDF  Community of Rogério de Lemos in ASPL-2

Publication years (Num. hits)
1990-2001 (15) 2002-2004 (20) 2005-2006 (20) 2007-2008 (16) 2009-2010 (16) 2011 (3)
Publication types (Num. hits)
article(20) inproceedings(59) proceedings(11)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 54 occurrences of 28 keywords

Results
Found 90 publication records. Showing 90 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Christopher Bailey, David W. Chadwick, Rogério de Lemos Self-Adaptive Authorization Framework for Policy Based RBAC/ABAC Models. Search on Bibsonomy DASC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Carlos Eduardo da Silva, Rogério de Lemos Dynamic plans for integration testing of self-adaptive software systems. Search on Bibsonomy SEAMS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes Workshop on assurances for self-adaptive systems (ASAS 2011). Search on Bibsonomy SIGSOFT FSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Danny 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 Search on Bibsonomy SOAR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Antonio Casimiro, Rogério de Lemos, Cristina Gacek (eds.) Architecting Dependable Systems VII Search on Bibsonomy WADS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Betty 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). Search on Bibsonomy ICSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF autonomic computing, adaptive software
1Rogério de Lemos On Architecting Software Fault Tolerance using Abstractions. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Patrick H. S. Brito, Rogério de Lemos, Cecília M. F. Rubira, Eliane Martins Architecting Fault Tolerance with Exception Handling: Verification and Validation. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF fault-tolerant software architecture, model checking, exception handling, model-based test, software verification and validation
1Patrick 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. Search on Bibsonomy LADC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Patrick H. S. Brito, Cecília M. F. Rubira, Rogério de Lemos Verifying architectural variabilities in software fault tolerance techniques. Search on Bibsonomy WICSA/ECSA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Antonio Casimiro, Rogério de Lemos, Cristina Gacek Workshop on Architecting Dependable Systems (WADS 2009). Search on Bibsonomy DSN The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Betty 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. Search on Bibsonomy Software Engineering for Self-Adaptive Systems The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jesper Andersson, Rogério de Lemos, Sam Malek, Danny Weyns Modeling Dimensions of Self-Adaptive Software Systems. Search on Bibsonomy Software Engineering for Self-Adaptive Systems The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Self-*, Modeling, Self-Adaptive, Dynamic Adaptation
1Betty 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] Search on Bibsonomy Software Engineering for Self-Adaptive Systems The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Betty 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. Search on Bibsonomy ICSE Companion The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jesper Andersson, Rogério de Lemos, Sam Malek, Danny Weyns Reflecting on self-adaptive software systems. Search on Bibsonomy SEAMS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice H. ter Beek (eds.) Architecting Dependable Systems VI Search on Bibsonomy WADS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Carlos Eduardo da Silva, Rogério de Lemos Using dynamic workflows for coordinating self-adaptation of software systems. Search on Bibsonomy SEAMS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Carlos Eduardo da Silva, Rogério de Lemos Towards the use of dynamic workflows for coordinating self-adaptation of software systems. Search on Bibsonomy ICSE Companion The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Cecília M. F. Rubira, Rogério de Lemos Software Components, Architectures and Reuse. Search on Bibsonomy J. UCS The full citation details ... 2008 DBLP  BibTeX  RDF
1Patrick H. S. Brito, Rogério de Lemos, Cecília M. F. Rubira Development of Fault-Tolerant Software Systems Based on Architectural Abstractions. Search on Bibsonomy ECSA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Patrick Henrique da S. Brito, Rogério de Lemos, Cecília M. F. Rubira Verification of Exception Control Flows and Handlers Based on Architectural Scenarios. Search on Bibsonomy HASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek Workshop on Architecting Dependable Systems (WADS 2008). Search on Bibsonomy DSN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Betty H. C. Cheng, Holger Giese, Paola Inverardi, Jeff Magee, Rogério de Lemos 08031 Abstracts Collection -- Software Engineering for Self-Adaptive Systems. Search on Bibsonomy Software Engineering for Self-Adaptive Systems The full citation details ... 2008 DBLP  BibTeX  RDF
1Betty H. C. Cheng, Holger Giese, Paola Inverardi, Jeff Magee, Rogério de Lemos 08031 -- Software Engineering for Self-Adaptive Systems: A Research Road Map. Search on Bibsonomy Software Engineering for Self-Adaptive Systems The full citation details ... 2008 DBLP  BibTeX  RDF
1Betty 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 Search on Bibsonomy Software Engineering for Self-Adaptive Systems The full citation details ... 2008 DBLP  BibTeX  RDF
1Rogé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] Search on Bibsonomy WADS The full citation details ... 2008 DBLP  BibTeX  RDF
1Rogério de Lemos, Jonathan Timmis, Modupe Ayara, Simon Forrest Immune-Inspired Adaptable Error Detection for Automated Teller Machines. Search on Bibsonomy IEEE Transactions on Systems, Man, and Cybernetics, Part C The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Rogério de Lemos Scaling Dependability and Security in Ad Hoc Networks. Search on Bibsonomy LADC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Patrick Henrique da S. Brito, Rogério de Lemos, Eliane Martins, Cecília M. F. Rubira Architecture-Centric Fault Tolerance with Exception Handling. Search on Bibsonomy LADC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Rogério de Lemos, Felicita Di Giandomenico, Cristina Gacek Workshop on Architecting Dependable Systems (WADS 2007). Search on Bibsonomy DSN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Rudi Ball, James Grant, Jonathan So, Victoria Spurrett, Rogério de Lemos Dependable and Secure Distributed Storage System for Ad Hoc Networks. Search on Bibsonomy ADHOC-NOW The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Betty 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. Search on Bibsonomy SEAMS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Betty 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. Search on Bibsonomy ICSE Companion The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Rogé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] Search on Bibsonomy WADS The full citation details ... 2007 DBLP  BibTeX  RDF
1Rogério de Lemos, Paulo Asterio de Castro Guerra, Cecília M. F. Rubira A Fault-Tolerant Architectural Approach for Dependable Systems. Search on Bibsonomy IEEE Software The full citation details ... 2006 DBLP  DOI  BibTeX  RDF fault tolerance, reliability, software architecture, dependability, exception handling
1Julie A. McCann, Rogério de Lemos, Markus C. Huebscher, Omer F. Rana, Andreas Wombacher Can self-managed systems be trusted? Some views and trends. Search on Bibsonomy Knowledge Eng. Review The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Rogério de Lemos, Cristina Gacek, Alexander Romanovsky Architecting dependable systems. Search on Bibsonomy Journal of Systems and Software The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Rogério de Lemos, Cristina Gacek, Alexander Romanovsky Workshop on Architecting Dependable Systems (WADS). Search on Bibsonomy DSN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Calton Pu, Jim Johnson, Rogério de Lemos, Andreas Reuter, David Taylor, Irfan Zakiuddin 06121 Report: Break Out Session on Guaranteed Execution. Search on Bibsonomy Atomicity: A Unifying Concept in Computer Science The full citation details ... 2006 DBLP  BibTeX  RDF
1Rogério de Lemos Architectural Fault Tolerance Using Exception Handling. Search on Bibsonomy WADS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Rogério de Lemos Software architectures for dependable systems: a software engineering perspective. Search on Bibsonomy ICSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF fault-tolerance, software architecture, dependability, trustworthiness
1Betty 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. Search on Bibsonomy ICSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF self-adaptive, self-healing, autonomic, self-management, self-optimizing
1Cecí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. Search on Bibsonomy Softw., Pract. Exper. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Rogério de Lemos, Eliane Martins Dependable Computing. Search on Bibsonomy J. Braz. Comp. Soc. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Cliff 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. Search on Bibsonomy SIGMOD Record The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Cliff 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. Search on Bibsonomy Operating Systems Review The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Rogério de Lemos, Cristina Gacek, Alexander Romanovsky ICSE 2004 workshop on architecting dependable systems. Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 2005 DBLP  DOI  BibTeX  RDF software architectures, dependability
1Rogério de Lemos, Alexander Romanovsky ICSE 2005 Workshop on Architecting Dependable Systems (WADS 2005). Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 2005 DBLP  DOI  BibTeX  RDF software architectures, dependability
1Rogério de Lemos, Paulo Asterio de Castro Guerra Software Architectures for Dependable Systems. Search on Bibsonomy LADC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Rogério de Lemos The Conflict Between Self-* Capabilities and Predictability. Search on Bibsonomy Self-star Properties in Complex Information Systems The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Modupe Ayara, Jon Timmis, Rogério de Lemos, Simon Forrest Immunising Automated Teller Machines. Search on Bibsonomy ICARIS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Rogério de Lemos, Alexander B. Romanovsky Workshop on architecting dependable systems (WADS 2005). Search on Bibsonomy ICSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF fault-tolerance, software architecture, dependability, trustworthiness
1Rogé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] Search on Bibsonomy WADS The full citation details ... 2005 DBLP  BibTeX  RDF
1Rogério de Lemos, Julie A. McCann, Omer F. Rana, Andreas Wombacher, Markus C. Huebscher Academic Panel: "Can Self-Managed Systems Be Trusted?". Search on Bibsonomy DEXA Workshops The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Rogério de Lemos Analysing failure behaviours in component interaction. Search on Bibsonomy Journal of Systems and Software The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Ricardo 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. Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky Twin Workshops on Architecting Dependable Systems (WADS 2004). Search on Bibsonomy DSN The full citation details ... 2004 DBLP  BibTeX  RDF
1Rogério de Lemos Architecting Web Services Applications for Improving Availability. Search on Bibsonomy WADS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky Twin Workshops on Architecting Dependable Systems (WADS 2004). Search on Bibsonomy ICSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Rogé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] Search on Bibsonomy WADS The full citation details ... 2004 DBLP  BibTeX  RDF
1Rogério de Lemos, Cristina Gacek, Alexander Romanovsky ICSE 2003 workshop on software architectures for dependable systems. Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 2003 DBLP  DOI  BibTeX  RDF software architectures, dependability
1Alessandro 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. Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Rogé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 Search on Bibsonomy LADC The full citation details ... 2003 DBLP  BibTeX  RDF
1João Batista Camargo Jr., Rogério de Lemos Workshop on Safety: Computer Systems in Critical Applications. Search on Bibsonomy LADC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Paulo Asterio de Castro Guerra, Alexander B. Romanovsky, Rogério de Lemos Integrating COTS Software Components into Dependable Software Architectures. (PDF / PS) Search on Bibsonomy ISORC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky ICSE 2003 Workshop on Software Architectures for Dependable Systems. (PDF / PS) Search on Bibsonomy ICSE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Rogé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] Search on Bibsonomy WADS The full citation details ... 2003 DBLP  BibTeX  RDF
1Paulo 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. Search on Bibsonomy WADS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Paulo 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. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF COTS-based, fault-tolerance, software architecture
1Rogério de Lemos, José Luiz Fiadeiro An architectural support for self-adaptive software for treating faults. Search on Bibsonomy WOSS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF fault treatment, fault tolerance, software architectures, dependability, dynamic adaptation
1Rogério de Lemos Novel Approaches in Dependable Computing. Search on Bibsonomy EDCC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky ICSE 2002 workshop on architecting dependable systems. Search on Bibsonomy ICSE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Rogério de Lemos, Cristina Gacek, Alexander Romanovsky Architectural Mismatch Tolerance. Search on Bibsonomy WADS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Paulo Asterio de Castro Guerra, Cecília M. F. Rubira, Rogério de Lemos A Fault-Tolerant Software Architecture for Component-Based Systems. Search on Bibsonomy WADS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Rogério de Lemos, Alexander B. Romanovsky Exception handling in the software lifecycle. Search on Bibsonomy Comput. Syst. Sci. Eng. The full citation details ... 2001 DBLP  BibTeX  RDF
1Gisele 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. Search on Bibsonomy HASE The full citation details ... 2001 DBLP  BibTeX  RDF
1Rogério de Lemos Describing Evolving Dependable Systems Using Co-Operative Software Architectures. (PDF / PS) Search on Bibsonomy ICSM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF software architecture, dependability, evolution, exception handling, timed automata
1Rogério de Lemos A Co-Operative Object-Oriented Architecture for Adaptive Systems. Search on Bibsonomy ECBS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF collaborations, software architectures, objects, formal models, architectural styles, run-time adaptability
1Rogério de Lemos, Amer Saeed Safety Analysis Techniques for Validating Formal Models During Verification. Search on Bibsonomy SAFECOMP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Rogério de Lemos, Alexander B. Romanovsky Exception Handling in a Cooperative Object-Oriented Approach. Search on Bibsonomy ISORC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Rogério de Lemos, Alexander B. Romanovsky Coordinated Atomic Actions in Modelling Objects Cooperation. Search on Bibsonomy ISORC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Rogério de Lemos, Amer Saeed, Tom Anderson Analyzing Safety Requirements for Process-Control Systems. Search on Bibsonomy IEEE Software The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Rogério de Lemos, Jon G. Hall Extended RTL in the Specification and Verification of an Industrial Press. Search on Bibsonomy Hybrid Systems The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Rogério de Lemos, Amer Saeed, Tom Anderson A Train Set as a Case Study for the Requirements Analysis of Safety-Critical Systems. Search on Bibsonomy Comput. J. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Tom Anderson, Rogério de Lemos, John S. Fitzgerald, Amer Saeed On Foraml Support for Industrial-Scale Requirements Analysis. Search on Bibsonomy Hybrid Systems The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Rogério de Lemos, Amer Saeed, Tom Anderson Analysis of Timeliness Requirements in Safety-Critical Systems. Search on Bibsonomy FTRTFT The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Amer Saeed, Rogério de Lemos, Tom Anderson The Role of Formal Methods in the Requirements Analysis of Safety-Critical Systems: A Train Set Example. Search on Bibsonomy FTCS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Rogério de Lemos, Paul D. Ezhilchelvan Agreement on the Group Membership in Synchronous Distributed Systems. Search on Bibsonomy WDAG The full citation details ... 1990 DBLP  DOI  BibTeX  RDF fault-tolerance, distributed algorithms, group membership, broadcast networks
1Paul D. Ezhilchelvan, Rogério de Lemos A Robust Group Membership Algorithm for Distributed Real-Time Systems. Search on Bibsonomy IEEE Real-Time Systems Symposium The full citation details ... 1990 DBLP  BibTeX  RDF
Displaying result #1 - #90 of 90 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.