Program-At-A-Glance

Monday

Tuesday

Wednesday

Thursday

8h30-10h

 

Formal methods I

Applications I

WIP III

 

 

10h-10h30

Cofee break

10h30-12h

 

Formal methods II

Applications II

 

 

 

 

 

12h-13h30

Lunch

13h30-15

Model-driven methods I

Parallel & Distributed Simulation

WIP I

 

 

 

15h-15h30

Cofee break

15h30-17h

Model-driven methods II

Tools & Environments

WIP II

 

 

 

 

Detailed Preliminary Program (See a detailed list of paper with abstracts here)

SESSIONS

TITLE

AUTHORS

DATE

TIME

FP SESSIONS

 

 

(Tentative)

Model-driven methods I

A MDA-based Approach for the Development of DEVS/SOA Simulations

Andrea D'Ambrogio, Daniele Gianni, José L. Risco-Martín and Alessandra Pieroni

Monday, April 12th 2010

13h30

Designing an Interface for Real-Time and Embedded DEVS

Mohammad Moallemi and Gabriel Wainer

14h

SES Based Ontological Process for High Level Information Fusion

Hojun Lee and Bernard Zeigler

14h30

 

 

 

 

 

Model-driven methods II

Using Time Stream Petri Nets over a Service Architecture for Workflow Modelling and Enactment

Franco Cicirelli, Angelo Furfaro and Libero Nigro

Monday, April 12th 2010

15h30

Performance Analysis Modeling Applied to Business Processes

Kelly Rosa Braghetto, João Eduardo Ferreira and Jean-Marc Vincent

16h

 

 

 

 

 

Formal methods I

Verifying Trace Inclusion between an Experimental Frame and a Model

Vincent ALBERT, Alexandre NKETSA and Christel SEGUIN

Tuesday, April 13th 2010

8h30

Temporal Verification of RT-DEVS Models with Implementation Aspects

Franco Cicirelli, Angelo Furfaro, Libero Nigro and Francesco Pupo

9h

Rational Time-Advance DEVS (RTA-DEVS)

Hesham Saadawi and Gabriel Wainer

9h30

 

 

 

 

 

Formal methods II

Uncovering DEVS Simulation Behaviour Throughout The Open Provenance Model

Alejandro Moreno, José L. Risco-Martín and Joaquín Aranda

Tuesday, April 13th 2010

10h30

REDUCING THE STATE SPACE OF INCOMPLETELY SPECIFIED TIMED MOORE MACHINES

Norbert GIAMBIASI

11h

Integrating Parallel DEVS and Equation-Based Object-Oriented Modeling

Victorino Sanz, Alfonso Urquía and Sebastián Dormido

11h30

 

 

 

 

 

Tools & Environments

Advanced IDE for Modeling and Simulation of Discrete Event Systems

Matias Bonaventura, Gabriel Wainer and Rodrigo Castro

Tuesday, April 13th 2010

13h30

Simulating Domain Specific Visual Models by Observation

Javier Troya, José E. Rivera and Antonio Vallecillo

14h

AnCaraS: a new webometrics web-spider; DEVS-based validation of concepts

Brahim Khalil REBAI, Gregory ZACHAREWICZ, David REYMOND and Patrice CORBE

14h30

 

 

 

 

 

Parallel & Distributed Simulation

A Distributed Approach to the Simulation of Inherently Distributed Systems

Giuseppe Iazeolla, Alessandra Pieroni, Andrea D'Ambrogio and Daniele Gianni

Tuesday, April 13th 2010

15h30

Conservative DEVS - A Novel Protocol for Parallel Conservative Simulation of DEVS and Cell-DEVS Models

Shafagh Jafer and Gabriel Wainer

16h

Accelerating Large-scale DEVS-based Simulation on the Cell Processor

Qi Liu and Gabriel Wainer

16h30

 

 

 

 

 

Applications I

Comprehensive On-Chip Traffic Generator Model for SoC Design and Synthesis

Moath Jarrah, Ameen Jarrah and Bernard Zeigler

Wednesday, April 14th 2010

8h30

Meta-Simulation of Large WSN on Multi-core Computers

Adnan Iqbal and Bernard Pottier

9h

A Stochastic DEVS Wind Turbine Model for Wind Farm Simulation

Eduardo Perez, Lewis Ntaimo, Eunshin Byon and Yu Ding

9h30

 

 

 

 

 

Applications II

A DEVS Model For Demographic Microsimulation

Sabine Zinn, Jutta Gampe, Jan Himmelspach and Adelinde M. Uhrmacher

Wednesday, April 14th 2010

10h30

Agent-Based Stochastic Simulations of Shipboard Disease Outbreaks

Bin Yu, Jijun Wang, Michael McGowan and Ganesh Vaidyanathan

11h

An Agent-Based Approach to Modeling Yard Cranes at Seaport Container Terminals

Nathan Huynh and Jose M. Vidal

11h30

WIP SESSIONS

 

 

 

 

WIP I
(modeling concepts)

Multiple Worlds: A Formalism For Simulation Based Design

Michele Fumarola, Mamadou Seck and Alexander Verbraeck

Wednesday, April 14th 2010

13h30

On using Design Patterns for DEVS Modeling and Simulation Tools

Hamri Maaamar

14h

Activity Regions in Discrete-Event Systems

Alexandre Muzy, Luc Touraille, Hans Vangheluwe, Olivier Michel, David R.C. Hill and Mamadou Kaba Traoré

14h30

 

 

 

 

 

WIP II
(simulation approaches)

Adapting Forces Modeling and Simulation Applications for Use on High Performance Computational Systems

Christina Bouwens, Steven Barnes, David Pratt and Peter Melim

Wednesday, April 14th 2010

15h30

An Advanced Simulation Approach for Parallel DEVS with Ports

Pawletta Thorsten and Schwatinski Tobias

16h

Performance Evaluation of Test Process Based on Stochastic Models

Marcelo Marinho

16h30

 

 

 

 

 

WIP III
(simulations interoperability)

DEVS Based Plug-in Framework For Interoperability of Simulators

Jang Won Bae and Tag Gon Kim

Thursday, April 15th 2010

8h30

Synchronizing DEVS/SOA Simulator with Ping Monitoring Application

Jonathan Gibbs and Hessam Sarjoughian

9h

System Entity Structure For XML Meta Data Modeling; Application to the Logistics

Youngshin Han, Taekyu Kim, Chungman Seo and Chilgee Lee

9h30

 

Some statistics:

-        Number of Submissions: 91

-        Accepted papers: 32 (35%)

-        Full Papers Accepted: 22