• K. De Porre, C. Ferreira, N. Preguiça, and E. Gonzalez Boix. ECROs: Building Global Scale Systems from Sequential Code. OOPSLA 2021: Object-Oriented Programming, Systems, Languages & Applications. To appear.
  • H. Lourenço, C. Ferreira, and J. Costa Seco. OSTRICH - A Type-safe Template Language for Low-code Development. MODELS 2021: Conference on Model Driven Engineering Languages and Systems. To appear.
  • Barbara Lopes, Carla Ferreira and Sérgio Amorim. Solution Discovery over Feature Toggling with Built-in Abstraction in OutSystems. LowCode@MODELS 2021: Proceedings of the 24rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2021. To appear.
  • J. Costa Seco, P. Ferreira, H. Lourenço, C. Ferreira, and L. Ferrão. Robust Contract Evolution in a TypeSafe MicroServices Architecture. The Art, Science, and Engineering of Programming 4 (3), 2020. [publisher website]
  • I. Ulidowski, I. Lanese, U. Schultz, and C. Ferreira (editors). Reversible Computation: Extending Horizons of Computing. Selected Results of the COST Action IC1405, Springer Nature, 2020. [publisher website]
  • P. Zeller, A. Bieniusa, and C. Ferreira. Teaching practical realistic verification of distributed algorithms in Erlang with TLA+. Erlang 2020: Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang, 14-23, 2020. [publisher website]
  • A. Jacinto, M. Lourenço, and C. Ferreira. Test mocks for low-code applications built with OutSystems. LowCode@MODELS 2020: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2020. [publisher website]
  • V. Balegas, S. Duarte, C. Ferreira, R. Rodrigues, and N. Preguiça. IPA: invariant-preserving applications for weakly consistent replicated databases. Proceedings of the VLDB Endowment 12(4): 404-418, 2018. [publisher website]
  • R. Dias, C. Ferreira, J. Fiedor, J. Lourenço, A. Smrcka, D. Sousa, and T. Vojnar. Verifying concurrent programs using contracts. ICST 2017: Conference on Software Testing, Verification and Validation, 196-206, 2017. [publisher website]
  • G. Marcelino, V. Balegas, and C. Ferreira. Bringing hybrid consistency closer to programmers. PaPoC 2017: Workshop on the Principles and Practice of Consistency for Distributed Data, 2017. [publisher website]
  • C. Baquero, P. Almeida, A. Cunha, and C. Ferreira. Composition in state-based replicated data types. Bulletin of the European Association for Theoretical Computer Science, 123, 2017. [publisher website]
  • M. Najafzadeh, A. Gotsman, H. Yang, C. Ferreira, and M. Shapiro. The CISE tool: proving weakly-consistent applications correct. PaPoC 2016: Workshop on the Principles and Practice of Consistency for Distributed Data, 2016. [publisher website]
  • A. Gotsman, H. Yang, C. Ferreira, M. Najafzadeh, and M. Shapiro. 'Cause I'm strong enough: reasoning about consistency choices in distributed systems. POPL 2016: Symposium on Principles of Programming Languages, 2016. [publisher website]
  • V. Balegas, D. Serra, S. Duarte, C. Ferreira, M. Shapiro, R. Rodrigues, and N. Preguiça. Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants. SRDS 2015: Symposium on Reliable Distributed Systems, 2015. [publisher website]
  • V. Balegas, S. Duarte, C. Ferreira, R. Rodrigues, N. Preguiça, M. Najafzadeh, and M. Shapiro. Putting the Consistency back into Eventual Consistency. EuroSys 2015: European Conference on Computer Systems, 2015.
    [publisher website]
  • V. Balegas, S. Duarte, C. Ferreira, R. Rodrigues, N. Preguiça, M. Najafzadeh, and M. Shapiro. Towards Fast Invariant Preservation in Geo-replicated Systems. SIGOPS Operating Systems Review, 49(1): 121-125, 2015. [publisher website]
  • R. Bruni, C. Ferreira, and A. Kersten Kauer. First-order dynamic logic for compensable processes. COORD 2012: International Conference on Coordination Models and Languages, 2012. [publisher website]
  • C. Vaz and C. Ferreira. On the analysis of compensation correctness. The Journal of Logic and Algebraic Programming, 81(5): 585-605, 2012. [publisher website]
  • C. Ferreira, I. Lanese, A. Ravara, H. Vieira, and G. Zavattaro. Advanced mechanisms for service combination and transactions. In Rigorous Software Engineering for Service-Oriented for Service-Oriented Systems - Results of the SENSORIA project, LNCS 6582, 2011. [publisher website]
  • L. Caires, C. Ferreira, and A. Ravara. A simple proof system for lock-free concurrency. PSPL 2010: International Workshop on Proof Systems for Program Logics, 2010. [publisher website]
  • I. Lanese, C. Vaz, and C. Ferreira. On the expressive power of primitives for compensation handling. ESOP 2010: European Symposium on Programming, LNCS 6012, 2010. [publisher website]
  • C. Vaz and C. Ferreira. Towards compensation correctness in interactive systems. WS-FM 2009: International Workshop on Web Services and Formal Methods, LNCS 6194, 2010. [publisher website]
  • C. Vaz, C. Ferreira, and A. Ravara. Dynamic recovering of long running transactions. TGC 2008: International Symposium on Trustworthy Global Computing, LNCS 5474, 2009. [publisher website]
  • L. Caires, C. Ferreira, and H. Vieira. A Process Calculus Analysis of Compensations. TGC 2008: International Symposium on Trustworthy Global Computing, LNCS 5474, 2009. [publisher website]
  • M. Butler, C. Ferreira, and M.Y. Ng. Precise modelling of compensating business transactions and its application to BPEL. Journal of Universal Computer Science, 11(5):712-743, 2005. [publisher website]
  • M. Butler, C.A.R. Hoare, and C. Ferreira. A trace semantics for long-running transactions. In Communicating Sequential Processes: The First 25 Years, LNCS 3525, 2005. [publisher website]
  • R. Bruni, M. Butler, C. Ferreira, C.A.R. Hoare, H. Melgratti, and U. Montanari. Comparing two approaches to compensable flow composition. CONCUR 2005: International Conference on Concurrency Theory, LNCS 3653, 2005.
    [publisher website]
  • M. Butler and C. Ferreira. An operational semantics for StAC, a language for modelling long-running business transactions. COORD 2004: International Conference on Coordination Models and Languages, LNCS 2949, 2004. [publisher website]
  • C. Ferreira and M. Butler. Using B refinement to analyse compensating business processes. ZB 2003: International ZB Conference, LNCS 2651, 2003. [publisher website]
  • J. Augusto, M. Leuschel, M. Butler, and C. Ferreira. Using the extensible model checker XTL to verify StAC business specifications. AVoCS 2003: Workshop on Automated Verification of Critical Systems, 2003. [pdf]
  • J. Augusto, C. Ferreira, A. Gravell, M. Leuschel, and K. Ng. The benefits of rapid modelling for e-business system development. ER 2003: Conceptual Modeling for Novel Application Domains, LNCS 2814, 2003. [publisher website]
  • J. Augusto, M. Butler, C. Ferreira, and S. Craig. Using SPIN and STeP to verify StAC specifications. PSI 2003: International A.P.Ershov Conference on Perspectives of System Informatics, LNCS 2890, 2003. [publisher website]
  • J. Augusto, Y. Howard, A. Gravell, C. Ferreira, S. Gruner, and M. Leuschel. Model-based approaches for validating business critical systems. International Workshop on Software Technology and Engineering Practice, IEEE Press, 2003. [publisher website]
  • Y. Howard, S. Gruner, A. Gravell, C. Ferreira, and J. Augusto. Model-based trace-checking. SoftTest 2003: UK Software Testing Research Workshop. York Computer Science Yellow Report Series, 2003. [pdf]
  • A. Gravell, Y. Howard, J. Augusto, C. Ferreira, and S. Gruner. Concurrent development of model and implementation. ICSSEA 2003: International Conference on Software and Systems Engineering and their Applications, 2003. [pdf]
  • M. Chessell, D. Vines, C. Griffen, M. Butler, C. Ferreira, and P. Henderson. Extending the concept of transaction compensation. IBM Systems Journal, 41(4):743-758, 2002. [publisher website]
  • M. Leuschel, L. Adhianto, M. Butler, C. Ferreira, and L. Mikhailov. Animation and model checking of CSP and B. VCL 2001: ACM SIGPLAN International Workshop on Verification and Computational Logic, 2001. [pdf]
  • M. Butler and C. Ferreira. A process compensation language. IFM 2000: Integrated Formal Methods, LNCS 1945, 2000. [publisher website]
  • C. Ferreira. Uma abordagem formal ao problema da classificação de componentes de software (in portuguese). Master's thesis, Universidade do Minho, 1997.