Programme

Computer Aided Verification of Information Systems:
A Practical Industry-Oriented Approach

 

Romanian-Austrian Workshop organized by the Institute e-Austria Timisoara
February 12, 2003
8:30-18:20, Room 007,  West University, Timisoara, Bdul. V.Parvan nr.4

Session 1: Presentation of the institute and of the scientific project

08:30 – 08:40     Opening and introduction
Dana Petcu
08:40 – 09:20     The objective of the Institute e-Austria and the role of the scientific project. Practical and theoretical aspects of program verification.
Bruno Buchberger
09:20 Break

Session 2: Fundamentals of computer-aided verification

09:40 – 10:10     Formal verification: from challenges to solutions
Marius Minea
10:10 – 10:40   Abstraction of Abstract Data Types
Ferucio Laurenţiu Ţiplea
10:40 – 11:00   Object oriented design in practice. Could/should we do better ?
Radu Marinescu
11:00 Break

Session 3: Challenges of system verification in industry

11:20 – 12:50     Panel discussion
12:50 Lunch break

Session 4: Automated Reasoning

14:30 – 14:45     Functional program verification with Theorema
Adrian Crăciun
14:45 – 15:00       Program verification using Hoare logic
Laura Kovacs
15:00 – 15:15     Verification Using Weakest Precondition Strategy
Nikolaj Popov
15:15 – 15:40     Imperative program verification with Theorema
Tudor Jebelean
15:40  Break

Session 5: Software verification

15:55 – 16:10     Software verification with predicate abstraction
Marius Minea
16:10 – 16:25     Verification of communication protocols in SDL
Călin Jebelean
16:25 – 16:40     A language for describing formal analyses
Cornel Izbaşa
16:40 – 16:55     Automatic verification – what we can get
Bogdan Rusu
16:55 – 17:10     Towards an automated approach for quality improvement  in OO design
Radu Marinescu
17:10 Break

Session 6: Petri nets

17:25 – 17:40     Three level Petri nets
Toader Jucan, Oana Captarencu
17:40 – 17:55     Building Petri Nets from Empirical Data
Ştefan Măruşter, Laura Măruşter, Silviu Nănău
17:55 – 18:10      Workflow treatment with colored Petri nets
Alexandru Cicortaş, Diana Dubu
18:10 – 18:25    Parallel and distributed computing in model checking
Diana Dubu, Dana Petcu
18:25 Concluding remarks
18:30 End of the workshop