Filter Program
Dates
Mon 7 Apr 2025
Tue 8 Apr 2025
Wed 9 Apr 2025
Rooms
-location not assigned yet-
Omega
Tracks
FSEN Marjan Festschrift
FSEN Posters
FSEN Research Papers
Badges
Nothing to filter
Your Program
Nothing to filter
Mon 7 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 7 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | Conference session 1Research Papers | ||
09:00 10m | Welcome Research Papers Georgiana Caltais University of Twente, Hossein Hojjat Tehran Institute for Advanced Studies (TeIAS) | ||
09:10 60mKeynote | Talk: Emotions and Software Developers Research Papers Alexander Serebrenik Eindhoven University of Technology | ||
10:10 20mTalk | Poster Lightning talk Research Papers Zahra Moezkarimi Mälardalen University |
10:30 - 11:00 | Coffee BreakResearch Papers | ||
10:30 30mCoffee break | Coffee Break Research Papers |
11:00 - 12:30 | Conference session 2 Research Papers Chair(s): Amir Kafshdar Goharshady Hong Kong University of Science and Technology | ||
11:00 30mResearch paper | Automated Test Generation: Taxonomy and Tool Applications Research Papers Eduard Paul Enoiu Mälardalen University, Nasir Mehmood Minhas Blekinge Institute of Technology, Michael Felderer German Aerospace Center (DLR) & University of Cologne, Wasif Afzal Mälardalen University | ||
11:30 30mResearch paper | Streamlining Parameter Tuning in Full-Body Racing Simulators with an Automated Pipeline Research Papers Ruslan Shaiakhmetov University of Bologna, Danilo Pianini University of Bologna, Gabriele D'Angelo Alma Mater Studiorum - University of Bologna, Valter Venusti | ||
12:00 30mResearch paper | A Framework for Model-Based Specification and Verification in Feature-Oriented Software Product Lines Research Papers |
12:30 - 14:00 | Lunch BreakResearch Papers | ||
12:30 90mLunch | Lunch Break Research Papers |
14:00 - 14:30 | Poster Session 1Posters | ||
14:00 30mPoster | Poster Session Posters |
14:30 - 15:30 | Conference session 3 Research Papers Chair(s): Hossein Hojjat Tehran Institute for Advanced Studies (TeIAS) | ||
14:30 60mKeynote | Talk: Neurosymbolic Program Synthesis: Bridging Perception and Reasoning in Real-World Applications Research Papers Işıl Dillig University of Texas at Austin |
15:30 - 16:00 | Coffee BreakResearch Papers | ||
15:30 30mCoffee break | Coffee Break Research Papers |
16:00 - 17:30 | |||
16:00 30mResearch paper | Shielded Online Reinforcement Learning for Stormwater Detention Ponds Research Papers Esther Hahyeon Kim Aalborg University, Martijn Goorden , Kim Larsen Aalborg University, Thomas Dyhre Nielsen Aalborg University | ||
16:30 30mResearch paper | Extracting Formal Models for User’s Behaviors in Social Networks using Automata and Machine Learning Research Papers | ||
17:00 30mResearch paper | Automatic Generation of Loop Invariants in Dafny with Large Language Models Research Papers João Pascoal Faria Faculty of Engineering, University of Porto and INESC TEC, Emanuel Trigo , Rui Abreu INESC-ID; University of Porto |
17:30 - 20:00 | Social EventResearch Papers | ||
17:30 2h30mSocial Event | Social Event Research Papers |
Tue 8 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 8 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:30 - 10:30 | |||
09:30 60mKeynote | Talk: What is predictive maintenance and why is that interesting for formal software engineers? Research Papers Marielle Stoelinga University of Twente and Radboud University, Nijmegen |
10:30 - 11:00 | Coffee BreakResearch Papers | ||
10:30 30mCoffee break | Coffee Break Research Papers |
11:00 - 12:30 | |||
11:00 30mPaper | Formally Verified Verifiable Group Generators Research Papers | ||
11:30 30mResearch paper | Improved Gas Optimization of Smart Contracts Research Papers Togzhan Barakbayeva HKUST, Soroush Farokhnia Hong Kong University of Science and Technology, Amir Kafshdar Goharshady Hong Kong University of Science and Technology, Pingjiang Li HKUST, Zhaorun LIN | ||
12:00 30mResearch paper | Finding Universally Quantified Heap Invariants by Horn Clause Transformations Research Papers Zafer Esen Uppsala University, Philipp Rümmer University of Regensburg and Uppsala University, Tjark Weber Uppsala University |
12:30 - 14:00 | Lunch BreakResearch Papers | ||
12:30 90mLunch | Lunch Break Research Papers |
14:00 - 14:30 | Poster Session 2Posters | ||
14:00 30mPoster | Poster Session Posters |
14:30 - 15:30 | |||
14:30 60mKeynote | Talk: Verification by Program Transformation Research Papers Philipp Rümmer University of Regensburg and Uppsala University |
15:30 - 16:00 | Coffee BreakResearch Papers | ||
15:30 30mCoffee break | Coffee Break Research Papers |
16:00 - 17:30 | |||
16:00 30mResearch paper | A Note on Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic Research Papers Tim Lyon Technische Universität Dresden | ||
16:30 30mResearch paper | On time-sensitive control closure for secure information flow Research Papers | ||
17:00 30mResearch paper | Distributing Quantum Circuits Using Formal Methods Research Papers Ali Ebnenasir Michigan Technological University, Kieran Young Michigan Technological University, Ronald Stempien Michigan Technological University |
17:30 - 17:45 | Closing and best paper awardResearch Papers | ||
17:30 15m | Closing and best paper award Research Papers Marjan Sirjani Malardalen University, Antonio Cicchetti Mälardalen University, Robbert Jongeling Mälardalen University |
Wed 9 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 9 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 09:30 | |||
09:00 30mTalk | Opening/Memory Marjan Festschrift |
09:30 - 10:30 | |||
09:30 15mPaper | 20 Years of Actor Model Checking with Rebeca - From Dining Philosophers to MicroServices Marjan Festschrift | ||
09:45 15mPaper | Animating Rebeca Marjan Festschrift | ||
10:00 15mPaper | Black-box protocol testing using Rebeca and Automata Learning Marjan Festschrift | ||
10:15 15mPaper | An LAGC Semantics for Timed Rebeca Marjan Festschrift Reiner Hähnle Technical University of Darmstadt, Einar Broch Johnsen University of Oslo, Silvia Lizeth Tapia Tarifa University of Oslo, Norway |
10:30 - 11:00 | Coffee BreakMarjan Festschrift | ||
10:30 30mBreak | Coffee Break Marjan Festschrift |
11:00 - 12:30 | |||
11:00 15mPaper | Ranch: Rebeca on Chip Marjan Festschrift Meyssam Rostamzadeh Tehran Institute for Advanced Studies (TeIAS), Mahboubeh Samadi Tehran Institute for Advanced Studies (TeIAS), Fatemeh Ghassemi University of Tehran, Hossein Hojjat Tehran Institute for Advanced Studies (TeIAS) | ||
11:15 15mPaper | Privacy-Aware Modeling and Analysis of Social Networks Using Rebeca Marjan Festschrift | ||
11:30 15mPaper | Inside Every Multi-Threaded Program There Are Active Objects Struggling To Get Out Marjan Festschrift Frank S. de Boer Centrum Wiskunde & Informatica, Leiden University, Einar Broch Johnsen University of Oslo, Rudolf Schlatte University of Oslo, Silvia Lizeth Tapia Tarifa University of Oslo, Norway | ||
11:45 15mPaper | Verify Engineering Models, not Scientific Models Marjan Festschrift | ||
12:00 15mPaper | Semantics and Formal Analysis of Lingua Franca CPS Specifications in Rewriting Logic Marjan Festschrift Mircea Marin West University of Timisoara, Peter Ölveczky University of Oslo, Mario Reja West University of Timisoara, Mikheil Rukhaia Institute of Applied Mathematics, Tbilisi State University, Kyungmin Bae POSTECH | ||
12:15 15mPaper | Responsibility in Actor-Based Systems Marjan Festschrift |
12:30 - 14:00 | Lunch BreakMarjan Festschrift | ||
12:30 90mLunch | Lunch Break Marjan Festschrift |
14:00 - 15:00 | |||
14:00 15mPaper | Parallel Constraint Automata Marjan Festschrift | ||
14:15 15mPaper | Concurrent Rules Machines Marjan Festschrift | ||
14:30 15mPaper | Modelling Cyber-Physical Systems for Verification and Synthesis Marjan Festschrift Rong Gu Mälardalen University | ||
14:45 15mPaper | Verifying ROS Systems Using Timed and Stochastic Timed Automata Marjan Festschrift |
15:00 - 16:00 | Coffee BreakMarjan Festschrift | ||
15:00 60mBreak | Coffee Break Marjan Festschrift |
16:00 - 17:00 | |||
16:00 15mPaper | From LTL to Scenarios: Automatic test case generation for Axini Modeling Language Marjan Festschrift | ||
16:15 15mPaper | A Debugging System for Language-parameterized Proofs Marjan Festschrift Charlesowityear Ly University of Massachusetts Lowell, Eswarasanthosh Kumar Mamillapalli University of Massachusetts Lowell, Matteo Cimini University of Massachusetts Lowell | ||
16:30 15mPaper | Security Challenges of Self-adaptive Systems Marjan Festschrift | ||
16:45 15mPaper | Ten Years of Spatial Model Checking Marjan Festschrift Vincenzo Ciancia Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo", Consiglio Nazionale delle Ricerche, Pisa, ITALY, Diego Latella ISTI-CNR, Pisa, Italy, Mieke Massink CNR-ISTI Pisa, Italy |
17:00 - 17:15 | |||
17:00 15mDay closing | Closing Marjan Festschrift Marjan Sirjani Malardalen University |
18:00 - 23:00 | DinnerMarjan Festschrift | ||
18:00 5hDinner | Dinner Marjan Festschrift |