MISSION Workshop at FAMAF, UNC
19 Nov 2025Following the success of the previous event, FAMAF, Universidad Nacional de Córdoba, hosted another MISSION project workshop on November 19, 2025. The event focused on techniques and software tools for reliability, resilience, and efficiency analysis, with applications in satellite and space technology, bringing together researchers and students to discuss the field.
Key topics included model-based testing, statistical model checking, low-power satellite and IoT networks, delay-tolerant networks, and planning. The workshop provided an opportunity to strengthen collaboration between MISSION researchers and the local academic community in Argentina.
The full workshop programme is shown below:
| MISSION Workshop @ FAMAF (Nov. 19) On-site at Aula Magna. FAMAF, UNC |
|
|---|---|
| 09:30–09:45 | Welcome & Opening |
| 09:45–10:15 | Gateway Trajectory Awareness: Efficient Communication for Low-Power IoT Networks Santiago Henn (UNC) |
| 10:15–10:45 | Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling Mark van Wijk (UT) |
| 10:45–11:30 | Coffee Break |
| 11:30–12:00 | Mind the gap: Automating the Missing Link in BDD-MBT Integration with NLP Anna Aimeri (UNC) |
| 12:00–12:30 | Time for Quiescence: Modelling quiescent behaviour in testing via time-outs in timed automata Petra van den Bos (UT) |
| 12:30–13:00 | Model-Based Testing with Pickles: a Natural Language DSL for Specifications and Tests María Belén Rodríguez (UT) |
| 13:00–14:00 | Lunch Break |
| 14:00–14:30 | Challenges in Efficiency and Soundness of Time-Sensitive Importance Splitting Gabriel Dengler (USAAR) |
| 14:30–15:00 | Toward a Reproducible Methodology for DTN Evaluation Ramiro Detke (UNC) |
| 15:00–15:30 | Taming Mölndalsån: Formal Models for Critical Water Infrastructure in the North Sea Region Annabell Petri (UT) |
| 15:30–16:00 | Coffee Break |
| 16:00–16:30 | Optimization for routing in Delay Tolerant Networks with Deep Reinforcement Learning Valentín Negreli (UNC) |
| 16:30–17:00 | How Lucky Are You to Know Your Way? A Probabilistic Approach to Knowing How Logics Pedro R. D'Argenio (UNC) |
| 17:00–17:30 | Closing |
