Jordan Ross, B.sc.

Ph.D Student
Email: j25ross@gsd.uwaterloo.ca

BSc. Electrical Engineering, University of Cincinnati, Cincinnati, Ohio, USA BSc. Computer Engineering, University of Cincinnati, Cincinnati, Ohio, USA

News

Projects

Current Projects

Clafer

Past Projects

Tools

ClaferMPS

Graduate Courses

Spring 2015: ECE 654 Software Reliability Engineering
Winter 2015: ECE 653 Software Testing, Quality Assurance, and Maintenance
Fall 2014: ECE 606 Algorithm Design & Analysis
Fall 2014: ECE 621 Computer Organization

Activities

Publications

2016

Khalilov, E., J. Ross, M. Antkiewicz, M. Voelter, and K. Czarnecki, "Modeling and Optimizing Automotive Electric/Electronic (E/E) Architectures: Towards Making Clafer Accessible to Practitioners", ISoLA: Springer, 2016.

[bib]

Khalilov, E., and J. Ross, "Supplemental material for the paper 'Modeling and Optimizing Automotive Electric/Electronic (E/E) Architectures: Towards Making Clafer Accessible to Practitioners'", Supplemental Material, no. GSDLAB-SM-2016-05: University of Waterloo, 05/2016.

[bib]

[pdf][pdf][zip]

Ross, J., M. Antkiewicz, and K. Czarnecki, "Case Studies on E/E Architectures for Power Window and Central Door Locks Systems", Technical Report, no. GSDLAB-TR-2016-06-23: University of Waterloo, 06/2016.

[bib]

Ross, J., "Synthesis and Exploration of Multi-Level, Multi-Perspective Architectures of Automotive Embedded Systems", ECE, vol. MASC, Waterloo, University of Waterloo, pp. 165, 08/2016.

[bib]

2017

Ross, J., A. Murashkin, J. Liang, M. Antkiewicz, and K. Czarnecki, "Synthesis and Exploration of Multi-Level, Multi-Perspective Architectures of Automotive Embedded Systems", Software and Systems Modeling, 2017.

[bib]

Tags:

Clafer