Jeremias Sauceda

Publication Activity (10 Years)

Years Active: 2004-2016
Publications (10 Years): 1

Top Topics

Individual Learning

Software Engineering

Top Venues

ICSE (Companion Volume)

Publications

Suresh C. Kothari, Ahmed Tamrawi, Jeremias Sauceda, Jon Mathews
Let's verify Linux: accelerated learning of analytical reasoning through automation and collaboration. ICSE (Companion Volume) (2016)
Tom Deering, Suresh C. Kothari, Jeremias Sauceda, Jon Mathews
Atlas: a new way to explore software, build analysis tools. ICSE Companion (2014)
Suraj Kothari, Jeremias Sauceda
Multi-faceted Practical Modeling Education for Software Engineering. EduSymp@MoDELS (2013)
Suraj C. Kothari, Luke Bishop, Jeremias Sauceda, Gary Daugherty
A Pattern-Based Framework for Software Anomaly Detection. Softw. Qual. J. 12 (2) (2004)
Suraj C. Kothari, Luke Bishop, Jeremias Sauceda, Gary Daugherty
Knowledge-Centric and Language Independent Framework for Safety Analysis Tools. HASE (2004)