José Luiz Fiadeiro

According to our database1, José Luiz Fiadeiro
  • authored at least 161 papers between 1986 and 2017.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Heterogeneous and asynchronous networks of timed systems.
Theor. Comput. Sci., 2017

From conventional to institution-independent logic programming.
J. Log. Comput., 2017

2016
Free Jazz in the Land of Algebraic Improvisation.
Proceedings of the Seventh International Conference on Computational Creativity, UPMC, Paris, France, June 27, 2016

Many-Valued Institutions for Constraint Specification.
Proceedings of the Fundamental Approaches to Software Engineering, 2016

2015
Formal Aspects of Component Software (FACS 2013).
Sci. Comput. Program., 2015

Service-Oriented Logic Programming.
Logical Methods in Computer Science, 2015

Revisiting the Institutional Approach to Herbrand's Theorem.
Proceedings of the 6th Conference on Algebra and Coalgebra in Computer Science, 2015

Abstract Constraint Data Types.
Proceedings of the Software, 2015

A Semantics of Business Configurations Using Symbolic Graphs.
Proceedings of the 2015 IEEE International Conference on Services Computing, 2015

2014
Brazilian Symposium on Programming Languages (SBLP 2011).
Sci. Comput. Program., 2014

A Full Operational Semantics for Asynchronous Relational Networks.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2014

Heterogeneous Timed Machines.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

Heterogeneous and Asynchronous Networks of Timed Systems.
Proceedings of the Fundamental Approaches to Software Engineering, 2014

2013
An interface theory for service-oriented design.
Theor. Comput. Sci., 2013

A model for dynamic reconfiguration in service-oriented architectures.
Software and System Modeling, 2013

A Timed Component Algebra for Services.
Proceedings of the Formal Techniques for Distributed Systems, 2013

A Logic-Programming Semantics of Services.
Proceedings of the Algebra and Coalgebra in Computer Science, 2013

2012
A formal model for service-oriented interactions.
Sci. Comput. Program., 2012

A Graph-Based Design Framework for Services.
Proceedings of the Graph Transformations - 6th International Conference, 2012

Consistency of Service Composition.
Proceedings of the Fundamental Approaches to Software Engineering, 2012

The Many Faces of Complexity in Software Design.
Proceedings of the Conquering Complexity, 2012

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

An abstract model of service discovery and binding.
Formal Asp. Comput., 2011

Variability and Rigour in Service Computing Engineering.
Proceedings of the 34th Annual IEEE Software Engineering Workshop, 2011

An Interface Theory for Service-Oriented Design.
Proceedings of the Fundamental Approaches to Software Engineering, 2011

The Sensoria Reference Modelling Language.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010
Editorial.
Formal Asp. Comput., 2010

Guest Editors' Introduction: Evolving Critical Systems.
IEEE Computer, 2010

Early Model-Analysis of Logistics Systems.
Proceedings of the Service-Oriented Computing, 2010

A Model for Dynamic Reconfiguration in Service-Oriented Architectures.
Proceedings of the Software Architecture, 4th European Conference, 2010

Guiding Reification in OWL through Aggregation.
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

2009
From Architectural to Behavioural Specification of Services.
Electr. Notes Theor. Comput. Sci., 2009

Structure and Behaviour of Virtual Organisation Breeding Environments
Proceedings of the Proceedings Second Workshop on Formal Aspects of Virtual Organisations, 2009

A Model-Checking Approach for Service Component Architectures.
Proceedings of the Formal Techniques for Distributed Systems, 2009

2008
On the Challenge of Engineering Socio-technical Systems.
Proceedings of the Software-Intensive Systems and New Computing Paradigms, 2008

Business process management.
Data Knowl. Eng., 2008

A Use-Case Driven Approach to Formal Service-Oriented Modelling.
Proceedings of the Leveraging Applications of Formal Methods, 2008

A Coordination Model for Service-Oriented Interactions.
Proceedings of the Coordination Models and Languages, 10th International Conference, 2008

Service-Oriented Modelling of Automotive Systems.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

What Do Semantics Matter When the Meat Is Overcooked?.
Proceedings of the Concurrency, 2008

2007
An algebraic semantics of event-based architectures.
Mathematical Structures in Computer Science, 2007

Role-based Architectural Modelling of Socio-Technical Systems.
Electr. Notes Theor. Comput. Sci., 2007

Designing for Software's Social Complexity.
IEEE Computer, 2007

From BPEL to SRML: A Formal Transformational Approach.
Proceedings of the Web Services and Formal Methods, 4th International Workshop, 2007

Specifying and Composing Interaction Protocols for Service-Oriented System Modelling.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

Structured Co-spans: An Algebra of Interaction Protocols.
Proceedings of the Algebra and Coalgebra in Computer Science, 2007

Managing Socio-technical Interactions in Healthcare Systems.
Proceedings of the Business Process Management Workshops, 2007

2006
Preface.
Theor. Comput. Sci., 2006

Extending UML with coordination contracts.
Software and System Modeling, 2006

Adding mobility to software architectures.
Sci. Comput. Program., 2006

