FSEN 2025 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (86)

A Erika AbrahamAbraham, Erika RWTH Aachen UniversityGermany Committee Member in Program Committee for FSEN 2025
Rui AbreuAbreu, Rui INESC-ID; University of PortoPortugal 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
B Christel BaierBaier, Christel TU Dresden, GermanyGermany Committee Member in Steering Committee for FSEN 2025
Togzhan BarakbayevaBarakbayeva, Togzhan HKUSTHong Kong SAR China Improved Gas Optimization of Smart Contracts
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
C Georgiana CaltaisCaltais, Georgiana University of TwenteNetherlands Program Chair in Program Chairs for FSEN 2025
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
Antonio CicchettiCicchetti, Antonio Mälardalen UniversitySweden General Co-Chair in General Chairs for FSEN 2025
D Gabriele D'AngeloD'Angelo, Gabriele Streamlining Parameter Tuning in Full-Body Racing Simulators with an Automated Pipeline
Işıl DilligDillig, Işıl University of Texas at AustinUnited States Keynote Speaker in Keynote Speakers for FSEN 2025 Talk by Işıl Dillig
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
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 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
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 Extracting Formal Models for User’s Behaviors in Social Networks using Automata and Machine Learning
Amir Kafshdar GoharshadyGoharshady, Amir Kafshdar Hong Kong University of Science and TechnologyHong Kong Committee Member in Program Committee for FSEN 2025
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
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
I Mohammad IzadiIzadi, Mohammad Sharif University Committee Member in Program Committee for FSEN 2025
J Robbert JongelingJongeling, Robbert Mälardalen UniversitySweden General Co-Chair in General Chairs for FSEN 2025
K Eduard KamburjanKamburjan, Eduard University of OsloNorway 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
Ehsan KhamespanahKhamespanah, Ehsan Tehran University, Tehran, Iran Committee Member in Program Committee for FSEN 2025
Ramtin KhosraviKhosravi, Ramtin Committee Member in Program Committee for FSEN 2025
L Kim LarsenLarsen, Kim Aalborg UniversityDenmark Committee Member in Program Committee for FSEN 2025 Shielded Online Reinforcement Learning for Stormwater Detention Ponds
Edward LeeLee, Edward University of California at Berkeley Committee Member in Festschrift Committee within the FSEN Marjan Festschrift-track
Pingjiang LiLi, Pingjiang HKUSTHong Kong SAR China Improved Gas Optimization of Smart Contracts
Zhaorun LINLIN, Zhaorun Improved Gas Optimization of Smart Contracts
Björn LisperLisper, Björn Malardalen UniversitySweden On time-sensitive control closure for secure information flow
Tim LyonLyon, Tim Technische Universität DresdenGermany A Note on Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic
M Mieke MassinkMassink, Mieke CNR-ISTI Pisa, Italy Committee Member in Steering Committee for FSEN 2025 Committee Member in Program Committee for FSEN 2025
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 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 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
R Anne RemkeRemke, Anne University of Munster, Germany Committee Member in Program Committee for FSEN 2025
Philipp RuemmerRuemmer, Philipp University of Regensburg and Uppsala UniversityGermany Committee Member in Program Committee for FSEN 2025
Philipp RümmerRümmer, Philipp University of Regensburg and Uppsala UniversityGermany Keynote Speaker in Keynote Speakers for FSEN 2025 Finding Universally Quantified Heap Invariants by Horn Clause Transformations Talk by Philipp Rümmer
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
Davide SangiorgiSangiorgi, Davide University of Bologna; InriaItaly Committee Member in Program Committee for FSEN 2025
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
Cristina SeceleanuSeceleanu, Cristina Mälardalen UniversitySweden Committee Member in Program Committee for FSEN 2025
Alexander SerebrenikSerebrenik, Alexander Eindhoven University of TechnologyNetherlands Keynote Speaker in Keynote Speakers for FSEN 2025 Talk by Alexander Serebrenik
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
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 by Marielle Stoelinga
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 Committee Member in Festschrift Committee within the FSEN Marjan Festschrift-track
Tayssir TouiliTouili, Tayssir CNRS, Paris, France Committee Member in Program Committee for FSEN 2025
Emanuel TrigoTrigo, Emanuel 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