José Luiz Fiadeiro Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
144Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, Antónia Lopes: Consistency of Service Composition. FASE 2012: 63-77
143Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, Antónia Lopes, João Abreu: A formal model for service-oriented interactions. Sci. Comput. Program. 77(5): 577-608 (2012)
2011
142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, Antónia Lopes: An Interface Theory for Service-Oriented Design. FASE 2011: 18-33
141Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, Antónia Lopes, Laura Bocchi, João Abreu: The Sensoria Reference Modelling Language. Results of the SENSORIA Project 2011: 61-114
140Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, Antónia Lopes, Laura Bocchi: An abstract model of service discovery and binding. Formal Asp. Comput. 23(4): 433-463 (2011)
139Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaula Severi, José Luiz Fiadeiro, David Ekserdjian: Guiding the representation of n-ary relations in ontologies through aggregation, generalisation and participation. J. Web Sem. 9(2): 83-98 (2011)
2010
138no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, Stefania Gnesi, Andrea Maggiolo-Schettini: 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, Pisa, Italy, 13-18 September 2010 IEEE Computer Society 2010
137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaula Severi, José Luiz Fiadeiro, David Ekserdjian: Guiding Reification in OWL through Aggregation. Description Logics 2010
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, Antónia Lopes: A Model for Dynamic Reconfiguration in Service-Oriented Architectures. ECSA 2010: 70-85
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFreeha Azmat, Laura Bocchi, José Luiz Fiadeiro: Early Model-Analysis of Logistics Systems. ICSOC Workshops 2010: 225-236
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro: Editorial. Formal Asp. Comput. 22(3-4): 215-216 (2010)
133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLorcan Coyle, Mike Hinchey, Bashar Nuseibeh, José Luiz Fiadeiro: Guest Editors' Introduction: Evolving Critical Systems. IEEE Computer 43(5): 28-33 (2010)
2009
132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaura Bocchi, José Luiz Fiadeiro, Noor Rajper, Stephan Reiff-Marganiec: Structure and Behaviour of Virtual Organisation Breeding Environments FAVO 2009: 26-40
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoão Abreu, Franco Mazzanti, José Luiz Fiadeiro, Stefania Gnesi: A Model-Checking Approach for Service Component Architectures. FMOODS/FORTE 2009: 219-224
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaura Bocchi, José Luiz Fiadeiro, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: From Architectural to Behavioural Specification of Services. Electr. Notes Theor. Comput. Sci. 253(1): 3-21 (2009)
2008
129no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, Paola Inverardi: 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 Springer 2008
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaura Bocchi, José Luiz Fiadeiro, Antónia Lopes: Service-Oriented Modelling of Automotive Systems. COMPSAC 2008: 1059-1064
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoão Abreu, José Luiz Fiadeiro: A Coordination Model for Service-Oriented Interactions. COORDINATION 2008: 1-16
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro: What Do Semantics Matter When the Meat Is Overcooked?. Concurrency, Graphs and Models 2008: 563-580
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaura Bocchi, José Luiz Fiadeiro, Antónia Lopes: A Use-Case Driven Approach to Formal Service-Oriented Modelling. ISoLA 2008: 155-169
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro: On the Challenge of Engineering Socio-technical Systems. Software-Intensive Systems and New Computing Paradigms 2008: 80-91
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSchahram Dustdar, José Luiz Fiadeiro, Amit P. Sheth: Business process management. Data Knowl. Eng. 64(1): 1-2 (2008)
2007
122no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, Pierre-Yves Schobbens: Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers Springer 2007
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOsama El-Hassan, José Luiz Fiadeiro, Reiko Heckel: Managing Socio-technical Interactions in Healthcare Systems. Business Process Management Workshops 2007: 347-358
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, Vincent Schmitt: Structured Co-spans: An Algebra of Interaction Protocols. CALCO 2007: 194-208
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoão Abreu, Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes: Specifying and Composing Interaction Protocols for Service-Oriented System Modelling. FORTE 2007: 358-373
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaura Bocchi, Yi Hong, Antónia Lopes, José Luiz Fiadeiro: From BPEL to SRML: A Formal Transformational Approach. WS-FM 2007: 92-107
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOsama El-Hassan, José Luiz Fiadeiro: Role-based Architectural Modelling of Socio-Technical Systems. Electr. Notes Theor. Comput. Sci. 181: 5-17 (2007)
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro: Designing for Software's Social Complexity. IEEE Computer 40(1): 34-39 (2007)
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, Antónia Lopes: An algebraic semantics of event-based architectures. Mathematical Structures in Computer Science 17(5): 1029-1073 (2007)
2006
114no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, Ugo Montanari, Martin Wirsing: Foundations of Global Computing, 20.-25. February 2005 Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
113no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSchahram Dustdar, José Luiz Fiadeiro, Amit P. Sheth: Business Process Management, 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings Springer 2006
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, Antónia Lopes: A Formal Approach to Event-Based Architectures. FASE 2006: 18-32
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro: Separating Distribution from Coordination and Computation as Architectural Dimensions. FMOODS 2006: 17
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro: Physiological vs. Social Complexity in Software Design. ICECCS 2006: 3
109no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed Al-Ghamdi, José Luiz Fiadeiro: Architectural Handling of Management Concerns in Service-Driven Business Processes. MSVVEIS 2006: 111-120
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, Antónia Lopes, Laura Bocchi: Algebraic Semantics of Service Component Modules. WADT 2006: 37-55
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, Antónia Lopes, Laura Bocchi: A Formal Approach to Service Component Architecture. WS-FM 2006: 193-213
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNasreddine Aoumeur, José Luiz Fiadeiro, Cristóvão Oliveira: Distribution concerns in service-oriented modelling. IJIPT 1(3): 144-158 (2006)
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntónia Lopes, José Luiz Fiadeiro: Adding mobility to software architectures. Sci. Comput. Program. 61(2): 114-135 (2006)
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKevin Lano, José Luiz Fiadeiro: Extending UML with coordination contracts. Software and System Modeling 5(2): 110-120 (2006)
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, Jan J. M. M. Rutten: Preface. Theor. Comput. Sci. 366(1-2): 1-2 (2006)
2005
102no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, Neil Harman, Markus Roggenbach, Jan J. M. M. Rutten: Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings Springer 2005
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro: Categories for software engineering. Springer 2005: I-XIV, 1-250
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntónia Lopes, José Luiz Fiadeiro: Context-Awareness in Software Architectures. EWSA 2005: 146-161
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, Ugo Montanari, Martin Wirsing: 05081 Abstracts Collection - Foundations of Global Computing. Foundations of Global Computing 2005
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristóvão Oliveira, Michel Wermelinger, José Luiz Fiadeiro, Antónia Lopes: Modelling the GSM Handover Protocol in CommUnity. Electr. Notes Theor. Comput. Sci. 141(3): 3-25 (2005)
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNarciso Martí-Oliet, Isabel Pita, José Luiz Fiadeiro, José Meseguer, T. S. E. Maibaum: A Verification Logic for Rewriting Logic. J. Log. Comput. 15(3): 317-352 (2005)
2004
96no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas: Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers Springer 2004
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonor Barroca, José Luiz Fiadeiro, Michael Jackson, Robin C. Laney, Bashar Nuseibeh: Problem Frames: A Case for Coordination. COORDINATION 2004: 5-19
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro: Software Services: Scientific Challenge or Industrial Hype?. ICTAC 2004: 1-13
93no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Bruni, José Luiz Fiadeiro, Ivan Lanese, Antónia Lopes, Ugo Montanari: New Insights on Architectural Connectors. IFIP TCS 2004: 367-380
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntónia Lopes, José Luiz Fiadeiro: Algebraic Semantics of Design Abstractions for Context-Awareness. WADT 2004: 79-93
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNasreddine Aoumeur, José Luiz Fiadeiro, Cristóvão Oliveira: Towards an Architectural Approach to Location-Aware Business Processes. WETICE 2004: 147-152
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristóvão Oliveira, Michel Wermelinger, José Luiz Fiadeiro, Antónia Lopes: An Architectural Approach to Mobility - The Handover Case Study. WICSA 2004: 305-310
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntónia Lopes, José Luiz Fiadeiro: Adding Mobility to Software Architectures. Electr. Notes Theor. Comput. Sci. 97: 241-258 (2004)
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntónia Lopes, José Luiz Fiadeiro: Superposition: composition vs refinement of non-deterministic, action-based systems. Formal Asp. Comput. 16(1): 5-18 (2004)
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Filipe Andrade, José Luiz Fiadeiro: Composition Contracts for Service Interaction. J. UCS 10(4): 375-390 (2004)
2003
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAna M. D. Moreira, José Luiz Fiadeiro, Luis Filipe Andrade: Evolving Requirements through Coordination Contracts. CAiSE 2003: 633-646
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Filipe Andrade, José Luiz Fiadeiro, Antónia Lopes, Michel Wermelinger: Coordination for Distributed Business Systems. CAiSE Workshops 2003
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, Antónia Lopes: CommUnity on the Move: Architectures for Distribution and Mobility. FMCO 2003: 177-196
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, Antónia Lopes, Michel Wermelinger: A Mathematical Semantics for Architectural Connectors. Generic Programming 2003: 178-221
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel Wermelinger, Georgios Koutsoukos, Richard Avillez, João Gouveia, Luis Filipe Andrade, José Luiz Fiadeiro: Using Coordination Contracts for Flexible Adaptation to Changing Business Rules. IWPSE 2003: 115-120
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Filipe Andrade, José Luiz Fiadeiro: Architecture Based Evolution of Software Systems. SFM 2003: 148-181
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel Wermelinger, Georgios Koutsoukos, Hugo Lourenço, Richard Avillez, João Gouveia, Luis Filipe Andrade, José Luiz Fiadeiro: Enhancing Dependability Through Flexible Adaptation to Changing Requirements. WADS 2003: 3-24
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntónia Lopes, Michel Wermelinger, José Luiz Fiadeiro: High-order architectural connectors. ACM Trans. Softw. Eng. Methodol. 12(1): 64-104 (2003)
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, Jan Madey, Andrzej Tarlecki: Foreword. Inf. Process. Lett. 88(1-2): 1-2 (2003)
2002
77no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKevin Lano, José Luiz Fiadeiro, Luis Filipe Andrade: Software design using Java 2. Palgrave Macmillan 2002: I-VIII, 1-311
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro: Coordination Technologies for Just-in-Time Integration. 10th Anniversary Colloquium of UNU/IIST 2002: 308-321
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntónia Lopes, José Luiz Fiadeiro: Revisiting the Categorical Approach to Systems. AMAST 2002: 426-440
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro: Algebraic Support for Service-Oriented Architecture. AMAST 2002: 75-82
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Filipe Andrade, José Luiz Fiadeiro, João Gouveia, Georgios Koutsoukos, Michel Wermelinger: Coordination for Orchestration. COORDINATION 2002: 5-13
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro: An Architectural Approach to Fault Treatment in Critical Infrastructures. EDCC 2002: 86-87
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoão Gouveia, Georgios Koutsoukos, Michel Wermelinger, Luis Filipe Andrade, José Luiz Fiadeiro: The Coordination Development Environment. FASE 2002: 323-326
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Filipe Andrade, José Luiz Fiadeiro: An Architectural Approach to Auto-Adaptive Systems. ICDCS Workshops 2002: 439-444
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Filipe Andrade, José Luiz Fiadeiro: Coordination Architecture for Evolvable Event-Based Systems. ICDCS Workshops 2002: 571-572
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoão Gouveia, Georgios Koutsoukos, Michel Wermelinger, Luis Filipe Andrade, José Luiz Fiadeiro: Coordination contracts for Java applications. ICSE 2002: 714
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntónia Lopes, José Luiz Fiadeiro, Michel Wermelinger: Architectural primitives for distribution and mobility. SIGSOFT FSE 2002: 41-50
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Filipe 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: AGILE: Software Architecture for Mobility. WADT 2002: 1-33
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntónia Lopes, José Luiz Fiadeiro: On How Distribution and Mobility Interfere with Coordination. WADT 2002: 343-358
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRogério de Lemos, José Luiz Fiadeiro: An architectural support for self-adaptive software for treating faults. WOSS 2002: 39-42
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntónia Lopes, José Luiz Fiadeiro: Superposition: Composition vs refinement of non-deterministic action-based systems. Electr. Notes Theor. Comput. Sci. 70(3): 282-296 (2002)
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo A. S. Veloso, José Luiz Fiadeiro, Sheila R. M. Veloso: On local modularity and interpolation in entailment systems. Inf. Process. Lett. 82(4): 203-211 (2002)
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Filipe Andrade, José Luiz Fiadeiro: Agility through coordination. Inf. Syst. 27(6): 411-424 (2002)
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Filipe Andrade, José Luiz Fiadeiro, João Gouveia, Georgios Koutsoukos: Separating computation, coordination and configuration. Journal of Software Maintenance 14(5): 353-369 (2002)
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel Wermelinger, José Luiz Fiadeiro: A graph transformation approach to software architecture reconfiguration. Sci. Comput. Program. 44(2): 133-155 (2002)
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro: Preface. Theor. Comput. Sci. 286(2): 151 (2002)
2001
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Filipe Andrade, José Luiz Fiadeiro, Michel Wermelinger: Enforcing Business Policies Through Automated Reconfiguration. ASE 2001: 426-
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Filipe Andrade, José Luiz Fiadeiro: Coordination Technologies for Managing Information System Evolution. CAiSE 2001: 374-387
55no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorgios Koutsoukos, João Gouveia, Luis Filipe Andrade, José Luiz Fiadeiro: Managing Evolution in Telecommunication Systems. DAIS 2001: 133-140
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel Wermelinger, Antónia Lopes, José Luiz Fiadeiro: A graph based architectural (Re)configuration language. ESEC / SIGSOFT FSE 2001: 21-32
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Filipe Andrade, José Luiz Fiadeiro: Feature Modeling and Composition with Coordination Contracts. FICS 2001: 49-54
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Filipe Andrade, José Luiz Fiadeiro: Coordination: The Evolutionary Dimension. TOOLS (38) 2001: 136-147
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, Luis Filipe Andrade: Interconnecting Objects via Contracts. TOOLS (38) 2001: 182-183
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoão Gouveia, Georgios Koutsoukos, Luis Filipe Andrade, José Luiz Fiadeiro: Tool Support for Coordination-Based Software Evolution. TOOLS (38) 2001: 184-196
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntónia Lopes, Michel Wermelinger, José Luiz Fiadeiro: A Compositional Approach to Connector Construction. WADT 2001: 201-220
2000
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Filipe Andrade, José Luiz Fiadeiro, João Gouveia, Antónia Lopes, Michel Wermelinger: Patterns for Coordination. COORDINATION 2000: 317-322
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel Wermelinger, Antónia Lopes, José Luiz Fiadeiro: Superposing Connectors. IWSSD 2000: 87-94
1999
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro: Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998, Selected Papers Springer 1999
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel Wermelinger, José Luiz Fiadeiro: Algebraic Software Architecture Reconfiguration. ESEC / SIGSOFT FSE 1999: 393-409
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntónia Lopes, José Luiz Fiadeiro: Using Explicit State to Describe Architechtures. FASE 1999: 144-160
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Filipe Andrade, José Luiz Fiadeiro: Interconnecting Objects Via Contracts. UML 1999: 566-583
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, T. S. E. Maibaum, Narciso Martí-Oliet, José Meseguer, Isabel Pita: Towards a Verification Logic for Rewriting Logic. WADT 1999: 438-458
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean Paul Bahsoun, José Luiz Fiadeiro, Didier Galmiche: Foreword. Mathematical Structures in Computer Science 9(3): 225-226 (1999)
1998
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, Antónia Lopes: Algebraic Semantics of Coordination or What Is in a Signature. AMAST 1998: 293-307
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel Wermelinger, José Luiz Fiadeiro: Connectors for Mobile Programs. IEEE Trans. Software Eng. 24(5): 331-341 (1998)
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPedro Ramos, José Luiz Fiadeiro: A computational tool that supports formal diagnosis of process design. Information & Software Technology 40(10): 555-565 (1998)
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSheila R. M. Veloso, Paulo A. S. Veloso, José Luiz Fiadeiro: Labeled Families in Modular Software Development. J. Braz. Comp. Soc. 5(1): (1998)
1997
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntónia Lopes, José Luiz Fiadeiro: Preservation and Reflection in Specification. AMAST 1997: 380-394
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, Antónia Lopes, T. S. E. Maibaum: Synthesising interconnections. Algorithmic Languages and Calculi 1997: 240-264
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLI. Nunes, José Luiz Fiadeiro, Wladyslaw M. Turski: Coordination Durative Actions. COORDINATION 1997: 115-130
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKevin Lano, Juan Bicarregui, José Luiz Fiadeiro, Antónia Lopes: Specification of Required Non-determinism. FME 1997: 298-317
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeendert W. N. van der Torre, Pedro Ramos, José Luiz Fiadeiro, Yao-Hua Tan: The Role of Diagnosis and Decision Theory in Normative Reasoning. ModelAge Workshop 1997: 216-239
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, Antónia Lopes: Semantics of Architectural Connectors. TAPSOFT 1997: 505-519
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, T. S. E. Maibaum: Categorical Semantics of Parallel Program Design. Sci. Comput. Program. 28(2-3): 111-138 (1997)
1996
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro: On the Emergence of Properties in Component-Based Systems. AMAST 1996: 421-443
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, José Félix Costa: Mirror, Mirror in my Hand: A Duality between Specifications and Models of Process Behaviour. Mathematical Structures in Computer Science 6(4): 353-373 (1996)
1995
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLM. Arrais, José Luiz Fiadeiro: Unifying Theories in Different Institutions. COMPASS/ADT 1995: 81-101
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, T. S. E. Maibaum: Interconnecting Formalisms: Supporting Modularity, Reuse and Incrementality. SIGSOFT FSE 1995: 72-80
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Paredes, José Luiz Fiadeiro: Reuse of Requirements and Specifications: A Formal Framework. SSR 1995: 263-266
1994
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, José Félix Costa: Institutions for Behaviour Specification. COMPASS/ADT 1994: 273-289
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, T. S. E. Maibaum: Sometimes "Tomorrow" is "Sometime" - Action Refinement in a Temporal Logic of Objects. ICTL 1994: 48-66
1993
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorg Reichwein, José Luiz Fiadeiro, Mechthild Rohen: Declarative Semantics of Interoperable Data and Knowledge Bases. CoopIS 1993: 291-299
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorg Reichwein, José Luiz Fiadeiro: Semantics of Interworking Knowledge Based Systems. EPIA 1993: 93-104
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, T. S. E. Maibaum: Generalising Interpretations between Theories in the context of (pi-) Institutions. Theory and Formal Methods 1993: 126-147
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorg Reichwein, José Luiz Fiadeiro: Models for the Substitution Axiom of UNITY Logic. Inf. Process. Lett. 48(4): 171-176 (1993)
1992
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, T. S. E. Maibaum: Temporal Theories as Modularisation Units for Concurrent System Specification. Formal Asp. Comput. 4(3): 239-272 (1992)
1991
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, José Félix Costa, Amílcar Sernadas, T. S. E. Maibaum: Process Semantics of Temporal Logic Specifications. COMPASS/ADT 1991: 236-253
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Ryan, José Luiz Fiadeiro, T. S. E. Maibaum: Sharing Actions and Attributes in Modal Action Logic. TACS 1991: 569-593
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristina Sernadas, José Luiz Fiadeiro: Towards object-oriented conceptual modeling. Data Knowl. Eng. 6: 479-508 (1991)
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, T. S. E. Maibaum: Temporal reasoning over deontic specifications. J. Log. Comput. 1(3): 357-395 (1991)
1990
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, Cristina Sernadas, T. S. E. Maibaum, Gunter Saake: Proof-Theoretic Semantics of Object-Oriented Specification Constructs. DS-4 1990: 243-284
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, T. S. E. Maibaum: Describing, Structuring and Implementing Objects. REX Workshop 1990: 274-310
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristina Sernadas, José Luiz Fiadeiro, Amílcar Sernadas: Modular construction of logic knowledge bases: an algebraic approach. Inf. Syst. 15(1): 37-59 (1990)
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, Amílcar Sernadas: Logics of Modal Terms for Systems Specification. J. Log. Comput. 1(2): 187-227 (1990)
1988
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristina Sernadas, José Luiz Fiadeiro, Amílcar Sernadas: Object-Oriented Conceptual Modeling from Law. DS-3 1988: 305-327
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, Amílcar Sernadas, Cristina Sernadas: Knowledgebases as Structured Theories. FSTTCS 1988: 469-486
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, Amílcar Sernadas: Specification and Verification of Database Dynamics. Acta Inf. 25(6): 625-661 (1988)
1987
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, Amílcar Sernadas: Structuring Theories on Consequence. ADT 1987: 44-72
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, Amílcar Sernadas: Behavioural Aspects of Intelligent Knowledge-Based Information Systems. Temporal Aspects in Information Systems 1987: 77-92
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmílcar Sernadas, José Luiz Fiadeiro, Cristina Sernadas, Hans-Dieter Ehrich: Abstract Object Types: A Temporal Perspective. Temporal Logic in Specification 1987: 324-350
1986
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmílcar Sernadas, Cristina Sernadas, José Luiz Fiadeiro: Algebraic Knowledge Representation: The Unification of Procedure, Logic and Structure. ADT 1986
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRogério Carapuça, José Luiz Fiadeiro: Varying Representation Schemata vs Fact Updating in KB Management. DS-2 1986: 71-87
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, Amílcar Sernadas: The INFOLOG linear tense propositional logic of events and transactions. Inf. Syst. 11(1): 61-85 (1986)

