Concepedia

Isabel Tonin

IT

3

Publications

47

Citations

3

H-Index

2006

Active since

Affiliations

Karlsruhe Institute of Technology(Current)

Aicas (Germany)

Isabel Tonin is an author at Karlsruhe Institute of Technology specializing in systems engineering, computer science, and software verification.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated ReasoningFormal VerificationSystems Engineering

Publications per year

2006–2007

3

Publications

3

A case study of specification and verification using JML in an avionics application

Peter H. Schmitt, Isabel Tonin, Claus Wonnemann et al. · 2006 · 17 citations

Program Checking, Deductive Formal Verification, Engineering +24

Provably correct loops bounds for realtime Java programs

James J. Hunt, Fridtjof Siebert, Peter H. Schmitt et al. · 2006 · 15 citations

Program Checking, Deductive Formal Verification, Engineering +23

Verifying the Mondex Case Study

Peter H. Schmitt, Isabel Tonin · 2007 · 15 citations

Engineering, Verification, Software Engineering +18

Rows per page

1–3 of 3