Publications

(2024). Semistructured Merge with Language-Specific Syntactic Separators. 39th IEEE/ACM International Conference on Automated Software Engineering (ASE 2024).

(2024). Semantic conflict detection via dynamic analysis. 28th Brazilian Symposium on Programming Languages (SBLP 2024).

PDF Slides

(2024). Lightweight Semantic Conflict Detection with Static Analysis. 46th International Conference on Software Engineering (ICSE 2024), ICSE Companion.

PDF Poster

(2022). The Private Life of Merge Conflicts. SBES 2022: XXXVI Brazilian Symposium on Software Engineering.

PDF Replication package

(2022). Build conflicts in the wild. Journal of Software-Evolution and Process.

PDF Replication package

(2021). Semi-Automated Test-Case Propagation in Fork Ecosystems. 43rd International Conference on Software Engineering (ICSE 2021), New Ideas and Emerging Results track.

PDF

(2020). Safe Evolution of Product Lines Using Configuration Knowledge Laws. 23rd Brazilian Symposium on Formal Methods (SBMF 2020).

PDF

(2020). Detecting Semantic Conflicts via Automated Behavior Change Detection. 36th IEEE International Conference on Software Maintenance and Evolution (ICSME 2020).

PDF Replication package

(2019). Semistructured Merge in JavaScript Systems. 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019).

PDF Replication package

(2019). Improving the prediction of files changed by programming tasks. XIII Brazilian Symposium on Software Components, Architectures, and Reuse (SBCARS 2019).

PDF

(2017). Should We Replace Our Merge Tools?. 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSEC).

PDF

(2017). Products go Green: Worst-Case Energy Consumption in Software Product Lines. 21st International Systems and Software Product Line Conference (SPLC 2017).

PDF

(2017). Evaluating and improving semistructured merge. Proceedings of the ACM on Programming Languages.

PDF

(2017). Evaluating and Improving Semistructured Merge. ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA’17).

PDF Video

(2016). Safe Evolution of Software Product Lines: Feature Extraction Scenarios. X Simpósio Brasileiro de Componentes, Arquitetura e Reutilização de Software (SBCARS 2016).

PDF

(2016). Partially Safe Evolution of Software Product Lines. 20th International Software Product Line Conference (SPLC 2016).

PDF

(2015). Safe Evolution of Product Populations and Multi Product Lines. 19th International Software Product Line Conference (SPLC 2015).

(2015). Improving Performance and Maintainability of ObjectCloning with Lazy Clones: An Empirical Evaluation. 9th International Symposium on Empirical Software Engineering and Measurement (ESEM 2015).

(2015). Assessing Semistructured Merge in Version Control Systems: A Replicated Experiment. 9th International Symposium on Empirical Software Engineering and Measurement (ESEM 2015).

(2015). A Product Line of Theories for Reasoning about Safe Evolution of Product Lines. 19th International Software Product Line Conference (SPLC 2015).

(2014). SPLLIFT- Statically analyzing software product lines in minutes instead of years. Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI).

(2014). Semistructured Merge on Git: An Assessment. 11th Workshop on Software Modularity (WMod 2014).

(2014). Feature Maintenance with Emergent Interfaces. 36th International Conference on Software Engineering (ICSE 2014).

(2014). A Toolset for Checking SPL Refinements. Journal of Universal Computer Science.

(2013). SPLlift ? Transparent and Efficient Reuse of IFDS-based Static Program Analyses for Software Product Lines. 34th annual ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI 2013).

(2013). Modular Aspect-Oriented Design Rule Enforcement with XPIDRs. 12th Foundations of Aspect-Oriented Languages Workshop (FOAL 2013), 12th ACM International Conference on Aspect-Oriented Software Development (AOSD 2013).

(2013). Improving modular reasoning on preprocessor-based systems. VII Simpósio Brasileiro de Componentes, Arquitetura e Reutilização de Software (SBCARS 2013).

(2013). AspectJ-based Idioms for Flexible Feature Binding. VII Simpósio Brasileiro de Componentes, Arquitetura e Reutilização de Software (SBCARS 2013).

(2013). A Model-Driven Approach to Specifying and Monitoring Controlled Experiments in Software Engineering. 14th International Conference on Product Focused Software Development and Process Improvement (PROFES 2013).

(2012). Towards a Better Understanding of Feature Dependencies in Preprocessor-based Systems. 6th Latin American Workshop on Aspect-Oriented Software Development (LA-WASP 2012), associado ao Terceiro Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2012),.

