International Workshop on Modelling, Simulation,Verification and Validation of Enterprise Information Systems

Wednesday May 25th

Chairs: Ulrich Ultes-Nitsche, Juan C. Augusto and Joseph Barjis

8:00 Welcome Desk / Registration
9:30 - 10:30 - Invited Talk
Automated Runtime Verification with Eagle
Klaus Havelund, Kestrel Technology, NASA Jet Propulsion Laboratory, U.S.A.
Room Charlemagne
10:30 Coffe-break (10:30 - 11:00)
11:00 - 11:30
Consistency Verification of a Non-monotonic Deductive System based on OWL Lite
Jaime Ramírez and Angélica de Antonio

11:30 - 11:50
Trade-off Analysis of Misuse Case-based Secure Software Architectures: A Case Study
Joshua J. Pauli and Dianxiang Xu

11:50 - 12:20
Towards Application Suitability for PvC Environments
Andres Flores and Macario Polo
Room Charlemagne
13:00 Lunch (13:00 - 14:30)
14:30 - 14:50
Deriving Test Cases from B Machines Using Class Vectors
W. L. Yeung and K. R. P. H. Leung

14:50 - 15:10
A Unit Testing Framework for Network Configurations
Dominik Jungo, David Buchmann and Ulrich Ultes-Nitsche

15:10 - 15:40
Towards Run-time Component Integration on Ubiquitous Systems
Macario Polo Usaola and Andres Flores
Room Charlemagne

15:45 - 16:30
Poster Session

  • On the Use of Model Checking in Verification of Evolving Agile Software Frameworks: An Exploratory Case Study
    Nan Niu and Steve Easterbrook

  • Verification of Smart Homes Specifications which are based on ECA Rules
    Juan Carlos Augusto

  • The Port-Transshipment System Dynamics Software Simulator
    Josko Dvornik, Ante Munitic and Frane Mitrovic

  • Teaching Software Testing in Introductory CS Courses and Improving Software Quality
    Syed M. Rahman and Akram Salah
Exhibit Area
16:30 Coffe-break (16:30 - 17:00)
17:00 - 18:00
Open Discussion (topic to be established)
Room Charlemagne