Carla Maria Gonçalves Ferreira


AuthID: R-000-307

Confirmed Publications: 60



41
TITLE: A simple proof system for lock-free concurrency
AUTHORS: Luís Caires ; Carla Ferreira ; António Ravara;
PUBLISHED: 2010, SOURCE: PSPL@LICS
INDEXED IN: DBLP
42
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
43
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
44
TITLE: A Process Calculus Analysis of Compensations
AUTHORS: Caires, L ; Ferreira, C ; Vieira, H ;
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
45
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
46
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
47
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
48
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
49
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
50
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: 40
IN MY: ORCID | ResearcherID
Page 5 of 6. Total results: 60.

footer slogan

Useful Links

Get Help

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