Isabel Tonin

According to our database, Isabel Tonin authored at least 8 papers between 1997 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

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

Proceedings of the 6th International Workshop on Java Technologies for Real-time and Embedded Systems, 2008

2007

Verifying the Mondex Case Study.

Peter H. Schmitt, Isabel Tonin

Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

Modeling architecturally neutral realtime systems.

James J. Hunt, Isabel Tonin, Michael Benkel, Mirko Seifert, Katja Siegemund, Nico Feiertag

Proceedings of the 5th International Workshop on Java Technologies for Real-time and Embedded Systems, 2007

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

Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, 2006

Provably correct loops bounds for realtime Java programs.

James J. Hunt, Fridtjof Siebert, Peter H. Schmitt, Isabel Tonin

Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, 2006

2001

An Algorithm for Dual Transformation in First-Order Logic.

Guilherme Bittencourt, Isabel Tonin

J. Autom. Reason., 2001

2000

A Proof Strategy Based on a Dual Representation.

Guilherme Bittencourt, Isabel Tonin

Proceedings of the Artificial Intelligence and Symbolic Computation, 2000

1997

A Multi-Agent Approach to First-Order Logic.

Guilherme Bittencourt, Isabel Tonin

Proceedings of the Progress in Artificial Intelligence, 1997