Professor José Luiz Fiadeiro

  1. 2019
  2. E-pub ahead of print

    Logical Support for Bike-Sharing System Design

    Tutu, I., Chirita, C-E., Lopes, A. & Fiadeiro, J. L., 9 Oct 2019, From Software Engineering to Formal Methods and Tools, and Back. ter Beek, M. H., Fantechi, A. & Semini, L. (eds.). Springer, p. 152-171 20 p. (Lecture Notes In Computer Science; vol. 11865).

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

  3. Published

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

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

    Research output: Contribution to journalArticlepeer-review

  4. 2018
  5. 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 journalArticlepeer-review

  6. E-pub ahead of print

    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: First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings. Springer, p. 98-114 17 p. (Lecture Notes in Computer Science; vol. 10669).

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

  7. 2017
  8. 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 journalArticlepeer-review

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

  10. 2016
  11. 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 conferencePaperpeer-review

  12. Forthcoming

    Creative Processes in Service-Oriented Computing

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

    Research output: Contribution to conferenceAbstractpeer-review

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

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

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

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

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

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

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

  21. Published

    Hues of Satisfaction: Many-valued Institutions for Constraint Specification

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

    Research output: Contribution to conferenceAbstractpeer-review

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

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

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

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

  27. Published

    Solving Queries over Modular Logic Programs

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

    Research output: Contribution to conferenceAbstractpeer-review

  28. 2013
  29. 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 journalArticlepeer-review

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

  31. Published

    A Logic-Programming Semantics of Services

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

    Research output: Contribution to conferencePaperpeer-review

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

  33. 2012
  34. 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 journalArticlepeer-review

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

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

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

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

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

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

  41. 2011
  42. 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 journalArticlepeer-review

  43. 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 journalArticlepeer-review

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

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

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

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

  48. 2010
  49. 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 issuepeer-review

  50. 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 issuepeer-review

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

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

  53. Published

    Proceedings - Software Engineering and Formal Methods, SEFM 2010

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

    Research output: Other contribution

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

  55. 2009
  56. 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 journalArticlepeer-review

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

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

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

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

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

Previous 1 2 3 4 Next