Publications

Export 15 results:
Filters: Author is Fiadeiro, José Luiz  [Clear All Filters]
2014
Delahaye, B., J. Luiz Fiadeiro, A. Legay, and A. Lopes, "Heterogeneous timed machines", Theoretical Aspects of Computing–ICTAC 2014: Springer International Publishing, pp. 115–132, 2014.
2013
Fiadeiro, J. Luiz, and A. Lopes, "A model for dynamic reconfiguration in service-oriented architectures", Software & Systems Modeling, vol. 12, no. 2: Springer-Verlag, pp. 349–367, 2013.
Delahaye, B\^ıt., J. Luiz Fiadeiro, A. Legay, and A. Lopes, "A timed component algebra for services", Formal Techniques for Distributed Systems: Springer Berlin Heidelberg, pp. 242–257, 2013.
2012
Fiadeiro, J. Luiz, and A. Lopes, "Consistency of service composition", Fundamental Approaches to Software Engineering: Springer Berlin Heidelberg, pp. 63–77, 2012.
Lopes, A., and J. Luiz Fiadeiro, "A graph-based design framework for services", Graph Transformations: Springer Berlin Heidelberg, pp. 1–19, 2012.
2011
Fiadeiro, J. Luiz, A. Lopes, and L. Bocchi, "An abstract model of service discovery and binding", Formal Aspects of Computing, vol. 23, no. 4: Springer-Verlag, pp. 433–463, 2011.
Fiadeiro, J. Luiz, and A. Lopes, "An interface theory for service-oriented design", Fundamental Approaches to Software Engineering: Springer Berlin Heidelberg, pp. 18–33, 2011.
2010
Fiadeiro, J. Luiz, and A. Lopes, "A model for dynamic reconfiguration in service-oriented architectures", Software Architecture: Springer Berlin Heidelberg, pp. 70–85, 2010.
2009
Fiadeiro, J. Luiz, A. Lopes, L. Bocchi, and J. Abreu, "A formal approach to service-oriented modelling", 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Web Services, 2009.
2008
Bocchi, L., Y. Hong, A. Lopes, and J. Luiz Fiadeiro, "From BPEL to SRML: a formal transformational approach", Web services and formal methods: Springer Berlin Heidelberg, pp. 92–107, 2008.
Bocchi, L., J. Luiz Fiadeiro, and A. Lopes, "Service-oriented modelling of automotive systems", Computer Software and Applications, 2008. COMPSAC'08. 32nd Annual IEEE International: IEEE, pp. 1059–1064, 2008.
Bocchi, L., J. Luiz Fiadeiro, and A. Lopes, "A use-case driven approach to formal service-oriented modelling", Leveraging Applications of Formal Methods, Verification and Validation: Springer Berlin Heidelberg, pp. 155–169, 2008.
2007
Fiadeiro, J. Luiz, and A. Lopes, "An algebraic semantics of event-based architectures", Mathematical Structures in Computer Science, vol. 17, no. 05: Cambridge University Press, pp. 1029–1073, 2007.
Fiadeiro, J. Luiz, A. Lopes, and L. Bocchi, "Algebraic semantics of service component modules", Recent Trends in Algebraic Development Techniques: Springer Berlin Heidelberg, pp. 37–55, 2007.
Abreu, J., L. Bocchi, J. Luiz Fiadeiro, and A. Lopes, "Specifying and composing interaction protocols for service-oriented system modelling", Formal Techniques for Networked and Distributed Systems–FORTE 2007: Springer Berlin Heidelberg, pp. 358–373, 2007.