Workshop on Modelling, Simulation, Verification and Validation
of Enterprise Information Systems (MSVVEIS)

VVEIS 2003, (Angers - France).	VVEIS 2004, (Porto - Portugal).	MSVVEIS 2005, (Miami - U.S.A.)
MSVVEIS 2006, (Paphos - Cyprus).	MSVVEIS 2007, (Madeira - Portugal)

MSVVEIS 2008, (Barcelona - Spain)!

Note: if you are interested on submitting a paper to MSVVEIS
please check the following advise on submission.

Associated Publications:

Special issue of the International Journal of Software Testing, Verification and Reliability has been devoted to a selection of best papers presented at VVEIS'03. See Volume 13, number 4 (December 2003). Guest Editors: Juan C. Augusto and Marc Roper.
Special Issue (Vol 10, Number 11, November 2004) of the International Journal of Universal Computer Science (JUCS) has been devoted to a selection of best papers presented at MSVVEIS'04. Juan C. Augusto and Ulrich Ultes-Nitsche, Guest Editors.
Increasing Adequacy and Reliability of EIS Special Issue of the International Journal on Science of Computer Programming, Vol. 65, Issue 1, March 2007. Published by Elsevier. Edited by Joseph Barjis, Ulrich Ultes-Nitsche and Juan C. Augusto.
A collection of best papers presented at MSVVEIS'07 will be recommended for a Special Issue in the International Journal of Enterprise Information Systems, published by Taylor & Francis).
A collection of best papers presented at MSVVEIS'08 will be recommended for a Special Issue in the Journal of Software and Systems Modeling, Published by Springer. Guest Editor, María Victoria Cengarle (TU München - Germany).

The best papers are published in extended versions in Journals as explained above but since the 5th edition of our Workshop we also started to recognize the best presented paper and poster:

Best Presented Paper MSVVEIS'07: Formal Semantics for Property-Property Relations in SEAM Visual Language: Towards Simulation and Analysis of Visual Specifications by Irina Rychkova and Alain Wegmann
Best Presented Poster MSVVEIS'07: Support of Project Planning in Chemical Engineering via Modelling and Simulation by Bernhard Kausch, Morten Grandt and Christopher M. Schlick

Tools for simulation, modeling, verification and validation of EIS:

we collect information on tools that has been presented at MSVVEIS previously but if you have tools that you want the comunity to know about you can send us the details and we will consider its addition to the list.

Photos ...

from MSVVEIS2005
from MSVVEIS2006
from MSVVEIS2007

MSVVEIS is organized every year (co-located with ICEIS) by (alphabetically):

Dr. Juan C. Augusto
University of Ulster at Jordanstown (UK)
jc.augusto 'at' ulster.ac.uk Dr. Ulrich Ultes-Nitsche
University of Fribourg (Switzerland)
uun 'at' unifr.ch Dr. Daniel Moldt
University of Hamburg (Germany)
moldt 'at' informatik.uni-hamburg.de

If you have any comments about the content of this webpage, e.g., suggestions on material that can be included feel free to send an email to any of the addresses given above.

Last update: 12/03/2008.