Carla Maria Gonçalves Ferreira


AuthID: R-000-307

Confirmed Publications: 49



31
TITLE: On the Expressive Power of Primitives for Compensation Handling
AUTHORS: Lanese, I; Vaz, C; Ferreira, C ;
PUBLISHED: 2010, SOURCE: 19th European Symposium on Programming (ESOP 2010) held at the ETAPES 2010 in PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, VOLUME: 6012
INDEXED IN: Scopus WOS CrossRef: 22
IN MY: ORCID | ResearcherID
32
TITLE: Towards Compensation Correctness in Interactive Systems  Full Text
AUTHORS: Catia Vaz; Carla Ferreira ;
PUBLISHED: 2010, SOURCE: 6th International Workshop on Web Services and Formal Methods in WEB SERVICES AND FORMAL METHODS, VOLUME: 6194
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
33
TITLE: A Process Calculus Analysis of Compensations  Full Text
AUTHORS: Luis Caires ; Carla Ferreira ; Hugo Vieira ;
PUBLISHED: 2009, SOURCE: 4th International Symposium on Trustworthy Global Computing in TRUSTWORTHY GLOBAL COMPUTING, VOLUME: 5474
INDEXED IN: Scopus WOS DBLP CrossRef: 23
IN MY: ORCID | ResearcherID
34
TITLE: Dynamic Recovering of Long Running Transactions  Full Text
AUTHORS: Catia Vaz; Carla Ferreira ; Antonio Ravara ;
PUBLISHED: 2009, SOURCE: 4th International Symposium on Trustworthy Global Computing in TRUSTWORTHY GLOBAL COMPUTING, VOLUME: 5474
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
35
TITLE: Case study: Formal verification and modeling of a hospital emergency department [Caso de estudo: Modelação e verificação formal de um serviço de urgência hospitalar]
AUTHORS: Santos, C; Ferreira, C ; Tribolet, J;
PUBLISHED: 2006, SOURCE: 1a Conferencia Iberica de Sistemas e Tecnologias de Informacao, CISTI 2006 - 1st Iberian Conference on Information Systems and Technologies, CISTI 2006 in CISTI 2006 - Actas da 1a Conferencia Iberica de Sistemas e Tecnologias de Informacao, VOLUME: 1
INDEXED IN: Scopus
IN MY: ORCID
36
TITLE: Case study: modelization and formal verification of an emergency hospital service
AUTHORS: Carlos Santos; Carla Ferreira ; Jose Tribolet;
PUBLISHED: 2006, SOURCE: 1st Iberian Conference on Information Systems and Technologies in ACTAS DA 1A CONFERENCIA IBERICA DE SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL I
INDEXED IN: WOS
IN MY: ResearcherID
37
TITLE: CEO framework enterprise models conformance with ISO14258
AUTHORS: Patricia Macedo ; Carla Ferreira ; Jose Tribolet ;
PUBLISHED: 2006, SOURCE: 8th International Conference on Enterprise Information Systems (ICEIS 2006) in ICEIS 2006: Proceedings of the Eighth International Conference on Enterprise Information Systems: INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION, VOLUME: ISAS
INDEXED IN: Scopus WOS
IN MY: ORCID | ResearcherID
38
TITLE: A trace semantics for long-running transactions
AUTHORS: Butler, M; Hoare, T; Ferreira, C ;
PUBLISHED: 2005, SOURCE: Symposium on 25 Years of Communicating Sequential Processes in COMMUNICATING SEQUENTIAL PROCESSES: THE FIRST 25 YEARS, VOLUME: 3525
INDEXED IN: Scopus WOS
IN MY: ORCID | ResearcherID
39
TITLE: Comparing two approaches to compensable flow composition
AUTHORS: Bruni, R; Butler, M; Ferreira, C ; Hoare, T; Melgratti, H; Montanari, U;
PUBLISHED: 2005, SOURCE: 16th International Conference on Concurrency Theory in CONCUR 2005 - CONCURRENCY THEORY, PROCEEDINGS, VOLUME: 3653
INDEXED IN: Scopus WOS CrossRef: 39
IN MY: ORCID | ResearcherID
40
TITLE: Precise modelling of compensating business transactions and its application to BPEL
AUTHORS: Butler, M; Ferreira, C ; Ng, MY;
PUBLISHED: 2005, SOURCE: Workshop on Atomicity in System Design and Execution in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 11, ISSUE: 5
INDEXED IN: Scopus WOS
IN MY: ORCID | ResearcherID
Page 4 of 5. Total results: 49.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service