(2012). Modularity analysis of use case implementations. The Journal of Systems and Software.

(2012). Making Software Product Line Evolution Safer. VI Simpósio Brasileiro de Componentes, Arquitetura e Reutilização de Software (SBCARS 2012).

(2012). Intraprocedural Dataflow Analysis for Software Product Lines. 11th International Conference on Aspect-Oriented Software Development (AOSD 2012).

(2012). Emergo: a tool for improving maintainability of preprocessor-based product lines. 11th International Conference on Aspect-Oriented Software Development (AOSD 2012), Tools Session.

(2012). Comparing Two Black-box Testing Strategies for Software Product Lines. VI Simpósio Brasileiro de Componentes, Arquitetura e Reutilização de Software (SBCARS 2012).

(2011). Using PBL to Develop Software Test Engineers. Computers and Advanced Technology in Education (CATE 2011).

(2011). Synchronizing Model and Program Refactoring. Revised Selected Papers of the 13th Brazilian Symposium on Formal Methods (SBMF 2010), LNCS.

(2011). Safe composition of configuration knowledge-based software product lines. 25th Brazilian Symposium on Software Engineering (SBES 2011).

(2011). PBL no ensino de testes de software: uma experiência prática. International Conference on Engineering and Computer Education.

(2011). On the impact of feature dependencies when maintaining preprocessor-based software product lines. 10th ACM international conference on Generative programming and component engineering (GPCE 2011).

(2011). Investigating the safe evolution of software product lines. 10th ACM international conference on Generative programming and component engineering (GPCE 2011).

(2011). Integrating Product Line Refactoring and Derivation Tools: Challenges and Potential Solutions. Product LinE Approaches in Software Engineering (PLEASE 2011), workshop of the 33rd International Conference on Software Engineering (ICSE 2011).

(2011). Automatically Checking Feature Model Refactorings. Journal of Universal Computer Science.

(2011). Assessing Idioms for Implementing Features with Flexible Binding Times. 15th European Conference on Software Maintenance and Reengineering (CSMR 2011).

(2011). A tool for improving maintainabiliy of preprocessor-based product lines. 2nd Brazilian Congress on Software (CBSoft 2011), Tools Session.

(2010). Towards feature modularization. Doctoral Symposium of the ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH 2010).

(2010). TaRGeT: a Model Based Product Line Testing Tool. Tools session, I Brazilian Conference on Software: Theory and Practice (CBSoft 2010).

(2010). Synchronizing Model and Program Refactoring. 13th Brazilian Symposium on Formal Methods (SBMF 2010).

(2010). Modularity Analysis of Use Case Implementations. Quarto Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2010).

(2010). Estudo Comparativo de Ferramentas de Derivação Dirigidas por Modelos: Resultados Preliminares. 1st Brazilian Workshop on Model-Driven Development (BW-MDD 2010), associado ao Primeiro Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2010).

(2010). Emergent Feature Modularization. Onward! 2010, ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH 2010).

(2010). Assessment of Product Derivation Tools in the Evolution of Software Product Lines: An Empirical Study. 2nd International Workshop on Feature-Oriented Software Development (FOSD 2010), 9th International Conference on Generative Programming and Component Engineering (GPCE 2010).

(2010). A Theory of Software Product Line Refinement. 7th International Colloquium on Theoretical Aspects of Computing (ICTAC 2010).

(2009). Modularizing variabilities with CaesarJ collaboration interfaces. 3rd Workshop on Assessment of Contemporary Modularization Techniques (ACoM’09), affiliated with 24th ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2009).

(2009). Modularity analysis of use case implementations. 3rd Workshop on Assessment of Contemporary Modularization Techniques (ACoM’09), affiliated with 24th ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2009).

(2009). Modeling scenario variability as crosscutting mechanisms. 8th ACM international conference on Aspect-oriented software development (AOSD 2009).

(2009). Improving guidance when restructuring variabilities in software product lines. 13th European Conference on Software Maintenance and Reengineering (CSMR 2009).

(2009). Hephaestus: A tool for managing SPL variabilities. Sessão de ferramentas, Terceiro Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2009).

(2009). Estimating manual test execution effort and capacity based on execution points. International Journal of Computers & Applications.

(2009). Does AspectJ Provide Modularity when Implementing Features with Flexible Binding Times?. 3rd Latin American Workshop on Aspect-Oriented Software Development (LA-WASP 2009), associado ao XXIII Simpósio Brasileiro de Engenharia de Software (SBES 2009).

