Daniel Silveira
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2018–2026
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ITiCSE | When Performance is Not Learning: Evidence from Generative AI Use in Operating Systems Education. | Daniel Silveira |
| 2019 | FM | Formal Methods Applicability on Space Applications Specification and Implementation Using MORA-TSP. | Daniel Silveira, Andreas Jung, Marcel Verhoef, Tiago Jorge |
| 2018 | ECSA | A reference architecture for space systems. | Elena Alaa, Javier Herrero, Santiago Uruea, Krystyna Macioszek, Daniel Silveira |