Distribution concerns in service-oriented modelling.
IJIPT, 2006

A Formal Approach to Service Component Architecture.
Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

Algebraic Semantics of Service Component Modules.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2006

Architectural Handling of Management Concerns in Service-Driven Business Processes.
Proceedings of the Modelling, 2006

Physiological vs. Social Complexity in Software Design.
Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

Separating Distribution from Coordination and Computation as Architectural Dimensions.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

A Formal Approach to Event-Based Architectures.
Proceedings of the Fundamental Approaches to Software Engineering, 2006

2005
A Verification Logic for Rewriting Logic.
J. Log. Comput., 2005

Modelling the GSM Handover Protocol in CommUnity.
Electr. Notes Theor. Comput. Sci., 2005

Context-Awareness in Software Architectures.
Proceedings of the Software Architecture, 2nd European Workshop, 2005

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

Categories for software engineering.
Springer, ISBN: 978-3-540-20909-6, 2005

2004
Composition Contracts for Service Interaction.
J. UCS, 2004

Superposition: composition vs refinement of non-deterministic, action-based systems.
Formal Asp. Comput., 2004

Adding Mobility to Software Architectures.
Electr. Notes Theor. Comput. Sci., 2004

An Architectural Approach to Mobility - The Handover Case Study.
Proceedings of the 4th Working IEEE / IFIP Conference on Software Architecture (WICSA 2004), 2004

Towards an Architectural Approach to Location-Aware Business Processes.
Proceedings of the 13th IEEE International Workshops on Enabling Technologies (WETICE 2004), 2004

Algebraic Semantics of Design Abstractions for Context-Awareness.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2004

New Insights on Architectural Connectors.
Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

Software Services: Scientific Challenge or Industrial Hype?.
Proceedings of the Theoretical Aspects of Computing, 2004

Problem Frames: A Case for Coordination.
Proceedings of the Coordination Models and Languages, 6th International Conference, 2004

2003
High-order architectural connectors.
ACM Trans. Softw. Eng. Methodol., 2003

Foreword.
Inf. Process. Lett., 2003

Architecture Based Evolution of Software Systems.
Proceedings of the Formal Methods for Software Architectures, 2003

Using Coordination Contracts for Flexible Adaptation to Changing Business Rules.
Proceedings of the 6th International Workshop on Principles of Software Evolution (IWPSE 2003), 2003

Enhancing Dependability Through Flexible Adaptation to Changing Requirements.
Proceedings of the Architecting Dependable Systems II, 2003

CommUnity on the Move: Architectures for Distribution and Mobility.
Proceedings of the Formal Methods for Components and Objects, 2003

Evolving Requirements through Coordination Contracts.
Proceedings of the Advanced Information Systems Engineering, 15th International Conference, 2003

