Professor José Luiz Fiadeiro

  1. Other contribution › Research
  2. Published

    Proceedings - Software Engineering and Formal Methods, SEFM 2010

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

    Research output: Other contribution

  3. Other report › Research
  4. Published

    Categories for Software Engineering

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

    Research output: Book/ReportOther report

  5. Article › Research › Not peer-reviewed
  6. 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

  7. Article › Research › Peer-reviewed
  8. Published

    A computational tool that supports formal diagnosis of process design

    Ramos, P. & Fiadeiro, J. L., 15 Oct 1998, In : Information and Software Technology. 40, 10, p. 555-565 11 p.

    Research output: Contribution to journalArticle

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

  10. Published

    A graph transformation approach to software architecture reconfiguration

    Wermelinger, M. & Fiadeiro, J. L., 1 Jul 2002, In : Science of Computer Programming. 44, 2, p. 133-155 23 p.

    Research output: Contribution to journalArticle

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

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

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

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

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

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

  17. Published

    Agility through coordination

    Andrade, L. F. & Fiadeiro, J. L., 1 Sep 2002, In : Information Systems Management. 27, 6, p. 411-424 14 p.

    Research output: Contribution to journalArticle

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

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

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

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

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

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

  24. Published

    Categorical semantics of parallel program design

    Fiadeiro, J. L. & Maibaum, T., 1 Apr 1997, In : Science of Computer Programming. 28, 2-3, p. 111-138 28 p.

    Research output: Contribution to journalArticle

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

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

  27. Published

    Connectors for mobile programs

    Wermelinger, M. & Fiadeiro, J. L., 1 Jan 1998, In : Software Engineering, IEEE Transactions on. 24, 5, p. 331-341 11 p.

    Research output: Contribution to journalArticle

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

  29. Published

    Coordination contracts for Java applications

    Gouveia, J., Koutsoukos, G., Wermelinger, M., Andrade, L. & Fiadeiro, J. L., 1 Jan 2002, In : ICSE 2004: 26TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS. p. 714 1 p.

    Research output: Contribution to journalArticle

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

  31. Published

    Describing, structuring and implementing objects

    FIADEIRO, J. & MAIBAUM, T., 1991, In : Lecture Notes in Computer Science. 489, p. 274-310 37 p.

    Research output: Contribution to journalArticle

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

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

  34. Published

    Dynamic networks of heterogeneous timed machines

    Fiadeiro, J. L., Lopes, A., Delahaye, B. & Legay, A., Jun 2018, In : Mathematical Structures in Computer Science. 28, 6, p. 800-855 56 p.

    Research output: Contribution to journalArticle

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

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

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

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

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

  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

    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

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

  43. Published

    Knowledgebases as structured theories

    FIADEIRO, J., SERNADAS, A. & SERNADAS, C., 1988, In : Lecture Notes in Computer Science. 338, p. 469-486 18 p.

    Research output: Contribution to journalArticle

  44. Published

    Labeled Families in Modular Software Development

    Veloso, S. R. M., Veloso, P. A. S. & Fiadeiro, J. L., 1998, In : J. Braz. Comp. Soc.. 5, 1

    Research output: Contribution to journalArticle

  45. Published

    Logics for Actor Networks: A two-stage constrained-hybridisation approach

    Lopes Fiadeiro, J., Tutu, I., Lopes, A. & Pavlovic, D., Aug 2019, In : Journal of Logical and Algebraic Methods in Programming. 106

    Research output: Contribution to journalArticle

  46. Published

    Logics of Modal Terms for Systems Specification

    Fiadeiro, J. & Sernadas, A., 1 Dec 1990, In : Journal of Logic and Computation. 1, 2, p. 187-227 41 p.

    Research output: Contribution to journalArticle

  47. Published

    Mirror, Mirror in my Hand: A Duality between Specifications and Models of Process Behaviour

    Fiadeiro, J. L. & Costa, J. F., 1996, In : Mathematical Structures in Computer Science. 6, 4, p. 353-373 21 p.

    Research output: Contribution to journalArticle

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

  49. Published

    Models for the substitution axiom of UNITY logic

    Reichwein, G. & Fiadeiro, J. L., 1 Jan 1993, In : Information Processing Letters. 48, 4, p. 171-176 6 p.

    Research output: Contribution to journalArticle

  50. Published

    Modular construction of logic knowledge bases: an algebraic approach

    Sernadas, C., Fiadeiro, J. L. & Sernadas, A., 1990, In : Information Systems Research. 15, 1, p. 37-59 23 p.

    Research output: Contribution to journalArticle

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

  52. Published

    On local modularity and interpolation in entailment systems

    Veloso, P. A. S., Fiadeiro, J. L. & Veloso, S. R. M., 31 May 2002, In : Information Processing Letters. 82, 4, p. 203-211 9 p.

    Research output: Contribution to journalArticle

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

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

  55. Published

    Separating computation, coordination and configuration

    Andrade, L., Fiadeiro, J. L., Gouveia, J. & Koutsoukos, G., 1 Sep 2002, In : Journal of Software Maintenance and Evolution. 14, 5, p. 353-369 17 p.

    Research output: Contribution to journalArticle

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

  57. Published

    Sharing attributes and actions in modal action logic

    RYAN, M., FIADEIRO, J. & MAIBAUM, T., 1991, In : Lecture Notes in Computer Science. 526, p. 569-593 25 p.

    Research output: Contribution to journalArticle

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

  59. Published

    Specification and verification of database dynamics

    Fiadeiro, J. & Sernadas, A., 1 Aug 1988, In : Acta Informatica. 25, 6, p. 625-661 37 p.

    Research output: Contribution to journalArticle

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

  61. Published

    Structuring theories on consequence

    FIADEIRO, J. & SERNADAS, A., 1988, In : Lecture Notes in Computer Science. 332, p. 44-72 29 p.

    Research output: Contribution to journalArticle

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

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

  64. Published

    Temporal Reasoning over Deontic Specifications

    Fiadeiro, J. & Maibaum, T., 1 May 1991, In : Journal of Logic and Computation. 1, 3, p. 357-395 39 p.

    Research output: Contribution to journalArticle

  65. Published

    Temporal theories as modularisation units for concurrent system specification

    Fiadeiro, J. & Maibaum, T., 1 May 1992, In : Formal Aspects of Computing. 4, 3, p. 239-272 34 p.

    Research output: Contribution to journalArticle

  66. Published

    The INFOLOG linear tense propositional logic of events and transactions

    Fiadeiro, J. & Sernadas, A., 1 Jan 1986, In : Information Systems Management. 11, 1, p. 61-85 25 p.

    Research output: Contribution to journalArticle

  67. Published

    Towards object-oriented conceptual modeling

    Sernadas, C. & Fiadeiro, J., 1 Oct 1991, In : Data and Knowledge Engineering. 6, 6, p. 479-508 30 p.

    Research output: Contribution to journalArticle

  68. Editorial › Research › Not peer-reviewed
  69. 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

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

  71. Editorial › Research › Peer-reviewed
  72. Published

    Foreword

    Bahsoun, J. P., Fiadeiro, J. L. & Galmiche, D., 1999, In : Mathematical Structures in Computer Science. 9, 3, p. 225-226 2 p.

    Research output: Contribution to journalEditorial

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

  74. Published

    Theoretical Computer Science: Preface

    Fiadeiro, J. L., 17 Sep 2002, In : Theoretical Computer Science. 286, 2, p. 151 1 p.

    Research output: Contribution to journalEditorial

  75. Special issue › Research › Peer-reviewed
  76. 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

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

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

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

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

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

  82. Conference contribution › Research
  83. Published

    A Compositional Approach to Connector Construction

    Lopes, A., Wermelinger, M. & Fiadeiro, J. L., 2001, WADT. Springer, Vol. 2267. p. 201-220 20 p. (Lecture Notes in Computer Science).

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

  84. 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, p. 131-150 20 p. (Lecture Notes in Computer Science; vol. 9463).

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

  85. Published

    A graph based architectural (re)configuration language

    Wermelinger, M., Lopes, A. & Fiadeiro, J. L., 1 Jan 2001, 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001. p. 21-32 12 p.

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

  86. Published

    A Semantics of Business Configurations Using Symbolic Graphs

    Mylonakis, N., Orejas, F. & Fiadeiro, J. L., 20 Aug 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

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

  88. Published

    Abstract Constraint Data Types

    Fiadeiro, J. L. & Orejas, F., 2015, Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering. de Nicola, R. & Hennicker, R. (eds.). Springer, p. 155-170 16 p. (Lecture Notes in Computer Science; vol. 8950).

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

  89. Published

    Abstract object types – a temporal perspective

    SERNADAS, A., FIADEIRO, J., SERNADAS, C. & EHRICH, H. D., 1989, TEMPORAL LOGIC IN SPECIFICATION. BANIEQBAL, B., BARRINGER, H. & PNUELI, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 324-350 27 p.

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

  90. Published

    Algebraic Knowledge Representation: The Unification of Procedure, Logic and Structure

    Sernadas, A., Sernadas, C. & Fiadeiro, J. L., 1986, ADT.

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

  91. Published

    Algebraic Semantics of Coordination or What Is in a Signature

    Fiadeiro, J. L. & Lopes, A., 1999, AMAST. Springer, Vol. 1548. p. 293-307 15 p. (Lecture Notes in Computer Science).

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

  92. Published

    Algebraic Software Architecture Reconfiguration

    Wermelinger, M. & Fiadeiro, J. L., 1999, ESEC / SIGSOFT FSE. Springer, Vol. 1687. p. 393-409 17 p. (Lecture Notes in Computer Science).

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

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

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

  95. Published

    Behavioural Aspects of Intelligent Knowledge-Based Information Systems

    Fiadeiro, J. L. & Sernadas, A., 1987, Temporal Aspects in Information Systems. p. 77-92 16 p.

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

  96. Published

    Coordination: The evolutionary dimension

    Andrade, L. F. & Fiadeiro, J. L., 1 Jan 2001, 38th International Conference on Technology of Object-Oriented Languages and Systems, Components for Mobile Computing. p. 136-147 12 p.

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

  97. Published

    Coordination Durative Actions

    Nunes, I., Fiadeiro, J. L. & Turski, W. M., 1997, COORDINATION. Springer, Vol. 1282. p. 115-130 16 p. (Lecture Notes in Computer Science).

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

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

  99. Published

    Coordination Technologies for Managing Information System Evolution

    Andrade, L. F. & Fiadeiro, J. L., 2001, CAiSE. Springer, Vol. 2068. p. 374-387 14 p. (Lecture Notes in Computer Science).

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

  100. Published

    Enforcing Business Policies Through Automated Reconfiguration

    Andrade, L. F., Fiadeiro, J. L. & Wermelinger, M., 2001, ASE. IEEE Computer Society Press, p. 426-

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

  101. Published

    Extending B AMN with concurrency

    Lano, K., Fiadeiro, J. & Dick, J., 1996, ADVANCES IN THEORY AND FORMAL METHODS OF COMPUTING. Edalat, A., Jourdan, S. & McCusker, G. (eds.). LONDON: Imperial College Press, p. 228-239 12 p.

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

  102. Published

    Feature Modeling and Composition with Coordination Contracts

    Andrade, L. F. & Fiadeiro, J. L., 2001, FICS. University of Karlsruhe, Institut für Programmstrukturen und Datenorganisation, Vol. 2001-14. p. 49-54 6 p. (Technical Report).

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

  103. Published

    Generalising Interpretations between Theories in the context of (pi-) Institutions

    Fiadeiro, J. L. & Maibaum, T. S. E., 1993, Theory and Formal Methods. Springer, p. 126-147 22 p. (Workshops in Computing).

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

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

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

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

  107. Published

    Institutions for Behaviour Specification

    Fiadeiro, J. L. & Costa, J. F., 1995, COMPASS/ADT. Springer, Vol. 906. p. 273-289 17 p. (Lecture Notes in Computer Science).

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

  108. Published

    Interconnecting formalisms: Supporting modularity, reuse and incrementality

    Fiadeiro, J. L. & Maibaum, T., 1 Jan 1995, Proceedings of the Third ACM SIGSOFT Symposium on Foundations of Software Engineering. ACM Press, p. 72-80 9 p.

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

Previous 1 2 Next