FormaliSE 2025 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (99)

A Bernhard AichernigAichernig, Bernhard Graz University of TechnologyAustria Committee Member in Program Committee within the FormaliSE Research Track-track
Yamine Ait AmeurAit Ameur, Yamine IRIT/INPT-ENSEEIHTFrance A proof-based ground algebraic meta-model for reasoning on ASTD in Event-B
Toshiaki AokiAoki, Toshiaki JAISTJapan Modeling Language for Scenario Development of Autonomous Driving Systems Committee Member in Program Committee within the FormaliSE Research Track-track
Marcelo ArroyoArroyo, Marcelo Committee Member in Artifact Evaluation Committee within the FormaliSE Artifact Track-track
B Kyungmin BaeBae, Kyungmin POSTECHSouth Korea Committee Member in Program Committee within the FormaliSE Research Track-track
Levente BajcziBajczi, Levente Budapest University of Technology and EconomicsHungary Committee Member in Artifact Evaluation Committee within the FormaliSE Artifact Track-track
Domenico BianculliBianculli, Domenico University of LuxembourgLuxembourg Committee Member in Program Committee within the FormaliSE Research Track-track
Simon BliudzeBliudze, Simon Inria Center at the University of LillleFrance Committee Member in Program Committee within the FormaliSE Research Track-track
Giovanna BrocciaBroccia, Giovanna ISTI-CNR, FMT LabItaly Committee Member in Program Committee within the FormaliSE Research Track-track
Roman BögliBögli, Roman University of BernSwitzerland Temporal Logics Meet Real-World Software Requirements: A Reality Check
C Radu CalinescuCalinescu, Radu University of York, UKUnited Kingdom Committee Member in Program Committee within the FormaliSE Research Track-track
Gustavo CarvalhoCarvalho, Gustavo Universidade Federal de PernambucoBrazil Committee Member in Artifact Evaluation Committee within the FormaliSE Artifact Track-track
Pablo CastroCastro, Pablo Dept. of Computer Science FCEFQyN, University of Rio CuartoArgentina Committee Member in Program Committee within the FormaliSE Research Track-track
Christophe ChenChen, Christophe INPT-ENSEEIHT/IRIT A proof-based ground algebraic meta-model for reasoning on ASTD in Event-B
Zhenbang ChenChen, Zhenbang College of Computer, National University of Defense TechnologyChina Committee Member in Program Committee within the FormaliSE Research Track-track
Ruotong ChengCheng, Ruotong University of TorontoCanada Committee Member in Artifact Evaluation Committee within the FormaliSE Artifact Track-track
Xiao ChengCheng, Xiao UNSWAustralia Committee Member in Artifact Evaluation Committee within the FormaliSE Artifact Track-track
Nobuo ChidaChida, Nobuo Mitsubishi Electric Corporation Modeling Language for Scenario Development of Autonomous Driving Systems
Sung Woo ChoiChoi, Sung Woo Committee Member in Artifact Evaluation Committee within the FormaliSE Artifact Track-track
Pedro Ákos CostaCosta, Pedro Ákos NOVA LINCS & DI-FCT-UNL Specifying Distributed Hash Tables with Allen Temporal Logic
Alcino CunhaCunha, Alcino University of Minho; INESC TECPortugal Specifying Distributed Hash Tables with Allen Temporal Logic Verifying Multiple TLA+ Configurations with Blast
D Nancy DayDay, Nancy University of Waterloo, CanadaCanada Committee Member in Program Committee within the FormaliSE Research Track-track
Alastair F. DonaldsonDonaldson, Alastair F. Imperial College LondonUnited Kingdom The Burden of Proof: Automated Tooling for Rapid Iteration on Large Mechanised Proofs
Guillaume DupontDupont, Guillaume INPT–ENSEEIHTFrance A proof-based ground algebraic meta-model for reasoning on ASTD in Event-B
Francisco DuránDurán, Francisco University of Málaga, SpainSpain Committee Member in Program Committee within the FormaliSE Research Track-track
E Khashayar EtemadiEtemadi, Khashayar KTH Royal Institute of Technology VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models
F Marie FarrellFarrell, Marie The University of ManchesterUnited Kingdom Committee Member in Program Committee within the FormaliSE Research Track-track
José Fragoso SantosFragoso Santos, José INESC-ID/Instituto Superior Técnico, Portugal Specifying Distributed Hash Tables with Allen Temporal Logic
Marc FrappierFrappier, Marc Université de Sherbrooke, Canada A proof-based ground algebraic meta-model for reasoning on ASTD in Event-B
Carlo A. FuriaFuria, Carlo A. Università della Svizzera italiana (USI)Switzerland Committee Member in Program Committee within the FormaliSE Research Track-track
G Christophe GarionGarion, Christophe ISAE-SUPAEROFrance Committee Member in Artifact Evaluation Committee within the FormaliSE Artifact Track-track
Fatemeh GhassemiGhassemi, Fatemeh University of TehranIran Committee Member in Program Committee within the FormaliSE Research Track-track
Stefania GnesiGnesi, Stefania Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" Italy General Co-Chair in Organization Committee within the FormaliSE Research Track-track
Divya GopinathGopinath, Divya NASA Ames (KBR Inc.) Committee Member in Program Committee within the FormaliSE Research Track-track
Vincenzo GrassiGrassi, Vincenzo University of Roma "Tor Vergata"Italy Embracing Uncertainty: A Fuzzy Theoretical Model for Goal Fulfillment Assessment
Yann-Gaël GuéhéneucGuéhéneuc, Yann-Gaël Concordia University and Polytechnique MontréalCanada Committee Member in Program Committee within the FormaliSE Research Track-track
H Ákos HajduHajdu, Ákos MetaUnited Kingdom Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the FormaliSE Artifact Track-track
Paula HerberHerber, Paula University of Munster, GermanyGermany Committee Member in Program Committee within the FormaliSE Research Track-track
Marieke HuismanHuisman, Marieke University of TwenteNetherlands Committee Member in Program Committee within the FormaliSE Research Track-track
I Fuyuki IshikawaIshikawa, Fuyuki National Institute of InformaticsJapan Committee Member in Program Committee within the FormaliSE Research Track-track
J JaehunLee JaehunLee Pohang University of Science and TechnologySouth Korea Committee Member in Artifact Evaluation Committee within the FormaliSE Artifact Track-track
Xiaoqing JinJin, Xiaoqing AppleUnited States Committee Member in Program Committee within the FormaliSE Research Track-track
Kenneth JohnsonJohnson, Kenneth Auckland University of TechnologyNew Zealand Probabilistic Model Checking of Disaster Resource Distribution Strategies
Taylor T JohnsonJohnson, Taylor T Vanderbilt UniversityUnited States Robustness Verification of Video Classification Neural Networks
Ana JovanovicJovanovic, Ana The University of Texas at Arlington Refining Alloy-Based Mutation Operators to Reflect Common Mistakes
K Andreas KatisKatis, Andreas KBR / NASA Ames Research Center Committee Member in Artifact Evaluation Committee within the FormaliSE Artifact Track-track
Tatsuji KawaiKawai, Tatsuji Kochi University Modeling Language for Scenario Development of Autonomous Driving Systems
Daisuke KawakamiKawakami, Daisuke Mitsubishi Electric Corporation Modeling Language for Scenario Development of Autonomous Driving Systems
Timo KehrerKehrer, Timo University of BernSwitzerland Temporal Logics Meet Real-World Software Requirements: A Reality Check
Daragh KingKing, Daragh Trinity College Dublin LLM-based Generation of Weakest Preconditions and Precise Array Invariants
Oleksandr KolchynKolchyn, Oleksandr Glushkov Institute of CyberneticsUkraine Committee Member in Program Committee within the FormaliSE Research Track-track
Vasileios KoutavasKoutavas, Vasileios Trinity College DublinIreland LLM-based Generation of Weakest Preconditions and Precise Array Invariants
Laura KovácsKovács, Laura TU WienAustria LLM-based Generation of Weakest Preconditions and Precise Array Invariants
Meena KumariKumari, Meena Auckland University of Technology Probabilistic Model Checking of Disaster Resource Distribution Strategies
L João LeitãoLeitão, João NOVA LINCS & FCT, NOVA University of LisbonPortugal Specifying Distributed Hash Tables with Allen Temporal Logic
Antónia LopesLopes, Antónia University of LisbonPortugal Committee Member in Program Committee within the FormaliSE Research Track-track
M Claudio MandrioliMandrioli, Claudio University of LuxembourgLuxembourg Committee Member in Artifact Evaluation Committee within the FormaliSE Artifact Track-track
Diego Manzanas LopezManzanas Lopez, Diego Vanderbilt University Robustness Verification of Video Classification Neural Networks
Lina MarssoMarsso, Lina University of TorontoCanada Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the FormaliSE Artifact Track-track
Anastasia MavridouMavridou, Anastasia KBR / NASA Ames Research CenterUnited States PC Co-Chair in Program Committee within the FormaliSE Research Track-track
Larissa A. MeinickeMeinicke, Larissa A. Committee Member in Program Committee within the FormaliSE Research Track-track
Raffaela MirandolaMirandola, Raffaela Karlsruhe Institute of Technology (KIT)Germany Embracing Uncertainty: A Fuzzy Theoretical Model for Goal Fulfillment Assessment
Jonathan Julian Huerta y MuniveMunive, Jonathan Julian Huerta y Czech Technical University The Burden of Proof: Automated Tooling for Rapid Iteration on Large Mechanised Proofs
N Quentin NivonNivon, Quentin University Grenoble AlpesFrance Web Chair in Organization Committee within the FormaliSE Research Track-track
Mohammad Nurullah PatwaryNurullah Patwary, Mohammad The University of Texas at Arlington Refining Alloy-Based Mutation Operators to Reflect Common Mistakes
Mattias NybergNyberg, Mattias Scania CV, AB & KTH Royal Institute of Technology VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models
P Corina S. PasareanuPasareanu, Corina S. Carnegie Mellon University Silicon Valley, NASA Ames Research Center Adversarial Perturbations and Self-Defenses for Large Language Models on Coding Task
Sébastien PattePatte, Sébastien Université Paris-Saclay, CEA, List Typestates Specification and Verification in Frama-C
Diego Perez-PalacinPerez-Palacin, Diego Linnaeus University Embracing Uncertainty: A Fuzzy Theoretical Model for Goal Fulfillment Assessment
Nico PlatPlat, Nico Netherlands General Co-Chair in Organization Committee within the FormaliSE Research Track-track
Nuno PolicarpoPolicarpo, Nuno Instituto Superior Técnico, University of Lisbon Specifying Distributed Hash Tables with Allen Temporal Logic
Virgile PrevostoPrevosto, Virgile Université Paris-Saclay, CEA, ListFrance Typestates Specification and Verification in Frama-C
Violet Ka I PunPun, Violet Ka I Western Norway University of Applied SciencesNorway Committee Member in Program Committee within the FormaliSE Research Track-track
R Sanjai RayadurgamRayadurgam, Sanjai University of MinnesotaUnited States CPS Falsification using Autoencoded Input Models
Pedro RibeiroRibeiro, Pedro University of York, UKUnited Kingdom Committee Member in Artifact Evaluation Committee within the FormaliSE Artifact Track-track
Peter RivièreRivière, Peter INPT-ENSEEIHT / IRIT, University of Toulouse, FranceFrance A proof-based ground algebraic meta-model for reasoning on ASTD in Event-B
Preston K. RobinetteRobinette, Preston K. Vanderbilt University Robustness Verification of Video Classification Neural Networks
Camilo RochaRocha, Camilo Pontificia Universidad JaverianaColombia Committee Member in Program Committee within the FormaliSE Research Track-track
Atefeh RohaniRohani, Atefeh University of Bern Temporal Logics Meet Real-World Software Requirements: A Reality Check
S Gwen SalaünSalaün, Gwen University of Grenoble AlpesFrance PC Co-Chair in Program Committee within the FormaliSE Research Track-track
Samuel SasakiSasaki, Samuel Vanderbilt University Robustness Verification of Video Classification Neural Networks
Cristina SeceleanuSeceleanu, Cristina Mälardalen UniversitySweden Committee Member in Program Committee within the FormaliSE Research Track-track
Merlijn SevenhuijsenSevenhuijsen, Merlijn Scania CV, AB & KTH Royal Institute of Technology VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models
Arpit SharmaSharma, Arpit Indian Institute of Science Education and Research Bhopal India Committee Member in Program Committee within the FormaliSE Research Track-track
Neeraj Kumar SinghSingh, Neeraj Kumar INPT-ENSEEIHT/IRIT A proof-based ground algebraic meta-model for reasoning on ASTD in Event-B
Paul SomsonSomson, Paul INESC TEC Verifying Multiple TLA+ Configurations with Blast
Thomas StuderStuder, Thomas University of Bern Temporal Logics Meet Real-World Software Requirements: A Reality Check
Allison SullivanSullivan, Allison University of Texas at ArlingtonUnited States Refining Alloy-Based Mutation Operators to Reflect Common Mistakes
Allison SullivanSullivan, Allison The University of Texas at Arlington Committee Member in Program Committee within the FormaliSE Research Track-track
T Chengsong TanTan, Chengsong Imperial College London, KaihongChina The Burden of Proof: Automated Tooling for Rapid Iteration on Large Mechanised Proofs
Nicola ThobenThoben, Nicola University of Oldenburg Detecting Redundant Preconditions Committee Member in Artifact Evaluation Committee within the FormaliSE Artifact Track-track
Takashi TomitaTomita, Takashi JAISTJapan Modeling Language for Scenario Development of Autonomous Driving Systems
Christos TsigkanosTsigkanos, Christos University of Athens, GreeceGreece Temporal Logics Meet Real-World Software Requirements: A Reality Check
V Benjamin von Bergvon Berg, Benjamin Graz University of TechnologyAustria Committee Member in Artifact Evaluation Committee within the FormaliSE Artifact Track-track
W Heike WehrheimWehrheim, Heike Carl von Ossietzky Universität Oldenburg / University of OldenburgGermany Detecting Redundant Preconditions Committee Member in Program Committee within the FormaliSE Research Track-track
John WickersonWickerson, John Imperial College LondonUnited Kingdom The Burden of Proof: Automated Tooling for Rapid Iteration on Large Mechanised Proofs
Y Pingshi YuYu, Pingshi Imperial College London Committee Member in Artifact Evaluation Committee within the FormaliSE Artifact Track-track
Z Youssef ZaharZahar, Youssef University of MinnesotaUnited States CPS Falsification using Autoencoded Input Models
Á Zsófia ÁdámÁdám, Zsófia Budapest University of Technology and EconomicsHungary Committee Member in Artifact Evaluation Committee within the FormaliSE Artifact Track-track