Logo

May 15–17, 2017 in Prague, Czech Republic
[Proceedings] [Sessions] [Authors] [Schedule] [Further material]

Papers by Xenofon Koutsoukos:

Title: Verification and Design Exploration through Meta Tool Integration with OpenModelica
Authors: Zsolt Lattmann, Adrian Pop, Johan De Kleer, Peter Fritzson, Bill Janssen, Sandeep Neema, Ted Bapty, Xenofon Koutsoukos, Matthew Klenk, Daniel Bobrow, Bhaskar Saha and Tolga Kurtoglu
Links: Abstract, Full paper