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 |
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 |
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 |
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