


Остановите войну!
for scientists:


default search action
José 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]