José Luiz Fiadeiro - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

An abstract model of service discovery and bindingJosé Luiz Fiadeiro, Antónia Lopes, Laura Bocchi. fac, 23(4):433-463, 2011. [doi]

An Interface Theory for Service-Oriented DesignJosé Luiz Fiadeiro, Antónia Lopes. FASE 2011: 18-33 [doi]

Guiding the representation of n-ary relations in ontologies through aggregation, generalisation and participationPaula Severi, José Luiz Fiadeiro, David Ekserdjian. ws, 9(2):83-98, 2011. [doi]

2010

2009

A Model-Checking Approach for Service Component ArchitecturesJoão Abreu, Franco Mazzanti, José Luiz Fiadeiro, Stefania Gnesi. forte 2009: 219-224 [doi]

2008

A Coordination Model for Service-Oriented InteractionsJoão Abreu, José Luiz Fiadeiro. coordination 2008: 1-16 [doi]

Service-Oriented Modelling of Automotive SystemsLaura Bocchi, José Luiz Fiadeiro, Antónia Lopes. compsac 2008: 1059-1064 [doi]

A Use-Case Driven Approach to Formal Service-Oriented ModellingLaura Bocchi, José Luiz Fiadeiro, Antónia Lopes. isola 2008: 155-169 [doi]

Business process managementSchahram Dustdar, José Luiz Fiadeiro, Amit P. Sheth. DKE, 64(1):1-2, 2008. [doi]

On the Challenge of Engineering Socio-technical SystemsJosé Luiz Fiadeiro. In Martin Wirsing, Jean-Pierre Banâtre, Matthias M. Hölzl, Axel Rauschmayer, editors, Software-Intensive Systems and New Computing Paradigms - Challenges and Visions. Volume 5380 of Lecture Notes in Computer Science, pages 80-91, Springer, 2008. [doi]

What Do Semantics Matter When the Meat Is Overcooked?José Luiz Fiadeiro. birthday 2008: 563-580 [doi]

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. ProceedingsJosé Luiz Fiadeiro, Paola Inverardi, editors, Volume 4961 of Lecture Notes in Computer Science, Springer, 2008.

2007

Specifying and Composing Interaction Protocols for Service-Oriented System ModellingJoão Abreu, Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes. forte 2007: 358-373 [doi]

From BPEL to SRML: A Formal Transformational ApproachLaura Bocchi, Yi Hong, Antónia Lopes, José Luiz Fiadeiro. wsfm 2008: 92-107 [doi]

Managing Socio-technical Interactions in Healthcare SystemsOsama El-Hassan, José Luiz Fiadeiro, Reiko Heckel. BPM 2008: 347-358 [doi]

Role-based Architectural Modelling of Socio-Technical SystemsOsama El-Hassan, José Luiz Fiadeiro. ENTCS, 181:5-17, 2007. [doi]

Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected PapersJosé Luiz Fiadeiro, Pierre Yves Schobbens, editors, Volume 4409 of Lecture Notes in Computer Science, Springer, 2007.

Designing for Software s Social ComplexityJosé Luiz Fiadeiro. Computer, 40(1):34-39, 2007. [doi]

An algebraic semantics of event-based architecturesJosé Luiz Fiadeiro, Antónia Lopes. mscs, 17(5):1029-1073, 2007. [doi]

Structured Co-spans: An Algebra of Interaction ProtocolsJosé Luiz Fiadeiro, Vincent Schmitt. calco 2007: 194-208 [doi]

2006

Architectural Handling of Management Concerns in Service-Driven Business ProcessesAhmed Al-Ghamdi, José Luiz Fiadeiro. vveis 2006: 111-120

Distribution concerns in service-oriented modellingNasreddine Aoumeur, José Luiz Fiadeiro, Cristóvão Oliveira. ijipt, 1(3):144-158, 2006. [doi]

Business Process Management, 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, ProceedingsSchahram Dustdar, José Luiz Fiadeiro, Amit P. Sheth, editors, Volume 4102 of Lecture Notes in Computer Science, Springer, 2006.

