• 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. To appear.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • C. Ferreira, S. Monteiro, and J. Monteiro. Automatic generation of C-code or PLD circuits under SFC graphical environment. ISIE 1997: IEEE International Symposium on Industrial Electronics, IEEE, 1997.
  • C. Ferreira. Uma abordagem formal ao problema da classificação de componentes de software (in portuguese). Master's thesis, Universidade do Minho, 1997.