Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJosé Luiz Fiadeiro
Person information
- affiliation: University of Dundee, UK
- affiliation (former): Royal Holloway, University of London, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
[c121]Ionut Tutu, Claudia Elena Chirita, José Luiz Fiadeiro:
Dynamic Reconfiguration via Typed Modalities. FM 2021: 599-615- 2020
- [j47]Simone André da Costa Cavalheiro, José Luiz Fiadeiro:
Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2017). Sci. Comput. Program. 191: 102427 (2020)
2010 – 2019
- 2019
- [j46]José Luiz Fiadeiro, Ionut Tutu, Antónia Lopes
, Dusko Pavlovic:
Logics for Actor Networks: A two-stage constrained-hybridisation approach. J. Log. Algebraic Methods Program. 106: 141-166 (2019) - [c120]Ionut Tutu, Claudia Elena Chirita, Antónia Lopes, José Luiz Fiadeiro:
Logical Support for Bike-Sharing System Design. From Software Engineering to Formal Methods and Tools, and Back 2019: 152-171 - [e11]José Luiz Fiadeiro, Ionut Tutu:
Recent Trends in Algebraic Development Techniques - 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised Selected Papers. Lecture Notes in Computer Science 11563, Springer 2019, ISBN 978-3-030-23219-1 [contents] - 2018
- [j45]José Luiz Fiadeiro, Antónia Lopes, Benoît Delahaye, Axel Legay:
Dynamic networks of heterogeneous timed machines. Math. Struct. Comput. Sci. 28(6): 800-855 (2018) - 2017
- [j44]Ionut Tutu, José Luiz Fiadeiro:
From conventional to institution-independent logic programming. J. Log. Comput. 27(6): 1679-1716 (2017) - [j43]José Luiz Fiadeiro, Antónia Lopes:
Heterogeneous and asynchronous networks of timed systems. Theor. Comput. Sci. 663: 1-33 (2017) - [c119]José Luiz Fiadeiro, Ionut Tutu, Antónia Lopes, Dusko Pavlovic:
Logics for Actor Networks: A Case Study in Constrained Hybridization - A Case Study in Constrained Hybridization. DALI@TABLEAUX 2017: 98-114 - [e10]Simone André da Costa Cavalheiro, José Luiz Fiadeiro:
Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings. Lecture Notes in Computer Science 10623, Springer 2017, ISBN 978-3-319-70847-8 [contents] - 2016
- [c118]Claudia Elena Chirita, José Luiz Fiadeiro, Fernando Orejas:
Many-Valued Institutions for Constraint Specification. FASE 2016: 359-376 - [c117]Claudia Elena Chirita, José Luiz Fiadeiro:
Free Jazz in the Land of Algebraic Improvisation. ICCC 2016: 322-329 - 2015
- [j42]Ionut Tutu, José Luiz Fiadeiro:
Service-Oriented Logic Programming. Log. Methods Comput. Sci. 11(3) (2015) - [j41]José Luiz Fiadeiro, Zhiming Liu:
Formal Aspects of Component Software (FACS 2013). Sci. Comput. Program. 113: 221-222 (2015) - [c116]Nikos Mylonakis, Fernando Orejas, José Luiz Fiadeiro:
A Semantics of Business Configurations Using Symbolic Graphs. SCC 2015: 146-153 - [c115]José Luiz Fiadeiro, Fernando Orejas:
Abstract Constraint Data Types. Software, Services, and Systems 2015: 155-170 - [c114]Ionut Tutu, José Luiz Fiadeiro:
Revisiting the Institutional Approach to Herbrand's Theorem. CALCO 2015: 304-319 - 2014
- [j40]Christiano Braga, José Luiz Fiadeiro:
Brazilian Symposium on Programming Languages (SBLP 2011). Sci. Comput. Program. 93: 1-2 (2014) - [c113]José Luiz Fiadeiro, Antónia Lopes:
Heterogeneous and Asynchronous Networks of Timed Systems. FASE 2014: 79-93 - [c112]Benoît Delahaye, José Luiz Fiadeiro, Axel Legay, Antónia Lopes:
Heterogeneous Timed Machines. ICTAC 2014: 115-132 - [c111]Ignacio Vissani, Carlos Gustavo López Pombo, Ionut Tutu, José Luiz Fiadeiro:
A Full Operational Semantics for Asynchronous Relational Networks. WADT 2014: 131-150 - [e9]José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue:
Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8348, Springer 2014, ISBN 978-3-319-07601-0 [contents] - 2013
- [j39]José Luiz Fiadeiro, Antónia Lopes:
A model for dynamic reconfiguration in service-oriented architectures. Softw. Syst. Model. 12(2): 349-367 (2013) - [j38]José Luiz Fiadeiro, Antónia Lopes:
An interface theory for service-oriented design. Theor. Comput. Sci. 503: 1-30 (2013) - [c110]Ionut Tutu, José Luiz Fiadeiro:
A Logic-Programming Semantics of Services. CALCO 2013: 299-313 - [c109]Benoît Delahaye, José Luiz Fiadeiro, Axel Legay, Antónia Lopes:
A Timed Component Algebra for Services. FMOODS/FORTE 2013: 242-257 - 2012
- [j37]José Luiz Fiadeiro:
Editorial. Formal Aspects Comput. 24(2): 161-162 (2012) - [j36]José Luiz Fiadeiro, Antónia Lopes, João Abreu:
A formal model for service-oriented interactions. Sci. Comput. Program. 77(5): 577-608 (2012) - [c108]José Luiz Fiadeiro, Antónia Lopes:
Consistency of Service Composition. FASE 2012: 63-77 - [c107]Antónia Lopes, José Luiz Fiadeiro:
A Graph-Based Design Framework for Services. ICGT 2012: 1-19 - [p3]José Luiz Fiadeiro:
The Many Faces of Complexity in Software Design. Conquering Complexity 2012: 3-47 - 2011
- [j35]José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi:
An abstract model of service discovery and binding. Formal Aspects Comput. 23(4): 433-463 (2011) - [j34]Paula Severi, José Luiz Fiadeiro, David Ekserdjian:
Guiding the representation of n-ary relations in ontologies through aggregation, generalisation and participation. J. Web Semant. 9(2): 83-98 (2011) - [c106]José Luiz Fiadeiro, Antónia Lopes:
An Interface Theory for Service-Oriented Design. FASE 2011: 18-33 - [c105]Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi, José Luiz Fiadeiro:
Variability and Rigour in Service Computing Engineering. SEW 2011: 122-127 - [p2]José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi, João Abreu:
The Sensoria Reference Modelling Language. Results of the SENSORIA Project 2011: 61-114 - 2010
- [j33]Lorcan Coyle, Mike Hinchey, Bashar Nuseibeh, José Luiz Fiadeiro:
Guest Editors' Introduction: Evolving Critical Systems. Computer 43(5): 28-33 (2010) - [j32]José Luiz Fiadeiro:
Editorial. Formal Aspects Comput. 22(3-4): 215-216 (2010) - [c104]Paula Severi, José Luiz Fiadeiro, David Ekserdjian:
Guiding Reification in OWL through Aggregation. Description Logics 2010 - [c103]José Luiz Fiadeiro, Antónia Lopes:
A Model for Dynamic Reconfiguration in Service-Oriented Architectures. ECSA 2010: 70-85 - [c102]Freeha Azmat, Laura Bocchi, José Luiz Fiadeiro:
Early Model-Analysis of Logistics Systems. ICSOC Workshops 2010: 225-236 - [e8]José 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, ISBN 978-0-7695-4153-2 [contents]
2000 – 2009
- 2009
- [c101]João Abreu, Franco Mazzanti, José Luiz Fiadeiro, Stefania Gnesi:
A Model-Checking Approach for Service Component Architectures. FMOODS/FORTE 2009: 219-224 - [c100]Laura Bocchi, José Luiz Fiadeiro, Noor Rajper, Stephan Reiff-Marganiec:
Structure and Behaviour of Virtual Organisation Breeding Environments. FAVO 2009: 26-40 - [c99]Laura Bocchi, José Luiz Fiadeiro, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
From Architectural to Behavioural Specification of Services. FESCA@ETAPS 2009: 3-21 - 2008
- [j31]Schahram Dustdar, José Luiz Fiadeiro, Amit P. Sheth:
Business process management. Data Knowl. Eng. 64(1): 1-2 (2008) - [c98]José Luiz Fiadeiro:
What Do Semantics Matter When the Meat Is Overcooked?. Concurrency, Graphs and Models 2008: 563-580 - [c97]Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes:
Service-Oriented Modelling of Automotive Systems. COMPSAC 2008: 1059-1064 - [c96]João Abreu, José Luiz Fiadeiro:
A Coordination Model for Service-Oriented Interactions. COORDINATION 2008: 1-16 - [c95]Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes:
A Use-Case Driven Approach to Formal Service-Oriented Modelling. ISoLA 2008: 155-169 - [p1]José Luiz Fiadeiro:
On the Challenge of Engineering Socio-technical Systems. Software-Intensive Systems and New Computing Paradigms 2008: 80-91 - [e7]José 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. Lecture Notes in Computer Science 4961, Springer 2008, ISBN 978-3-540-78742-6 [contents] - 2007
- [j30]José Luiz Fiadeiro:
Designing for Software's Social Complexity. Computer 40(1): 34-39 (2007) - [j29]José Luiz Fiadeiro, Antónia Lopes:
An algebraic semantics of event-based architectures. Math. Struct. Comput. Sci. 17(5): 1029-1073 (2007) - [c94]Osama E. S. El-Hassan, José Luiz Fiadeiro, Reiko Heckel:
Managing Socio-technical Interactions in Healthcare Systems. Business Process Management Workshops 2007: 347-358 - [c93]José Luiz Fiadeiro, Vincent Schmitt:
Structured Co-spans: An Algebra of Interaction Protocols. CALCO 2007: 194-208 - [c92]João Abreu, Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes:
Specifying and Composing Interaction Protocols for Service-Oriented System Modelling. FORTE 2007: 358-373 - [c91]Laura Bocchi, Yi Hong, Antónia Lopes, José Luiz Fiadeiro:
From BPEL to SRML: A Formal Transformational Approach. WS-FM 2007: 92-107 - [e6]José 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. Lecture Notes in Computer Science 4409, Springer 2007, ISBN 978-3-540-71997-7 [contents] - 2006
- [j28]Nasreddine Aoumeur, José Luiz Fiadeiro, Cristóvão Oliveira:
Distribution concerns in service-oriented modelling. Int. J. Internet Protoc. Technol. 1(3): 144-158 (2006) - [j27]Antónia Lopes, José Luiz Fiadeiro:
Adding mobility to software architectures. Sci. Comput. Program. 61(2): 114-135 (2006) - [j26]Kevin Lano, José Luiz Fiadeiro:
Extending UML with coordination contracts. Softw. Syst. Model. 5(2): 110-120 (2006) - [j25]José Luiz Fiadeiro, Jan J. M. M. Rutten:
Preface. Theor. Comput. Sci. 366(1-2): 1-2 (2006) - [c90]José Luiz Fiadeiro, Antónia Lopes:
A Formal Approach to Event-Based Architectures. FASE 2006: 18-32 - [c89]José Luiz Fiadeiro:
Separating Distribution from Coordination and Computation as Architectural Dimensions. FMOODS 2006: 17 - [c88]José Luiz Fiadeiro:
Physiological vs. Social Complexity in Software Design. ICECCS 2006: 3 - [c87]Ahmed Al-Ghamdi, José Luiz Fiadeiro:
Architectural Handling of Management Concerns in Service-Driven Business Processes. MSVVEIS 2006: 111-120 - [c86]José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi:
Algebraic Semantics of Service Component Modules. WADT 2006: 37-55 - [c85]José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi:
A Formal Approach to Service Component Architecture. WS-FM 2006: 193-213 - [c84]Osama E. S. El-Hassan, José Luiz Fiadeiro:
Role-based Architectural Modelling of Socio-Technical Systems. CoOrg/MTCoord@COORDINATION 2006: 5-17 - [e5]Schahram Dustdar, José Luiz Fiadeiro, Amit P. Sheth:
Business Process Management, 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings. Lecture Notes in Computer Science 4102, Springer 2006, ISBN 3-540-38901-6 [contents] - [e4]José Luiz Fiadeiro, Ugo Montanari, Martin Wirsing:
Foundations of Global Computing, 20.-25. February 2005. Dagstuhl Seminar Proceedings 05081, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 2005
- [b2]José Luiz Fiadeiro:
Categories for software engineering. Springer 2005, ISBN 978-3-540-20909-6, pp. I-XIV, 1-250 - [j24]Narciso 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) - [c83]Antónia Lopes, José Luiz Fiadeiro:
Context-Awareness in Software Architectures. EWSA 2005: 146-161 - [c82]Cristóvão Oliveira, Michel Wermelinger, José Luiz Fiadeiro, Antónia Lopes:
Modelling the GSM Handover Protocol in CommUnity. FESCA@ETAPS 2005: 3-25 - [e3]José 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. Lecture Notes in Computer Science 3629, Springer 2005, ISBN 3-540-28620-9 [contents] - [i1]José Luiz Fiadeiro, Ugo Montanari, Martin Wirsing:
05081 Abstracts Collection - Foundations of Global Computing. Foundations of Global Computing 2005 - 2004
- [j23]Antónia Lopes, José Luiz Fiadeiro:
Superposition: composition vs refinement of non-deterministic, action-based systems. Formal Aspects Comput. 16(1): 5-18 (2004) - [j22]Luís Filipe Andrade, José Luiz Fiadeiro:
Composition Contracts for Service Interaction. J. Univers. Comput. Sci. 10(4): 375-390 (2004) - [c81]Leonor Barroca, José Luiz Fiadeiro, Michael Jackson, Robin C. Laney, Bashar Nuseibeh:
Problem Frames: A Case for Coordination. COORDINATION 2004: 5-19 - [c80]José Luiz Fiadeiro:
Software Services: Scientific Challenge or Industrial Hype?. ICTAC 2004: 1-13 - [c79]Roberto Bruni, José Luiz Fiadeiro, Ivan Lanese, Antónia Lopes, Ugo Montanari:
New Insights on Architectural Connectors. IFIP TCS 2004: 367-380 - [c78]Antónia Lopes, José Luiz Fiadeiro:
Algebraic Semantics of Design Abstractions for Context-Awareness. WADT 2004: 79-93 - [c77]Nasreddine Aoumeur, José Luiz Fiadeiro, Cristóvão Oliveira:
Towards an Architectural Approach to Location-Aware Business Processes. WETICE 2004: 147-152 - [c76]Cristóvão Oliveira, Michel Wermelinger, José Luiz Fiadeiro, Antónia Lopes:
An Architectural Approach to Mobility - The Handover Case Study. WICSA 2004: 305-310 - [e2]José 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. Lecture Notes in Computer Science 3423, Springer 2004, ISBN 3-540-25327-0 [contents] - 2003
- [j21]José Luiz Fiadeiro, Jan Madey, Andrzej Tarlecki:
Foreword. Inf. Process. Lett. 88(1-2): 1-2 (2003) - [j20]Antónia Lopes, Michel Wermelinger, José Luiz Fiadeiro:
High-order architectural connectors. ACM Trans. Softw. Eng. Methodol. 12(1): 64-104 (2003) - [c75]José Luiz Fiadeiro, Antónia Lopes, Michel Wermelinger:
A Mathematical Semantics for Architectural Connectors. Generic Programming 2003: 178-221 - [c74]Luís Andrade, José Luiz Fiadeiro, Antónia Lopes, Michel Wermelinger:
Coordination for Distributed Business Systems. CAiSE Workshops 2003 - [c73]Ana M. D. Moreira, José Luiz Fiadeiro, Luís Andrade:
Evolving Requirements through Coordination Contracts. CAiSE 2003: 633-646 - [c72]José Luiz Fiadeiro, Antónia Lopes:
CommUnity on the Move: Architectures for Distribution and Mobility. FMCO 2003: 177-196 - [c71]Michel Wermelinger, Georgios Koutsoukos, Hugo Lourenço, Richard Avillez, João Gouveia, Luís Andrade, José Luiz Fiadeiro:
Enhancing Dependability Through Flexible Adaptation to Changing Requirements. WADS 2003: 3-24 - [c70]Michel Wermelinger, Georgios Koutsoukos, Richard Avillez, João Gouveia, Luís Andrade, José Luiz Fiadeiro:
Using Coordination Contracts for Flexible Adaptation to Changing Business Rules. IWPSE 2003: 115-120 - [c69]Luís Filipe Andrade, José Luiz Fiadeiro:
Architecture Based Evolution of Software Systems. SFM 2003: 148-181 - [c68]Antónia Lopes, José Luiz Fiadeiro:
Adding Mobility to Software Architectures. FOCLASA 2003: 241-258 - 2002
- [b1]Kevin Lano, José Luiz Fiadeiro, Luís Filipe Andrade:
Software design using Java 2. Palgrave Macmillan 2002, ISBN 978-1-4039-0230-6, pp. I-VIII, 1-311 - [j19]Paulo 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) - [j18]Luís Filipe Andrade, José Luiz Fiadeiro:
Agility through coordination. Inf. Syst. 27(6): 411-424 (2002) - [j17]Michel Wermelinger, José Luiz Fiadeiro:
A graph transformation approach to software architecture reconfiguration. Sci. Comput. Program. 44(2): 133-155 (2002) - [j16]Luís Andrade, José Luiz Fiadeiro, João Gouveia, Georgios Koutsoukos:
Separating computation, coordination and configuration. J. Softw. Maintenance Res. Pract. 14(5): 353-369 (2002) - [j15]José Luiz Fiadeiro:
Preface. Theor. Comput. Sci. 286(2): 151 (2002) - [c67]José Luiz Fiadeiro:
Algebraic Support for Service-Oriented Architecture. AMAST 2002: 75-82 - [c66]Antónia Lopes, José Luiz Fiadeiro:
Revisiting the Categorical Approach to Systems. AMAST 2002: 426-440 - [c65]Luís Filipe Andrade, José Luiz Fiadeiro, João Gouveia, Georgios Koutsoukos, Michel Wermelinger:
Coordination for Orchestration. COORDINATION 2002: 5-13 - [c64]José Luiz Fiadeiro:
An Architectural Approach to Fault Treatment in Critical Infrastructures. EDCC 2002: 86-87 - [c63]João Gouveia, Georgios Koutsoukos, Michel Wermelinger, Luís Andrade, José Luiz Fiadeiro:
The Coordination Development Environment. FASE 2002: 323-326 - [c62]Luís Andrade, José Luiz Fiadeiro:
An Architectural Approach to Auto-Adaptive Systems. ICDCS Workshops 2002: 439-444 - [c61]Luís Andrade, José Luiz Fiadeiro:
Coordination Architecture for Evolvable Event-Based Systems. ICDCS Workshops 2002: 571-572 - [c60]João Gouveia, Georgios Koutsoukos, Michel Wermelinger, Luís Andrade, José Luiz Fiadeiro:
Coordination contracts for Java applications. ICSE 2002: 714 - [c59]Michel Wermelinger, Georgios Koutsoukos, José Luiz Fiadeiro, L. Andrade, João Gouveia:
Evolving and using coordinated systems. IWPSE 2002: 43-47 - [c58]João Gouveia, Georgios Koutsoukos, Michel Wermelinger, Luís Andrade, José Luiz Fiadeiro:
Developing and evolving Java applications using coordination contracts. OOPSLA Companion 2002: 28-29 - [c57]Luís Andrade, José Luiz Fiadeiro, João Gouveia, Georgios Koutsoukos, Michel Wermelinger:
A coordination methodology and technology for agile businesses. OOPSLA Companion 2002: 48-49 - [c56]Antónia Lopes, José Luiz Fiadeiro, Michel Wermelinger:
Architectural primitives for distribution and mobility. SIGSOFT FSE 2002: 41-50 - [c55]José Luiz Fiadeiro:
Coordination Technologies for Just-in-Time Integration. 10th Anniversary Colloquium of UNU/IIST 2002: 308-321 - [c54]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:
AGILE: Software Architecture for Mobility. WADT 2002: 1-33 - [c53]Antónia Lopes, José Luiz Fiadeiro:
On How Distribution and Mobility Interfere with Coordination. WADT 2002: 343-358 - [c52]Rogério de Lemos, José Luiz Fiadeiro:
An architectural support for self-adaptive software for treating faults. WOSS 2002: 39-42 - [c51]Antónia Lopes, José Luiz Fiadeiro:
Superposition: Composition vs refinement of non-deterministic action-based systems. Refine 2002: 282-296 - 2001
- [c50]Luís Filipe Andrade, José Luiz Fiadeiro:
Coordination Technologies for Managing Information System Evolution. CAiSE 2001: 374-387 - [c49]Luís Andrade, João Gouveia, Georgios Koutsoukos, José Luiz Fiadeiro:
Coordination Contracts, Evolution and Tools. FFSE@CSMR 2001: 35-41 - [c48]Michel Wermelinger, Antónia Lopes, José Luiz Fiadeiro:
A Graph Transformation Approach to Architectural Run-Time Reconfiguration. FFSE@CSMR 2001: 59-66 - [c47]Georgios Koutsoukos, João Gouveia, Luís Andrade, José Luiz Fiadeiro:
Managing Evolution in Telecommunication Systems. DAIS 2001: 133-139 - [c46]Luís Filipe Andrade, José Luiz Fiadeiro:
Feature Modeling and Composition with Coordination Contracts. FICS 2001: 49-54 - [c45]Luís Andrade, José Luiz Fiadeiro, João Gouveia, Georgios Koutsoukos, Michel Wermelinger:
Support for Business-Driven Evolution with Coordination Technologies. IWPSE 2001: 99-102 - [c44]Luís Andrade, José Luiz Fiadeiro, Michel Wermelinger:
Enforcing Business Policies Through Automated Reconfiguration. ASE 2001: 426- - [c43]Michel Wermelinger, Antónia Lopes, José Luiz Fiadeiro:
A graph based architectural (Re)configuration language. ESEC / SIGSOFT FSE 2001: 21-32 - [c42]Luís Filipe Andrade, José Luiz Fiadeiro:
Coordination: The Evolutionary Dimension. TOOLS (38) 2001: 136-147 - [c41]José Luiz Fiadeiro, Luís Filipe Andrade:
Interconnecting Objects via Contracts. TOOLS (38) 2001: 182-183 - [c40]João Gouveia, Georgios Koutsoukos, Luís Andrade, José Luiz Fiadeiro:
Tool Support for Coordination-Based Software Evolution. TOOLS (38) 2001: 184-196 - [c39]Antónia Lopes, Michel Wermelinger, José Luiz Fiadeiro:
A Compositional Approach to Connector Construction. WADT 2001: 201-220 - 2000
- [c38]Luís Filipe Andrade, José Luiz Fiadeiro, João Gouveia, Antónia Lopes, Michel Wermelinger:
Patterns for Coordination. COORDINATION 2000: 317-322 - [c37]Michel Wermelinger, Antónia Lopes, José Luiz Fiadeiro:
Superposing Connectors. IWSSD 2000: 87-94
1990 – 1999
- 1999
- [j14]Jean Paul Bahsoun, José Luiz Fiadeiro, Didier Galmiche:
Foreword. Math. Struct. Comput. Sci. 9(3): 225-226 (1999) - [c36]Michel Wermelinger, José Luiz Fiadeiro:
Algebraic Software Architecture Reconfiguration. ESEC / SIGSOFT FSE 1999: 393-409 - [c35]Antónia Lopes, José Luiz Fiadeiro:
Using Explicit State to Describe Architechtures. FASE 1999: 144-160 - [c34]Luís Filipe Andrade, José Luiz Fiadeiro:
Interconnecting Objects Via Contracts. UML 1999: 566-583 - [c33]José Luiz Fiadeiro, T. S. E. Maibaum, Narciso Martí-Oliet, José Meseguer, Isabel Pita:
Towards a Verification Logic for Rewriting Logic. WADT 1999: 438-458 - [e1]José Luiz Fiadeiro:
Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998, Selected Papers. Lecture Notes in Computer Science 1589, Springer 1999, ISBN 3-540-66246-4 [contents] - 1998
- [j13]Pedro Ramos, José Luiz Fiadeiro:
A computational tool that supports formal diagnosis of process design. Inf. Softw. Technol. 40(10): 555-565 (1998) - [j12]Sheila R. M. Veloso, Paulo A. S. Veloso, José Luiz Fiadeiro:
Labeled Families in Modular Software Development. J. Braz. Comput. Soc. 5(1) (1998) - [j11]Michel Wermelinger, José Luiz Fiadeiro:
Connectors for Mobile Programs. IEEE Trans. Software Eng. 24(5): 331-341 (1998) - [c32]José Luiz Fiadeiro, Antónia Lopes:
Algebraic Semantics of Coordination or What Is in a Signature. AMAST 1998: 293-307 - [c31]Michel Wermelinger, José Luiz Fiadeiro:
Towards an Algebra of Architectural Connectors: a Case Study on Synchronization for Mobility. IWSSD 1998: 135-143 - 1997
- [j10]José Luiz Fiadeiro, T. S. E. Maibaum:
Categorical Semantics of Parallel Program Design. Sci. Comput. Program. 28(2-3): 111-138 (1997) - [c30]José Luiz Fiadeiro, Antónia Lopes, T. S. E. Maibaum:
Synthesising interconnections. Algorithmic Languages and Calculi 1997: 240-264 - [c29]Antónia Lopes, José Luiz Fiadeiro:
Preservation and Reflection in Specification. AMAST 1997: 380-394 - [c28]Isabel Nunes, José Luiz Fiadeiro, Wladyslaw M. Turski:
Coordination Durative Actions. COORDINATION 1997: 115-130 - [c27]Kevin Lano, Juan Bicarregui, José Luiz Fiadeiro, Antónia Lopes:
Specification of Required Non-determinism. FME 1997: 298-317 - [c26]Leendert 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 - [c25]José Luiz Fiadeiro, Antónia Lopes:
Semantics of Architectural Connectors. TAPSOFT 1997: 505-519 - 1996
- [j9]José Luiz Fiadeiro, José Félix Costa:
Mirror, Mirror in my Hand: A Duality between Specifications and Models of Process Behaviour. Math. Struct. Comput. Sci. 6(4): 353-373 (1996) - [c24]José Luiz Fiadeiro:
On the Emergence of Properties in Component-Based Systems. AMAST 1996: 421-443 - [c23]José Luiz Fiadeiro, Tom Maibaum:
A Mathematical Toolbox for the Software Architec. IWSSD 1996: 46-55 - 1995
- [c22]M. Arrais, José Luiz Fiadeiro:
Unifying Theories in Different Institutions. COMPASS/ADT 1995: 81-101 - [c21]José Luiz Fiadeiro, T. S. E. Maibaum:
Interconnecting Formalisms: Supporting Modularity, Reuse and Incrementality. SIGSOFT FSE 1995: 72-80 - [c20]Carlos Paredes, José Luiz Fiadeiro:
Reuse of Requirements and Specifications: A Formal Framework. SSR 1995: 263-266 - 1994
- [c19]José Luiz Fiadeiro, José Félix Costa:
Institutions for Behaviour Specification. COMPASS/ADT 1994: 273-289 - [c18]José Luiz Fiadeiro, T. S. E. Maibaum:
Sometimes "Tomorrow" is "Sometime" - Action Refinement in a Temporal Logic of Objects. ICTL 1994: 48-66 - [c17]José Luiz Fiadeiro, T. S. E. Maibaum:
Verifying for Reuse: Foundations of Object-Oriented System Verification. Theory and Formal Methods 1994: 235-257 - 1993
- [j8]Georg Reichwein, José Luiz Fiadeiro:
Models for the Substitution Axiom of UNITY Logic. Inf. Process. Lett. 48(4): 171-176 (1993) - [c16]Georg Reichwein, José Luiz Fiadeiro, Mechthild Rohen:
Declarative Semantics of Interoperable Data and Knowledge Bases. ICICIS 1993: 291-299 - [c15]Georg Reichwein, José Luiz Fiadeiro:
Semantics of Interworking Knowledge Based Systems. EPIA 1993: 93-104 - [c14]José Luiz Fiadeiro, T. S. E. Maibaum:
Generalising Interpretations between Theories in the context of (pi-) Institutions. Theory and Formal Methods 1993: 126-147 - 1992
- [j7]José Luiz Fiadeiro, T. S. E. Maibaum:
Temporal Theories as Modularisation Units for Concurrent System Specification. Formal Aspects Comput. 4(3): 239-272 (1992) - 1991
- [j6]Cristina Sernadas, José Luiz Fiadeiro:
Towards object-oriented conceptual modeling. Data Knowl. Eng. 6: 479-508 (1991) - [j5]José Luiz Fiadeiro, T. S. E. Maibaum:
Temporal reasoning over deontic specifications. J. Log. Comput. 1(3): 357-395 (1991) - [c13]José Luiz Fiadeiro, José Félix Costa, Amílcar Sernadas, T. S. E. Maibaum:
Process Semantics of Temporal Logic Specifications. COMPASS/ADT 1991: 236-253 - [c12]Mark Ryan, José Luiz Fiadeiro, T. S. E. Maibaum:
Sharing Actions and Attributes in Modal Action Logic. TACS 1991: 569-593 - 1990
- [j4]Cristina Sernadas, José Luiz Fiadeiro, Amílcar Sernadas:
Modular construction of logic knowledge bases: an algebraic approach. Inf. Syst. 15(1): 37-59 (1990) - [j3]José Luiz Fiadeiro, Amílcar Sernadas:
Logics of Modal Terms for Systems Specification. J. Log. Comput. 1(2): 187-227 (1990) - [c11]José Luiz Fiadeiro, Cristina Sernadas, T. S. E. Maibaum, Gunter Saake:
Proof-Theoretic Semantics of Object-Oriented Specification Constructs. DS-4 1990: 243-284 - [c10]José Luiz Fiadeiro, T. S. E. Maibaum:
Describing, Structuring and Implementing Objects. REX Workshop 1990: 274-310
1980 – 1989
- 1989
- [c9]Cristina Sernadas, José Luiz Fiadeiro, Robert Meersman, Amílcar Sernadas:
Proof-theoretic Conceptual Modeling: the NIAM Case Study. ISCO 1989: 1-30 - [c8]Amílcar Sernadas, José Luiz Fiadeiro, Cristina Sernadas, Hans-Dieter Ehrich:
The Basic Building Blocks of Information Systems. ISCO 1989: 225-246 - 1988
- [j2]José Luiz Fiadeiro, Amílcar Sernadas:
Specification and Verification of Database Dynamics. Acta Informatica 25(6): 625-661 (1988) - [c7]Cristina Sernadas, José Luiz Fiadeiro, Amílcar Sernadas:
Object-Oriented Conceptual Modeling from Law. DS-3 1988: 305-327 - [c6]José Luiz Fiadeiro, Amílcar Sernadas, Cristina Sernadas:
Knowledgebases as Structured Theories. FSTTCS 1988: 469-486 - 1987
- [c5]José Luiz Fiadeiro, Amílcar Sernadas:
Structuring Theories on Consequence. ADT 1987: 44-72 - [c4]José Luiz Fiadeiro, Amílcar Sernadas:
Behavioural Aspects of Intelligent Knowledge-Based Information Systems. Temporal Aspects in Information Systems 1987: 77-92 - [c3]Amílcar Sernadas, José Luiz Fiadeiro, Cristina Sernadas, Hans-Dieter Ehrich:
Abstract Object Types: A Temporal Perspective. Temporal Logic in Specification 1987: 324-350 - 1986
- [j1]José Luiz Fiadeiro, Amílcar Sernadas:
The INFOLOG linear tense propositional logic of events and transactions. Inf. Syst. 11(1): 61-85 (1986) - [c2]Amílcar Sernadas, Cristina Sernadas, José Luiz Fiadeiro:
Algebraic Knowledge Representation: The Unification of Procedure, Logic and Structure. ADT 1986 - [c1]Rogério Carapuça, José Luiz Fiadeiro:
Varying Representation Schemata vs Fact Updating in KB Management. DS-2 1986: 71-87
Coauthor Index
[j46] [c120] [j45] [j43] [c119] [c113] [c112] [j39] [j38] [c109] [j36] [c108] [c107] [j35] [c106] [p2] [c103] [c97] [c95] [j29] [c92] [c91] [j27] [c90] [c86] [c85] [c83] [c82] [j23] [c79] [c78] [c76] [j20] [c75] [c74] [c72] [c68] [c66] [c56] [c54] [c53] [c51] [c48] [c43] [c39] [c38] [c37] [c35] [c32] [c30] [c29] [c27] [c25]
T. S. E. Maibaum
aka: Tom Maibaum
aka: Tom Maibaum
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-26 17:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