Foundations of Global Computing, 20.-25. February 2005José Luiz Fiadeiro, Ugo Montanari, Martin Wirsing, editors, Volume 05081 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.

PrefaceJosé Luiz Fiadeiro, Jan J. M. M. Rutten. TCS, 366(1-2):1-2, 2006. [doi]

Algebraic Semantics of Service Component ModulesJosé Luiz Fiadeiro, Antónia Lopes, Laura Bocchi. WADT 2006: 37-55 [doi]

Separating Distribution from Coordination and Computation as Architectural DimensionsJosé Luiz Fiadeiro. fmoods 2006: 17 [doi]

Physiological vs. Social Complexity in Software DesignJosé Luiz Fiadeiro. iceccs 2006: 3 [doi]

A Formal Approach to Service Component ArchitectureJosé Luiz Fiadeiro, Antónia Lopes, Laura Bocchi. wsfm 2006: 193-213 [doi]

A Formal Approach to Event-Based ArchitecturesJosé Luiz Fiadeiro, Antónia Lopes. FASE 2006: 18-32 [doi]

Extending UML with coordination contractsKevin Lano, José Luiz Fiadeiro. SoSyM, 5(2):110-120, 2006. [doi]

Adding mobility to software architecturesAntónia Lopes, José Luiz Fiadeiro. SCP, 61(2):114-135, 2006. [doi]

2005

05081 Abstracts Collection - Foundations of Global ComputingJosé Luiz Fiadeiro, Ugo Montanari, Martin Wirsing. dagstuhl 2006: [doi]

Categories for software engineeringJosé Luiz Fiadeiro. Springer, 2005. [doi]

Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, ProceedingsJosé Luiz Fiadeiro, Neil Harman, Markus Roggenbach, Jan J. M. M. Rutten, editors, Volume 3629 of Lecture Notes in Computer Science, Springer, 2005.

Context-Awareness in Software ArchitecturesAntónia Lopes, José Luiz Fiadeiro. ewsa 2005: 146-161 [doi]

A Verification Logic for Rewriting LogicNarciso Martí-Oliet, Isabel Pita, José Luiz Fiadeiro, José Meseguer, T. S. E. Maibaum. logcom, 15(3):317-352, 2005. [doi]

Modelling the GSM Handover Protocol in CommUnityCristóvão Oliveira, Michel Wermelinger, José Luiz Fiadeiro, Antónia Lopes. ENTCS, 141(3):3-25, 2005. [doi]

2004

Composition Contracts for Service InteractionLuis Filipe Andrade, José Luiz Fiadeiro. jucs, 10(4):375-390, 2004. [doi]

Towards an Architectural Approach to Location-Aware Business ProcessesNasreddine Aoumeur, José Luiz Fiadeiro, Cristóvão Oliveira. wetice 2004: 147-152 [doi]

Problem Frames: A Case for CoordinationLeonor Barroca, José Luiz Fiadeiro, Michael Jackson, Robin C. Laney, Bashar Nuseibeh. coordination 2004: 5-19 [doi]

New Insights on Architectural ConnectorsRoberto Bruni, José Luiz Fiadeiro, Ivan Lanese, Antónia Lopes, Ugo Montanari. ifipTCS 2004: 367-380

Software Services: Scientific Challenge or Industrial Hype?José Luiz Fiadeiro. ictac 2005: 1-13 [doi]

Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected PapersJosé Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas, editors, Volume 3423 of Lecture Notes in Computer Science, Springer, 2004.

Adding Mobility to Software ArchitecturesAntónia Lopes, José Luiz Fiadeiro. ENTCS, 97:241-258, 2004. [doi]

Superposition: composition vs refinement of non-deterministic, action-based systemsAntónia Lopes, José Luiz Fiadeiro. fac, 16(1):5-18, 2004. [doi]

Algebraic Semantics of Design Abstractions for Context-AwarenessAntónia Lopes, José Luiz Fiadeiro. WADT 2004: 79-93 [doi]

An Architectural Approach to Mobility - The Handover Case StudyCristóvão Oliveira, Michel Wermelinger, José Luiz Fiadeiro, Antónia Lopes. wicsa 2004: 305-310 [doi]

