José Luiz Fiadeiro

185 papers A* 2A 3B 19C 15Misc 2Journal 47Unranked 85
YearRankTypeTitle / Venue / Authors
2021 B conf
Dynamic Reconfiguration via Typed Modalities.
FM
Ionut Tutu, Claudia Elena Chirita, José Luiz Fiadeiro
2020 J jnl
Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2017).
Sci. Comput. Program.
Simone André da Costa Cavalheiro, José Luiz Fiadeiro
2019 — conf
Logical Support for Bike-Sharing System Design.
From Software Engineering to Formal Methods and Tools, and Back
Ionut Tutu, Claudia Elena Chirita, Antónia Lopes, José Luiz Fiadeiro
2019 J jnl
Logics for Actor Networks: A two-stage constrained-hybridisation approach.
J. Log. Algebraic Methods Program.
José Luiz Fiadeiro, Ionut Tutu, Antónia Lopes, Dusko Pavlovic
2019 — ed.
Recent Trends in Algebraic Development Techniques - 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised Selected Papers
WADT
José Luiz Fiadeiro, Ionut Tutu
2018 J jnl
Dynamic networks of heterogeneous timed machines.
Math. Struct. Comput. Sci.
José Luiz Fiadeiro, Antónia Lopes, Benoît Delahaye, Axel Legay
2017 — ed.
Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings
SBMF
Simone André da Costa Cavalheiro, José Luiz Fiadeiro
2017 J jnl
From conventional to institution-independent logic programming.
J. Log. Comput.
Ionut Tutu, José Luiz Fiadeiro
2017 J jnl
Heterogeneous and asynchronous networks of timed systems.
Theor. Comput. Sci.
José Luiz Fiadeiro, Antónia Lopes
2017 — conf
Logics for Actor Networks: A Case Study in Constrained Hybridization - A Case Study in Constrained Hybridization.
DALI@TABLEAUX
José Luiz Fiadeiro, Ionut Tutu, Antónia Lopes, Dusko Pavlovic
2016 C conf
Free Jazz in the Land of Algebraic Improvisation.
ICCC
Claudia Elena Chirita, José Luiz Fiadeiro
2016 B conf
Many-Valued Institutions for Constraint Specification.
FASE
Claudia Elena Chirita, José Luiz Fiadeiro, Fernando Orejas
2015 — conf
A Semantics of Business Configurations Using Symbolic Graphs.
SCC
Nikos Mylonakis, Fernando Orejas, José Luiz Fiadeiro
2015 — conf
Abstract Constraint Data Types.
Software, Services, and Systems
José Luiz Fiadeiro, Fernando Orejas
2015 J jnl
Formal Aspects of Component Software (FACS 2013).
Sci. Comput. Program.
José Luiz Fiadeiro, Zhiming Liu
2015 B conf
Revisiting the Institutional Approach to Herbrand's Theorem.
CALCO
Ionut Tutu, José Luiz Fiadeiro
2015 J jnl
Service-Oriented Logic Programming.
Log. Methods Comput. Sci.
Ionut Tutu, José Luiz Fiadeiro
2014 — conf
A Full Operational Semantics for Asynchronous Relational Networks.
WADT
Ignacio Vissani, Carlos Gustavo López Pombo, Ionut Tutu, José Luiz Fiadeiro
2014 J jnl
Brazilian Symposium on Programming Languages (SBLP 2011).
Sci. Comput. Program.
Christiano Braga, José Luiz Fiadeiro
2014 — ed.
Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
FACS
José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue
2014 C conf
Heterogeneous Timed Machines.
ICTAC
Benoît Delahaye, José Luiz Fiadeiro, Axel Legay, Antónia Lopes
2014 B conf
Heterogeneous and Asynchronous Networks of Timed Systems.
FASE
José Luiz Fiadeiro, Antónia Lopes
2013 B conf
A Logic-Programming Semantics of Services.
CALCO
Ionut Tutu, José Luiz Fiadeiro
2013 — conf
A Timed Component Algebra for Services.
FMOODS/FORTE
Benoît Delahaye, José Luiz Fiadeiro, Axel Legay, Antónia Lopes
2013 J jnl
A model for dynamic reconfiguration in service-oriented architectures.
Softw. Syst. Model.
José Luiz Fiadeiro, Antónia Lopes
2013 J jnl
An interface theory for service-oriented design.
Theor. Comput. Sci.
José Luiz Fiadeiro, Antónia Lopes
2012 B conf
A Graph-Based Design Framework for Services.
ICGT
Antónia Lopes, José Luiz Fiadeiro
2012 J jnl
A formal model for service-oriented interactions.
Sci. Comput. Program.
José Luiz Fiadeiro, Antónia Lopes, João Abreu
2012 B conf
Consistency of Service Composition.
FASE
José Luiz Fiadeiro, Antónia Lopes
2012 J jnl
Editorial.
Formal Aspects Comput.
José Luiz Fiadeiro
2012 — ch.
The Many Faces of Complexity in Software Design.
Conquering Complexity
José Luiz Fiadeiro
2011 B conf
An Interface Theory for Service-Oriented Design.
FASE
José Luiz Fiadeiro, Antónia Lopes
2011 J jnl
An abstract model of service discovery and binding.
Formal Aspects Comput.
José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi
2011 J jnl
Guiding the representation of n-ary relations in ontologies through aggregation, generalisation and participation.
J. Web Semant.
Paula Severi, José Luiz Fiadeiro, David Ekserdjian
2011 — ch.
The Sensoria Reference Modelling Language.
Results of the SENSORIA Project
José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi, João Abreu
2011 C conf
Variability and Rigour in Service Computing Engineering.
SEW
Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi, José Luiz Fiadeiro
2010 B ed.
8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, Pisa, Italy, 13-18 September 2010
SEFM
José Luiz Fiadeiro, Stefania Gnesi, Andrea Maggiolo-Schettini
2010 B conf
A Model for Dynamic Reconfiguration in Service-Oriented Architectures.
ECSA
José Luiz Fiadeiro, Antónia Lopes
2010 — conf
Early Model-Analysis of Logistics Systems.
ICSOC Workshops
Freeha Azmat, Laura Bocchi, José Luiz Fiadeiro
2010 J jnl
Editorial.
Formal Aspects Comput.
José Luiz Fiadeiro
2010 J jnl
Guest Editors' Introduction: Evolving Critical Systems.
Computer
Lorcan Coyle, Mike Hinchey, Bashar Nuseibeh, José Luiz Fiadeiro
2010 — conf
Guiding Reification in OWL through Aggregation.
Description Logics
Paula Severi, José Luiz Fiadeiro, David Ekserdjian
2009 — conf
A Model-Checking Approach for Service Component Architectures.
FMOODS/FORTE
João Abreu, Franco Mazzanti, José Luiz Fiadeiro, Stefania Gnesi
2009 — conf
From Architectural to Behavioural Specification of Services.
FESCA@ETAPS
Laura Bocchi, José Luiz Fiadeiro, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
2009 — conf
Structure and Behaviour of Virtual Organisation Breeding Environments
FAVO
Laura Bocchi, José Luiz Fiadeiro, Noor Rajper, Stephan Reiff-Marganiec
2008 C conf
A Coordination Model for Service-Oriented Interactions.
COORDINATION
João Abreu, José Luiz Fiadeiro
2008 C conf
A Use-Case Driven Approach to Formal Service-Oriented Modelling.
ISoLA
Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes
2008 J jnl
Business process management.
Data Knowl. Eng.
Schahram Dustdar, José Luiz Fiadeiro, Amit P. Sheth
2008 B ed.
Fundamental Approaches to Software Engineering, 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
FASE
José Luiz Fiadeiro, Paola Inverardi
2008 — ch.
On the Challenge of Engineering Socio-technical Systems.
Software-Intensive Systems and New Computing Paradigms
José Luiz Fiadeiro
2008 B conf
Service-Oriented Modelling of Automotive Systems.
COMPSAC
Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes
2008 — conf
What Do Semantics Matter When the Meat Is Overcooked?.
Concurrency, Graphs and Models
José Luiz Fiadeiro
2007 J jnl
An algebraic semantics of event-based architectures.
Math. Struct. Comput. Sci.
José Luiz Fiadeiro, Antónia Lopes
2007 J jnl
Designing for Software's Social Complexity.
Computer
José Luiz Fiadeiro
2007 — conf
From BPEL to SRML: A Formal Transformational Approach.
WS-FM
Laura Bocchi, Yi Hong, Antónia Lopes, José Luiz Fiadeiro
2007 — conf
Managing Socio-technical Interactions in Healthcare Systems.
Business Process Management Workshops
Osama E. S. El-Hassan, José Luiz Fiadeiro, Reiko Heckel
2007 — ed.
Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers
WADT
José Luiz Fiadeiro, Pierre-Yves Schobbens
2007 C conf
Specifying and Composing Interaction Protocols for Service-Oriented System Modelling.
FORTE
João Abreu, Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes
2007 B conf
Structured Co-spans: An Algebra of Interaction Protocols.
CALCO
José Luiz Fiadeiro, Vincent Schmitt
2006 B conf
A Formal Approach to Event-Based Architectures.
FASE
José Luiz Fiadeiro, Antónia Lopes
2006 — conf
A Formal Approach to Service Component Architecture.
WS-FM
José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi
2006 J jnl
Adding mobility to software architectures.
Sci. Comput. Program.
Antónia Lopes, José Luiz Fiadeiro
2006 — conf
Algebraic Semantics of Service Component Modules.
WADT
José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi
2006 — conf
Architectural Handling of Management Concerns in Service-Driven Business Processes.
MSVVEIS
Ahmed Al-Ghamdi, José Luiz Fiadeiro
2006 A ed.
Business Process Management, 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings
BPM
Schahram Dustdar, José Luiz Fiadeiro, Amit P. Sheth
2006 J jnl
Distribution concerns in service-oriented modelling.
Int. J. Internet Protoc. Technol.
Nasreddine Aoumeur, José Luiz Fiadeiro, Cristóvão Oliveira
2006 J jnl
Extending UML with coordination contracts.
Softw. Syst. Model.
Kevin Lano, José Luiz Fiadeiro
2006 — ed.
Foundations of Global Computing, 20.-25. February 2005
Foundations of Global Computing
José Luiz Fiadeiro, Ugo Montanari, Martin Wirsing
2006 B conf
Physiological vs. Social Complexity in Software Design.
ICECCS
José Luiz Fiadeiro
2006 J jnl
Preface.
Theor. Comput. Sci.
José Luiz Fiadeiro, Jan J. M. M. Rutten
2006 — conf
Role-based Architectural Modelling of Socio-Technical Systems.
CoOrg/MTCoord@COORDINATION
Osama E. S. El-Hassan, José Luiz Fiadeiro
2006 — conf
Separating Distribution from Coordination and Computation as Architectural Dimensions.
FMOODS
José Luiz Fiadeiro
2005 — conf
05081 Abstracts Collection - Foundations of Global Computing.
Foundations of Global Computing
José Luiz Fiadeiro, Ugo Montanari, Martin Wirsing
2005 J jnl
A Verification Logic for Rewriting Logic.
J. Log. Comput.
Narciso Martí-Oliet, Isabel Pita, José Luiz Fiadeiro, José Meseguer, T. S. E. Maibaum
2005 B ed.
Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings
CALCO
José Luiz Fiadeiro, Neil Harman, Markus Roggenbach, Jan J. M. M. Rutten
2005 — book
Categories for software engineering.
José Luiz Fiadeiro
2005 — conf
Context-Awareness in Software Architectures.
EWSA
Antónia Lopes, José Luiz Fiadeiro
2005 — conf
Modelling the GSM Handover Protocol in CommUnity.
FESCA@ETAPS
Cristóvão Oliveira, Michel Wermelinger, José Luiz Fiadeiro, Antónia Lopes
2004 — conf
Algebraic Semantics of Design Abstractions for Context-Awareness.
WADT
Antónia Lopes, José Luiz Fiadeiro
2004 — conf
An Architectural Approach to Mobility - The Handover Case Study.
WICSA
Cristóvão Oliveira, Michel Wermelinger, José Luiz Fiadeiro, Antónia Lopes
2004 J jnl
Composition Contracts for Service Interaction.
J. Univers. Comput. Sci.
Luís Filipe Andrade, José Luiz Fiadeiro
2004 — conf
New Insights on Architectural Connectors.
IFIP TCS
Roberto Bruni, José Luiz Fiadeiro, Ivan Lanese, Antónia Lopes, Ugo Montanari
2004 C conf
Problem Frames: A Case for Coordination.
COORDINATION
Leonor Barroca, José Luiz Fiadeiro, Michael Jackson, Robin C. Laney, Bashar Nuseibeh
2004 — ed.
Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers
WADT
José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas
2004 C conf
Software Services: Scientific Challenge or Industrial Hype?.
ICTAC
José Luiz Fiadeiro
2004 J jnl
Superposition: composition vs refinement of non-deterministic, action-based systems.
Formal Aspects Comput.
Antónia Lopes, José Luiz Fiadeiro
2004 C conf
Towards an Architectural Approach to Location-Aware Business Processes.
WETICE
Nasreddine Aoumeur, José Luiz Fiadeiro, Cristóvão Oliveira
2003 — conf
A Mathematical Semantics for Architectural Connectors.
Generic Programming
José Luiz Fiadeiro, Antónia Lopes, Michel Wermelinger
2003 — conf
Adding Mobility to Software Architectures.
FOCLASA
Antónia Lopes, José Luiz Fiadeiro
2003 — conf
Architecture Based Evolution of Software Systems.
SFM
Luís Filipe Andrade, José Luiz Fiadeiro
2003 — conf
CommUnity on the Move: Architectures for Distribution and Mobility.
FMCO
José Luiz Fiadeiro, Antónia Lopes
2003 — conf
Coordination for Distributed Business Systems.
CAiSE Workshops
Luís Andrade, José Luiz Fiadeiro, Antónia Lopes, Michel Wermelinger
2003 B conf
Enhancing Dependability Through Flexible Adaptation to Changing Requirements.
WADS
Michel Wermelinger, Georgios Koutsoukos, Hugo Lourenço, Richard Avillez, João Gouveia, Luís Andrade, José Luiz Fiadeiro
2003 A conf
Evolving Requirements through Coordination Contracts.
CAiSE
Ana M. D. Moreira, José Luiz Fiadeiro, Luís Andrade
2003 J jnl
Foreword.
Inf. Process. Lett.
José Luiz Fiadeiro, Jan Madey, Andrzej Tarlecki
2003 J jnl
High-order architectural connectors.
ACM Trans. Softw. Eng. Methodol.
Antónia Lopes, Michel Wermelinger, José Luiz Fiadeiro
2003 — conf
Using Coordination Contracts for Flexible Adaptation to Changing Business Rules.
IWPSE
Michel Wermelinger, Georgios Koutsoukos, Richard Avillez, João Gouveia, Luís Andrade, José Luiz Fiadeiro
2002 — conf
A coordination methodology and technology for agile businesses.
OOPSLA Companion
Luís Andrade, José Luiz Fiadeiro, João Gouveia, Georgios Koutsoukos, Michel Wermelinger
2002 J jnl
A graph transformation approach to software architecture reconfiguration.
Sci. Comput. Program.
Michel Wermelinger, José Luiz Fiadeiro
2002 — conf
AGILE: Software Architecture for Mobility.
WADT
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
2002 J jnl
Agility through coordination.
Inf. Syst.
Luís Filipe Andrade, José Luiz Fiadeiro
2002 — conf
Algebraic Support for Service-Oriented Architecture.
AMAST
José Luiz Fiadeiro
2002 — conf
An Architectural Approach to Auto-Adaptive Systems.
ICDCS Workshops
Luís Andrade, José Luiz Fiadeiro
2002 Misc conf
An Architectural Approach to Fault Treatment in Critical Infrastructures.
EDCC
José Luiz Fiadeiro
2002 — conf
An architectural support for self-adaptive software for treating faults.
WOSS
Rogério de Lemos, José Luiz Fiadeiro
2002 — conf
Architectural primitives for distribution and mobility.
SIGSOFT FSE
Antónia Lopes, José Luiz Fiadeiro, Michel Wermelinger
2002 — conf
Coordination Architecture for Evolvable Event-Based Systems.
ICDCS Workshops
Luís Andrade, José Luiz Fiadeiro
2002 — conf
Coordination Technologies for Just-in-Time Integration.
10th Anniversary Colloquium of UNU/IIST
José Luiz Fiadeiro
2002 A* conf
Coordination contracts for Java applications.
ICSE
João Gouveia, Georgios Koutsoukos, Michel Wermelinger, Luís Andrade, José Luiz Fiadeiro
2002 C conf
Coordination for Orchestration.
COORDINATION
Luís Filipe Andrade, José Luiz Fiadeiro, João Gouveia, Georgios Koutsoukos, Michel Wermelinger
2002 — conf
Developing and evolving Java applications using coordination contracts.
OOPSLA Companion
João Gouveia, Georgios Koutsoukos, Michel Wermelinger, Luís Andrade, José Luiz Fiadeiro
2002 — conf
Evolving and using coordinated systems.
IWPSE
Michel Wermelinger, Georgios Koutsoukos, José Luiz Fiadeiro, L. Andrade, João Gouveia
2002 — conf
On How Distribution and Mobility Interfere with Coordination.
WADT
Antónia Lopes, José Luiz Fiadeiro
2002 J jnl
On local modularity and interpolation in entailment systems.
Inf. Process. Lett.
Paulo A. S. Veloso, José Luiz Fiadeiro, Sheila R. M. Veloso
2002 J jnl
Preface.
Theor. Comput. Sci.
José Luiz Fiadeiro
2002 — conf
Revisiting the Categorical Approach to Systems.
AMAST
Antónia Lopes, José Luiz Fiadeiro
2002 J jnl
Separating computation, coordination and configuration.
J. Softw. Maintenance Res. Pract.
Luís Andrade, José Luiz Fiadeiro, João Gouveia, Georgios Koutsoukos
2002 — book
Software design using Java 2.
Kevin Lano, José Luiz Fiadeiro, Luís Filipe Andrade
2002 — conf
Superposition: Composition vs refinement of non-deterministic action-based systems.
Refine
Antónia Lopes, José Luiz Fiadeiro
2002 B conf
The Coordination Development Environment.
FASE
João Gouveia, Georgios Koutsoukos, Michel Wermelinger, Luís Andrade, José Luiz Fiadeiro
2001 — conf
A Compositional Approach to Connector Construction.
WADT
Antónia Lopes, Michel Wermelinger, José Luiz Fiadeiro
2001 — conf
A Graph Transformation Approach to Architectural Run-Time Reconfiguration.
FFSE@CSMR
Michel Wermelinger, Antónia Lopes, José Luiz Fiadeiro
2001 — conf
A graph based architectural (Re)configuration language.
ESEC / SIGSOFT FSE
Michel Wermelinger, Antónia Lopes, José Luiz Fiadeiro
2001 — conf
Coordination Contracts, Evolution and Tools.
FFSE@CSMR
Luís Andrade, João Gouveia, Georgios Koutsoukos, José Luiz Fiadeiro
2001 A conf
Coordination Technologies for Managing Information System Evolution.
CAiSE
Luís Filipe Andrade, José Luiz Fiadeiro
2001 — conf
Coordination: The Evolutionary Dimension.
TOOLS (38)
Luís Filipe Andrade, José Luiz Fiadeiro
2001 A* conf
Enforcing Business Policies Through Automated Reconfiguration.
ASE
Luís Andrade, José Luiz Fiadeiro, Michel Wermelinger
2001 — conf
Feature Modeling and Composition with Coordination Contracts.
FICS
Luís Filipe Andrade, José Luiz Fiadeiro
2001 — conf
Interconnecting Objects via Contracts.
TOOLS (38)
José Luiz Fiadeiro, Luís Filipe Andrade
2001 C conf
Managing Evolution in Telecommunication Systems.
DAIS
Georgios Koutsoukos, João Gouveia, Luís Andrade, José Luiz Fiadeiro
2001 — conf
Support for Business-Driven Evolution with Coordination Technologies.
IWPSE
Luís Andrade, José Luiz Fiadeiro, João Gouveia, Georgios Koutsoukos, Michel Wermelinger
2001 — conf
Tool Support for Coordination-Based Software Evolution.
TOOLS (38)
João Gouveia, Georgios Koutsoukos, Luís Andrade, José Luiz Fiadeiro
2000 C conf
Patterns for Coordination.
COORDINATION
Luís Filipe Andrade, José Luiz Fiadeiro, João Gouveia, Antónia Lopes, Michel Wermelinger
2000 — conf
Superposing Connectors.
IWSSD
Michel Wermelinger, Antónia Lopes, José Luiz Fiadeiro
1999 — conf
Algebraic Software Architecture Reconfiguration.
ESEC / SIGSOFT FSE
Michel Wermelinger, José Luiz Fiadeiro
1999 J jnl
Foreword.
Math. Struct. Comput. Sci.
Jean Paul Bahsoun, José Luiz Fiadeiro, Didier Galmiche
1999 — conf
Interconnecting Objects Via Contracts.
UML
Luís Filipe Andrade, José Luiz Fiadeiro
1999 — ed.
Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998, Selected Papers
WADT
José Luiz Fiadeiro
1999 — conf
Towards a Verification Logic for Rewriting Logic.
WADT
José Luiz Fiadeiro, T. S. E. Maibaum, Narciso Martí-Oliet, José Meseguer, Isabel Pita
1999 B conf
Using Explicit State to Describe Architechtures.
FASE
Antónia Lopes, José Luiz Fiadeiro
1998 J jnl
A computational tool that supports formal diagnosis of process design.
Inf. Softw. Technol.
Pedro Ramos, José Luiz Fiadeiro
1998 — conf
Algebraic Semantics of Coordination or What Is in a Signature.
AMAST
José Luiz Fiadeiro, Antónia Lopes
1998 J jnl
Connectors for Mobile Programs.
IEEE Trans. Software Eng.
Michel Wermelinger, José Luiz Fiadeiro
1998 J jnl
Labeled Families in Modular Software Development.
J. Braz. Comput. Soc.
Sheila R. M. Veloso, Paulo A. S. Veloso, José Luiz Fiadeiro
1998 — conf
Towards an Algebra of Architectural Connectors: a Case Study on Synchronization for Mobility.
IWSSD
Michel Wermelinger, José Luiz Fiadeiro
1997 J jnl
Categorical Semantics of Parallel Program Design.
Sci. Comput. Program.
José Luiz Fiadeiro, T. S. E. Maibaum
1997 C conf
Coordination Durative Actions.
COORDINATION
Isabel Nunes, José Luiz Fiadeiro, Wladyslaw M. Turski
1997 — conf
Preservation and Reflection in Specification.
AMAST
Antónia Lopes, José Luiz Fiadeiro
1997 — conf
Semantics of Architectural Connectors.
TAPSOFT
José Luiz Fiadeiro, Antónia Lopes
1997 — conf
Specification of Required Non-determinism.
FME
Kevin Lano, Juan Bicarregui, José Luiz Fiadeiro, Antónia Lopes
1997 — conf
Synthesising interconnections.
Algorithmic Languages and Calculi
José Luiz Fiadeiro, Antónia Lopes, T. S. E. Maibaum
1997 — conf
The Role of Diagnosis and Decision Theory in Normative Reasoning.
ModelAge Workshop
Leendert W. N. van der Torre, Pedro Ramos, José Luiz Fiadeiro, Yao-Hua Tan
1996 — conf
A Mathematical Toolbox for the Software Architec.
IWSSD
José Luiz Fiadeiro, Tom Maibaum
1996 J jnl
Mirror, Mirror in my Hand: A Duality between Specifications and Models of Process Behaviour.
Math. Struct. Comput. Sci.
José Luiz Fiadeiro, José Félix Costa
1996 — conf
On the Emergence of Properties in Component-Based Systems.
AMAST
José Luiz Fiadeiro
1995 — conf
Interconnecting Formalisms: Supporting Modularity, Reuse and Incrementality.
SIGSOFT FSE
José Luiz Fiadeiro, T. S. E. Maibaum
1995 — conf
Reuse of Requirements and Specifications: A Formal Framework.
SSR
Carlos Paredes, José Luiz Fiadeiro
1995 — conf
Unifying Theories in Different Institutions.
COMPASS/ADT
M. Arrais, José Luiz Fiadeiro
1994 — conf
Institutions for Behaviour Specification.
COMPASS/ADT
José Luiz Fiadeiro, José Félix Costa
1994 — conf
Sometimes "Tomorrow" is "Sometime" - Action Refinement in a Temporal Logic of Objects.
ICTL
José Luiz Fiadeiro, T. S. E. Maibaum
1994 — conf
Verifying for Reuse: Foundations of Object-Oriented System Verification.
Theory and Formal Methods
José Luiz Fiadeiro, T. S. E. Maibaum
1993 — conf
Declarative Semantics of Interoperable Data and Knowledge Bases.
ICICIS
Georg Reichwein, José Luiz Fiadeiro, Mechthild Rohen
1993 — conf
Generalising Interpretations between Theories in the context of (pi-) Institutions.
Theory and Formal Methods
José Luiz Fiadeiro, T. S. E. Maibaum
1993 J jnl
Models for the Substitution Axiom of UNITY Logic.
Inf. Process. Lett.
Georg Reichwein, José Luiz Fiadeiro
1993 Misc conf
Semantics of Interworking Knowledge Based Systems.
EPIA
Georg Reichwein, José Luiz Fiadeiro
1992 J jnl
Temporal Theories as Modularisation Units for Concurrent System Specification.
Formal Aspects Comput.
José Luiz Fiadeiro, T. S. E. Maibaum
1991 — conf
Process Semantics of Temporal Logic Specifications.
COMPASS/ADT
José Luiz Fiadeiro, José Félix Costa, Amílcar Sernadas, T. S. E. Maibaum
1991 — conf
Sharing Actions and Attributes in Modal Action Logic.
TACS
Mark Ryan, José Luiz Fiadeiro, T. S. E. Maibaum
1991 J jnl
Temporal reasoning over deontic specifications.
J. Log. Comput.
José Luiz Fiadeiro, T. S. E. Maibaum
1991 J jnl
Towards object-oriented conceptual modeling.
Data Knowl. Eng.
Cristina Sernadas, José Luiz Fiadeiro
1990 — conf
Describing, Structuring and Implementing Objects.
REX Workshop
José Luiz Fiadeiro, T. S. E. Maibaum
1990 J jnl
Logics of Modal Terms for Systems Specification.
J. Log. Comput.
José Luiz Fiadeiro, Amílcar Sernadas
1990 J jnl
Modular construction of logic knowledge bases: an algebraic approach.
Inf. Syst.
Cristina Sernadas, José Luiz Fiadeiro, Amílcar Sernadas
1990 — conf
Proof-Theoretic Semantics of Object-Oriented Specification Constructs.
DS-4
José Luiz Fiadeiro, Cristina Sernadas, T. S. E. Maibaum, Gunter Saake
1989 C conf
Proof-theoretic Conceptual Modeling: the NIAM Case Study.
ISCO
Cristina Sernadas, José Luiz Fiadeiro, Robert Meersman, Amílcar Sernadas
1989 C conf
The Basic Building Blocks of Information Systems.
ISCO
Amílcar Sernadas, José Luiz Fiadeiro, Cristina Sernadas, Hans-Dieter Ehrich
1988 — conf
Knowledgebases as Structured Theories.
FSTTCS
José Luiz Fiadeiro, Amílcar Sernadas, Cristina Sernadas
1988 — conf
Object-Oriented Conceptual Modeling from Law.
DS-3
Cristina Sernadas, José Luiz Fiadeiro, Amílcar Sernadas
1988 J jnl
Specification and Verification of Database Dynamics.
Acta Informatica
José Luiz Fiadeiro, Amílcar Sernadas
1987 — conf
Abstract Object Types: A Temporal Perspective.
Temporal Logic in Specification
Amílcar Sernadas, José Luiz Fiadeiro, Cristina Sernadas, Hans-Dieter Ehrich
1987 — conf
Behavioural Aspects of Intelligent Knowledge-Based Information Systems.
Temporal Aspects in Information Systems
José Luiz Fiadeiro, Amílcar Sernadas
1987 — conf
Structuring Theories on Consequence.
ADT
José Luiz Fiadeiro, Amílcar Sernadas
1986 — conf
Algebraic Knowledge Representation: The Unification of Procedure, Logic and Structure.
ADT
Amílcar Sernadas, Cristina Sernadas, José Luiz Fiadeiro
1986 J jnl
The INFOLOG linear tense propositional logic of events and transactions.
Inf. Syst.
José Luiz Fiadeiro, Amílcar Sernadas
1986 — conf
Varying Representation Schemata vs Fact Updating in KB Management.
DS-2
Rogério Carapuça, José Luiz Fiadeiro