We stand with Ukraine  

Frederico Ramos

Orcid: 0000-0002-1689-9650

According to our database1, Frederico Ramos authored at least 4 papers between 2023 and 2026.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Specification-Driven Generation of Summaries for Symbolic Execution.
[BibTeX]
[DOI]
Rafael Gonçalves
,
Frederico Ramos
,
Pedro Adão
,
José Fragoso Santos
Proceedings of the Programming Languages and Systems, 2026

2023
Toward Tool-Independent Summaries for Symbolic Execution (Artifact).
[BibTeX]
[DOI]
Frederico Ramos
,
Nuno Sabino
,
Pedro Adão
,
David A. Naumann
,
José Fragoso Santos
Dagstuhl Artifacts Ser., 2023

MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations.
[BibTeX]
[DOI]
Frederico Ramos
,
Diogo Costa Reis
,
Miguel Trigo
,
António Morgado
,
José Fragoso Santos
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Toward Tool-Independent Summaries for Symbolic Execution.
[BibTeX]
[DOI]
Frederico Ramos
,
Nuno Sabino
,
Pedro Adão
,
David A. Naumann
,
José Fragoso Santos
Proceedings of the 37th European Conference on Object-Oriented Programming, 2023


  Loading...