| 2021 | FM | Dynamic Reconfiguration via Typed Modalities. | Ionut Tutu, Claudia Elena Chirita, Jos Luiz Fiadeiro |
| 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 |
| 2016 | FASE | Many-Valued Institutions for Constraint Specification. | Claudia Elena Chirita, Jos Luiz Fiadeiro, Fernando Orejas |
| 2015 | CALCO | Revisiting the Institutional Approach to Herbrand's Theorem. | Ionut Tutu, Jos Luiz Fiadeiro |
| 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 | CALCO | A Logic-Programming Semantics of Services. | Ionut Tutu, Jos Luiz Fiadeiro |
| 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 |
| 2011 | FASE | An Interface Theory for Service-Oriented Design. | Jos Luiz Fiadeiro, Antnia Lopes |
| 2011 | SEW | Variability and Rigour in Service Computing Engineering. | Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi, Jos Luiz Fiadeiro |
| 2010 | ECSA | A Model for Dynamic Reconfiguration in Service-Oriented Architectures. | Jos Luiz Fiadeiro, Antnia Lopes |
| 2010 | ICSOC | Early Model-Analysis of Logistics Systems. | Freeha Azmat, Laura Bocchi, Jos Luiz Fiadeiro |
| 2009 | FORTE | A Model-Checking Approach for Service Component Architectures. | Joo Abreu, Franco Mazzanti, Jos Luiz Fiadeiro, Stefania Gnesi |
| 2008 | COMPSAC | Service-Oriented Modelling of Automotive Systems. | Laura Bocchi, Jos Luiz Fiadeiro, Antnia Lopes |
| 2008 | Coordination | A Coordination Model for Service-Oriented Interactions. | Joo Abreu, Jos Luiz Fiadeiro |
| 2008 | ISoLA | A Use-Case Driven Approach to Formal Service-Oriented Modelling. | Laura Bocchi, Jos Luiz Fiadeiro, Antnia Lopes |
| 2007 | BPM | Managing Socio-technical Interactions in Healthcare Systems. | Osama E. S. El-Hassan, Jos Luiz Fiadeiro, Reiko Heckel |
| 2007 | CALCO | Structured Co-spans: An Algebra of Interaction Protocols. | Jos Luiz Fiadeiro, Vincent Schmitt |
| 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 | ICECCS | Physiological vs. Social Complexity in Software Design. | Jos Luiz Fiadeiro |
| 2004 | Coordination | Problem Frames: A Case for Coordination. | Leonor Barroca, Jos Luiz Fiadeiro, Michael Jackson, Robin C. Laney, Bashar Nuseibeh |
| 2004 | ICTAC | Software Services: Scientific Challenge or Industrial Hype?. | Jos Luiz Fiadeiro |
| 2004 | WETICE | Towards an Architectural Approach to Location-Aware Business Processes. | Nasreddine Aoumeur, Jos Luiz Fiadeiro, Cristvo Oliveira |
| 2003 | CaiSE | Coordination for Distributed Business Systems. | Lus Andrade, Jos Luiz Fiadeiro, Antnia Lopes, Michel Wermelinger |
| 2003 | CaiSE | Evolving Requirements through Coordination Contracts. | Ana M. D. Moreira, Jos Luiz Fiadeiro, Lus Andrade |
| 2003 | ICSE | Enhancing Dependability Through Flexible Adaptation to Changing Requirements. | Michel Wermelinger, Georgios Koutsoukos, Hugo Loureno, Richard Avillez, Joo Gouveia, Lus Andrade, Jos Luiz Fiadeiro |
| 2002 | Coordination | Coordination for Orchestration. | Lus Filipe Andrade, Jos Luiz Fiadeiro, Joo Gouveia, Georgios Koutsoukos, Michel Wermelinger |
| 2002 | EDCC | An Architectural Approach to Fault Treatment in Critical Infrastructures. | Jos Luiz Fiadeiro |
| 2002 | FASE | The Coordination Development Environment. | Joo Gouveia, Georgios Koutsoukos, Michel Wermelinger, Lus Andrade, Jos Luiz Fiadeiro |
| 2002 | ICSE | Coordination contracts for Java applications. | Joo Gouveia, Georgios Koutsoukos, Michel Wermelinger, Lus Andrade, Jos Luiz Fiadeiro |
| 2002 | OOPSLA | A coordination methodology and technology for agile businesses. | Lus Andrade, Jos Luiz Fiadeiro, Joo Gouveia, Georgios Koutsoukos, Michel Wermelinger |
| 2002 | OOPSLA | Developing and evolving Java applications using coordination contracts. | Joo Gouveia, Georgios Koutsoukos, Michel Wermelinger, Lus Andrade, Jos Luiz Fiadeiro |
| 2001 | CaiSE | Coordination Technologies for Managing Information System Evolution. | Lus Filipe Andrade, Jos Luiz Fiadeiro |
| 2001 | DAIS | Managing Evolution in Telecommunication Systems. | Georgios Koutsoukos, Joo Gouveia, Lus Andrade, Jos Luiz Fiadeiro |
| 2001 | ECOOP | Feature Modeling and Composition with Coordination Contracts. | Lus Filipe Andrade, Jos Luiz Fiadeiro |
| 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 | Coordination | Coordination Durative Actions. | Isabel Nunes, Jos Luiz Fiadeiro, Wladyslaw M. Turski |
| 1997 | FM | Specification of Required Non-determinism. | Kevin Lano, Juan Bicarregui, Jos Luiz Fiadeiro, Antnia Lopes |
| 1995 | COMPASS | Unifying Theories in Different Institutions. | M. Arrais, Jos Luiz Fiadeiro |
| 1994 | COMPASS | Institutions for Behaviour Specification. | Jos Luiz Fiadeiro, Jos Flix Costa |
| 1993 | CoopIS | Declarative Semantics of Interoperable Data and Knowledge Bases. | Georg Reichwein, Jos Luiz Fiadeiro, Mechthild Rohen |
| 1993 | EPIA | Semantics of Interworking Knowledge Based Systems. | Georg Reichwein, Jos Luiz Fiadeiro |
| 1991 | COMPASS | Process Semantics of Temporal Logic Specifications. | Jos Luiz Fiadeiro, Jos Flix Costa, Amlcar Sernadas, T. S. E. Maibaum |
| 1990 | DS | Proof-Theoretic Semantics of Object-Oriented Specification Constructs. | Jos Luiz Fiadeiro, Cristina Sernadas, T. S. E. Maibaum, Gunter Saake |
| 1989 | ISCO | Proof-theoretic Conceptual Modeling: the NIAM Case Study. | Cristina Sernadas, Jos Luiz Fiadeiro, Robert Meersman, Amlcar Sernadas |
| 1989 | ISCO | The Basic Building Blocks of Information Systems. | Amlcar Sernadas, Jos Luiz Fiadeiro, Cristina Sernadas, Hans-Dieter Ehrich |
| 1988 | DS | Object-Oriented Conceptual Modeling from Law. | Cristina Sernadas, Jos Luiz Fiadeiro, Amlcar Sernadas |
| 1986 | DS | Varying Representation Schemata vs Fact Updating in KB Management. | Rogrio Carapua, Jos Luiz Fiadeiro |