FSEN 2025 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (117)

A Erika AbrahamAbraham, Erika RWTH Aachen UniversityGermany Committee Member in Program Committee for FSEN 2025
Rui AbreuAbreu, Rui Faculty of Engineering of the University of Porto, PortugalPortugal Automatic Generation of Loop Invariants in Dafny with Large Language Models
Wasif AfzalAfzal, Wasif Mälardalen UniversitySweden Automated Test Generation: Taxonomy and Tool Applications
Farhad ArbabArbab, Farhad CWI and Leiden UniversityNetherlands Steering Committee Member in Steering Committee for FSEN 2025 Committee Member in Program Committee for FSEN 2025 Concurrent Rules Machines Parallel Constraint Automata
B Peter BackemanBackeman, Peter Mälardalen UniversitySweden Verifying ROS Systems Using Timed and Stochastic Timed Automata
Kyungmin BaeBae, Kyungmin POSTECHSouth Korea Semantics and Formal Analysis of Lingua Franca CPS Specifications in Rewriting Logic
Christel BaierBaier, Christel TU Dresden, GermanyGermany Committee Member in Steering Committee for FSEN 2025 Responsibility in Actor-Based Systems
Togzhan BarakbayevaBarakbayeva, Togzhan HKUSTHong Kong SAR China Improved Gas Optimization of Smart Contracts
Maurice H. ter BeekBeek, Maurice H. ter ISTI-CNRItaly Animating Rebeca
Machiel van der BijlBijl, Machiel van der AxiniNetherlands From LTL to Scenarios: Automatic test case generation for Axini Modeling Language
Simon BliudzeBliudze, Simon Inria Center at the University of LillleFrance Committee Member in Program Committee for FSEN 2025
Borzoo BonakdarpourBonakdarpour, Borzoo Iowa State University, USA Committee Member in Program Committee for FSEN 2025
Marcello BonsangueBonsangue, Marcello Leiden University Committee Member in Program Committee for FSEN 2025
Mario BravettiBravetti, Mario Università di BolognaItaly Committee Member in Program Committee for FSEN 2025
Einar Broch JohnsenBroch Johnsen, Einar University of OsloNorway An LAGC Semantics for Timed Rebeca Inside Every Multi-Threaded Program There Are Active Objects Struggling To Get Out
C Georgiana CaltaisCaltais, Georgiana University of TwenteNetherlands Program Chair in Program Chairs for FSEN 2025 Welcome
Valentina CastiglioniCastiglioni, Valentina Eindhoven University of TechnologyNetherlands Committee Member in Program Committee for FSEN 2025
Mingshuai ChenChen, Mingshuai Zhejiang UniversityChina Committee Member in Program Committee for FSEN 2025
Vincenzo CianciaCiancia, Vincenzo Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo", Consiglio Nazionale delle Ricerche, Pisa, ITALYItaly Ten Years of Spatial Model Checking
Antonio CicchettiCicchetti, Antonio Mälardalen UniversitySweden General Co-Chair in General Chairs for FSEN 2025 Closing and best paper award
Matteo CiminiCimini, Matteo University of Massachusetts LowellUnited States A Debugging System for Language-parameterized Proofs
Mina CyrusCyrus, Mina Swansea University, Swansea, UKUnited Kingdom Formally Verified Verifiable Group Generators
D Gabriele D'AngeloD'Angelo, Gabriele Alma Mater Studiorum - University of Bologna Streamlining Parameter Tuning in Full-Body Racing Simulators with an Automated Pipeline
Frank S. de Boerde Boer, Frank S. Centrum Wiskunde & Informatica, Leiden University Inside Every Multi-Threaded Program There Are Active Objects Struggling To Get Out
Işıl DilligDillig, Işıl University of Texas at AustinUnited States Keynote Speaker in Keynote Speakers for FSEN 2025 Talk: Neurosymbolic Program Synthesis: Bridging Perception and Reasoning in Real-World Applications
Thomas Dyhre NielsenDyhre Nielsen, Thomas Aalborg UniversityDenmark Shielded Online Reinforcement Learning for Stormwater Detention Ponds
E Ali EbnenasirEbnenasir, Ali Michigan Technological University Committee Member in Program Committee for FSEN 2025 Distributing Quantum Circuits Using Formal Methods
Eduard Paul EnoiuEnoiu, Eduard Paul Mälardalen UniversitySweden Automated Test Generation: Taxonomy and Tool Applications
Zafer EsenEsen, Zafer Uppsala UniversitySweden Finding Universally Quantified Heap Invariants by Horn Clause Transformations
Eswarasanthosh Kumar Mamillapalli Eswarasanthosh Kumar Mamillapalli University of Massachusetts Lowell A Debugging System for Language-parameterized Proofs
F João Pascoal FariaFaria, João Pascoal Faculty of Engineering, University of Porto and INESC TECPortugal Automatic Generation of Loop Invariants in Dafny with Large Language Models
Soroush FarokhniaFarokhnia, Soroush Hong Kong University of Science and TechnologyHong Kong SAR China Improved Gas Optimization of Smart Contracts
Michael FeldererFelderer, Michael German Aerospace Center (DLR) & University of CologneGermany Automated Test Generation: Taxonomy and Tool Applications
Wan FokkinkFokkink, Wan Vrije Universiteit Amsterdam Committee Member in Program Committee for FSEN 2025 A Framework for Model-Based Specification and Verification in Feature-Oriented Software Product Lines From LTL to Scenarios: Automatic test case generation for Axini Modeling Language
Adrian FrancalanzaFrancalanza, Adrian University of MaltaMalta Committee Member in Program Committee for FSEN 2025
Jan Friso GrooteFriso Groote, Jan Eindhoven University of Technology Committee Member in Program Committee for FSEN 2025
G Fatemeh GhassemiGhassemi, Fatemeh University of TehranIran Committee Member in Program Committee for FSEN 2025 Session Chair of Conference Session 4 (part of FSEN Research Papers) Session Chair of Session 3 (part of FSEN Marjan Festschrift) Extracting Formal Models for User’s Behaviors in Social Networks using Automata and Machine Learning Ranch: Rebeca on Chip Privacy-Aware Modeling and Analysis of Social Networks Using Rebeca
Amir Kafshdar GoharshadyGoharshady, Amir Kafshdar University of Oxford Committee Member in Program Committee for FSEN 2025 Session Chair of Conference session 2 (part of FSEN Research Papers)
Amir Kafshdar GoharshadyGoharshady, Amir Kafshdar Hong Kong University of Science and TechnologyHong Kong Improved Gas Optimization of Smart Contracts
Martijn GoordenGoorden, Martijn Netherlands Shielded Online Reinforcement Learning for Stormwater Detention Ponds
Rong GuGu, Rong Mälardalen University Modelling Cyber-Physical Systems for Verification and Synthesis
H Ernst Moritz HahnHahn, Ernst Moritz University of TwenteNetherlands Committee Member in Program Committee for FSEN 2025
Esther Hahyeon KimHahyeon Kim, Esther Aalborg UniversityDenmark Shielded Online Reinforcement Learning for Stormwater Detention Ponds
Osman HasanHasan, Osman National University of Sciences & Technology Committee Member in Program Committee for FSEN 2025
Hossein HojjatHojjat, Hossein Tehran Institute for Advanced Studies (TeIAS)Iran Program Chair in Program Chairs for FSEN 2025 Session Chair of Conference session 3 (part of FSEN Research Papers) Welcome Ranch: Rebeca on Chip
Reiner HähnleHähnle, Reiner Technical University of DarmstadtGermany An LAGC Semantics for Timed Rebeca
I Mohammad IzadiIzadi, Mohammad Sharif University Committee Member in Program Committee for FSEN 2025
J Mohammad Mahdi JaghooriJaghoori, Mohammad Mahdi 20 Years of Actor Model Checking with Rebeca - From Dining Philosophers to MicroServices
Robbert JongelingJongeling, Robbert Mälardalen UniversitySweden General Co-Chair in General Chairs for FSEN 2025 Session Chair of Conference session 3 (part of FSEN Research Papers) Closing and best paper award
K Eduard KamburjanKamburjan, Eduard IT University of CopenhagenDenmark Committee Member in Program Committee for FSEN 2025
Samina KanwalKanwal, Samina A Framework for Model-Based Specification and Verification in Feature-Oriented Software Product Lines
Negar KashefKashef, Negar University of TehranIran Extracting Formal Models for User’s Behaviors in Social Networks using Automata and Machine Learning
Narges KhakpourKhakpour, Narges Newcastle UniversityUnited Kingdom Committee Member in Program Committee for FSEN 2025 Security Challenges of Self-adaptive Systems
Ehsan KhamespanahKhamespanah, Ehsan Tehran University, Tehran, Iran Committee Member in Program Committee for FSEN 2025 20 Years of Actor Model Checking with Rebeca - From Dining Philosophers to MicroServices
Ramtin KhosraviKhosravi, Ramtin Committee Member in Program Committee for FSEN 2025
Sascha KlüppelholzKlüppelholz, Sascha Responsibility in Actor-Based Systems
L Kim LarsenLarsen, Kim Aalborg UniversityDenmark Committee Member in Program Committee for FSEN 2025 Shielded Online Reinforcement Learning for Stormwater Detention Ponds
Diego LatellaLatella, Diego ISTI-CNR, Pisa, ItalyItaly Ten Years of Spatial Model Checking
Edward LeeLee, Edward University of California at Berkeley Verify Engineering Models, not Scientific Models Committee Member in Festschrift Committee within the FSEN Marjan Festschrift-track
Johannes LehmannLehmann, Johannes TU Dresden Responsibility in Actor-Based Systems
Pingjiang LiLi, Pingjiang HKUSTHong Kong SAR China Improved Gas Optimization of Smart Contracts
Shaokai LinLin, Shaokai UC Berkeley Verify Engineering Models, not Scientific Models
Zhaorun LINLIN, Zhaorun Improved Gas Optimization of Smart Contracts
Benjamin LionLion, Benjamin INRIA Parallel Constraint Automata
Björn LisperLisper, Björn Malardalen UniversitySweden On time-sensitive control closure for secure information flow
Charlesowityear LyLy, Charlesowityear University of Massachusetts Lowell A Debugging System for Language-parameterized Proofs
Tim LyonLyon, Tim Technische Universität DresdenGermany A Note on Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic
M Mircea MarinMarin, Mircea West University of Timisoara Semantics and Formal Analysis of Lingua Franca CPS Specifications in Rewriting Logic
Stefan MarksteinerMarksteiner, Stefan AVL List GmbH / Mälardalen UniversityAustria Black-box protocol testing using Rebeca and Automata Learning
Mieke MassinkMassink, Mieke CNR-ISTI Pisa, Italy Committee Member in Steering Committee for FSEN 2025 Committee Member in Program Committee for FSEN 2025 Session Chair of Conference session 4 (part of FSEN Research Papers) Ten Years of Spatial Model Checking
Abu Naser MasudMasud, Abu Naser Malardalen University On time-sensitive control closure for secure information flow
Jedidiah McClurgMcClurg, Jedidiah Colorado State UniversityUnited States Committee Member in Program Committee for FSEN 2025
Nasir Mehmood MinhasMehmood Minhas, Nasir Blekinge Institute of TechnologySweden Automated Test Generation: Taxonomy and Tool Applications
Zahra MoezkarimiMoezkarimi, Zahra Mälardalen UniversitySweden Poster Lightning talk Privacy-Aware Modeling and Analysis of Social Networks Using Rebeca Co-chair in Poster Chairs within the FSEN Posters-track
Rosemary MonahanMonahan, Rosemary National University of IrelandIreland Committee Member in Program Committee for FSEN 2025
Mohammad Reza MousaviMousavi, Mohammad Reza King's College LondonUnited Kingdom Committee Member in Program Committee for FSEN 2025 Session Chair of Session 2 (part of FSEN Marjan Festschrift) Committee Member in Festschrift Committee within the FSEN Marjan Festschrift-track
Ali MovagharMovaghar, Ali Sharif University of Technology Committee Member in Steering Committee for FSEN 2025 Committee Member in Program Committee for FSEN 2025
P Erik P. de VinkP. de Vink, Erik Eindhoven University of Technology Committee Member in Program Committee for FSEN 2025
Danilo PianiniPianini, Danilo University of BolognaItaly Streamlining Parameter Tuning in Full-Body Racing Simulators with an Automated Pipeline
José ProençaProença, José CISTER & Faculty of Sciences, University of PortoPortugal Committee Member in Program Committee for FSEN 2025 Session Chair of Session 4 (part of FSEN Marjan Festschrift) Animating Rebeca
R Mario RejaReja, Mario West University of Timisoara Semantics and Formal Analysis of Lingua Franca CPS Specifications in Rewriting Logic
Anne RemkeRemke, Anne University of Munster, Germany Committee Member in Program Committee for FSEN 2025
Meyssam RostamzadehRostamzadeh, Meyssam Tehran Institute for Advanced Studies (TeIAS) Ranch: Rebeca on Chip
Philipp RuemmerRuemmer, Philipp University of Regensburg and Uppsala UniversityGermany Committee Member in Program Committee for FSEN 2025
Mikheil RukhaiaRukhaia, Mikheil Institute of Applied Mathematics, Tbilisi State University Semantics and Formal Analysis of Lingua Franca CPS Specifications in Rewriting Logic
Philipp RümmerRümmer, Philipp University of Regensburg and Uppsala UniversityGermany Keynote Speaker in Keynote Speakers for FSEN 2025 Talk: Verification by Program Transformation Finding Universally Quantified Heap Invariants by Horn Clause Transformations
S Asieh Salehi FathabadiSalehi Fathabadi, Asieh University of Southampton Committee Member in Program Committee for FSEN 2025
Maghsood SalimiSalimi, Maghsood Mälardalen UniversitySweden Web Chair in Organizing Committee for FSEN 2025
Mahboubeh SamadiSamadi, Mahboubeh Tehran Institute for Advanced Studies (TeIAS) Ranch: Rebeca on Chip
Davide SangiorgiSangiorgi, Davide University of Bologna; InriaItaly Committee Member in Program Committee for FSEN 2025
Rahul Sankalana GunawardhanaSankalana Gunawardhana, Rahul Newcastle University, UK Security Challenges of Self-adaptive Systems
Hamid Sarbazi/azadSarbazi/azad, Hamid IPM Committee Member in Steering Committee for FSEN 2025
Christian SchillingSchilling, Christian Aalborg UniversityDenmark Committee Member in Program Committee for FSEN 2025
Rudolf SchlatteSchlatte, Rudolf University of Oslo Inside Every Multi-Threaded Program There Are Active Objects Struggling To Get Out
Maarten SchröderSchröder, Maarten From LTL to Scenarios: Automatic test case generation for Axini Modeling Language
Cristina SeceleanuSeceleanu, Cristina Mälardalen UniversitySweden Committee Member in Program Committee for FSEN 2025 Session Chair of Conference session 2 (part of FSEN Research Papers) Verifying ROS Systems Using Timed and Stochastic Timed Automata
Alexander SerebrenikSerebrenik, Alexander Eindhoven University of TechnologyNetherlands Keynote Speaker in Keynote Speakers for FSEN 2025 Talk: Emotions and Software Developers
Ruslan ShaiakhmetovShaiakhmetov, Ruslan University of BolognaItaly Streamlining Parameter Tuning in Full-Body Racing Simulators with an Automated Pipeline
Marjan SirjaniSirjani, Marjan Malardalen UniversitySweden General Chair in General Chairs for FSEN 2025 Steering Committee Chair in Steering Committee for FSEN 2025 Session Chair of Conference session 1 (part of FSEN Research Papers) Closing and best paper award Closing
Mikael SjödinSjödin, Mikael Malardalen University Black-box protocol testing using Rebeca and Automata Learning
Ana SokolovaSokolova, Ana University of SalzburgAustria Committee Member in Program Committee for FSEN 2025
Ronald StempienStempien, Ronald Michigan Technological University Distributing Quantum Circuits Using Formal Methods
Marielle StoelingaStoelinga, Marielle University of Twente and Radboud University, NijmegenNetherlands Keynote Speaker in Keynote Speakers for FSEN 2025 Talk: What is predictive maintenance and why is that interesting for formal software engineers?
Meng SunSun, Meng Peking University Committee Member in Program Committee for FSEN 2025
T Carolyn TalcottTalcott, Carolyn SRI International Committee Member in Steering Committee for FSEN 2025 Committee Member in Program Committee for FSEN 2025 Session Chair of Session 1 (part of FSEN Marjan Festschrift) Concurrent Rules Machines Committee Member in Festschrift Committee within the FSEN Marjan Festschrift-track
Silvia Lizeth Tapia TarifaTapia Tarifa, Silvia Lizeth University of Oslo, Norway An LAGC Semantics for Timed Rebeca Inside Every Multi-Threaded Program There Are Active Objects Struggling To Get Out
Mukesh TiwariTiwari, Mukesh Swansea University, Swansea, UKUnited Kingdom Formally Verified Verifiable Group Generators
Tayssir TouiliTouili, Tayssir CNRS, Paris, France Committee Member in Program Committee for FSEN 2025
Emanuel TrigoTrigo, Emanuel Faculty of Engineering, University of Porto, PortugalPortugal Automatic Generation of Loop Invariants in Dafny with Large Language Models
V Petra van den Bosvan den Bos, Petra University of Twente, The NetherlandsNetherlands Publicity Chair in Publicity Chair for FSEN 2025
Valter VenustiVenusti, Valter Italy Streamlining Parameter Tuning in Full-Body Racing Simulators with an Automated Pipeline
W Tjark WeberWeber, Tjark Uppsala UniversitySweden Finding Universally Quantified Heap Invariants by Horn Clause Transformations
Martin WirsingWirsing, Martin Ludwig Maximilian University of MunichGermany Committee Member in Steering Committee for FSEN 2025 Committee Member in Program Committee for FSEN 2025
Y Kieran YoungYoung, Kieran Michigan Technological University Distributing Quantum Circuits Using Formal Methods
Z Mahboobeh ZangiAbadyZangiAbady, Mahboobeh University of TwenteNetherlands Co-chair in Poster Chairs within the FSEN Posters-track
Lijun ZhangZhang, Lijun Institute of Software, Chinese Academy of SciencesChina Committee Member in Program Committee for FSEN 2025
Ö Peter ÖlveczkyÖlveczky, Peter University of OsloNorway Committee Member in Program Committee for FSEN 2025 Semantics and Formal Analysis of Lingua Franca CPS Specifications in Rewriting Logic