José Luiz Fiadeiro

According to our database, José Luiz Fiadeiro authored at least 167 papers between 1986 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2021

Dynamic Reconfiguration via Typed Modalities.

Ionut Tutu, Claudia Elena Chirita, José Luiz Fiadeiro

Proceedings of the Formal Methods - 24th International Symposium, 2021

2020

Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2017).

Simone André da Costa Cavalheiro, José Luiz Fiadeiro

Sci. Comput. Program., 2020

2019

Logics for Actor Networks: A two-stage constrained-hybridisation approach.

José Luiz Fiadeiro, Ionut Tutu, Antónia Lopes, Dusko Pavlovic

J. Log. Algebraic Methods Program., 2019

Logical Support for Bike-Sharing System Design.

Ionut Tutu, Claudia Elena Chirita, Antónia Lopes, José Luiz Fiadeiro

Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

2018

Dynamic networks of heterogeneous timed machines.

José Luiz Fiadeiro, Antónia Lopes, Benoît Delahaye, Axel Legay

Math. Struct. Comput. Sci., 2018

2017

Heterogeneous and asynchronous networks of timed systems.

José Luiz Fiadeiro, Antónia Lopes

Theor. Comput. Sci., 2017

From conventional to institution-independent logic programming.

Ionut Tutu, José Luiz Fiadeiro

J. Log. Comput., 2017

Logics for Actor Networks: A Case Study in Constrained Hybridization - A Case Study in Constrained Hybridization.

José Luiz Fiadeiro, Ionut Tutu, Antónia Lopes, Dusko Pavlovic

Proceedings of the Dynamic Logic. New Trends and Applications, 2017

2016

Free Jazz in the Land of Algebraic Improvisation.

Claudia Elena Chirita, José Luiz Fiadeiro

Proceedings of the Seventh International Conference on Computational Creativity, 2016

Many-Valued Institutions for Constraint Specification.

Claudia Elena Chirita, José Luiz Fiadeiro, Fernando Orejas

Proceedings of the Fundamental Approaches to Software Engineering, 2016

2015

Formal Aspects of Component Software (FACS 2013).

José Luiz Fiadeiro, Zhiming Liu

Sci. Comput. Program., 2015

Service-Oriented Logic Programming.

Ionut Tutu, José Luiz Fiadeiro

Log. Methods Comput. Sci., 2015

Revisiting the Institutional Approach to Herbrand's Theorem.

Ionut Tutu, José Luiz Fiadeiro

Proceedings of the 6th Conference on Algebra and Coalgebra in Computer Science, 2015

Abstract Constraint Data Types.

José Luiz Fiadeiro, Fernando Orejas

Proceedings of the Software, 2015

A Semantics of Business Configurations Using Symbolic Graphs.

Nikos Mylonakis, Fernando Orejas, José Luiz Fiadeiro

Proceedings of the 2015 IEEE International Conference on Services Computing, 2015

2014

Brazilian Symposium on Programming Languages (SBLP 2011).

Christiano Braga, José Luiz Fiadeiro

Sci. Comput. Program., 2014

A Full Operational Semantics for Asynchronous Relational Networks.

Ignacio Vissani, Carlos Gustavo López Pombo, Ionut Tutu, José Luiz Fiadeiro

Proceedings of the Recent Trends in Algebraic Development Techniques, 2014

Heterogeneous Timed Machines.

Benoît Delahaye, José Luiz Fiadeiro, Axel Legay, Antónia Lopes

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

2013

An interface theory for service-oriented design.

José Luiz Fiadeiro, Antónia Lopes

Theor. Comput. Sci., 2013

A model for dynamic reconfiguration in service-oriented architectures.

José Luiz Fiadeiro, Antónia Lopes

Softw. Syst. Model., 2013

A Timed Component Algebra for Services.

Benoît Delahaye, José Luiz Fiadeiro, Axel Legay, Antónia Lopes

Proceedings of the Formal Techniques for Distributed Systems, 2013

A Logic-Programming Semantics of Services.

Ionut Tutu, José Luiz Fiadeiro

Proceedings of the Algebra and Coalgebra in Computer Science, 2013

2012

A formal model for service-oriented interactions.

José Luiz Fiadeiro, Antónia Lopes, João Abreu

Sci. Comput. Program., 2012

A Graph-Based Design Framework for Services.

