Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Carla Ferreira
2010 – today
- 2012
[j3]Cátia Vaz, Carla Ferreira: On the analysis of compensation correctness. J. Log. Algebr. Program. 81(5): 585-605 (2012)- [c13]Roberto Bruni, Carla Ferreira, Anne Kersten Kauer: First-Order Dynamic Logic for Compensable Processes. COORDINATION 2012: 104-121
- 2011
- [p1]Carla Ferreira, Ivan Lanese, António Ravara, Hugo Torres Vieira, Gianluigi Zavattaro: Advanced Mechanisms for Service Combination and Transactions. Results of the SENSORIA Project 2011: 302-325
- [i2]Y. Howard, Stefan Gruner, Andrew M. Gravell, Carla Ferreira, Juan Carlos Augusto: Model-Based Trace-Checking. CoRR abs/1111.2825 (2011)
- [i1]Andrew M. Gravell, Y. Howard, Juan Carlos Augusto, Carla Ferreira, Stefan Gruner: Concurrent Development of Model and Implementation. CoRR abs/1111.2826 (2011)
- 2010
- [c12]Ivan Lanese, Cátia Vaz, Carla Ferreira: On the Expressive Power of Primitives for Compensation Handling. ESOP 2010: 366-386
2000 – 2009
- 2009
- [c11]Cátia Vaz, Carla Ferreira: Towards Compensation Correctness in Interactive Systems. WS-FM 2009: 161-177
- 2008
- [c10]Luís Caires, Carla Ferreira, Hugo Torres Vieira: A Process Calculus Analysis of Compensations. TGC 2008: 87-103
- [c9]Cátia Vaz, Carla Ferreira, António Ravara: Dynamic Recovering of Long Running Transactions. TGC 2008: 201-215
- 2005
- [j2]Michael J. Butler, Carla Ferreira, Muan Yong Ng: Precise Modelling of Compensating Business Transactions and its Application to BPEL. J. UCS 11(5): 712-743 (2005)
- [c8]Roberto Bruni, Michael J. Butler, Carla Ferreira, C. A. R. Hoare, Hernán C. Melgratti, Ugo Montanari: Comparing Two Approaches to Compensable Flow Composition. CONCUR 2005: 383-397
- 2004
- [c7]Michael J. Butler, C. A. R. Hoare, Carla Ferreira: A Trace Semantics for Long-Running Transactions. 25 Years Communicating Sequential Processes 2004: 133-150
- [c6]Michael J. Butler, Carla Ferreira: An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions. COORDINATION 2004: 87-104
- 2003
- [c5]Juan Carlos Augusto, Carla Ferreira, Andrew M. Gravell, Michael Leuschel, Karen M. Y. Ng: The Benefits of Rapid Modelling for E-business System Development. ER (Workshops) 2003: 17-28
- [c4]Juan Carlos Augusto, Michael J. Butler, Carla Ferreira, Stephen-John Craig: Using SPIN and STeP to Verify Business Processes Specifications. Ershov Memorial Conference 2003: 207-213
- [c3]Juan Carlos Augusto, Y. Howard, Andrew M. Gravell, Carla Ferreira, Stefan Gruner, Michael Leuschel: Model-Based Approaches for Validating Business Critical Systems. STEP 2003: 225-233
- [c2]Carla Ferreira, Michael J. Butler: Using B Refinement to Analyse Compensating Business Processes. ZB 2003: 477-496
- 2002
- [j1]Mandy Chessell, Catherine Griffin, David Vines, Michael J. Butler, Carla Ferreira, Peter Henderson: Extending the concept of transaction compensation. IBM Systems Journal 41(4): 743-758 (2002)
- 2000
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-09-10 16:03 CEST by the dblp team