| 2020 | SEFM | Statically Checking REST API Consumers. | Nuno Burnay, Antnia Lopes, Vasco T. Vasconcelos |
| 2019 | SAC | Planning workflow executions when using spot instances in the cloud. | Richard Gil Martinez, Antnia Lopes, Lus E. T. Rodrigues |
| 2018 | ICSE | Learning non-deterministic impact models for adaptation. | Francisco Duarte, Richard Gil Martinez, Paolo Romano, Antnia Lopes, Lus E. T. Rodrigues |
| 2017 | NCA | Augure: Proactive reconfiguration of cloud applications using heterogeneous resources. | Richard Gil Martinez, Zhongmiao Li, Antnia Lopes, Lus E. T. Rodrigues |
| 2017 | SAC | Automated generation of policies to support elastic scaling in cloud environments. | Richard Gil Martinez, Antnia Lopes, Lus E. T. Rodrigues |
| 2017 | TABLEAUX | Logics for Actor Networks: A Case Study in Constrained Hybridization - A Case Study in Constrained Hybridization. | Jos Luiz Fiadeiro, Ionut Tutu, Antnia Lopes, Dusko Pavlovic |
| 2014 | FASE | Heterogeneous and Asynchronous Networks of Timed Systems. | Jos Luiz Fiadeiro, Antnia Lopes |
| 2014 | ICTAC | Heterogeneous Timed Machines. | Benot Delahaye, Jos Luiz Fiadeiro, Axel Legay, Antnia Lopes |
| 2013 | FORTE | A Timed Component Algebra for Services. | Benot Delahaye, Jos Luiz Fiadeiro, Axel Legay, Antnia Lopes |
| 2012 | FASE | Consistency of Service Composition. | Jos Luiz Fiadeiro, Antnia Lopes |
| 2012 | IFM | Specification-Driven Unit Test Generation for Java Generic Classes. | Francisco Rebello de Andrade, Joo Pascoal Faria, Antnia Lopes, Ana C. R. Paiva |
| 2011 | CloudCom | Goal-oriented Self-management of In-memory Distributed Data Grid Platforms. | Liliana Rosa, Lus E. T. Rodrigues, Antnia Lopes |
| 2011 | DaWaK | Support for User Involvement in Data Cleaning. | Helena Galhardas, Antnia Lopes, Emanuel Santos |
| 2011 | FASE | An Interface Theory for Service-Oriented Design. | Jos Luiz Fiadeiro, Antnia Lopes |
| 2011 | MEDI | Formal Modelling of Service-Oriented Systems. | Antnia Lopes |
| 2010 | ECSA | A Model for Dynamic Reconfiguration in Service-Oriented Architectures. | Jos Luiz Fiadeiro, Antnia Lopes |
| 2009 | RV | Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming. | Isabel Nunes, Antnia Lopes, Vasco Thudichum Vasconcelos |
| 2009 | SSS | From Local Impact Functions to Global Adaptation of Service Compositions. | Liliana Rosa, Lus E. T. Rodrigues, Antnia Lopes, Matti A. Hiltunen, Richard D. Schlichting |
| 2008 | COMPSAC | Service-Oriented Modelling of Automotive Systems. | Laura Bocchi, Jos Luiz Fiadeiro, Antnia Lopes |
| 2008 | ISoLA | A Use-Case Driven Approach to Formal Service-Oriented Modelling. | Laura Bocchi, Jos Luiz Fiadeiro, Antnia Lopes |
| 2008 | SAC | Modelling adaptive services for distributed systems. | Liliana Rosa, Antnia Lopes, Lus E. T. Rodrigues |
| 2008 | SPLC | Automated Domain-Specific Modeling Languages for Generating Framework-Based Applications. | Andr L. Santos, Kai Koskimies, Antnia Lopes |
| 2007 | FORTE | Specifying and Composing Interaction Protocols for Service-Oriented System Modelling. | Joo Abreu, Laura Bocchi, Jos Luiz Fiadeiro, Antnia Lopes |
| 2006 | FASE | A Formal Approach to Event-Based Architectures. | Jos Luiz Fiadeiro, Antnia Lopes |
| 2006 | ICFEM | Checking the Conformance of Java Classes Against Algebraic Specifications. | Isabel Nunes, Antnia Lopes, Vasco Thudichum Vasconcelos, Joo Abreu, Lus S. Reis |
| 2005 | DaWaK | Data Mapper: An Operator for Expressing One-to-Many Data Transformations. | Paulo J. F. Carreira, Helena Galhardas, Joo Pereira, Antnia Lopes |
| 2003 | CaiSE | Coordination for Distributed Business Systems. | Lus Andrade, Jos Luiz Fiadeiro, Antnia Lopes, Michel Wermelinger |
| 2000 | Coordination | Patterns for Coordination. | Lus Filipe Andrade, Jos Luiz Fiadeiro, Joo Gouveia, Antnia Lopes, Michel Wermelinger |
| 1999 | FASE | Using Explicit State to Describe Architechtures. | Antnia Lopes, Jos Luiz Fiadeiro |
| 1997 | FM | Specification of Required Non-determinism. | Kevin Lano, Juan Bicarregui, Jos Luiz Fiadeiro, Antnia Lopes |