Invited Speaker: Prof. Jonathan Bowen, "Ten
Commandments Ten Years On: An Assessment of Formal Methods Usage"
15:00
Session A
Jari Veijalainen, Eleni Berki, Jari Lehmonen, Pasi Moisanen, "A Computational Approach with Correctness Criteria to Model and Verify Systems Dynamics - Using standard event logs to support a new paper mill efficiency standard"
Maria Kourkouli, George Hassapis, "Application of the timed automata abstraction to the performance evaluation of the architecture of a bank on-line transaction processing system"
D. Dranidis, P. Kefalas, G. Eleftherakis, "Object-based language for generalized state machines"
Christopher Thomson, Mike Holcombe, "Using a formal method to model software design in XP projects"
F. Belli, Ch. J. Budnik, J. Christoph, A. Hollmann, "Formalization of Modeling, Analysis and Testing of Interactive Systems using Statecharts"
17:00
Coffee Break
17:30
Session B
Michael Barth, "A Formal Model for Performance Assessment in a Simulative Environment"
Laura Ildiko Kovacs, Nikolaj Popov, Tudor Jebelean, "A Verification Environment for Imperative and Functional Programs in the Theorema system"
Miloud Rached, Jean-Paul Bodeveix, Mamoun Filali, Odile Nasr, "A Timed B Method for Modelling Real Time Reactive Systems"
Thouraya Bouabana-Tebibel, and Mounira Belmesk, "Object-oriented workflow formalization"
Valentina Vujocevic, George Eleftherakis, "Improving Formal Methods' Tools Usability"
Anca Vasilescu, "Algebraic model for the JK flip-flop behaviour"
Oana Georgescu, "Problem Solving with Different Models"
20:00
Workshop Dinner
Saturday 19/11
09:30
Invited Speaker: Prof. John Derrick,
"Applying model-checking techniques to verify fault-tolerant Erlang code"
10:30
Coffee Break
11:00
Session C
Peter Massuthe, Wolfgang Reisig, Karsten Schmidt, "An Operating Guideline Aproach to the SOA"
Richard Banach, Jean-Paul Bodeveix, Mamoun Filali, Michael Poppleton, "Dynamic aspects of retrenchments through temporal logic"
Cristina Luca, "Context-free grammar for a two-dimensional language"
Carlos Bazilio, Edward H. Haeusler, and Markus Endler, "Binding Network Topologies to Specifications via Pronouns"
Victor V. Kuliamin, Vitaliy A. Omelchenko, Olga L. Petrenko, "Active Learning Facilitates Success of Formal Methods in Practice"
13:00
Round Table: Challenges in the Business World
14:00
Closing
14:30
SEEFM Steering Committee Discusion
SEEFM05
2nd South-East European Workshop on Formal Methods "Practical dimensions:
Challenges in the business world"
City College (www.city.academic.gr)
South-Eastern European Research Center SEERC (www.seerc.info)
Ohrid, 18-19 November 2005
Satellite of 2nd Balkan Conference in Informatics, 17-20 Nov 2005 (www.ii.edu.mk/BCI2005)