2003

Coordination for Distributed Business SystemsLuis Filipe Andrade, José Luiz Fiadeiro, Antónia Lopes, Michel Wermelinger. caise 2003: [doi]

Architecture Based Evolution of Software SystemsLuis Filipe Andrade, José Luiz Fiadeiro. sfm 2003: 148-181 [doi]

ForewordJosé Luiz Fiadeiro, Jan Madey, Andrzej Tarlecki. ipl, 88(1-2):1-2, 2003. [doi]

CommUnity on the Move: Architectures for Distribution and MobilityJosé Luiz Fiadeiro, Antónia Lopes. FMCO 2004: 177-196 [doi]

A Mathematical Semantics for Architectural ConnectorsJosé Luiz Fiadeiro, Antónia Lopes, Michel Wermelinger. ac 2003: 178-221 [doi]

High-order architectural connectorsAntónia Lopes, Michel Wermelinger, José Luiz Fiadeiro. TOSEM, 12(1):64-104, 2003. [doi]

Evolving Requirements through Coordination ContractsAna M. D. Moreira, José Luiz Fiadeiro, Luis Filipe Andrade. caise 2003: 633-646 [doi]

Enhancing Dependability Through Flexible Adaptation to Changing RequirementsMichel Wermelinger, Georgios Koutsoukos, Hugo Lourenço, Richard Avillez, João Gouveia, Luis Filipe Andrade, José Luiz Fiadeiro. ICSE 2004: 3-24 [doi]

Using Coordination Contracts for Flexible Adaptation to Changing Business RulesMichel Wermelinger, Georgios Koutsoukos, Richard Avillez, João Gouveia, Luis Filipe Andrade, José Luiz Fiadeiro. iwpse 2003: 115-120 [doi]

2002

Coordination for OrchestrationLuis Filipe Andrade, José Luiz Fiadeiro, João Gouveia, Georgios Koutsoukos, Michel Wermelinger. coordination 2002: 5-13 [doi]

Agility through coordinationLuis Filipe Andrade, José Luiz Fiadeiro. is, 27(6):411-424, 2002. [doi]

Separating computation, coordination and configurationLuis Filipe Andrade, José Luiz Fiadeiro, João Gouveia, Georgios Koutsoukos. SMR, 14(5):353-369, 2002. [doi]

Coordination Architecture for Evolvable Event-Based SystemsLuis Filipe Andrade, José Luiz Fiadeiro. icdcsw 2002: 571-572 [doi]

An Architectural Approach to Auto-Adaptive SystemsLuis Filipe Andrade, José Luiz Fiadeiro. icdcsw 2002: 439-444 [doi]

An architectural support for self-adaptive software for treating faultsRogério de Lemos, José Luiz Fiadeiro. woss 2002: 39-42 [doi]

PrefaceJosé Luiz Fiadeiro. TCS, 286(2):151, 2002.

Coordination Technologies for Just-in-Time IntegrationJosé Luiz Fiadeiro. unu 2003: 308-321 [doi]

Algebraic Support for Service-Oriented ArchitectureJosé Luiz Fiadeiro. amast 2002: 75-82 [doi]

An Architectural Approach to Fault Treatment in Critical InfrastructuresJosé Luiz Fiadeiro. edcc 2002: 86-87 [doi]

Coordination contracts for Java applicationsJoão Gouveia, Georgios Koutsoukos, Michel Wermelinger, Luis Filipe Andrade, José Luiz Fiadeiro. ICSE 2002: 714 [doi]

The Coordination Development EnvironmentJoão Gouveia, Georgios Koutsoukos, Michel Wermelinger, Luis Filipe Andrade, José Luiz Fiadeiro. FASE 2002: 323-326 [doi]

Software design using Java 2Kevin Lano, José Luiz Fiadeiro, Luis Filipe Andrade. Palgrave Macmillan, 2002.

On How Distribution and Mobility Interfere with CoordinationAntónia Lopes, José Luiz Fiadeiro. WADT 2003: 343-358 [doi]