Antónia Lopes, José Luiz Fiadeiro

Proceedings of the Graph Transformations - 6th International Conference, 2012

Consistency of Service Composition.

José Luiz Fiadeiro, Antónia Lopes

Proceedings of the Fundamental Approaches to Software Engineering, 2012

The Many Faces of Complexity in Software Design.

José Luiz Fiadeiro

Proceedings of the Conquering Complexity, 2012

2011

Guiding the representation of n-ary relations in ontologies through aggregation, generalisation and participation.

Paula Severi, José Luiz Fiadeiro, David Ekserdjian

J. Web Semant., 2011

An abstract model of service discovery and binding.

José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi

Formal Aspects Comput., 2011

Variability and Rigour in Service Computing Engineering.

Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi, José Luiz Fiadeiro

Proceedings of the 34th Annual IEEE Software Engineering Workshop, 2011

The Sensoria Reference Modelling Language.

José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi, João Abreu

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010

Editorial.

José Luiz Fiadeiro

Formal Aspects Comput., 2010

Guest Editors' Introduction: Evolving Critical Systems.

Lorcan Coyle, Mike Hinchey, Bashar Nuseibeh, José Luiz Fiadeiro

Computer, 2010

Early Model-Analysis of Logistics Systems.

Freeha Azmat, Laura Bocchi, José Luiz Fiadeiro

Proceedings of the Service-Oriented Computing, 2010

Guiding Reification in OWL through Aggregation.

Paula Severi, José Luiz Fiadeiro, David Ekserdjian

Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

2009

From Architectural to Behavioural Specification of Services.

Laura Bocchi, José Luiz Fiadeiro, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi

Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures, 2009

Structure and Behaviour of Virtual Organisation Breeding Environments

Laura Bocchi, José Luiz Fiadeiro, Noor Rajper, Stephan Reiff-Marganiec

Proceedings of the Proceedings Second Workshop on Formal Aspects of Virtual Organisations, 2009

A Model-Checking Approach for Service Component Architectures.

João Abreu, Franco Mazzanti, José Luiz Fiadeiro, Stefania Gnesi

Proceedings of the Formal Techniques for Distributed Systems, 2009

2008

On the Challenge of Engineering Socio-technical Systems.

José Luiz Fiadeiro

Proceedings of the Software-Intensive Systems and New Computing Paradigms, 2008

Business process management.

Schahram Dustdar, José Luiz Fiadeiro, Amit P. Sheth

Data Knowl. Eng., 2008

A Use-Case Driven Approach to Formal Service-Oriented Modelling.

Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes

Proceedings of the Leveraging Applications of Formal Methods, 2008

A Coordination Model for Service-Oriented Interactions.

João Abreu, José Luiz Fiadeiro

Proceedings of the Coordination Models and Languages, 10th International Conference, 2008

Service-Oriented Modelling of Automotive Systems.

Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

What Do Semantics Matter When the Meat Is Overcooked?.

José Luiz Fiadeiro

Proceedings of the Concurrency, 2008

2007

An algebraic semantics of event-based architectures.

José Luiz Fiadeiro, Antónia Lopes

Math. Struct. Comput. Sci., 2007

Designing for Software's Social Complexity.

José Luiz Fiadeiro

Computer, 2007

From BPEL to SRML: A Formal Transformational Approach.

Laura Bocchi, Yi Hong, Antónia Lopes, José Luiz Fiadeiro

Proceedings of the Web Services and Formal Methods, 4th International Workshop, 2007

Specifying and Composing Interaction Protocols for Service-Oriented System Modelling.

João Abreu, Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

Structured Co-spans: An Algebra of Interaction Protocols.

José Luiz Fiadeiro, Vincent Schmitt

Proceedings of the Algebra and Coalgebra in Computer Science, 2007

Managing Socio-technical Interactions in Healthcare Systems.

Osama E. S. El-Hassan, José Luiz Fiadeiro, Reiko Heckel

Proceedings of the Business Process Management Workshops, 2007

2006

Preface.

José Luiz Fiadeiro, Jan J. M. M. Rutten

Theor. Comput. Sci., 2006

Extending UML with coordination contracts.

Kevin Lano, José Luiz Fiadeiro

Softw. Syst. Model., 2006

Adding mobility to software architectures.

Antónia Lopes, José Luiz Fiadeiro

