Travelled to:
1 × Denmark
1 × Estonia
1 × Italy
1 × Norway
1 × The Netherlands
2 × Germany
2 × Switzerland
3 × France
4 × Austria
5 × USA
Collaborated with:
A.Lopes L.F.Andrade M.Wermelinger J.Gouveia G.Koutsoukos T.S.E.Maibaum A.M.D.Moreira C.E.Chirita F.Orejas C.Oliveira K.Lano J.Bicarregui
Talks about:
architectur (8) coordin (6) base (5) contract (4) servic (4) interconnect (3) reconfigur (3) softwar (3) system (3) evolut (3)
♂ Person: José Luiz Fiadeiro
DBLP: Fiadeiro:Jos=eacute=_Luiz
Facilitated 4 volumes:
Contributed to:
Wrote 25 papers:
- FASE-2014-FiadeiroL #network
- Heterogeneous and Asynchronous Networks of Timed Systems (JLF, AL), pp. 79–93.
- FASE-2012-FiadeiroL #composition #consistency
- Consistency of Service Composition (JLF, AL), pp. 63–77.
- ICGT-2012-LopesF #design #framework #graph
- A Graph-Based Design Framework for Services (AL, JLF), pp. 1–19.
- FASE-2011-FiadeiroL #design #interface
- An Interface Theory for Service-Oriented Design (JLF, AL), pp. 18–33.
- ECSA-2010-FiadeiroL #architecture #configuration management
- A Model for Dynamic Reconfiguration in Service-Oriented Architectures (JLF, AL), pp. 70–85.
- FASE-2006-FiadeiroL #approach #architecture #formal method
- A Formal Approach to Event-Based Architectures (JLF, AL), pp. 18–32.
- WICSA-2004-OliveiraWFL #approach #architecture #case study
- An Architectural Approach to Mobility — The Handover Case Study (CO, MW, JLF, AL), pp. 305–310.
- CAiSE-2003-MoreiraFA #contract #coordination #evolution #requirements
- Evolving Requirements through Coordination Contracts (AMDM, JLF, LFA), pp. 633–646.
- SFM-2003-AndradeF #architecture #evolution
- Architecture Based Evolution of Software Systems (LFA, JLF), pp. 148–181.
- FASE-2002-GouveiaKWAF #coordination #development
- The Coordination Development Environment (JG, GK, MW, LFA, JLF), pp. 323–326.
- FSE-2002-LopesFW #architecture
- Architectural primitives for distribution and mobility (AL, JLF, MW), pp. 41–50.
- ICSE-2002-GouveiaKWAF #contract #coordination #java
- Coordination contracts for Java applications (JG, GK, MW, LFA, JLF), p. 714.
- ASE-2001-AndradeFW #automation #configuration management #policy
- Enforcing Business Policies Through Automated Reconfiguration (LFA, JLF, MW), p. 426–?.
- CAiSE-2001-AndradeF #coordination #evolution #information management
- Coordination Technologies for Managing Information System Evolution (LFA, JLF), pp. 374–387.
- ESEC-FSE-2001-WermelingerLF #architecture #graph
- A graph based architectural (Re)configuration language (MW, AL, JLF), pp. 21–32.
- TOOLS-EUROPE-2001-AndradeF #coordination #named
- Coordination: The Evolutionary Dimension (LFA, JLF), pp. 136–147.
- TOOLS-EUROPE-2001-FiadeiroA #contract
- Interconnecting Objects via Contracts (JLF, LFA), pp. 182–183.
- TOOLS-EUROPE-2001-GouveiaKAF #coordination #evolution #tool support
- Tool Support for Coordination-Based Software Evolution (JG, GK, LFA, JLF), pp. 184–196.
- ESEC-FSE-1999-WermelingerF #algebra #architecture #configuration management
- Algebraic Software Architecture Reconfiguration (MW, JLF), pp. 393–409.
- FASE-1999-LopesF #using
- Using Explicit State to Describe Architechtures (AL, JLF), pp. 144–160.
- UML-1999-AndradeF #contract
- Interconnecting Objects Via Contracts (LFA, JLF), pp. 566–583.
- FME-1997-LanoBFL #nondeterminism #specification
- Specification of Required Non-determinism (KL, JB, JLF, AL), pp. 298–317.
- FSE-1995-FiadeiroM #composition #reuse
- Interconnecting Formalisms: Supporting Modularity, Reuse and Incrementality (JLF, TSEM), pp. 72–80.
- TAPSOFT-1997-FiadeiroL #architecture #semantics
- Semantics of Architectural Connectors (JLF, AL), pp. 505–519.
- FASE-2016-ChiritaFO #constraints #specification
- Many-Valued Institutions for Constraint Specification (CEC, JLF, FO), pp. 359–376.