Architectural primitives for distribution and mobilityAntónia Lopes, José Luiz Fiadeiro, Michel Wermelinger. ESEC/FSE 2002: 41-50 [doi]

Superposition: Composition vs refinement of non-deterministic action-based systemsAntónia Lopes, José Luiz Fiadeiro. ENTCS, 70(3), 2002. [doi]

Revisiting the Categorical Approach to SystemsAntónia Lopes, José Luiz Fiadeiro. amast 2002: 426-440 [doi]

On local modularity and interpolation in entailment systemsPaulo A. S. Veloso, José Luiz Fiadeiro, Sheila R. M. Veloso. ipl, 82(4):203-211, 2002. [doi]

A graph transformation approach to software architecture reconfigurationMichel Wermelinger, José Luiz Fiadeiro. SCP, 44(2):133-155, 2002. [doi]

2001

Coordination Technologies for Managing Information System EvolutionLuis Filipe Andrade, José Luiz Fiadeiro. caise 2001: 374-387 [doi]

Coordination: The Evolutionary DimensionLuis Filipe Andrade, José Luiz Fiadeiro. TOOLS 2001: 136-147 [doi]

Enforcing Business Policies Through Automated ReconfigurationLuis Filipe Andrade, José Luiz Fiadeiro, Michel Wermelinger. ASE 2001: 426 [doi]

Feature Modeling and Composition with Coordination ContractsLuis Filipe Andrade, José Luiz Fiadeiro. ECOOP 2001: 49-54 [doi]

Interconnecting Objects via ContractsJosé Luiz Fiadeiro, Luis Filipe Andrade. TOOLS 2001: 182-183 [doi]

Tool Support for Coordination-Based Software EvolutionJoão Gouveia, Georgios Koutsoukos, Luis Filipe Andrade, José Luiz Fiadeiro. TOOLS 2001: 184-196 [doi]

Managing Evolution in Telecommunication SystemsGeorgios Koutsoukos, João Gouveia, Luis Filipe Andrade, José Luiz Fiadeiro. dais 2001: 133-140

A Compositional Approach to Connector ConstructionAntónia Lopes, Michel Wermelinger, José Luiz Fiadeiro. WADT 2001: 201-220 [doi]

A graph based architectural (Re)configuration languageMichel Wermelinger, Antónia Lopes, José Luiz Fiadeiro. ESEC/FSE 2001: 21-32 [doi]

2000

Patterns for CoordinationLuis Filipe Andrade, José Luiz Fiadeiro, João Gouveia, Antónia Lopes, Michel Wermelinger. coordination 2000: 317-322 [doi]

Superposing ConnectorsMichel Wermelinger, Antónia Lopes, José Luiz Fiadeiro. iwssd 2000: 87-94 [doi]

1999

Interconnecting Objects Via ContractsLuis Filipe Andrade, José Luiz Fiadeiro. uml 1999: 566-583

ForewordJean Paul Bahsoun, José Luiz Fiadeiro, Didier Galmiche. mscs, 9(3):225-226, 1999.

Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT 98, Lisbon, Portugal, April 2-4, 1998, Selected PapersJosé Luiz Fiadeiro, editor, Volume 1589 of Lecture Notes in Computer Science, Springer, 1999.

Towards a Verification Logic for Rewriting LogicJosé Luiz Fiadeiro, T. S. E. Maibaum, Narciso Martí-Oliet, José Meseguer, Isabel Pita. WADT 2000: 438-458

Using Explicit State to Describe ArchitechturesAntónia Lopes, José Luiz Fiadeiro. FASE 1999: 144-160

Algebraic Software Architecture ReconfigurationMichel Wermelinger, José Luiz Fiadeiro. ESEC/FSE 1999: 393-409 [doi]

1998

Labeled Families in Modular Software DevelopmentSheila R. M. Veloso, Paulo A. S. Veloso, José Luiz Fiadeiro. jbcs, 5(1), 1998.

Connectors for Mobile ProgramsMichel Wermelinger, José Luiz Fiadeiro. TSE, 24(5):331-341, 1998. [doi]

PreviousNext