Professor José Luiz Fiadeiro

  1. 2018
  2. Published

    Logics for Actor Networks: A Case Study in Constrained Hybridization

    Lopes Fiadeiro, J., Tutu, I., Lopes, A. & Pavlovic, D., 3 Jan 2018, Dynamic Logic: new trends and applications. Springer, p. 98-114 (Lecture Notes in Computer Science)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. 2017
  4. Published

    From conventional to institution-independent logic programming

    Tutu, I. & Fiadeiro, J. L., 1 Sep 2017, In : Journal of Logic and Computation. 27, 6, p. 1679-1716 38 p.

    Research output: Contribution to journalArticle

  5. E-pub ahead of print

    Dynamic Networks of Heterogeneous Timed Machines

    Fiadeiro, J. L., Lopes, A., Delahaye, B. & Legay, A., 24 May 2017, In : Mathematical Structures in Computer Science. p. 1-56 56 p.

    Research output: Contribution to journalArticle

  6. Published

    Heterogeneous and Asynchronous Networks of Timed Systems

    Fiadeiro, J. L. & Lopes, A., 8 Feb 2017, In : Theoretical Computer Science. 663, p. 1–33 33 p.

    Research output: Contribution to journalArticle

  7. 2016
  8. Forthcoming

    Foundations of Graph Transformation as a Logic-Programming Language

    Tutu, I. & Fiadeiro, J. L., 4 Jul 2016, (Accepted/In press)

    Research output: Contribution to conferencePaper

  9. Forthcoming

    Creative Processes in Service-Oriented Computing

    Chirita, C-E. & Luiz Fiadeiro, J., Jul 2016, (Accepted/In press)

    Research output: Contribution to conferenceAbstract

  10. Forthcoming

    Free Jazz in the Land of Algebraic Improvisation

    Chirita, C-E. & Luiz Fiadeiro, J., May 2016, (Accepted/In press) 8 p.

    Research output: Contribution to conferencePaper

  11. Published

    Many-Valued Institutions for Constraint Specification

    Chirita, C-E., Luiz Fiadeiro, J. & Orejas, F., 2016, Fundamental Approaches to Software Engineering. Stevens, P. & Wasowski, A. (eds.). Berlin: Springer, Vol. 9633, p. 359-376 18 p. (Lecture Notes in Computer Science; vol. 9633)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  12. 2015
  13. Published

    A full operational semantics for asynchronous relational networks

    Vissani, I., Lopez Pombo, C., Tutu, I. & Fiadeiro, J. L., 30 Dec 2015, Recent Advances in Algebraic Development Techniques. Springer, Vol. 9463, p. 131-150 20 p. (Lecture Notes in Computer Science; vol. 9463)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  14. Published

    Revisiting the Institutional Approach to Herbrand's Theorem

    Tutu, I. & Fiadeiro, J. L., 21 Oct 2015, Revisiting the Institutional Approach to Herbrand's Theorem. p. 304-319 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  15. Published

    Service-Oriented Logic Programming

    Tutu, I. & Fiadeiro, J. L., 18 Aug 2015, In : Logical Methods in Computer Science. 11, 3, p. 1-38 38 p.

    Research output: Contribution to journalArticle

  16. Published

    A semantics of business configurations using symbolic graphs

    Mylonakis, N., Orejas, F. & Fiadeiro, J. L., 27 Jun 2015, Proceedings of the 12th IEEE International Conference on Services Computing. IEEE Computer Society Press, p. 146 - 153 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  17. Published

    Abstract Constraint Data Types

    Fiadeiro, J. L. & Orejas, F., 2015, Software, Systems and Services. de Nicola, R. & Hennicker, R. (eds.). Springer, (Lecture Notes in Computer Science)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  18. Published

    Hues of Satisfaction: Many-valued Institutions for Constraint Specification

    Chirita, C-E., Fiadeiro, J. L. & Orejas, F., 2015 2 p.

    Research output: Contribution to conferenceAbstract

  19. 2014
  20. Published

    Preface: Brazilian symposium on programming languages (SBLP 2011)

    Braga, C. & Fiadeiro, J. L., 11 Jan 2014, In : Science of Computer Programming. 93, PART A, p. 1-2 2 p.

    Research output: Contribution to journalEditorial

  21. Published

    Preface

    Fiadeiro, J. L., Liu, Z. & Xue, J., 1 Jan 2014, In : Lecture Notes in Computer Science. 8348, p. v 1 p.

    Research output: Contribution to journalEditorial

  22. Published

    Heterogeneous and Asynchronous Networks of Timed Systems

    Fiadeiro, J. L. & Lopes, A., 2014, Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014. Springer, Vol. 8411, p. 79-93 15 p. (Lecture Notes in Computer Science)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  23. Published

    Heterogeneous Timed Machines

    Delahaye, B., Fiadeiro, J. L., Legay, A. & Lopes, A., 2014, Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014.. Springer, Vol. 8687, p. 115-132 18 p. (Lecture Notes in Computer Science)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  24. Published

    Solving Queries over Modular Logic Programs

    Tutu, I. & Fiadeiro, J. L., 2014

    Research output: Contribution to conferenceAbstract

  25. 2013
  26. Published

    An interface theory for service-oriented design

    Fiadeiro, J. L. & Lopes, A., 9 Sep 2013, In : Theoretical Computer Science. 503, p. 1-30

    Research output: Contribution to journalArticle

  27. Published

    A model for dynamic reconfiguration in service-oriented architectures

    Fiadeiro, J. L. & Lopes, A., 1 May 2013, In : Software and Systems Modeling. 12, 2, p. 349-367 19 p.

    Research output: Contribution to journalArticle

  28. Published

    A Logic-Programming Semantics of Services

    Tutu, I. & Fiadeiro, J. L., 2013, p. 299-313

    Research output: Contribution to conferencePaper

  29. Published

    A timed component algebra for services

    Delahaye, B., Fiadeiro, J. L., Legay, A. & Lopes, A., 2013, FMOODS/FORTE. Beyer, D. & Borelae, M. (eds.). Springer, p. 242-257 16 p. (Lecture Notes in Computer Science; vol. 7892)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  30. 2012
  31. Published

    A formal model for service-oriented interactions

    Fiadeiro, J., Lopes, A. & Abreu, J., 1 May 2012, In : Science of Computer Programming. 77, 5, p. 577-608 32 p.

    Research output: Contribution to journalArticle

  32. Published

    Editorial

    Fiadeiro, J. L., Gnesi, S. & Maibaum, T., 1 Mar 2012, In : Formal Aspects of Computing. 24, 2, p. 161-162 2 p.

    Research output: Contribution to journalArticle

  33. Published

    Special issue dedicated to SEFM'10

    Fiadeiro, J. L., Gnesi, S. & Maibaum, T., Mar 2012, In : Formal Aspects of Computing. 24, 2

    Research output: Contribution to journalSpecial issue

  34. Published

    A graph-based design framework for services

    Lopes, A. & Fiadeiro, J. L., 1 Jan 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7562 LNCS, p. 1-19 19 p.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  35. Published

    Consistency of service composition

    Fiadeiro, J. L. & Lopes, A., 1 Jan 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7212 LNCS, p. 63-77 15 p.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  36. Published

    Variability and rigour in Service Computing engineering

    Ter Beek, M. H., Gnesi, S., Fantechi, A. & Fiadeiro, J. L., 1 Jan 2012, Proceedings - 2011 34th IEEE Software Engineering Workshop, SEW 2011. p. 122-127 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  37. Published

    The many faces of complexity in software design

    Fiadeiro, J. L., 2012, Conquering Complexity. Springer

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  38. 2011
  39. Published

    An abstract model of service discovery and binding

    Fiadeiro, J. L., Lopes, A. & Bocchi, L., 1 Jul 2011, In : Formal Aspects of Computing. 23, 4, p. 433-463 31 p.

    Research output: Contribution to journalArticle

  40. Published

    Guiding the representation of n-ary relations in ontologies through aggregation, generalisation and participation

    Severi, P., Fiadeiro, J. & Ekserdjian, D., 1 Jul 2011, In : Journal of Web Semantics. 9, 2, p. 83-98 16 p.

    Research output: Contribution to journalArticle

  41. Published

    Evolving critical systems

    Hinchey, M., Nuseibeh, B., Coyle, L. & Fiadeiro, J. L., 1 Feb 2011, Dagsthul seminar. Vol. 34, p. 105-107 3 p.

    Research output: Chapter in Book/Report/Conference proceedingForeword/postscript

  42. Published

    An interface theory for service-oriented design

    Fiadeiro, J. L. & Lopes, A., 1 Jan 2011, Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings. Giannakopoulou, D. & Orejas, F. (eds.). p. 18-33 16 p. (Lecture Notes in Computer Science; vol. 6603)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  43. Published

    Early model-analysis of logistics systems

    Azmat, F., Bocchi, L. & Fiadeiro, J. L., 1 Jan 2011, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6568 LNCS, p. 225-236 12 p.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  44. Published

    The SENSORIA reference modelling language

    Fiadeiro, J., Bocchi, L., Lopes, A. & Abreu, J., 1 Jan 2011, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6582, p. 61-114 54 p.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  45. 2010
  46. Published

    Special issue dedicated to FASE'08

    Fiadeiro, J. L., Inverardi, P. & Maibaum, T., 1 May 2010, In : Formal Aspects of Computing. 22, 3-4

    Research output: Contribution to journalSpecial issue

  47. Published

    Evolving critical systems

    Coyle, L., Hinchey, M., Nuseibeh, B. & Fiadeiro, J. L., May 2010, In : IEEE Computer. 43, 5

    Research output: Contribution to journalSpecial issue

  48. Published

    Structure and Behaviour of Virtual Organisation Breeding Environments

    Bocchi, L., Fiadeiro, J., Rajper, N. & Reiff-Marganiec, S., 25 Jan 2010, In : Electronic Proceedings in Theoretical Computer Science. 16

    Research output: Contribution to journalArticle

  49. Published

    A model for dynamic reconfiguration in service-oriented architectures

    Fiadeiro, J. L. & Lopes, A., 1 Jan 2010, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6285 LNCS, p. 70-85 16 p.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  50. Published

    Proceedings - Software Engineering and Formal Methods, SEFM 2010

    Schettini, A. M., Fiadeiro, J. L. & Gnesi, S., 1 Jan 2010

    Research output: Other contribution

  51. Published

    Guiding Reification in OWL through Aggregation

    Severi, P., Fiadeiro, J. L. & Ekserdjian, D., 2010, Description Logics. CEUR-WS.org, Vol. 573, (CEUR Workshop Proceedings)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  52. 2009
  53. Published

    From Architectural to Behavioural Specification of Services

    Bocchi, L., Fiadeiro, J. L., Lapadula, A., Pugliese, R. & Tiezzi, F., 6 Oct 2009, In : Electronic Notes in Theoretical Computer Science. 253, 1, p. 3-21 19 p.

    Research output: Contribution to journalArticle

  54. Published

    A model-checking approach for service component architectures

    Abreu, J., Fiadeiro, J. L., Mazzanti, F. & Gnesi, S., 1 Jan 2009, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5522 LNCS, p. 219-224 6 p.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  55. Published

    Structure and Behaviour of Virtual Organisation Breeding Environments

    Bocchi, L., Fiadeiro, J. L., Rajper, N. & Reiff-Marganiec, S., 2009, FAVO. Vol. 16, p. 26-40 15 p. (EPTCS)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  56. 2008
  57. Published

    A coordination model for service-oriented interactions

    Abreu, J. & Fiadeiro, J. L., 1 Jan 2008, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5052 LNCS, p. 1-16 16 p.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  58. Published

    A use-case driven approach to formal service-oriented modelling

    Bocchi, L., Fiadeiro, J. L. & Lopes, A., 1 Jan 2008, Communications in Computer and Information Science. Vol. 17 CCIS, p. 155-169 15 p.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  59. Published

    Business process management

    Dustdar, S., Fiadeiro, J. L. & Sheth, A., 1 Jan 2008, In : Data and Knowledge Engineering. 64, 1

    Research output: Contribution to journalSpecial issue

  60. Published

    From BPEL to SRML: A formal transformational approach

    Bocchi, L., Hong, Y., Fiadeiro, J. L. & Lopes, A., 1 Jan 2008, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4937 LNCS, p. 92-107 16 p.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  61. Published

    Managing socio-technical interactions in healthcare systems

    El-Hassan, O., Fiadeiro, J. L. & Heckel, R., 1 Jan 2008, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4928 LNCS, p. 347-358 12 p.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  62. Published

    On the challenge of engineering socio-technical systems

    Fiadeiro, J. L., 1 Jan 2008, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5380 LNCS, p. 80-91 12 p.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  63. Published

    Proceedings – Fundamental Aspects of Software Engineering, FASE'08

    Fiadeiro, J. & Inverardi, P., 1 Jan 2008, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4961 LNCS

    Research output: Chapter in Book/Report/Conference proceedingForeword/postscript

  64. Published

    RBSLA based implementation for architectural management laws

    Alghamdi, A., Fiadeiro, J. L. & Paschke, A., 1 Jan 2008, Innovations'07: 4th International Conference on Innovations in Information Technology, IIT. p. 556-560 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  65. Published

    Service-oriented modelling of automotive systems

    Bocchi, L., Fiadeiro, J. L. & Lopes, A., 1 Jan 2008, Proceedings - International Computer Software and Applications Conference. p. 1059-1064 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  66. Published

    What do semantics matter when the meat is overcooked?

    Fiadeiro, J. L., 1 Jan 2008, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5065 LNCS, p. 563-580 18 p.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  67. 2007
  68. Published

    An algebraic semantics of event-based architectures

    Fiadeiro, J. L. & Lopes, A., 1 Oct 2007, In : Mathematical Structures in Computer Science. 17, 5, p. 1029-1073 45 p.

    Research output: Contribution to journalArticle

  69. Published

    Role-based Architectural Modelling of Socio-Technical Systems

    El-Hassan, O. & Fiadeiro, J. L., 27 Jun 2007, In : Electronic Notes in Theoretical Computer Science. 181, 1, p. 5-17 13 p.

    Research output: Contribution to journalArticle

  70. Published

    Algebraic semantics of service component modules

    Fiadeiro, J. L., Bocchi, L. & Lopes, A., 1 Jan 2007, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4409 LNCS, p. 37-55 19 p.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  71. Published

    Designing for software's social complexity

    Fiadeiro, J. L., 1 Jan 2007, In : IEEE Computer. 40, 1, p. 34-39 6 p.

    Research output: Contribution to journalArticle

  72. Published

    Proceedings – Workshop on Algebraic Development Techniques, WADT'06

    Fiadeiro, J. & Schobbens, P-Y., 1 Jan 2007, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4409 LNCS

    Research output: Chapter in Book/Report/Conference proceedingForeword/postscript

  73. Published

    Specifying and composing interaction protocols for service-oriented system modelling

    Abreu, J., Bocchi, L., Fiadeiro, J. L., Lopes, A. & Fiadeiro, J. L., 1 Jan 2007, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4574 LNCS, p. 358-373 16 p.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  74. Published

    Structured Co-spans: An algebra of interaction protocols

    Fiadeiro, J. L. & Schmitt, V., 1 Jan 2007, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4624 LNCS, p. 194-208 15 p.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  75. 2006
  76. Published

    Special issue dedicated to CALCO'05

    Fiadeiro, J. & Rutten, J., 16 Nov 2006, In : Theoretical Computer Science. 366, 1-2

    Research output: Contribution to journalSpecial issue

  77. Published

    Adding mobility to software architectures

    Lopes, A. & Fiadeiro, J. L., 1 Jul 2006, In : Science of Computer Programming. 61, 2, p. 114-135 22 p.

    Research output: Contribution to journalArticle

  78. Published

    Extending UML with coordination contracts

    Lano, K. & Fiadeiro, J. L., 1 Jun 2006, In : Software and Systems Modeling. 5, 2, p. 110-120 11 p.

    Research output: Contribution to journalArticle

  79. Published

    A formal approach to event-based architectures

    Fiadeiro, J. L. & Lopes, A., 1 Jan 2006, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 3922 LNCS, p. 18-32 15 p.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  80. Published

    A formal approach to service component architecture

    Fiadeiro, J. L., Bocchi, L. & Lopes, A., 1 Jan 2006, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4184 LNCS, p. 193-213 21 p.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  81. Published

    Physiological vs. Social complexity in software design

    Fiadeiro, J. L., 1 Jan 2006, Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS. p. 3 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  82. Published

    Proceedings – 4th International Conference on Business Process Management, BPM'06

    Dustdar, S., Fiadeiro, J. & Sheth, A., 1 Jan 2006, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4102 LNCS

    Research output: Chapter in Book/Report/Conference proceedingForeword/postscript

  83. Published

    Separating distribution from coordination and computation as architectural dimensions

    Fiadeiro, J. L., 1 Jan 2006, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4037 LNCS, p. 17 1 p.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  84. Published

    Architectural Handling of Management Concerns in Service-Driven Business Processes

    Al-Ghamdi, A. & Fiadeiro, J. L., 2006, MSVVEIS. INSTICC Press, p. 111-120 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  85. Published

    Dagsthul Seminar on Foundations of Global Computing

    Fiadeiro, J. L., Montanari, U. & Wirsing, M., 2006, Foundations of Global Computing. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, Vol. 05081, (Dagstuhl Seminar Proceedings)

    Research output: Chapter in Book/Report/Conference proceedingForeword/postscript

  86. Published

    Distribution concerns in service-oriented modelling

    Aoumeur, N., Fiadeiro, J. L. & Oliveira, C., 2006, In : IJIPT. 1, 3, p. 144-158 15 p.

    Research output: Contribution to journalArticle

  87. 2005
  88. Published

    Modelling the GSM handover protocol in commUnity

    Oliveira, C., Fiadeiro, J. L., Wermelinger, M. & Lopes, A., 1 Dec 2005, In : Electronic Notes in Theoretical Computer Science. 141, 3, p. 3-25 23 p.

    Research output: Contribution to journalArticle

  89. Published

    A verification logic for rewriting logic

    Martí-Oliet, N., Pita, I., Fiadeiro, J. L., Meseguer, J. & Maibaum, T., 1 Jun 2005, In : Journal of Logic and Computation. 15, 3, p. 317-352 36 p.

    Research output: Contribution to journalArticle

  90. Published

    Algebraic semantics of design abstractions for context-awareness

    Lopes, A. & Fiadeiro, J. L., 1 Jan 2005, In : Lecture Notes in Computer Science. 3423, p. 79-93 15 p.

    Research output: Contribution to journalArticle

  91. Published

    Context-awareness in software architectures

    Lopes, A. & Fiadeiro, J. L., 1 Jan 2005, In : Lecture Notes in Computer Science. 3527, p. 146-161 16 p.

    Research output: Contribution to journalArticle

  92. Published

    Preface

    Fiadeiro, J., Mosses, P. & Orejas, F., 1 Jan 2005, In : Lecture Notes in Computer Science. 3423, p. v-vi 2 p.

    Research output: Contribution to journalSpecial issue

  93. Published

    Software services: Scientific challenge or industrial hype?

    Fiadeiro, J. L., 1 Jan 2005, In : Lecture Notes in Computer Science. 3407, p. 1-13 13 p.

    Research output: Contribution to journalArticle

  94. Published

    Categories for Software Engineering

    Fiadeiro, J. L., 2005, Springer. 250 p.

    Research output: Book/ReportOther report

  95. Published

    Proceedings – Conference on Algebra and Coalgebra in Computer Science, CALCO'05

    Fiadeiro, J. L. (ed.), Harman, N. (ed.), Roggenbach, M. (ed.) & Rutten, J. J. M. M. (ed.), 2005, Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings. Springer, Vol. 3629

    Research output: Chapter in Book/Report/Conference proceedingForeword/postscript

  96. 2004
  97. Published

    Adding mobility to software architectures

    Lopes, A. & Fiadeiro, J. L., 22 Jul 2004, In : Electronic Notes in Theoretical Computer Science. 97, p. 241-258 18 p.

    Research output: Contribution to journalArticle

  98. Published

    Superposition: Composition vs refinement of non-deterministic, action-based systems

    Lopes, A. & Fiadeiro, J. L., 1 Apr 2004, In : Formal Aspects of Computing. 16, 1, p. 5-18 14 p.

    Research output: Contribution to journalArticle

  99. Published

    An architectural approach to mobility - The handover case study

    Oliveira, C., Wermelinger, M., Fiadeiro, J. L. & Lopes, A., 1 Jan 2004, Proceedings - Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004). p. 305-308 4 p.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  100. Published

    Community on the move: Architectures for distribution and mobility

    Fiadeiro, J. L. & Lopes, A., 1 Jan 2004, In : Lecture Notes in Computer Science. 3188, p. 177-196 20 p.

    Research output: Contribution to journalArticle

  101. Published

    Composition contracts for service interaction

    Andrade, L. F. & Fiadeiro, J. L., 1 Jan 2004, In : Journal of Universal Computer Science. 10, 4, p. 375-390 16 p.

    Research output: Contribution to journalArticle

  102. Published

    Enhancing dependability through flexible adaptation to changing requirements

    Wermelinger, M., Koutsoukos, G., Lourenço, H., Avillez, R., Gouveia, J., Andrade, L. & Fiadeiro, J. L., 1 Jan 2004, In : Lecture Notes in Computer Science. 3069, p. 3-24 22 p.

    Research output: Contribution to journalArticle

  103. Published

    Problem frames: A case for coordination

    Barroca, L., Jackson, M., Laney, R., Nuseibeh, B. & Fiadeiro, J. L., 1 Jan 2004, In : Lecture Notes in Computer Science. 2949, p. 5-19 15 p.

    Research output: Contribution to journalArticle

  104. Published

    Towards an architectural approach to location-aware business processes

    Aoumeur, N., Fiadeiro, J. & Oliveira, C., 1 Jan 2004, 13th IEEE International Workshops on Enabling Technologies (WETICE 2004), Infrastructure for Collaborative Enterprises. Vol. 13, p. 147-152 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  105. Published

    New Insights on Architectural Connectors

    Bruni, R., Fiadeiro, J. L., Lanese, I., Lopes, A. & Montanari, U., 2004, IFIP TCS. Kluwer, p. 367-380 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  106. 2003
  107. Published

    Information Processing Letters: Foreword

    Fiadeiro, J. L., Madey, J. & Tarlecki, A., 17 Oct 2003, In : Information Processing Letters. 88, 1-2, p. 1-2 2 p.

    Research output: Contribution to journalEditorial

  108. Published

    A Mathematical Semantics for Architectural Connectors

    Fiadeiro, J. L., Lopes, A. & Wermelinger, M., 1 Jan 2003, In : Lecture Notes in Computer Science. 2793, p. 178-221 44 p.

    Research output: Contribution to journalArticle

  109. Published

    AGILE: Software Architecture for Mobility

    Andrade, L. , Baldan, P. , Baumeister, H. , Corradini, A. , De Nicola, R. , Fiadeiro, J. L. , Gadducci, F. , Gnesi, S. , Hoffman, P. , P., K. , Kosiuczenko, H. , Lapadula, P. , Latella, F. , Lopes, M. , Loreti, N. , Massink, A. , Mazzanti, M. , Montanari, F. , Oliveira, F. , Pugliese, R. & 5 others Tarlecki, M., Wermelinger, U., Wirsing, R., Zawlocki, M. & Bruni, A., 1 Jan 2003, In : Lecture Notes in Computer Science. 2755, p. 1-33 33 p.

    Research output: Contribution to journalArticle

  110. Published

    Architecture based evolution of software systems

    Andrade, L. F. & Fiadeiro, J. L., 1 Jan 2003, In : Lecture Notes in Computer Science. 2804, p. 148-181 34 p.

    Research output: Contribution to journalArticle

  111. Published

    Coordination technologies for just-in-time integration

    Fiadeiro, J. L., 1 Jan 2003, In : Lecture Notes in Computer Science. 2757, p. 308-321 14 p.

    Research output: Contribution to journalArticle

  112. Published

    Evolving requirements through coordination contracts

    Moreira, A., Fiadeiro, J. L. & Andrade, L., 1 Jan 2003, In : Lecture Notes in Computer Science. 2681, p. 633-646 14 p.

    Research output: Contribution to journalArticle

  113. Published

    Higher-order architectural connectors

    Lopes, A., Wermelinger, M. & Fiadeiro, J. L., 1 Jan 2003, In : ACM Transactions on Software Engineering and Methodology. 12, 1, p. 64-104 41 p.

    Research output: Contribution to journalArticle

  114. Published

    On how distribution and mobility interfere with coordination

    Lopes, A. & Fiadeiro, J. L., 1 Jan 2003, In : Lecture Notes in Computer Science. 2755, p. 343-358 16 p.

    Research output: Contribution to journalArticle

  115. Published

    Coordination for Distributed Business Systems

    Andrade, L. F., Fiadeiro, J. L., Lopes, A. & Wermelinger, M., 2003, CAiSE Workshops. CEUR-WS.org, Vol. 75, (CEUR Workshop Proceedings)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  116. 2002
  117. Published

    Superposition: Composition vs refinement of non-deterministic, action-based systems

    Lopes, A. & Fiadeiro, J. L., 1 Nov 2002, In : Electronic Notes in Theoretical Computer Science. 70, 3, p. 352-366 15 p.

    Research output: Contribution to journalArticle

Previous 1 2 Next