(2009). A design rule language for aspect-oriented programming. 13rd Brazilian Symposium on Programming Languages (SBLP 2009).

(2009). A complete set of object modeling laws for Alloy. 12th Brazilian Symposium on Formal Methods (SBMF 2009).

(2008). Supporting Software Product Lines Development: FLiP - Product Line Derivation Tool. Tools session, 23rd ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2008).

(2008). Recommending refactorings when restructuring variabilities in software product lines. 2nd Workshop on Refactoring Tools (WRT ‘08), 23rd ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2008).

(2008). On the benefits of variability management as crosscutting. Internacional Workshop On Early Aspects, 7th ACM International Conference on Aspect-Oriented Software Development (AOSD 2008).

(2008). Manualtest: Improving collection of manual test execution data in empirical studies. 5th Experimental Software Engineering Latin America Workshop (ESELAW 2008).

(2008). JML and Aspects: The benefits of instrumenting JML features with AspectJ. 7th Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2008), 16th ACM/SIGSOFT Symposium on the Foundations of Software Engeneering (FSE 2008).

(2008). Formal Model-Driven Program Refactoring. Fundamental Approaches to Software Engineering (FASE 2008), member conference of the European Joint Conferences on Theory and Practice of Software (ETAPS 2008).

(2008). FLiP: Product Line DerivationTool. Forum Demonstration, 7th ACM International Conference on Aspect-Oriented Software Development (AOSD 2008).

(2008). FLiP: Managing Software Product Line Extraction and Reaction with Aspects. Tools session, 12th International Software Product Line Conference (SPLC 2008).

(2008). Automated Test Execution Effort Estimation based on Functional Test Specifications. Tool session, 22st Brazilian Symposium on Software Engineering (SBES 2008).

(2008). Algebraic Laws for Feature Models. Journal of Universal Computer Science.

(2008). A decision model for implementing product lines variabilities. 23rd Annual ACM Symposium on Applied Computing (SAC 2008).

(2008). A complete and minimal set of algebraic laws for feature models. 12th Simpósio Brasileiro de Linguages de Programação (SBLP 2008).

(2007). Using Design Structure Matrices to Assess Modularity in Aspect-Oriented Software Product Lines. 1st Workshop on Assessment of Contemporary Modularization Techniques (ACoM 2007), 29th ACM International Conference on Software Engineering (ICSE 2007).

(2007). Towards Reusable and Modular Aspect-Oriented Concurrency Control. 22nd Annual ACM Symposium on Applied Computing.

(2007). Test Effort Estimation Models Based on Test Specifications. Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART 2007).

(2007). Specifying design rules in aspect-oriented systems. 1st Latin American Workshop on Aspect-Oriented Software Development (LA-WASP 2007), 21th Brazilian Symposium on Software Engineering (SBES 2007).

(2007). Sizing system tests for estimating test execution effort. 22nd International Annual Forum on COCOMO and System/Software Cost Modeling.

(2007). Semantic Dependencies and Modularity of Aspect-Oriented Software. Workshop on Assessment of Contemporary Modularization Techniques (ACoM 2007), 29th ACM International Conference on Software Engineering (ICSE 2007).

(2007). Product Line Variability Refactoring Tool. 1st Workshop on Refactoring Tools (WRT’07), 21st European Conference on Object-Oriented Programming (ECOOP 2007).

(2007). On the Modularity of Aspect-Oriented and other Techniques for Implementing Product Lines Variabilities. 1st Latin American Workshop on Aspect-Oriented Software Development (LA-WASP 2007), 21th Brazilian Symposium on Software Engineering (SBES 2007).

(2007). On The Design of an End-to-End AOSD Testbed for Software Stability. 1st Workshop on Assessement of Aspect-Oriented Technologies (ASAT 2007), 6th International Conference on Aspect-Oriented Software Development (AOSD 2007).

(2007). On the Contributions of an End-to-End AOSD Testbed. Early Aspects: Workshop in Aspect-Oriented Requirements Engineering and Architecture Design, 29th ACM International Conference on Software Engineering (ICSE 2007).

(2007). Mapping Features to Aspects: A Model-Based Generative Approach. 10th Internacional Workshop On Early Aspects, 6th ACM International Conference on Aspect-Oriented Software Development (AOSD 2007).

(2007). Formally Introducing Alloy Idioms. 10th Brazilian Symposium on Formal Methods (SBMF 2007).

(2007). Empirical Studies of Test Execution Effort Estimation Based on Test Characteristics and Risk Factors. 2nd International Doctoral Symposium on Empirical Software Engineering (IDoESE 2007).