Coauthor Index

1João Abreu [119] [127] [131] [141] [143]
2Ahmed Al-Ghamdi [109]
3Luis Filipe Andrade [43] [48] [50] [51] [52] [53] [55] [56] [57] [60] [61] [66] [68] [69] [70] [71] [73] [77] [80] [81] [82] [85] [86] [87]
4Nasreddine Aoumeur [91] [106]
5M. Arrais [27]
6Richard Avillez [80] [82]
7Freeha Azmat [135]
8Jean Paul Bahsoun [41]
9Paolo Baldan [66]
10Leonor Barroca [95]
11Hubert Baumeister [66]
12Juan Bicarregui [33]
13Laura Bocchi [107] [108] [118] [119] [125] [128] [130] [132] [135] [140] [141]
14Roberto Bruni [66] [93]
15Rogério Carapuça [2]
16Andrea Corradini [66]
17José Félix Costa [17] [24] [28]
18Lorcan Coyle [133]
19Schahram Dustdar [113] [123]
20Hans-Dieter Ehrich [4]
21David Ekserdjian [137] [139]
22Osama El-Hassan [117] [121]
23Fabio Gadducci [66]
24Didier Galmiche [41]
25Stefania Gnesi [66] [131] [138]
26João Gouveia [48] [50] [55] [60] [68] [71] [73] [80] [82]
27Neil Harman [102]
28Reiko Heckel [121]
29Michael G. Hinchey (Mike Hinchey) [133]
30Piotr Hoffman [66]
31Yi Hong [118]
32Paola Inverardi [129]
33Michael Jackson [95]
34Nora Koch [66]
35Piotr Kosiuczenko [66]
36Georgios Koutsoukos [50] [55] [60] [68] [71] [73] [80] [82]
37Ivan Lanese [93]
38Robin C. Laney [95]
39Kevin Lano [33] [77] [104]
40Alessandro Lapadula [66] [130]
41Diego Latella [66]
42Rogério de Lemos [64]
43Antónia Lopes [31] [33] [35] [36] [40] [44] [47] [48] [49] [54] [63] [65] [66] [67] [75] [79] [83] [84] [85] [88] [89] [90] [92] [93] [98] [100] [105] [107] [108] [112] [115] [118] [119] [125] [128] [136] [140] [141] [142] [143] [144]
44Michele Loreti [66]
45Hugo Lourenço [80]
46Jan Madey [78]
47Andrea Maggiolo-Schettini [138]
48T. S. E. Maibaum (Thomas Stephen Edward Maibaum) [12] [13] [14] [16] [17] [18] [20] [23] [26] [30] [35] [42] [97]
49Narciso Martí-Oliet [42] [97]
50Mieke Massink [66]
51Franco Mazzanti [66] [131]
52José Meseguer [42] [97]
53Ugo Montanari [66] [93] [99] [114]
54Ana Moreira (Ana M. D. Moreira) [86]
55Peter D. Mosses [96]
56Rocco De Nicola [66]
57I. Nunes [34]
58Bashar Nuseibeh [95] [133]
59Cristóvão Oliveira [66] [90] [91] [98] [106]
60Fernando Orejas [96]
61Carlos Paredes [25]
62Isabel Pita [42] [97]
63Rosario Pugliese [66] [130]
64Noor Rajper [132]
65Pedro Ramos [32] [38]
66Georg Reichwein [19] [21] [22]
67Stephan Reiff-Marganiec [132]
68Markus Roggenbach [102]
69Mechthild Rohen [22]
70Jan J. M. M. Rutten [102] [103]
71Mark Ryan (Mark Dermot Ryan) [16]
72Gunter Saake [13]
73Vincent Schmitt [120]
74Pierre-Yves Schobbens [122]
75Amílcar Sernadas [1] [3] [4] [5] [6] [7] [8] [9] [10] [11] [17]
76Cristina Sernadas [3] [4] [8] [9] [11] [13] [15]
77Paula Severi [137] [139]
78Amit P. Sheth [113] [123]
79Yao-Hua Tan [32]
80Andrzej Tarlecki [66] [78]
81Francesco Tiezzi [130]
82Leendert W. N. van der Torre (Leendert van der Torre, Leon van der Torre) [32]
83Wladyslaw M. Turski [34]
84Paulo A. S. Veloso [37] [62]
85Sheila R. M. Veloso [37] [62]
86Michel Wermelinger [39] [45] [47] [48] [49] [54] [57] [59] [66] [67] [68] [71] [73] [79] [80] [82] [83] [85] [90] [98]
87Martin Wirsing [66] [99] [114]
88Artur Zawlocki [66]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page