Forgot your password?
Document Actions
Presentations
Selected presentations from CAVIS 2003
Institute e-Austria Timisoara - Objectives
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
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
Opening and Introduction - Dana Petcu
Building Petri Nets from Empirical Data - Stefan Maruster, Laura Maruster, Silviu Nanau
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
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
Opening and Introduction - Dana Petcu
Building Petri Nets from Empirical Data - Stefan Maruster, Laura Maruster, Silviu Nanau