(2007). Concurrency Control Modularization with Aspect-Oriented Programming. 31st Annual International Computer Software and Applications Conference (COMPSAC 2007).

(2007). Brazil test center research group. 1st Brazilian Workshop on Systematic and Automated Software Testing (SAST 2007), 21st Brazilian Symposium on Software Engineering (SBES 2007).

(2007). An Estimation Model for Test Execution Effort. 1st International Symposium on Empirical Software Engineering and Measurement (ESEM 2007).

(2007). AJaTS: AspectJ Transformation System. 1st Workshop on Refactoring Tools (WRT’07), 21st European Conference on Object-Oriented Programming (ECOOP 2007).

(2007). A Static Semantics for Alloy and its Impact in Refactorings. Electronic Notes in Theoretical Computer Science.

(2006). Suporte a Refatorações em um Sistema de Transformação de Propósito Geral. X Simpósio Brasileiro de Linguagens de Programação (SBLP 2006).

(2006). Sound Object Model Refactorings. Doctoral Symposium, afilliated with Formal Methods 2006.

(2006). Refactoring product lines. 5th international conference on Generative programming and component engineering (GPCE 2006).

(2006). From Conditional Compilation to Aspects: A Case Study in Software Product Lines Migration. 1st Workshop on Aspect-Oriented Product Line Engineering, 5th ACM International Conference on Generative Programming and Component Engineering (GPCE 2006).

(2006). Distribution and Persistence as Aspects. Software, Practice & Experience.

(2006). Declaring Static Crosscutting Dependencies in AspectJ. 3rd Brazilian Workshop on Aspect-Oriented Software Development (WASP 2006), 20th Brazilian Symposium on Software Engineering (SBES 2006).

(2006). Contextos de Primeira Classe em Transformações de Programas. X Simpósio Brasileiro de Linguagens de Programação (SBLP 2006).

(2006). Beyond Code: Handling Variability in Art Artifacts in Mobile Game Product Lines. Managing Variability for Software Product Lines: Working With Variability Mechanisms Workshop, 10th International Software Product Line Conference (SPLC 2006).

(2006). An Approach to Invariant-based Program Refactoring. Workshop on Software Evolution through Transformations: Embracing Change, International Conference on Graph Transformation (ICGT 2006).

(2006). An Approach to Invariant-based Program Refactoring. Electronic Communications of the EASST.

(2006). A Verification Approach for Crosscutting Features Based on Extension Join Points. 3rd International Workshop on Software Product Line Testing (SPLiT 2006), 10th International Software Product Line Conference (SPLC 2006).

(2006). A Theory for Feature Models in Alloy. First Alloy Workshop, affiliated with 14th ACM/SIGSOFT Symposium on Foundations of Software Engineering (FSE 2006).

(2005). Um Sistema de Tipos para uma Linguagem de Transformação. IX Simpósio Brasileiro de Linguagens de Programação (SBLP 2005).

(2005). Type-safe refactorings for Alloy. II Brazilian Symposium on Formal Methods (SBMF 2005).

(2005). Proving aspect-oriented programming laws. 4th Foundations of Aspect-Oriented Languages Workshop (FOAL 2005), 4th ACM International Conference on Aspect-Oriented Software Development (AOSD 2005).

(2005). Implementing Modular and Reusable Aspect-Oriented Concurrency Control with AspectJ. 2nd Brazilian Workshop on Aspect-Oriented Software Develpment (WASP 2005), 19th Brazilian Symposium on Software Engineering (SBES 2005).

(2005). Geração de Sistemas de Transformação. IX Simpósio Brasileiro de Linguages de Programação (SBLP 2005).

(2005). Formal Refactorings for Object Models. Student Research Competition, 20th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications (OOPSLA 2005).

(2005). Formal Refactoring for UML Class Diagrams. 19th Brazilian Symposium on Software Engineering (SBES 2005).

(2005). Extracting and Evolving Mobile Games Product Lines. 9th International Software Product Line Conference (SPLC 2005).

(2005). Deriving refactorings for AspectJ. 4th ACM International Conference on Aspect-Oriented Software Development (AOSD 2005).

(2005). An Abstract Equivalence Notion for Object Models. Electronic Notes in Theoretical Computer Science.

(2005). A Rigorous Approach for Proving Model Refactorings. Automated Software Engineering (ASE 2005).

(2005). A Model-driven Approach to Formal Refactoring. Poster session, 20th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications (OOPSLA 2005).

