Research output per year
Research output per year
Personal profile
Research interests
- Models of concurrency and distribution: design models, languages, and tools to express and reason about concurrent and distributed systems, addressing aspects as security and data replication.
- Verification techniques for long running transactions: development of logic foundations and tools to reason about correctness and properties of long running transactions.
- Language-based security: development of languages and static analysis techniques to support data security and privacy in highly distributed environments.
- Foundations of service oriented and cloud computing: design of programming models that capture the abstractions of large-scale distributed systems.
Education/Academic qualification
Computer Science, Doctorate, University of Southampton
Award Date: 1 Jun 2003
Fingerprint
Dive into the research topics where Carla Ferreira is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Going beyond templates: composition and evolution in nested OSTRICH
Seco, J. C., Lourenço, H., Parreira, J. & Ferreira, C., 20 May 2024, (E-pub ahead of print) In: Software and Systems Modeling. 26 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile16 Downloads (Pure) -
Models for Storage in Database Backends
Schiebelbein, E., Hatia, S., Bieniusa, A., Ferreira, C., Petri, G. & Shapiro, M., Apr 2024, PaPoC '24: Proceedings of the 11th Workshop on Principles and Practice of Consistency for Distributed Data. New York: ACM - Association for Computing Machinery, p. 58-66 9 p. (EuroSys: European Conference on Computer Systems).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Monitoring of Spatio-Temporal Properties with Nonlinear SAT solvers
Matos Pedro, A., Silva, T., Sequeira, T., Lourenço, J., Seco, J. C. & Ferreira, C., Apr 2024, In: International Journal on Software Tools for Technology Transfer. 26, p. 169–188 20 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile1 Citation (Scopus)13 Downloads (Pure) -
An Ontology-Based Task-Oriented Dialogue to Create OutSystems Applications
Quirino Silva, J., Melo, D., Rodrigues, I. P., Seco, J. C., Ferreira, C. & Parreira, J., 2023, In: SN Computer Science. 4, 1, 17 p., 12.Research output: Contribution to journal › Article › peer-review
1 Citation (Scopus) -
VeriFx: Correct Replicated Data Types for the Masses
De Porre, K., Ferreira, C. & Boix, E. G., Jul 2023, 37th European Conference on Object-Oriented Programming, ECOOP 2023. Ali, K. & Salvaneschi, G. (eds.). Dagstuhl: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 45 p. 9. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 263).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open AccessFile2 Citations (Scopus)2 Downloads (Pure)