Professor José Luiz Fiadeiro

  1. 2017
  2. Forthcoming

    Dynamic Networks of Heterogeneous Timed Machines

    Fiadeiro, J. L., Lopes, A., Delahaye, B. & Legay, A. 15 Apr 2017 In : Mathematical Structures in Computer Science.

    Research output: Contribution to journalArticle

  3. 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

  4. 2016
  5. Forthcoming

    Foundations of Graph Transformation as a Logic-Programming Language

    Tutu, I. & Fiadeiro, J. L. 4 Jul 2016

    Research output: Contribution to conferencePaper

  6. Forthcoming

    Creative Processes in Service-Oriented Computing

    Chirita, C-E. & Luiz Fiadeiro, J. Jul 2016

    Research output: Contribution to conferenceAbstract

  7. Forthcoming

    Free Jazz in the Land of Algebraic Improvisation

    Chirita, C-E. & Luiz Fiadeiro, J. May 2016 8 p.

    Research output: Contribution to conferencePaper

  8. 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 17 p. (Lecture Notes in Computer Science; vol. 9633)

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

  9. 2015
  10. 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

  11. 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

  12. 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

  13. 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

  14. E-pub ahead of print

    From Conventional to Institution-Independent Logic Programming

    Tutu, I. & Fiadeiro, J. L. 9 Jun 2015 In : Journal of Logic and Computation. p. 1-38 38 p.

    Research output: Contribution to journalArticle

  15. 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

  16. 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

  17. 2014
  18. 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

  19. 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

  20. 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

  21. 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

  22. Published

    Solving Queries over Modular Logic Programs

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

    Research output: Contribution to conferenceAbstract

  23. 2013
  24. 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

  25. 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

  26. Published

    A Logic-Programming Semantics of Services

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

    Research output: Contribution to conferencePaper

  27. 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

  28. 2012
  29. 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

  30. 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

  31. 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

  32. 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

  33. 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

  34. 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

  35. 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

  36. 2011
  37. 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

  38. 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

  39. 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

  40. 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

  41. 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

  42. 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

  43. 2010
  44. 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

  45. 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

  46. 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

  47. 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

  48. Published

    Proceedings - Software Engineering and Formal Methods, SEFM 2010

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

    Research output: Other contribution

  49. 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

  50. 2009
  51. 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

  52. 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

  53. 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

  54. 2008
  55. 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

  56. 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

  57. 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

  58. 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

  59. 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

  60. 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

  61. 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

  62. 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

  63. 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

  64. 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

  65. 2007
  66. 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

  67. 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

  68. 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

  69. 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

  70. 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

  71. 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

  72. 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

  73. 2006
  74. 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

  75. 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

  76. 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

  77. 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

  78. 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

  79. 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

  80. 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

  81. 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

  82. 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

  83. 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

  84. 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

  85. 2005
  86. 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

  87. 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

  88. 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

  89. 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

  90. 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

  91. 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

  92. Published

    Categories for Software Engineering

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

    Research output: Book/ReportOther report

  93. 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

  94. 2004
  95. 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

  96. 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

  97. 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

  98. 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

  99. 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

  100. 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

  101. 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

  102. 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

  103. 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

  104. 2003
  105. 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

  106. 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

  107. Published

    AGILE: Software Architecture for Mobility

    Fiadeiro, J. L. & 24 others Andrade, L., Baldan, P., Baumeister, H., Corradini, A., De Nicola, R., 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., 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

  108. 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

  109. 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

  110. 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

  111. 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

  112. 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

  113. 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

  114. 2002
  115. 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

  116. Published

    Architectural primitives for distribution and mobility

    Lopes, A., Fiadeiro, J. L. & Wermelinger, M. Nov 2002 In : Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering . 27, 6, p. 41-50 10 p.

    Research output: Contribution to journalArticle

Previous 1 2 Next