(2004). Using Programming Laws to Modularize Concurrency in a Replicated Database Application. 1st Brazilian Workshop on Aspect-Oriented Software Develpment (WASP 2004), 18th Brazilian Symposium on Software Engineering (SBES 2004).

(2004). Using Aspects to Make Adaptive Object-Models Adaptable. Workshop on Reflection, AOP and Meta-Data for Software Evolution (RAM-SE 2004), 18th European Conference on Object-Oriented Programming (ECOOP 2004).

(2004). Towards Progressive and Non-progressive Implementation Approaches Evaluation. 1st Experimental Software Engineering Latin American Workshop (ESELAW 2004), 18th Brazilian Symposium on Software Engineering (SBES 2004).

(2004). Separation of Crosscutting Concerns from Requirements to Design: Adapting the Use Case Driven Approach. Workshop on Aspect-Oriented Requirements Engineering and Architecture Design (Early Aspects 2004), International Conference on Aspect-Oriented Software Development (AOSD 2004).

(2004). Refactoring Alloy Specifications. Electronic Notes in Theoretical Computer Science.

(2004). Desenvolvimento de Software Orientado a Aspectos utilizando RUP e AspectJ. Tutoriais, XVIII Simpósio Brasileiro de Engenharia de Software (SBES 2004).

(2004). Deriving refactorings for AspectJ. Poster session, 19th ACM Conference on Object-oriented programming systems, languages, and applications (OOPSLA 2004).

(2004). Basic Laws of Object Modeling. 3rd Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2004), 12th ACM Foundations of Software Engeneering (FSE 2004).

(2004). AspectH: Uma Extensão Orientada a Aspectos de Haskell. I Workshop Brasileiro de Desenvolvimento de Software Orientado a Aspectos (WASP 2004), XVIII Simpósio Brasileiro de Engenharia de Software (SBES 2004).

(2004). AspectH: Uma Extensão Orientada a Aspectos de Haskell. Revista de Informática Teórica e Aplicada.

(2004). An Incremental Aspect-Oriented Product Line Method for J2ME Game Development. Workshop on Managing Variability Consistently in Design and Code, 19th ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2004).

(2004). An Abstract Equivalence Notion for Object Models. 1st Brazilian Symposium on Formal Methods (SBMF 2004).

(2004). A UML Class Diagram Analyzer. 3rd International Workshop on Critical Systems Development with UML, UML Conference.

(2004). A General-purpose Transformation System for Java. Software Transformation Systems Workshop (STS 2004), 3rd ACM International Conference on Generative Programming and Component Engineering (GPCE 2004).

(2003). Using aspects to structure small devices adaptive applications. 1st Workshop on Reuse in Constrained Environments, 18th ACM Conference on Object-Oriented Programming, Systems, Languages, Applications (OOPSLA 2003).

(2003). Refactoring Alloy specifications. 6th Brazilian Workshop on Formal Methods.

(2003). Developing adaptive J2ME applications using AspectJ. 7th Brazilian Symposium on Programming Languages (SBLP 2003).

(2003). Developing adaptive J2ME applications using AspectJ. Journal of Universal Computer Science.

(2003). Aspect-oriented implementation method: Progressive or non-progressive approach?. Doctoral Symposium, 18th ACM Conference on Object-Oriented Programming, Systems, Languages, Applications (OOPSLA 2003).

(2003). AdapPE: An architectural pattern for structuring adaptive applications with aspects. Third Latin American Conference on Pattern Languages of Programming (SugarLoafPLoP 2003).

(2003). A refinement algebra for object-oriented programming. 17th European Conference on Object-oriented Programming (ECOOP 2003).

(2002). Web systems acceptance tests and code generation. Workshop on Testing in XP, Third International Conference on eXtreme Programming and Agile Processes in Software Engineering (XP 2002).

(2002). Uma linguagem para testes de aceitação de sistemas web. VI Brazilian Symposium on Programming Languages (SBLP 2002).

(2002). Testes e geração de código de sistemas web. XVI Simpósio Brasileiro de Engenharia de Software (SBES 2002).

(2002). Progressive implementation with aspect-oriented programming. The 12th Workshop for PhD Students in Object-Oriented Systems, at the 16th European Conference on Object-Oriented Programming (ECOOP 2002).

(2002). PIP: Progressive Implementation Pattern. 1st Workshop on Software Development Patterns, 17th ACM Conference on Object-oriented Programming, Systems, Languages, and Applications (OOPSLA 2002).

