Publications

Click on the titles to view and download the abtracts.

Clemens Ballarin
22 Sep 2014
5th International Conference, RV 2014, Proceedings, B. Bonakdarpour and S.A. Smolka, RV 2014, LNCS 8734, pages 15–30, 2014 ©
James J. Hunt
10 Oct 2013
JTRES 2013, Karlsruhe, Germany
James J. Hunt
24 Oct 2012
JTRES 2012 - Copenhagen, Denmark
Maarten De Mol, Arend Rensink and James J. Hunt
24 Mar 2012
FASE 2012 - 15th International Conference on Fundamental Approaches to Software Engineering, Tallinn, Estonia
James J. Hunt
5 Oct 2011
FoVeOOS 2011 - 2nd International Conference on Formal Verification of Object-Oriented Software, Turin, Italy

Pages