Sci. Comput. Program., 2006

Distribution concerns in service-oriented modelling.

Nasreddine Aoumeur, José Luiz Fiadeiro, Cristóvão Oliveira

Int. J. Internet Protoc. Technol., 2006

Role-based Architectural Modelling of Socio-Technical Systems.

Osama E. S. El-Hassan, José Luiz Fiadeiro

Proceedings of the Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, 2006

A Formal Approach to Service Component Architecture.

José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi

Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

Algebraic Semantics of Service Component Modules.

José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi

Proceedings of the Recent Trends in Algebraic Development Techniques, 2006

Architectural Handling of Management Concerns in Service-Driven Business Processes.

Ahmed Al-Ghamdi, José Luiz Fiadeiro

Proceedings of the Modelling, 2006

Physiological vs. Social Complexity in Software Design.

José Luiz Fiadeiro

Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

Separating Distribution from Coordination and Computation as Architectural Dimensions.

José Luiz Fiadeiro

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

A Formal Approach to Event-Based Architectures.

José Luiz Fiadeiro, Antónia Lopes

Proceedings of the Fundamental Approaches to Software Engineering, 2006

2005

A Verification Logic for Rewriting Logic.

Narciso Martí-Oliet, Isabel Pita, José Luiz Fiadeiro, José Meseguer, T. S. E. Maibaum

J. Log. Comput., 2005

Modelling the GSM Handover Protocol in CommUnity.

Cristóvão Oliveira, Michel Wermelinger, José Luiz Fiadeiro, Antónia Lopes

Proceedings of the Second International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, 2005

Context-Awareness in Software Architectures.

Antónia Lopes, José Luiz Fiadeiro

Proceedings of the Software Architecture, 2nd European Workshop, 2005

05081 Abstracts Collection - Foundations of Global Computing.

José Luiz Fiadeiro, Ugo Montanari, Martin Wirsing

Proceedings of the Foundations of Global Computing, 20.-25. February 2005, 2005

Categories for software engineering.

José Luiz Fiadeiro

Springer, ISBN: 978-3-540-20909-6, 2005

2004

Composition Contracts for Service Interaction.

Luís Filipe Andrade, José Luiz Fiadeiro

J. Univers. Comput. Sci., 2004

Superposition: composition vs refinement of non-deterministic, action-based systems.

Antónia Lopes, José Luiz Fiadeiro

Formal Aspects Comput., 2004

An Architectural Approach to Mobility - The Handover Case Study.

Cristóvão Oliveira, Michel Wermelinger, José Luiz Fiadeiro, Antónia Lopes

Proceedings of the 4th Working IEEE / IFIP Conference on Software Architecture (WICSA 2004), 2004

Towards an Architectural Approach to Location-Aware Business Processes.

Nasreddine Aoumeur, José Luiz Fiadeiro, Cristóvão Oliveira

Proceedings of the 13th IEEE International Workshops on Enabling Technologies (WETICE 2004), 2004

Algebraic Semantics of Design Abstractions for Context-Awareness.

Antónia Lopes, José Luiz Fiadeiro

Proceedings of the Recent Trends in Algebraic Development Techniques, 2004

New Insights on Architectural Connectors.

Roberto Bruni, José Luiz Fiadeiro, Ivan Lanese, Antónia Lopes, Ugo Montanari

Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

Software Services: Scientific Challenge or Industrial Hype?.

José Luiz Fiadeiro

Proceedings of the Theoretical Aspects of Computing, 2004

Problem Frames: A Case for Coordination.

Leonor Barroca, José Luiz Fiadeiro, Michael Jackson, Robin C. Laney, Bashar Nuseibeh

Proceedings of the Coordination Models and Languages, 6th International Conference, 2004

2003

High-order architectural connectors.

Antónia Lopes, Michel Wermelinger, José Luiz Fiadeiro

ACM Trans. Softw. Eng. Methodol., 2003

Foreword.

José Luiz Fiadeiro, Jan Madey, Andrzej Tarlecki

Inf. Process. Lett., 2003

Architecture Based Evolution of Software Systems.

Luís Filipe Andrade, José Luiz Fiadeiro

Proceedings of the Formal Methods for Software Architectures, 2003

Using Coordination Contracts for Flexible Adaptation to Changing Business Rules.