(2002). Padrões de projeto para estruturação de aplicações distribuídas Enterprise JavaBeans. Second Latin American Conference on Pattern Languages of Programming (SugarLoafPLoP 2002).

(2002). PaDA: A Pattern for Distribution Aspects. 2nd Latin American Conference on Pattern Languages of Programming (SugarLoafPLoP 2002).

(2002). Mechanical abstraction of CSP-Z processes. 11th Formal Methods Europe (FME 2002).

(2002). Integrating code generation and refactoring. Workshop on Generative Programming, 16th European Conference on Object-Oriented Programming (ECOOP 2002).

(2002). Implementing distribution and persistence aspects with aspectJ. 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (OOPSLA 2002).

(2002). Concurrency control with Java and relational databases. 26th IEEE Computer Software and Applications Conference (COMPSAC 2002).

(2002). AspectJ, programação orientada a aspectos em Java. Tutoriais, VI Simpósio Brasileiro de Linguagens de Programação (SBLB 2002).

(2002). A RUP-based software process supporting progressive implementation. 2002 International Conference of the Information Resources Management Association (IRMA 2002).

(2001). Web Handlers. 1st Latin American Conference on Pattern Languages of Programming (SugarLoafPLoP 2001).

(2001). Progressive implementation of aspects. Workshop on Advanced Separation of Concerns, 16th ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2001).

(2001). PDC: Persistent Data Collections Pattern. 1st Latin American Conference on Pattern Languages of Programming (SugarLoafPLoP 2001).

(2001). JaTS: A Java transformation system. Tools session, 15th Brazilian Symposium on Software Engineering (SBES 2001).

(2001). Distributed adapters pattern: A design pattern for object-oriented distributed applications. 1st Latin American Conference on Pattern Languages of Programming (SugarloafPLoP 2001).

(2001). Controle de concorrência com Java e bancos de dados relacionais. V Simpósio Brasileiro de Linguagens de Programação (SBLP 2001).

(2001). Concurrency Manager. 1st Latin American Conference on Pattern Languages of Programming (SugarLoafPLoP 2001).

(2001). An implementation method for distributed object-oriented applications. 15th Brazilian Symposium on Software Engineering (SBES 2001).

(2001). A language for specifying Java transformations. 5th Brazilian Symposium on Programming Languages (SBLP 2001).

(2000). Structuring Mechanisms for an Object-Oriented Formal Specification Language. 6th International Conference on Software Reuse (ICSR 2000).

(2000). Basic laws of ROOL: an object-oriented language. III Brazilian Workshop on Formal Methods.

(2000). Basic laws of ROOL: an object-oriented language. Revista de Informática Teórica e Aplicada.

(2000). A design pattern for distributed applications. Tutorials, 14th Brazilian Symposium on Software Engineering (SBES 2000).

(1999). Progressive implementation of distributed Java applications. Engineering Distributed Objects Workshop, 21st ACM International Conference on Software Engineering (ICSE 1999).

(1999). Integrando Java com Bancos de Dados Relacionais. III Simpósio Brasileiro de Linguagens de Programação (SBLP 1999).

(1998). Where are the Laws of Objet-Oriented Programming?. I Brazilian Workshop on Formal Methods (SBMF 1998).

(1998). Systematic development of concurrent object-oriented programs. Electronic Notes in Theoretical Computer Science.

(1998). Design of an Object-Oriented Formal Specification Language. I Brazilian Workshop on Formal Methods (SBMF 1998).

(1997). Parameterized Packages and Java. II Brazilian Symposium On Programming Languages (SBLP 1997).

(1996). States as Specifications. I Simpósio Brasileiro de Linguagens de Programação (SBLP 1996).

(1996). A Refinement Theory for Concurrent Object Oriented Languages. X Brazilian Symposium on Software Engineering (SBES 1996).

(1994). An Operational Semantics for FOOPS. Information Systems Correctness And Reusability (ISCORE 1994).

(1993). From VDM Specifications To Functional Prototypes. The Journal of Systems and Software.

(1992). Prototyping Action Semantics using Functional Languages. Latin American Conference On Computing (CLEI 1992).

(1990). Tradução de Tipos de Especificação para Protótipo. IV Simpósio Brasileiro de Engenharia de Software (SBES 1990).

(1989). Protótipos Funcionais a partir de Especificações Formais em VDM. III Simpósio Brasileiro de Engenharia de Software (SBES 1989).

(1987). Acesso a um Banco de Dados através de Linguagem Natural. IV Simpósio Brasileiro de Inteligência Artificial (SBIA 1987).