Carla Maria Gonçalves Ferreira


AuthID: R-000-307

Confirmed Publications: 62



41
TITLE: On the analysis of compensation correctness  Full Text
AUTHORS: Catia Vaz; Carla Ferreira ;
PUBLISHED: 2012, SOURCE: JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, VOLUME: 81, ISSUE: 5
INDEXED IN: Scopus WOS CrossRef: 4
IN MY: ORCID | ResearcherID
42
TITLE: Advanced mechanisms for service combination and transactions
AUTHORS: Ferreira, C ; Lanese, I; Ravara, A ; Vieira, HT ; Zavattaro, G;
PUBLISHED: 2011, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6582
INDEXED IN: Scopus CrossRef: 7
IN MY: ORCID
43
TITLE: A simple proof system for lock-free concurrency
AUTHORS: Luís Caires ; Carla Ferreira ; António Ravara;
PUBLISHED: 2010, SOURCE: International Workshop on Proof Systems for Program Logics, PSPL 2010, Edinburgh, Scotland, UK, July 10, 2010, VOLUME: 12
INDEXED IN: DBLP
44
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: 23
IN MY: ORCID | ResearcherID
45
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: 4
IN MY: ORCID | ResearcherID
46
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
47
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: 18
IN MY: ORCID | ResearcherID
48
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
49
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
50
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
Page 5 of 7. Total results: 62.

footer slogan

Useful Links

Get Help

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