José Luiz Fiadeiro

Publication Activity (10 Years)

Years Active: 1986-2021
Publications (10 Years): 10

Top Venues

Sci. Comput. Program.

CALCO

FASE

Theor. Comput. Sci.

Publications

Ionut Tutu, Claudia Elena Chirita, José Luiz Fiadeiro
Dynamic Reconfiguration via Typed Modalities. FM (2021)
Simone André da Costa Cavalheiro, José Luiz Fiadeiro
Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2017). Sci. Comput. Program. 191 (2020)
Ionut Tutu, Claudia Elena Chirita, Antónia Lopes, José Luiz Fiadeiro
Logical Support for Bike-Sharing System Design. From Software Engineering to Formal Methods and Tools, and Back (2019)
José Luiz Fiadeiro, Ionut Tutu, Antónia Lopes, Dusko Pavlovic
Logics for Actor Networks: A two-stage constrained-hybridisation approach. J. Log. Algebraic Methods Program. 106 (2019)
José Luiz Fiadeiro, Antónia Lopes, Benoît Delahaye, Axel Legay
Dynamic networks of heterogeneous timed machines. Math. Struct. Comput. Sci. 28 (6) (2018)
José Luiz Fiadeiro, Antónia Lopes
Heterogeneous and asynchronous networks of timed systems. Theor. Comput. Sci. 663 (2017)
Ionut Tutu, José Luiz Fiadeiro
From conventional to institution-independent logic programming. J. Log. Comput. 27 (6) (2017)
José Luiz Fiadeiro, Ionut Tutu, Antónia Lopes, Dusko Pavlovic
Logics for Actor Networks: A Case Study in Constrained Hybridization - A Case Study in Constrained Hybridization. DALI@TABLEAUX (2017)
Claudia Elena Chirita, José Luiz Fiadeiro, Fernando Orejas
Many-Valued Institutions for Constraint Specification. FASE (2016)
Claudia Elena Chirita, José Luiz Fiadeiro
Free Jazz in the Land of Algebraic Improvisation. ICCC (2016)
José Luiz Fiadeiro, Zhiming Liu
Formal Aspects of Component Software (FACS 2013). Sci. Comput. Program. 113 (2015)
José Luiz Fiadeiro, Fernando Orejas
Abstract Constraint Data Types. Software, Services, and Systems (2015)
Ionut Tutu, José Luiz Fiadeiro
Service-Oriented Logic Programming. Log. Methods Comput. Sci. 11 (3) (2015)
Ionut Tutu, José Luiz Fiadeiro
Revisiting the Institutional Approach to Herbrand's Theorem. CALCO (2015)
Nikos Mylonakis, Fernando Orejas, José Luiz Fiadeiro
A Semantics of Business Configurations Using Symbolic Graphs. SCC (2015)
Ignacio Vissani, Carlos Gustavo López Pombo, Ionut Tutu, José Luiz Fiadeiro
A Full Operational Semantics for Asynchronous Relational Networks. WADT (2014)
Benoît Delahaye, José Luiz Fiadeiro, Axel Legay, Antónia Lopes
Heterogeneous Timed Machines. ICTAC (2014)
Christiano Braga, José Luiz Fiadeiro
Brazilian Symposium on Programming Languages (SBLP 2011). Sci. Comput. Program. 93 (2014)
José Luiz Fiadeiro, Antónia Lopes
Heterogeneous and Asynchronous Networks of Timed Systems. FASE (2014)
José Luiz Fiadeiro, Antónia Lopes
An interface theory for service-oriented design. Theor. Comput. Sci. 503 (2013)
Ionut Tutu, José Luiz Fiadeiro
A Logic-Programming Semantics of Services. CALCO (2013)
Benoît Delahaye, José Luiz Fiadeiro, Axel Legay, Antónia Lopes
A Timed Component Algebra for Services. FMOODS/FORTE (2013)
José Luiz Fiadeiro, Antónia Lopes
A model for dynamic reconfiguration in service-oriented architectures. Softw. Syst. Model. 12 (2) (2013)
José Luiz Fiadeiro, Antónia Lopes, João Abreu
A formal model for service-oriented interactions. Sci. Comput. Program. 77 (5) (2012)
José Luiz Fiadeiro, Antónia Lopes
Consistency of Service Composition. FASE (2012)
Antónia Lopes, José Luiz Fiadeiro
A Graph-Based Design Framework for Services. ICGT (2012)
José Luiz Fiadeiro, Antónia Lopes
An Interface Theory for Service-Oriented Design. FASE (2011)
Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi, José Luiz Fiadeiro
Variability and Rigour in Service Computing Engineering. SEW (2011)
Paula Severi, José Luiz Fiadeiro, David Ekserdjian
Guiding the representation of n-ary relations in ontologies through aggregation, generalisation and participation. J. Web Semant. 9 (2) (2011)
José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi
An abstract model of service discovery and binding. Formal Aspects Comput. 23 (4) (2011)
Lorcan Coyle, Mike Hinchey, Bashar Nuseibeh, José Luiz Fiadeiro
Guest Editors' Introduction: Evolving Critical Systems. Computer 43 (5) (2010)
Paula Severi, José Luiz Fiadeiro, David Ekserdjian
Guiding Reification in OWL through Aggregation. Description Logics (2010)
José Luiz Fiadeiro
Editorial. Formal Aspects Comput. 22 (3-4) (2010)
José Luiz Fiadeiro, Antónia Lopes
A Model for Dynamic Reconfiguration in Service-Oriented Architectures. ECSA (2010)
Freeha Azmat, Laura Bocchi, José Luiz Fiadeiro
Early Model-Analysis of Logistics Systems. ICSOC Workshops (2010)
Laura Bocchi, José Luiz Fiadeiro, Noor Rajper, Stephan Reiff-Marganiec
Structure and Behaviour of Virtual Organisation Breeding Environments FAVO (2009)
Laura Bocchi, José Luiz Fiadeiro, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
From Architectural to Behavioural Specification of Services. Electron. Notes Theor. Comput. Sci. 253 (1) (2009)
João Abreu, Franco Mazzanti, José Luiz Fiadeiro, Stefania Gnesi
A Model-Checking Approach for Service Component Architectures. FMOODS/FORTE (2009)
Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes
Service-Oriented Modelling of Automotive Systems. COMPSAC (2008)
Schahram Dustdar, José Luiz Fiadeiro, Amit P. Sheth
Business process management. Data Knowl. Eng. 64 (1) (2008)
Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes
A Use-Case Driven Approach to Formal Service-Oriented Modelling. ISoLA (2008)
José Luiz Fiadeiro
What Do Semantics Matter When the Meat Is Overcooked?. Concurrency, Graphs and Models (2008)
João Abreu, José Luiz Fiadeiro
A Coordination Model for Service-Oriented Interactions. COORDINATION (2008)
José Luiz Fiadeiro, Antónia Lopes
An algebraic semantics of event-based architectures. Math. Struct. Comput. Sci. 17 (5) (2007)
Osama E. S. El-Hassan, José Luiz Fiadeiro, Reiko Heckel
Managing Socio-technical Interactions in Healthcare Systems. Business Process Management Workshops (2007)
Laura Bocchi, Yi Hong, Antónia Lopes, José Luiz Fiadeiro
From BPEL to SRML: A Formal Transformational Approach. WS-FM (2007)
João Abreu, Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes
Specifying and Composing Interaction Protocols for Service-Oriented System Modelling. FORTE (2007)
José Luiz Fiadeiro, Vincent Schmitt
Structured Co-spans: An Algebra of Interaction Protocols. CALCO (2007)
José Luiz Fiadeiro
Designing for Software's Social Complexity. Computer 40 (1) (2007)
Osama E. S. El-Hassan, José Luiz Fiadeiro
Role-based Architectural Modelling of Socio-Technical Systems. Electron. Notes Theor. Comput. Sci. 181 (2007)
Nasreddine Aoumeur, José Luiz Fiadeiro, Cristóvão Oliveira
Distribution concerns in service-oriented modelling. Int. J. Internet Protoc. Technol. 1 (3) (2006)
José Luiz Fiadeiro, Antónia Lopes
A Formal Approach to Event-Based Architectures. FASE (2006)
José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi
A Formal Approach to Service Component Architecture. WS-FM (2006)
Antónia Lopes, José Luiz Fiadeiro
Adding mobility to software architectures. Sci. Comput. Program. 61 (2) (2006)
José Luiz Fiadeiro
Separating Distribution from Coordination and Computation as Architectural Dimensions. FMOODS (2006)
José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi
Algebraic Semantics of Service Component Modules. WADT (2006)
Kevin Lano, José Luiz Fiadeiro
Extending UML with coordination contracts. Softw. Syst. Model. 5 (2) (2006)
José Luiz Fiadeiro, Jan J. M. M. Rutten
Preface. Theor. Comput. Sci. 366 (1-2) (2006)
José Luiz Fiadeiro
Physiological vs. Social Complexity in Software Design. ICECCS (2006)
Ahmed Al-Ghamdi, José Luiz Fiadeiro
Architectural Handling of Management Concerns in Service-Driven Business Processes. MSVVEIS (2006)
José Luiz Fiadeiro, Ugo Montanari, Martin Wirsing
05081 Abstracts Collection - Foundations of Global Computing. Foundations of Global Computing (2005)
Antónia Lopes, José Luiz Fiadeiro
Context-Awareness in Software Architectures. EWSA (2005)
Narciso Martí-Oliet, Isabel Pita, José Luiz Fiadeiro, José Meseguer, T. S. E. Maibaum
A Verification Logic for Rewriting Logic. J. Log. Comput. 15 (3) (2005)
Cristóvão Oliveira, Michel Wermelinger, José Luiz Fiadeiro, Antónia Lopes
Modelling the GSM Handover Protocol in CommUnity. Electron. Notes Theor. Comput. Sci. 141 (3) (2005)
Cristóvão Oliveira, Michel Wermelinger, José Luiz Fiadeiro, Antónia Lopes
An Architectural Approach to Mobility - The Handover Case Study. WICSA (2004)
Roberto Bruni, José Luiz Fiadeiro, Ivan Lanese, Antónia Lopes, Ugo Montanari
New Insights on Architectural Connectors. IFIP TCS (2004)
Antónia Lopes, José Luiz Fiadeiro
Adding Mobility to Software Architectures. Electron. Notes Theor. Comput. Sci. 97 (2004)
Nasreddine Aoumeur, José Luiz Fiadeiro, Cristóvão Oliveira
Towards an Architectural Approach to Location-Aware Business Processes. WETICE (2004)
Luis Filipe Andrade, José Luiz Fiadeiro
Composition Contracts for Service Interaction. J. Univers. Comput. Sci. 10 (4) (2004)
Leonor Barroca, José Luiz Fiadeiro, Michael Jackson, Robin C. Laney, Bashar Nuseibeh
Problem Frames: A Case for Coordination. COORDINATION (2004)
Antónia Lopes, José Luiz Fiadeiro
Algebraic Semantics of Design Abstractions for Context-Awareness. WADT (2004)
Antónia Lopes, José Luiz Fiadeiro
Superposition: composition vs refinement of non-deterministic, action-based systems. Formal Aspects Comput. 16 (1) (2004)
José Luiz Fiadeiro
Software Services: Scientific Challenge or Industrial Hype?. ICTAC (2004)
Antónia Lopes, Michel Wermelinger, José Luiz Fiadeiro
High-order architectural connectors. ACM Trans. Softw. Eng. Methodol. 12 (1) (2003)
Michel Wermelinger, Georgios Koutsoukos, Richard Avillez, João Gouveia, Luis Filipe Andrade, José Luiz Fiadeiro
Using Coordination Contracts for Flexible Adaptation to Changing Business Rules. IWPSE (2003)
Ana M. D. Moreira, José Luiz Fiadeiro, Luis Filipe Andrade
Evolving Requirements through Coordination Contracts. CAiSE (2003)
José Luiz Fiadeiro, Antónia Lopes, Michel Wermelinger
A Mathematical Semantics for Architectural Connectors. Generic Programming (2003)
José Luiz Fiadeiro, Jan Madey, Andrzej Tarlecki
Foreword. Inf. Process. Lett. 88 (1-2) (2003)
José Luiz Fiadeiro, Antónia Lopes
CommUnity on the Move: Architectures for Distribution and Mobility. FMCO (2003)
Luis Filipe Andrade, José Luiz Fiadeiro, Antónia Lopes, Michel Wermelinger
Coordination for Distributed Business Systems. CAiSE Workshops (2003)
Luis Filipe Andrade, José Luiz Fiadeiro
Architecture Based Evolution of Software Systems. SFM (2003)
Michel Wermelinger, Georgios Koutsoukos, Hugo Lourenço, Richard Avillez, João Gouveia, Luis Filipe Andrade, José Luiz Fiadeiro
Enhancing Dependability Through Flexible Adaptation to Changing Requirements. WADS (2003)
João Gouveia, Georgios Koutsoukos, Michel Wermelinger, Luis Filipe Andrade, José Luiz Fiadeiro
Coordination contracts for Java applications. ICSE (2002)
Rogério de Lemos, José Luiz Fiadeiro
An architectural support for self-adaptive software for treating faults. WOSS (2002)
Luis Filipe Andrade, José Luiz Fiadeiro
Coordination Architecture for Evolvable Event-Based Systems. ICDCS Workshops (2002)
Luis Filipe Andrade, José Luiz Fiadeiro, João Gouveia, Georgios Koutsoukos, Michel Wermelinger
A coordination methodology and technology for agile businesses. OOPSLA Companion (2002)
João Gouveia, Georgios Koutsoukos, Michel Wermelinger, Luis Filipe Andrade, José Luiz Fiadeiro
Developing and evolving Java applications using coordination contracts. OOPSLA Companion (2002)
Antónia Lopes, José Luiz Fiadeiro
Superposition: Composition vs refinement of non-deterministic action-based systems. Electron. Notes Theor. Comput. Sci. 70 (3) (2002)
Luis Filipe Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki
AGILE: Software Architecture for Mobility. WADT (2002)
José Luiz Fiadeiro
Preface. Theor. Comput. Sci. 286 (2) (2002)
José Luiz Fiadeiro
An Architectural Approach to Fault Treatment in Critical Infrastructures. EDCC (2002)
Antónia Lopes, José Luiz Fiadeiro
Revisiting the Categorical Approach to Systems. AMAST (2002)
Luis Filipe Andrade, José Luiz Fiadeiro
Agility through coordination. Inf. Syst. 27 (6) (2002)
Luis Filipe Andrade, José Luiz Fiadeiro
An Architectural Approach to Auto-Adaptive Systems. ICDCS Workshops (2002)
João Gouveia, Georgios Koutsoukos, Michel Wermelinger, Luis Filipe Andrade, José Luiz Fiadeiro
The Coordination Development Environment. FASE (2002)
Paulo A. S. Veloso, José Luiz Fiadeiro, Sheila R. M. Veloso
On local modularity and interpolation in entailment systems. Inf. Process. Lett. 82 (4) (2002)
Antónia Lopes, José Luiz Fiadeiro, Michel Wermelinger
Architectural primitives for distribution and mobility. SIGSOFT FSE (2002)
José Luiz Fiadeiro
Coordination Technologies for Just-in-Time Integration. 10th Anniversary Colloquium of UNU/IIST (2002)
Michel Wermelinger, Georgios Koutsoukos, José Luiz Fiadeiro, L. Andrade, João Gouveia
Evolving and using coordinated systems. IWPSE (2002)
Luis Filipe Andrade, José Luiz Fiadeiro, João Gouveia, Georgios Koutsoukos
Separating computation, coordination and configuration. J. Softw. Maintenance Res. Pract. 14 (5) (2002)

José Luiz Fiadeiro.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

José Luiz Fiadeiro