( en | de | ru )

 

Disambiguation of "Pires, Luís Ferreira"

Author of the publication

copydeleteadd this publication to your clipboard
Adaptive Service Composition Based on Runtime Verification of Formal Properties.

, , and . HICSS, page 1-10. ScholarSpace / AIS Electronic Library (AISeL), (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Cristiano Luis Vincente Pires

Luís Gonçalo Cavaleiro Ferreira Mousinho Figueiredo

Leonardo Pires Carneiro

Werner Luis

Raul Pires

 

Other publications of authors with the same name

Model-Driven Design, Refinement and Transformation of Abstract Interactions., , , , and . Int. J. Cooperative Inf. Syst., 15 (4): 599-632 (2006)Step-wise Refinement Design Example Using LOTOS., and . FORTE, page 255-262. North-Holland, (1990)On Architectural Support for Behaviour Refinement in Distributed Systems Design., , and . Transactions of the SDPS, 6 (1): 1-30 (2002)Towards ontology-driven situation-aware disaster management., , , and . Appl. Ontology, 10 (3-4): 339-353 (2015)Model-driven approach to enterprise interoperability at the technical service level., , , , and . Comput. Ind., 64 (8): 951-965 (2013)Services Platforms for Context-Aware Applications., , , and . EUSAI, volume 3295 of Lecture Notes in Computer Science, page 363-366. Springer, (2004)A Goal-Based Framework for Dynamic Service Discovery and Composition., , and . ACT4SOC, page 67-78. INSTICC Press, (2008)Architectural Models for Client Interaction on Service-Oriented Platforms., , and . ACT4SOC, page 19-27. INSTICC Press, (2007)Towards a Service Platform for Mobile Context-Aware Applications., , , and . IWUC, page 48-61. INSTICC Press, (2004)Protocol Design and Implementation Using Formal Methods., , and . Comput. J., 35 (5): 478-491 (1992)