Technical Program
Wednesday, September 17
8:45 - 9:00
Welcome Session: GC & TPC Chairs
9:00 - 10:30
Session 1: Simulation and Modeling Approaches
Chair: Stefano Ferretti
- Model-Driven Parallel and Distributed Stochastic Simulation of Chemical Reaction Networks
- Self-Adaptive Simulation Models: A Case Study in Cell Biology
- Formal Fragmentation of RAMSAS for Modular and Distributed Reliability Analysis via Simulation
10:30 - 11:00
Coffee Break
11:00 - 11:30
Special Session: Using Uppaal and Actors for Property Checking of Mutual Exclusion Algorithms in Anonymous Memory
Chair: Azzedine Boukerche
Prof. Libero Nigro
- Using Uppaal and Actors for Property Checking of Mutual Exclusion Algorithms in Anonymous Memory
11:30 - 12:30
Session 2: Visualization, Tools, and Interfaces
Chair: Miroslav Voznak
- LEOVISTA: A Cesium-Based 3D Visualization Tool for Satellite-Enabled Vehicle Simulations
- LiveOppServation - An Open-Source Interactive Evaluation and Simulation Frontend for OMNeT++
- Towards Anonymous Crowdsensing: A Smart Contract-Mediated Privacy Framework
12:30 - 13:30
Lunch Break
13:30 - 15:00
Session 3: Digital Twins and Automated Platforms
Chair: Alfredo Garro
- NotLine: a Non-Intrusive Automated Platform to Build a Digital Twin
- Ontology-driven Simulations for Quantified Service Discovery in Manufacturing Ecosystems
- The Interactive Retroduction Cycle: Amplifying Cognitive Focus in Complex Simulations
15:00 - 15:30
Coffee Break
15:30 - 17:30
Short/Poster Paper Session
Chair: Romolo Marotta
- Towards a Generic Middleware-Based Interface for Mobile Communication Simulation
- A Framework for Proactive Cyber-Resilience: Non-Intrusive Modeling for Autonomous Defense
- ECO-FAST: An Energy Cognizant Fault-tolerant Scheduler for Heterogeneous Computing Systems
- AID: Assistant-based Approach for k-Leader Network Formation in Multi-Robot Systems
- TPS: Trust-Aware Pruning for Byzantine Robustness Federated Learning in Real-Time Edge Systems
- Hybrid Approaches to Trajectory Prediction in Autonomous Driving
- A V2X Secrecy Forwarding Protocol for Intelligent Transport Systems
Thursday, September 18
9:00 - 10:30
Session 4: Parallel and Distributed Simulation
Chair: Fernando Barros
- Comparing the Run-time Behavior of Modern PDES Engines on PowerPC and x86 Architectures
- Longer (Not Longest) Processing-Time First in Constant Global Lookahead PDES Engines
- Performance evaluation of a self-clustering heuristic for adaptive PADS
10:30 - 11:00
Coffee Break
11:00 - 12:00
Keynote Session
Chair: Miroslav Voznak
- Prof. Dr. Hans Vangheluwe, University of Antwerp, Belgium
12:00 - 13:30
Lunch Break
13:30 - 15:00
Session 5: Environmental and Disaster Simulations
Chair: Christoph Sommer
- Forest Fire Modeling using Cellular Automata and Dynamic Agents: A piHyFlow Approach
- An Energy-Aware Environmental Monitoring for Smart Cities using Public Transportation Vehicles
- Analyzing the Environmental Footprint in VANETs through SUMO Simulator
15:00 - 15:30
Coffee Break
Thursday, September 18 15:30 - 17:00
Session 6: Traffic and Transportation Simulations
Chair: Yang Liu
- Towards a Fast Parallel Implementation of a Traffic Assignment Algorithm
- Ridesharing Simulation to Explore Matching Algorithms
- Comparison of Road Traffic Division Methods for Distributed or Parallel Road Traffic Simulation
19:00 - 22:00
Banquer Dinner
Friday, September 19
9:00 - 10:00
Session 7: Autonomous Driving and Smart Systems
Chair: Tomas Potuzak
- Adversarial Collaborative Perception in Autonomous Driving
- SVR-YOLO11: Real-Time Animal Detection for Situational Awareness in SAR Operations
10:00 - 10:15
Coffee Break
Friday, September 19 10:15 - 11:15
Session 8: Advanced Techniques in Learning and Prediction
Chair: Stefano Ferretti
- A Novel Deep Learning-enabled Typhoon Trajectory Prediction Method
- Efficient Deep Learning Architectures for Real-Time Modulation Classification in Low-SNR Cognitive Radio Networks