Forgot your password?
Document Actions
Abstracts
CAVIS 2003 abstracts
Three level Petri Nets - Toader
Jucan, Oana Captarencu
Abstraction of Abstract Data Types - Ferucio Laurentiu Tiplea
Functional Program Verification with Theorema - Adi Craciun
The objective of the Institute e-Austria and the role of the scientific project. Practical and theoretical aspects of program verification - Bruno Buchberger
Automatic verification: what we can get - Bogdan Rusu
Verification of communication protocols in SDL - Calin Jebelean
Workflow treatment with colored Petri nets - Alexandru Cicortas, Diana Dubu
A language for describing formal analyses - Cornel Izbasa
Program verification using Hoare logic - Laura Kovacs
Object oriented design in practice. Could/should we do better? - Radu Marinescu
Towards an automated approach for quality improvement in OO design - Radu Marinescu
Software verification with predicate abstraction - Marius Minea
Formal verification: from challenges to solutions - Marius Minea
Parallel and distributed computing in model checking - Dana Petcu, Diana Dubu
Verification Using Weakest Precondition Strategy - Nicolaj Popov
Opening and Introduction - Dana Petcu
Building Petri Nets from Empirical Data - Stefan Maruster, Laura Maruster, Silviu Nanau
Imperative program verification with Theorema - Tudor Jebelean
Abstraction of Abstract Data Types - Ferucio Laurentiu Tiplea
Functional Program Verification with Theorema - Adi Craciun
The objective of the Institute e-Austria and the role of the scientific project. Practical and theoretical aspects of program verification - Bruno Buchberger
Automatic verification: what we can get - Bogdan Rusu
Verification of communication protocols in SDL - Calin Jebelean
Workflow treatment with colored Petri nets - Alexandru Cicortas, Diana Dubu
A language for describing formal analyses - Cornel Izbasa
Program verification using Hoare logic - Laura Kovacs
Object oriented design in practice. Could/should we do better? - Radu Marinescu
Towards an automated approach for quality improvement in OO design - Radu Marinescu
Software verification with predicate abstraction - Marius Minea
Formal verification: from challenges to solutions - Marius Minea
Parallel and distributed computing in model checking - Dana Petcu, Diana Dubu
Verification Using Weakest Precondition Strategy - Nicolaj Popov
Opening and Introduction - Dana Petcu
Building Petri Nets from Empirical Data - Stefan Maruster, Laura Maruster, Silviu Nanau
Imperative program verification with Theorema - Tudor Jebelean