Michel Wermelinger, Georgios Koutsoukos, Richard Avillez, João Gouveia, Luís Andrade, José Luiz Fiadeiro

Proceedings of the 6th International Workshop on Principles of Software Evolution (IWPSE 2003), 2003

Enhancing Dependability Through Flexible Adaptation to Changing Requirements.

Michel Wermelinger, Georgios Koutsoukos, Hugo Lourenço, Richard Avillez, João Gouveia, Luís Andrade, José Luiz Fiadeiro

Proceedings of the Architecting Dependable Systems II, 2003

CommUnity on the Move: Architectures for Distribution and Mobility.

José Luiz Fiadeiro, Antónia Lopes

Proceedings of the Formal Methods for Components and Objects, 2003

Evolving Requirements through Coordination Contracts.

Ana M. D. Moreira, José Luiz Fiadeiro, Luís Andrade

Proceedings of the Advanced Information Systems Engineering, 15th International Conference, 2003

Coordination for Distributed Business Systems.

Luís Andrade, José Luiz Fiadeiro, Antónia Lopes, Michel Wermelinger

Proceedings of the 15th Conference on Advanced Information Systems Engineering (CAiSE '03), 2003

A Mathematical Semantics for Architectural Connectors.

José Luiz Fiadeiro, Antónia Lopes, Michel Wermelinger

Proceedings of the Generic Programming - Advanced Lectures, 2003

2002

Preface.

José Luiz Fiadeiro

Theor. Comput. Sci., 2002

Separating computation, coordination and configuration.

Luís Andrade, José Luiz Fiadeiro, João Gouveia, Georgios Koutsoukos

J. Softw. Maintenance Res. Pract., 2002

A graph transformation approach to software architecture reconfiguration.

Michel Wermelinger, José Luiz Fiadeiro

Sci. Comput. Program., 2002

Agility through coordination.

Luís Filipe Andrade, José Luiz Fiadeiro

Inf. Syst., 2002

On local modularity and interpolation in entailment systems.

Paulo A. S. Veloso, José Luiz Fiadeiro, Sheila R. M. Veloso

Inf. Process. Lett., 2002

An architectural support for self-adaptive software for treating faults.

Rogério de Lemos, José Luiz Fiadeiro

Proceedings of the First Workshop on Self-Healing Systems, 2002

On How Distribution and Mobility Interfere with Coordination.

Antónia Lopes, José Luiz Fiadeiro

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

AGILE: Software Architecture for Mobility.

Luís 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

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

Coordination Technologies for Just-in-Time Integration.

José Luiz Fiadeiro

Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002

Architectural primitives for distribution and mobility.

Antónia Lopes, José Luiz Fiadeiro, Michel Wermelinger

Proceedings of the Tenth ACM SIGSOFT Symposium on Foundations of Software Engineering 2002, 2002

Developing and evolving Java applications using coordination contracts.

João Gouveia, Georgios Koutsoukos, Michel Wermelinger, Luís Andrade, José Luiz Fiadeiro

Proceedings of the Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, 2002

A coordination methodology and technology for agile businesses.

Luís Andrade, José Luiz Fiadeiro, João Gouveia, Georgios Koutsoukos, Michel Wermelinger

Proceedings of the Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, 2002

Evolving and using coordinated systems.

Michel Wermelinger, Georgios Koutsoukos, José Luiz Fiadeiro, L. Andrade, João Gouveia

Proceedings of the International Workshop on Principles of Software Evolution, 2002

Coordination contracts for Java applications.

João Gouveia, Georgios Koutsoukos, Michel Wermelinger, Luís Andrade, José Luiz Fiadeiro

Proceedings of the 24th International Conference on Software Engineering, 2002

Coordination Architecture for Evolvable Event-Based Systems.

Luís Andrade, José Luiz Fiadeiro

Proceedings of the 22nd International Conference on Distributed Computing Systems, 2002

An Architectural Approach to Auto-Adaptive Systems.

Luís Andrade, José Luiz Fiadeiro

Proceedings of the 22nd International Conference on Distributed Computing Systems, 2002

The Coordination Development Environment.

João Gouveia, Georgios Koutsoukos, Michel Wermelinger, Luís Andrade, José Luiz Fiadeiro

Proceedings of the Fundamental Approaches to Software Engineering, 2002

An Architectural Approach to Fault Treatment in Critical Infrastructures.

José Luiz Fiadeiro

Proceedings of the Dependable Computing, 2002

Coordination for Orchestration.

Luís Filipe Andrade, José Luiz Fiadeiro, João Gouveia, Georgios Koutsoukos, Michel Wermelinger

Proceedings of the Coordination Models and Languages, 5th International Conference, 2002

Revisiting the Categorical Approach to Systems.

Antónia Lopes, José Luiz Fiadeiro

Proceedings of the Algebraic Methodology and Software Technology, 2002

Algebraic Support for Service-Oriented Architecture.

José Luiz Fiadeiro

Proceedings of the Algebraic Methodology and Software Technology, 2002

Software design using Java 2.

Kevin Lano, José Luiz Fiadeiro, Luís Filipe Andrade

Palgrave Macmillan, ISBN: 978-1-4039-0230-6, 2002

2001

A Compositional Approach to Connector Construction.

Antónia Lopes, Michel Wermelinger, José Luiz Fiadeiro

Proceedings of the Recent Trends in Algebraic Development Techniques, 2001

Tool Support for Coordination-Based Software Evolution.

João Gouveia, Georgios Koutsoukos, Luís Andrade, José Luiz Fiadeiro

Proceedings of the TOOLS Europe 2001: 38th International Conference on Technology of Object-Oriented Languages and Systems, 2001

Coordination: The Evolutionary Dimension.

Luís Filipe Andrade, José Luiz Fiadeiro

Proceedings of the TOOLS Europe 2001: 38th International Conference on Technology of Object-Oriented Languages and Systems, 2001

A graph based architectural (Re)configuration language.

Michel Wermelinger, Antónia Lopes, José Luiz Fiadeiro

Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001

Enforcing Business Policies Through Automated Reconfiguration.

Luís Andrade, José Luiz Fiadeiro, Michel Wermelinger

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

Support for Business-Driven Evolution with Coordination Technologies.

Luís Andrade, José Luiz Fiadeiro, João Gouveia, Georgios Koutsoukos, Michel Wermelinger

Proceedings of the 4th International Workshop on Principles of Software Evolution, 2001

Feature Modeling and Composition with Coordination Contracts.

Luís Filipe Andrade, José Luiz Fiadeiro

Proceedings of the ECOOP 2001 Workshop on Feature Interaction in Composed Systems (FICS 2001), 2001

Managing Evolution in Telecommunication Systems.

Georgios Koutsoukos, João Gouveia, Luís Andrade, José Luiz Fiadeiro

Proceedings of the New Developments in Distributed Applications and Interoperable Systems, 2001

A Graph Transformation Approach to Architectural Run-Time Reconfiguration.

Michel Wermelinger, Antónia Lopes, José Luiz Fiadeiro

Proceedings of the 2001 International Workshop on Formal Foundations of Software Evolution, 2001

Coordination Contracts, Evolution and Tools.

Luís Andrade, João Gouveia, Georgios Koutsoukos, José Luiz Fiadeiro

Proceedings of the 2001 International Workshop on Formal Foundations of Software Evolution, 2001

Coordination Technologies for Managing Information System Evolution.

Luís Filipe Andrade, José Luiz Fiadeiro

Proceedings of the Advanced Information Systems Engineering, 13th International Conference, 2001

2000

Superposing Connectors.

Michel Wermelinger, Antónia Lopes, José Luiz Fiadeiro

Proceedings of the 10th International Workshop on Software Specification and Design, 2000

Patterns for Coordination.

Luís Filipe Andrade, José Luiz Fiadeiro, João Gouveia, Antónia Lopes, Michel Wermelinger

Proceedings of the Coordination Languages and Models, 4th International Conference, 2000

1999

Foreword.

Jean Paul Bahsoun, José Luiz Fiadeiro, Didier Galmiche

Math. Struct. Comput. Sci., 1999

Towards a Verification Logic for Rewriting Logic.

José Luiz Fiadeiro, T. S. E. Maibaum, Narciso Martí-Oliet, José Meseguer, Isabel Pita

Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

Interconnecting Objects Via Contracts.

Luís Filipe Andrade, José Luiz Fiadeiro

Proceedings of the «UML»'99: The Unified Modeling Language, 1999

Using Explicit State to Describe Architechtures.

Antónia Lopes, José Luiz Fiadeiro

Proceedings of the Fundamental Approaches to Software Engineering, 1999

Algebraic Software Architecture Reconfiguration.

Michel Wermelinger, José Luiz Fiadeiro

Proceedings of the Software Engineering, 1999

1998

Connectors for Mobile Programs.

Michel Wermelinger, José Luiz Fiadeiro

IEEE Trans. Software Eng., 1998

Labeled Families in Modular Software Development.

Sheila R. M. Veloso, Paulo A. S. Veloso, José Luiz Fiadeiro

J. Braz. Comput. Soc., 1998

A computational tool that supports formal diagnosis of process design.

Pedro Ramos, José Luiz Fiadeiro

Inf. Softw. Technol., 1998

Towards an Algebra of Architectural Connectors: a Case Study on Synchronization for Mobility.

Michel Wermelinger, José Luiz Fiadeiro

Proceedings of the 9th International Workshop on Software Specification and Design, 1998

Algebraic Semantics of Coordination or What Is in a Signature.

José Luiz Fiadeiro, Antónia Lopes

Proceedings of the Algebraic Methodology and Software Technology, 1998

1997

Categorical Semantics of Parallel Program Design.

José Luiz Fiadeiro, T. S. E. Maibaum

Sci. Comput. Program., 1997

Semantics of Architectural Connectors.

José Luiz Fiadeiro, Antónia Lopes

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

The Role of Diagnosis and Decision Theory in Normative Reasoning.

Leendert W. N. van der Torre, Pedro Ramos, José Luiz Fiadeiro, Yao-Hua Tan

Proceedings of the Formal Models of Agents, 1997

Specification of Required Non-determinism.

Kevin Lano, Juan Bicarregui, José Luiz Fiadeiro, Antónia Lopes

Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

Coordination Durative Actions.

Isabel Nunes, José Luiz Fiadeiro, Wladyslaw M. Turski

Proceedings of the Coordination Languages and Models, Second International Conference, 1997

Preservation and Reflection in Specification.

Antónia Lopes, José Luiz Fiadeiro

Proceedings of the Algebraic Methodology and Software Technology, 1997

Synthesising interconnections.

José Luiz Fiadeiro, Antónia Lopes, T. S. E. Maibaum

Proceedings of the Algorithmic Languages and Calculi, 1997

1996

Mirror, Mirror in my Hand: A Duality between Specifications and Models of Process Behaviour.

José Luiz Fiadeiro, José Félix Costa

Math. Struct. Comput. Sci., 1996

A Mathematical Toolbox for the Software Architec.

José Luiz Fiadeiro, Tom Maibaum

Proceedings of the 8th International Workshop on Software Specification and Design, 1996

On the Emergence of Properties in Component-Based Systems.

José Luiz Fiadeiro

Proceedings of the Algebraic Methodology and Software Technology, 1996

1995

Reuse of Requirements and Specifications: A Formal Framework.

Carlos Paredes, José Luiz Fiadeiro

Proceedings of the ACM SIGSOFT Symposium on Software Reusability, 1995

Interconnecting Formalisms: Supporting Modularity, Reuse and Incrementality.

José Luiz Fiadeiro, T. S. E. Maibaum

Proceedings of the Third ACM SIGSOFT Symposium on Foundations of Software Engineering, 1995

Unifying Theories in Different Institutions.

M. Arrais, José Luiz Fiadeiro

Proceedings of the Recent Trends in Data Type Specification, 1995

1994

Verifying for Reuse: Foundations of Object-Oriented System Verification.

José Luiz Fiadeiro, T. S. E. Maibaum

Proceedings of the Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, 1994

Sometimes "Tomorrow" is "Sometime" - Action Refinement in a Temporal Logic of Objects.

José Luiz Fiadeiro, T. S. E. Maibaum

Proceedings of the Temporal Logic, First International Conference, 1994

Institutions for Behaviour Specification.

José Luiz Fiadeiro, José Félix Costa

Proceedings of the Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30, 1994

1993

Models for the Substitution Axiom of UNITY Logic.

Georg Reichwein, José Luiz Fiadeiro

Inf. Process. Lett., 1993

Generalising Interpretations between Theories in the context of (pi-) Institutions.

José Luiz Fiadeiro, T. S. E. Maibaum

Proceedings of the Theory and Formal Methods 1993, 1993

Semantics of Interworking Knowledge Based Systems.

Georg Reichwein, José Luiz Fiadeiro

Proceedings of the Progress in Artificial Intelligence, 1993

Declarative Semantics of Interoperable Data and Knowledge Bases.

Georg Reichwein, José Luiz Fiadeiro, Mechthild Rohen

Proceedings of the International Conference on Intelligent and Cooperative Information Systems, 1993

1992

Temporal Theories as Modularisation Units for Concurrent System Specification.

José Luiz Fiadeiro, T. S. E. Maibaum

Formal Aspects Comput., 1992

1991

Temporal reasoning over deontic specifications.

José Luiz Fiadeiro, T. S. E. Maibaum

J. Log. Comput., 1991

Towards object-oriented conceptual modeling.

Cristina Sernadas, José Luiz Fiadeiro

Data Knowl. Eng., 1991

Sharing Actions and Attributes in Modal Action Logic.

Mark Ryan, José Luiz Fiadeiro, T. S. E. Maibaum

Proceedings of the Theoretical Aspects of Computer Software, 1991

Process Semantics of Temporal Logic Specifications.

José Luiz Fiadeiro, José Félix Costa, Amílcar Sernadas, T. S. E. Maibaum

Proceedings of the Recent Trends in Data Type Specification, 1991

1990

Logics of Modal Terms for Systems Specification.

José Luiz Fiadeiro, Amílcar Sernadas

J. Log. Comput., 1990

Modular construction of logic knowledge bases: an algebraic approach.

Cristina Sernadas, José Luiz Fiadeiro, Amílcar Sernadas

Inf. Syst., 1990

Describing, Structuring and Implementing Objects.

José Luiz Fiadeiro, T. S. E. Maibaum

Proceedings of the Foundations of Object-Oriented Languages, 1990

Proof-Theoretic Semantics of Object-Oriented Specification Constructs.

José Luiz Fiadeiro, Cristina Sernadas, T. S. E. Maibaum, Gunter Saake

Proceedings of the Object-Oriented Databases: Analysis, 1990

1989

The Basic Building Blocks of Information Systems.

Amílcar Sernadas, José Luiz Fiadeiro, Cristina Sernadas, Hans-Dieter Ehrich

Proceedings of the Information System Concepts: An In-depth Analysis, 1989

Proof-theoretic Conceptual Modeling: the NIAM Case Study.

Cristina Sernadas, José Luiz Fiadeiro, Robert Meersman, Amílcar Sernadas

Proceedings of the Information System Concepts: An In-depth Analysis, 1989

1988

Specification and Verification of Database Dynamics.

José Luiz Fiadeiro, Amílcar Sernadas

Acta Informatica, 1988

Knowledgebases as Structured Theories.

José Luiz Fiadeiro, Amílcar Sernadas, Cristina Sernadas

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1988

Object-Oriented Conceptual Modeling from Law.

Cristina Sernadas, José Luiz Fiadeiro, Amílcar Sernadas

Proceedings of the IFIP TC2/TC8/WG 2.6/WG 8.1 Working Conference on the Role of Artificial Intelligence in Databases and Information Systems, 1988

1987

Abstract Object Types: A Temporal Perspective.

Amílcar Sernadas, José Luiz Fiadeiro, Cristina Sernadas, Hans-Dieter Ehrich

Proceedings of the Temporal Logic in Specification, 1987

Behavioural Aspects of Intelligent Knowledge-Based Information Systems.

José Luiz Fiadeiro, Amílcar Sernadas

Proceedings of the Temporal Aspects in Information Systems, 1987

Structuring Theories on Consequence.

José Luiz Fiadeiro, Amílcar Sernadas

Proceedings of the Recent Trends in Data Type Specification, 1987

1986

The INFOLOG linear tense propositional logic of events and transactions.

José Luiz Fiadeiro, Amílcar Sernadas

Inf. Syst., 1986

Varying Representation Schemata vs Fact Updating in KB Management.

Rogério Carapuça, José Luiz Fiadeiro

Proceedings of the IFIP WG 2.6 Working Conference on Data Semantics, 1986

Algebraic Knowledge Representation: The Unification of Procedure, Logic and Structure.

Amílcar Sernadas, Cristina Sernadas, José Luiz Fiadeiro

Proceedings of the 4st Workshop on Abstract Data Type, 1986