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

Romanian-Austrian Workshop
organized by
the Institute e-Austria Timisoara
27-28 February 2004

B-dul Vasile Parvan 4, cam. 045C,

Session 1: Building bridges between IT industry and research

Chairman: Dana Petcu

09:00 – 09:10 Opening and introduction
Dana Petcu (IeAT and UVT)
09:10 – 10:00 IT Park Timisoara – objectives, current status and future steps
Viorel Negru (IeAT and UVT), Tudor Jebelean (IeAT and RISC-Linz), Vladimir Cretu (IeAT and UPT)
10:00 Coffee break

Session 2: Towards applied research

Chairman: Tudor Jebelean

10:20 – 10:50 Demonstration 1: Measuring software design quality
Radu Marinescu (IeAT and UPT)
10:50 – 11:20 Demonstration 2: Software analysis and verification in practice
Marius Minea (IeAT and UPT)
11:20 – 12:10 Round table: Collaborations between the IT companies, the universities and the research institutions
Invited speakers from local IT companies
12:10 Lunch break

Session 3: Object oriented design analysis

Chairman: Marius Minea

14:30 – 14:50 Evolution enriched detection of God classes
Daniel Ratiu, Radu Marinescu (IeAT and UPT), Stephane Ducasse (U.Berne)
14:50 – 15:10 A dedicated language to object-oriented design analyses
Cristina Marinescu, Radu Marinescu (IeAT and UPT), Tudor Girba (U.Berne)
15:10 – 15:30 Improving the automatic detection of design flaws in object-oriented software systems
Petru Florin Mihancea, Radu Marinescu (IeAT and UPT)
15:30 Coffee break

Session 4: Modeling and security

Chairman: Radu Marinescu

15:45 – 16:05 Approaching component composition: architectural vs. domain-specific
Ioana Sora (UPT), Vladimir Cretu (IeAT and UPT)
16:05 – 16:25 Hybrid IDEF0/IDEF3 modelling of business processes: syntax, semantics and expressiveness
Costin Badica (U.Craiova), Chris Fox (U.Essex)
16:25 – 16:45 Buffer overflows: attacks and protections
Cornel Izbasa (IeAT and UVT)
16:45 Coffee break

Session 5: Symbolic computing

Chairman: Viorel Negru

17:40 – 18:00 Loop verification and imperative program execution in Theorema
Laura Kovacs, Tudor Jebelean (IeAT and RISC-Linz)
17:20 – 17:40 A practical approach to verification of recursive programs in Theorema
Nikolaj Popov, Tudor Jebelean (IeAT and RISC-Linz)
17:00 – 17:20 Forward verification of recursive programs
Tudor Jebelean (IeAT and RISC-Linz)
18:00 – 18:20 Augmenting Computer Algebra Systems through Grid
Diana Dubu, Dana Petcu (IeAT and UVT)
19:00 Workshop dinner


Session 6: Modeling and analysis

Chairman: Stefan Maruster

09:00 – 09:20 A priori task scheduling maximizing expected utility
Marius Minea (IeAT and UPT)
09:20 – 09:40 Parallel state space exploration and partial order reduction for model based diagnosis of static systems
Costin Badica (U.Craiova), Dana Petcu (IeAT and UVT)
09:40 – 10:00 Interorganizational workflows – an approach based on level Petri nets
Oana Captarencu, Toader Jucan (UAIC)
10:00 – 10:20 Learning Objects Quality: Models and Measures for Quality Assessments
Ciprian Jichici (UVT), Viorel Negru (IeAT and UVT)
10:20 Coffee break

Session 7: Discrete systems

Chairman: Costin Badica

10:40 – 11:00 Symbolic Analysis by Decomposition of Analog Circuits
Lucia Dumitriu, Mihai Iordache, Ilie Luican (UPB)
11:00 – 11:20 On the stability of discrete time dynamical systems
Stefan Maruster (IeAT and UVT)
11:20 – 11:40 On the asynchronous iterative algorithms
Cosmin Bonchis (UVT and UGA), Diana Dubu, Stefan Maruster (IeAT and UVT)
11:40 – 12:00 On applying random and genetic search in model checking
Dana Petcu (IeAT and UVT), Daniela Zaharie (UVT)
12:00 Concluding remarks
12:30 Lunch and town tour