Logo

March 10–12, 2014 in Lund, Sweden
[Proceedings] [Sessions] [Authors] [Schedule] [Further material]

Papers by Bill Janssen:

Title: Using Fault Augmented Modelica Models for Diagnostics
Authors: Raj Minhas, Johan De Kleer, Ion Matei, Bhaskar Saha, Bill Janssen, Daniel Bobrow and Tolga Kurtoglu
Links: Abstract, Full paper


Title: Making Modelica Applicable for Formal Methods
Authors: Matthew Klenk, Daniel Bobrow, Johan De Kleer and Bill Janssen
Links: Abstract, Full paper


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