A Multi-Agent Approach to First-Order Logic. - Guilherme Bittencourt; Isabel Tonin (EPIA, 1997)

A Proof Strategy Based on a Dual Representation. - Guilherme Bittencourt; Isabel Tonin (AISC, 2000)

An Algorithm for Dual Transformation in First-Order Logic. - Guilherme Bittencourt; Isabel Tonin (J. Autom. Reason., 2001)

Provably correct loops bounds for realtime Java programs. - James J. Hunt; Fridtjof Siebert; Peter H. Schmitt; Isabel Tonin (JTRES, 2006)

A case study of specification and verification using JML in an avionics application. - Peter H. Schmitt; Isabel Tonin; Claus Wonnemann; Eric Jenn; Stéphane Leriche; James J. Hunt (JTRES, 2006)

Modeling architecturally neutral realtime systems. - James J. Hunt; Isabel Tonin; Michael Benkel; Mirko Seifert; Katja Siegemund; Nico Feiertag (JTRES, 2007)

Verifying the Mondex Case Study. - Peter H. Schmitt; Isabel Tonin (SEFM, 2007)

Using global data flow analysis on bytecode to aid worst case execution time analysis for real-time Java programs. - James J. Hunt; Isabel Tonin; Fridtjof Siebert (JTRES, 2008)