Jeremias Sauceda

According to our database, Jeremias Sauceda authored at least 5 papers between 2004 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2016

Let's verify Linux: accelerated learning of analytical reasoning through automation and collaboration.

Suresh C. Kothari, Ahmed Tamrawi, Jeremias Sauceda, Jon Mathews

Proceedings of the 38th International Conference on Software Engineering, 2016

2014

Atlas: a new way to explore software, build analysis tools.

Tom Deering, Suresh C. Kothari, Jeremias Sauceda, Jon Mathews

Proceedings of the 36th International Conference on Software Engineering, 2014

2013

Multi-faceted Practical Modeling Education for Software Engineering.

Suraj Kothari, Jeremias Sauceda

Proceedings of the Educators' Symposium co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), 2013

2004

A Pattern-Based Framework for Software Anomaly Detection.

Suraj C. Kothari, Luke Bishop, Jeremias Sauceda, Gary Daugherty

Softw. Qual. J., 2004

Knowledge-Centric and Language Independent Framework for Safety Analysis Tools.

Suraj C. Kothari, Luke Bishop, Jeremias Sauceda, Gary Daugherty

Proceedings of the 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 2004