Ana Carvalho
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2014–2023
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ArtsIT | OPHILIA: Cy-Collage Cyberperformance. | Rosimria Sapucaia, Clia Vieira, Ins Guerra Santos, Ana Carvalho, Juliana Wexel |
| 2015 | SEFM | NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP. | Gustavo Carvalho, Flvia A. Barros, Ana Carvalho, Ana Cavalcanti, Alexandre Mota, Augusto Sampaio |
| 2014 | ICFEM | A Formal Model for Natural-Language Timed Requirements of Reactive Systems. | Gustavo Carvalho, Ana Carvalho, Eduardo Rocha, Ana Cavalcanti, Augusto Sampaio |