| 2008 |
|---|
| 6 | EE | James J. Hunt,
Isabel Tonin,
Fridtjof Siebert:
Using global data flow analysis on bytecode to aid worst case execution time analysis for real-time Java programs.
JTRES 2008: 97-105 |
| 2007 |
|---|
| 5 | EE | James J. Hunt,
Isabel Tonin,
Michael Benkel,
Mirko Seifert,
Katja Siegemund,
Nico Feiertag:
Modeling architecturally neutral realtime systems.
JTRES 2007: 175-184 |
| 4 | EE | Peter H. Schmitt,
Isabel Tonin:
Verifying the Mondex Case Study.
SEFM 2007: 47-58 |
| 2001 |
|---|
| 3 | | Guilherme Bittencourt,
Isabel Tonin:
An Algorithm for Dual Transformation in First-Order Logic.
J. Autom. Reasoning 27(4): 353-389 (2001) |
| 2000 |
|---|
| 2 | EE | Guilherme Bittencourt,
Isabel Tonin:
A Proof Strategy Based on a Dual Representation.
AISC 2000: 78-91 |
| 1997 |
|---|
| 1 | | Guilherme Bittencourt,
Isabel Tonin:
A Multi-Agent Approach to First-Order Logic.
EPIA 1997: 167-178 |
