Jeremias Sauceda
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2013–2016
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | ICSE | Let's verify Linux: accelerated learning of analytical reasoning through automation and collaboration. | Suresh C. Kothari, Ahmed Tamrawi, Jeremias Sauceda, Jon Mathews |
| 2014 | ICSE | Atlas: a new way to explore software, build analysis tools. | Tom Deering, Suresh C. Kothari, Jeremias Sauceda, Jon Mathews |
| 2013 | MODELS | Multi-faceted Practical Modeling Education for Software Engineering. | Suraj Kothari, Jeremias Sauceda |