1 – 5 of 5
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2021
-
Mark
Data-driven Deployment of Program Analysis Fixes
- Master (Two yrs)
- 2020
-
Mark
Data-driven Program Analysis Deployment
- Master (Two yrs)
- 2018
-
Mark
Improved precision and verification for test selection in Modelica
- Prof. qual. >4 yrs
- 2016
-
Mark
Symbolic Simplification Framework in a Modelica Compiler
- Prof. qual. >4 yrs
- 2015
-
Mark
Developing a Test Authoring Tool for a Modeling Language
- Prof. qual. >4 yrs