Coordination for Distributed Business Systems.
Proceedings of the 15th Conference on Advanced Information Systems Engineering (CAiSE '03), 2003

A Mathematical Semantics for Architectural Connectors.
Proceedings of the Generic Programming - Advanced Lectures, 2003

2002
Preface.
Theor. Comput. Sci., 2002

Separating computation, coordination and configuration.
Journal of Software Maintenance, 2002

A graph transformation approach to software architecture reconfiguration.
Sci. Comput. Program., 2002

Agility through coordination.
Inf. Syst., 2002

On local modularity and interpolation in entailment systems.
Inf. Process. Lett., 2002

Superposition: Composition vs refinement of non-deterministic action-based systems.
Electr. Notes Theor. Comput. Sci., 2002

An architectural support for self-adaptive software for treating faults.
Proceedings of the First Workshop on Self-Healing Systems, 2002

On How Distribution and Mobility Interfere with Coordination.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2002


Coordination Technologies for Just-in-Time Integration.
Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002

Architectural primitives for distribution and mobility.
Proceedings of the Tenth ACM SIGSOFT Symposium on Foundations of Software Engineering 2002, 2002

Developing and evolving Java applications using coordination contracts.
Proceedings of the Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, 2002

A coordination methodology and technology for agile businesses.
Proceedings of the Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, 2002

Coordination contracts for Java applications.
Proceedings of the 24th International Conference on Software Engineering, 2002

Coordination Architecture for Evolvable Event-Based Systems.
Proceedings of the 22nd International Conference on Distributed Computing Systems, 2002

An Architectural Approach to Auto-Adaptive Systems.
Proceedings of the 22nd International Conference on Distributed Computing Systems, 2002

The Coordination Development Environment.
Proceedings of the Fundamental Approaches to Software Engineering, 2002

An Architectural Approach to Fault Treatment in Critical Infrastructures.
Proceedings of the Dependable Computing, 2002

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

Revisiting the Categorical Approach to Systems.
Proceedings of the Algebraic Methodology and Software Technology, 2002

Algebraic Support for Service-Oriented Architecture.
Proceedings of the Algebraic Methodology and Software Technology, 2002

Software design using Java 2.
Palgrave Macmillan, ISBN: 978-1-4039-0230-6, 2002

2001
A Compositional Approach to Connector Construction.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2001

Tool Support for Coordination-Based Software Evolution.
Proceedings of the TOOLS Europe 2001: 38th International Conference on Technology of Object-Oriented Languages and Systems, 2001

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

Coordination: The Evolutionary Dimension.
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.
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.
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

Feature Modeling and Composition with Coordination Contracts.
Proceedings of the ECOOP 2001 Workshop on Feature Interaction in Composed Systems (FICS 2001), 2001

Managing Evolution in Telecommunication Systems.
Proceedings of the New Developments in Distributed Applications and Interoperable Systems, 2001

Coordination Technologies for Managing Information System Evolution.
Proceedings of the Advanced Information Systems Engineering, 13th International Conference, 2001

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

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

1999
Foreword.
Mathematical Structures in Computer Science, 1999

Towards a Verification Logic for Rewriting Logic.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

Interconnecting Objects Via Contracts.
Proceedings of the «UML»'99: The Unified Modeling Language, 1999

Using Explicit State to Describe Architechtures.
Proceedings of the Fundamental Approaches to Software Engineering, 1999

Algebraic Software Architecture Reconfiguration.
Proceedings of the Software Engineering, 1999

1998
Connectors for Mobile Programs.
IEEE Trans. Software Eng., 1998

Labeled Families in Modular Software Development.
J. Braz. Comp. Soc., 1998

A computational tool that supports formal diagnosis of process design.
Information & Software Technology, 1998

Algebraic Semantics of Coordination or What Is in a Signature.
Proceedings of the Algebraic Methodology and Software Technology, 1998

1997
Categorical Semantics of Parallel Program Design.
Sci. Comput. Program., 1997

Semantics of Architectural Connectors.
Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

The Role of Diagnosis and Decision Theory in Normative Reasoning.
Proceedings of the Formal Models of Agents, 1997

Specification of Required Non-determinism.
Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

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

Preservation and Reflection in Specification.
Proceedings of the Algebraic Methodology and Software Technology, 1997

Synthesising interconnections.
Proceedings of the Algorithmic Languages and Calculi, 1997

1996
Mirror, Mirror in my Hand: A Duality between Specifications and Models of Process Behaviour.
Mathematical Structures in Computer Science, 1996

On the Emergence of Properties in Component-Based Systems.
Proceedings of the Algebraic Methodology and Software Technology, 1996

1995
Reuse of Requirements and Specifications: A Formal Framework.
SSR, 1995

Interconnecting Formalisms: Supporting Modularity, Reuse and Incrementality.
Proceedings of the SIGSOFT '95, 1995

Unifying Theories in Different Institutions.
Proceedings of the Recent Trends in Data Type Specification, 1995

1994
Verifying for Reuse: Foundations of Object-Oriented System Verification.
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.
Proceedings of the Temporal Logic, First International Conference, 1994

Institutions for Behaviour Specification.
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.
Inf. Process. Lett., 1993

Generalising Interpretations between Theories in the context of (pi-) Institutions.
Proceedings of the Theory and Formal Methods 1993, 1993

Semantics of Interworking Knowledge Based Systems.
Proceedings of the Progress in Artificial Intelligence, 1993

Declarative Semantics of Interoperable Data and Knowledge Bases.
CoopIS, 1993

1992
Temporal Theories as Modularisation Units for Concurrent System Specification.
Formal Asp. Comput., 1992

1991
Temporal reasoning over deontic specifications.
J. Log. Comput., 1991

Towards object-oriented conceptual modeling.
Data Knowl. Eng., 1991

Sharing Actions and Attributes in Modal Action Logic.
Proceedings of the Theoretical Aspects of Computer Software, 1991

Process Semantics of Temporal Logic Specifications.
Proceedings of the Recent Trends in Data Type Specification, 1991

1990
Logics of Modal Terms for Systems Specification.
J. Log. Comput., 1990

Modular construction of logic knowledge bases: an algebraic approach.
Inf. Syst., 1990

Describing, Structuring and Implementing Objects.
Proceedings of the Foundations of Object-Oriented Languages, 1990

Proof-Theoretic Semantics of Object-Oriented Specification Constructs.
Proceedings of the Object-Oriented Databases: Analysis, 1990

1989
The Basic Building Blocks of Information Systems.
Proceedings of the Information System Concepts: An In-depth Analysis, 1989

Proof-theoretic Conceptual Modeling: the NIAM Case Study.
Proceedings of the Information System Concepts: An In-depth Analysis, 1989

1988
Specification and Verification of Database Dynamics.
Acta Inf., 1988

Knowledgebases as Structured Theories.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1988

Object-Oriented Conceptual Modeling from Law.
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.
Proceedings of the Temporal Logic in Specification, 1987

Behavioural Aspects of Intelligent Knowledge-Based Information Systems.
Proceedings of the Temporal Aspects in Information Systems, 1987

Structuring Theories on Consequence.
Proceedings of the Recent Trends in Data Type Specification, 1987

1986
The INFOLOG linear tense propositional logic of events and transactions.
Inf. Syst., 1986

Varying Representation Schemata vs Fact Updating in KB Management.
Proceedings of the IFIP WG 2.6 Working Conference on Data Semantics, 1986

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


  Loading...