FormaliSE 2026 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (111)

A Kumar AcharjeeAcharjee, Kumar University of York Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
Nazareno AguirreAguirre, Nazareno University of Rio Cuarto/CONICET, Argentina, and Guangdong Technion-Israel Institute of Technology, ChinaArgentina Bounded Synthesis of Synchronized Distributed Models from Lightweight Specifications
Vander AlvesAlves, Vander University of BrasíliaBrazil Committee Member in Program Committee Members within the FormaliSE Research Track-track
Amani AyadAyad, Amani Mount Saint Vincent University Test Data Selection by Failure Coverage
B Souheib BaarirBaarir, Souheib Dowsers/LIP6 Toward an automatic formal verification of Cairo v0 programs (Extended Abstract)
Hamid BagheriBagheri, Hamid University of Nebraska-LincolnUnited States Profile-Guided Constraint Simplification for Symbolic Execution
Haniel BarbosaBarbosa, Haniel Universidade Federal de Minas GeraisBrazil Committee Member in Program Committee Members within the FormaliSE Research Track-track
Manel BarkallahBarkallah, Manel University of Namur Towards Modeling IoT Applications: Specification, Animation and Reasoning in Anemone
Dhruv BaroniaBaronia, Dhruv University of Illinois at Urbana-ChampaignUnited States TensorEgg: Formally Verifying Rewrite Rules and Applying Them to Tensor Programs
Anirudh BasuBasu, Anirudh University of California, DavisUnited States Cargo Sherlock: An SMT-Based Checker for Software Trust Costs
James BaxterBaxter, James Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
Gustavo BetarteBetarte, Gustavo Facultad de Ingeniería, Universidad de la RepúblicaUruguay Committee Member in Program Committee Members within the FormaliSE Research Track-track
Domenico BianculliBianculli, Domenico University of LuxembourgLuxembourg Committee Member in Program Committee Members within the FormaliSE Research Track-track
Christopher BishopBishop, Christopher University of Manchester Model-Driven Assurance for Robotic Controllers: A Subterranean Tunnel Inspection Case Study
Simon BliudzeBliudze, Simon Inria Center at the University of LillleFrance Committee Member in Program Committee Members within the FormaliSE Research Track-track
Andrea BombardaBombarda, Andrea University of BergamoItaly Publicity and Social Media Chair in Social Media Chair within the FormaliSE Research Track-track
Silvia BonfantiBonfanti, Silvia University of BergamoItaly Committee Member in Program Committee Members within the FormaliSE Research Track-track
John BrotherhoodBrotherhood, John University of Manchester Model-Driven Assurance for Robotic Controllers: A Subterranean Tunnel Inspection Case Study
Syed Ali Asadullah BukhariBukhari, Syed Ali Asadullah Maynooth UniversityIreland Verification-Aware Convolution Neural Networks for Speech Recognition: A case study
C Pablo CastroCastro, Pablo Dept. of Computer Science FCEFQyN, University of Rio CuartoArgentina Bounded Synthesis of Synchronized Distributed Models from Lightweight Specifications
Marsha ChechikChechik, Marsha University of TorontoCanada Committee Member in Program Committee Members within the FormaliSE Research Track-track
Sung Woo ChoiChoi, Sung Woo University of Florida Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
Angela CortecchiaCortecchia, Angela Alma Mater Studiorum - Università di BolognaItaly Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
Alcino CunhaCunha, Alcino University of Minho; INESC TECPortugal Committee Member in Program Committee Members within the FormaliSE Research Track-track
D Renzo DegiovanniDegiovanni, Renzo Luxembourg Institute of Science and TechnologyLuxembourg Bounded Synthesis of Synchronized Distributed Models from Lightweight Specifications Committee Member in Program Committee Members within the FormaliSE Research Track-track
Louise DennisDennis, Louise University of Manchester Model-Driven Assurance for Robotic Controllers: A Subterranean Tunnel Inspection Case Study
Davide DominiDomini, Davide Alma Mater Studiorum - Università di BolognaItaly Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
F Federico FormicaFormica, Federico McMaster UniversityCanada Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
Carlo A. FuriaFuria, Carlo A. Università della Svizzera italiana (USI)Switzerland Committee Member in Program Committee Members within the FormaliSE Research Track-track
G Christophe GarionGarion, Christophe ISAE-SUPAEROFrance Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
Marti Morta GarrigaGarriga, Marti Morta University of Manchester Model-Driven Assurance for Robotic Controllers: A Subterranean Tunnel Inspection Case Study
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 KBR; NASA AmesUnited States Fighting AI with AI: Leveraging Foundation Models for Assuring AI-Enabled Safety-Critical Systems
Vincenzo GrassiGrassi, Vincenzo University of Roma "Tor Vergata"Italy Optimisation of Disaster Resource Distribution with Risk Uncertainty Using Fuzzy Theory
H Ernst Moritz HahnHahn, Ernst Moritz University of TwenteNetherlands Committee Member in Program Committee Members within the FormaliSE Research Track-track
Md Rashedul HasanHasan, Md Rashedul University of Nebraska-LincolnUnited States Profile-Guided Constraint Simplification for Symbolic Execution
Muhammad HassnainHassnain, Muhammad University of California, Davis Cargo Sherlock: An SMT-Based Checker for Software Trust Costs
Robert HieronsHierons, Robert The University of SheffieldUnited Kingdom Model-Driven Assurance for Robotic Controllers: A Subterranean Tunnel Inspection Case Study
I Carlos IsasaIsasa, Carlos Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
J Jean-Marie JacquetJacquet, Jean-Marie University of Namur Towards Modeling IoT Applications: Specification, Animation and Reasoning in Anemone
Kenneth JohnsonJohnson, Kenneth Auckland University of TechnologyNew Zealand Optimisation of Disaster Resource Distribution with Risk Uncertainty Using Fuzzy Theory
K Sven KirchnerKirchner, Sven Technical University of Munich Autofy: Automated Synthesis of Formally Verified Code
Alois KnollKnoll, Alois Technical University of Munich Autofy: Automated Synthesis of Formally Verified Code
Akash KothariKothari, Akash University of Illinois at Urbana-ChampaignUnited States TensorEgg: Formally Verifying Rewrite Rules and Applying Them to Tensor Programs
L Livia LestingiLestingi, Livia DEIB, Politecnico di MilanoItaly Committee Member in Program Committee Members within the FormaliSE Research Track-track
Tom LevyLevy, Tom University of Waikato Simple Lambda Lifting: Formalisation in Lean and a new efficient algorithm
Jialong LiLi, Jialong Waseda University, JapanJapan Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
NIANYU LILI, NIANYU ZGC Lab, ChinaChina Committee Member in Program Committee Members within the FormaliSE Research Track-track
Yuntao LiLi, Yuntao University of Florida Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
Carlos Gustavo Lopez PomboLopez Pombo, Carlos Gustavo Universidad Nacional de Rio Negro Committee Member in Program Committee Members within the FormaliSE Research Track-track
Carlos LunaLuna, Carlos Facultad de Ingeniería, Universidad de la RepúblicaUruguay Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
Hugo A. LópezLópez, Hugo A. Technical University of DenmarkDenmark A Compositional Approach to Mapping BPMN to DCR for Cross-Paradigm Process Modeling
M Claudio MandrioliMandrioli, Claudio University of LuxembourgLuxembourg Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
Shahar MaozMaoz, Shahar Tel Aviv UniversityIsrael Committee Member in Program Committee Members within the FormaliSE Research Track-track
Lina MarssoMarsso, Lina École Polytechnique de MontréalCanada Artifact Evaluation Chair in Artifact Evaluation Chairs within the FormaliSE Artifact Track-track
Anastasia MavridouMavridou, Anastasia KBR / NASA Ames Research CenterUnited States Fighting AI with AI: Leveraging Foundation Models for Assuring AI-Enabled Safety-Critical Systems
Alexandra MendesMendes, Alexandra Faculty of Engineering, University of Porto & INESC TECPortugal Committee Member in Program Committee Members within the FormaliSE Research Track-track
Claudio MenghiMenghi, Claudio University of Bergamo; McMaster UniversityItaly PC Chair in Program Committee Chairs within the FormaliSE Research Track-track
Ali MiliMili, Ali NJITUnited States Test Data Selection by Failure Coverage
Raffaela MirandolaMirandola, Raffaela Karlsruhe Institute of Technology (KIT)Germany Optimisation of Disaster Resource Distribution with Risk Uncertainty Using Fuzzy Theory
Mahrokh MiraniMirani, Mahrokh Gran Sasso Science Institute (GSSI) Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
Rosemary MonahanMonahan, Rosemary National University of IrelandIreland Verification-Aware Convolution Neural Networks for Speech Recognition: A case study
Rosemary MonahanMonahan, Rosemary Ireland Committee Member in Program Committee Members within the FormaliSE Research Track-track
Logan MurphyMurphy, Logan University of TorontoCanada Committee Member in Program Committee Members within the FormaliSE Research Track-track
N Nicolas NalponNalpon, Nicolas Dowsers Toward an automatic formal verification of Cairo v0 programs (Extended Abstract)
Seunghyeon NamNam, Seunghyeon Seoul National University Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
Ethan NgNg, Ethan University of California, Davis Cargo Sherlock: An SMT-Based Checker for Software Trust Costs
Quentin NivonNivon, Quentin University Grenoble AlpesFrance Committee Member in Program Committee Members within the FormaliSE Research Track-track
Genaína Nunes RodriguesNunes Rodrigues, Genaína University of BrasíliaBrazil PC Chair in Program Committee Chairs within the FormaliSE Research Track-track
P Angeliki PantioraPantiora, Angeliki University of Athens Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
Barak A. PearlmutterPearlmutter, Barak A. National University of Ireland Verification-Aware Convolution Neural Networks for Speech Recognition: A case study
Nico PellegrinelliPellegrinelli, Nico University of Bergamo Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
Diego Perez-PalacinPerez-Palacin, Diego Linnaeus University Optimisation of Disaster Resource Distribution with Risk Uncertainty Using Fuzzy Theory Committee Member in Program Committee Members within the FormaliSE Research Track-track
Luigia PetrePetre, Luigia Åbo Akademi UniversityFinland Committee Member in Program Committee Members within the FormaliSE Research Track-track
Hugo DE SA PEREIRA PINTOPINTO, Hugo DE SA PEREIRA Dowsers Toward an automatic formal verification of Cairo v0 programs (Extended Abstract)
Nico PlatPlat, Nico Netherlands General Co-Chair in Organization Committee within the FormaliSE Research Track-track
Nawshin Mannan PromaProma, Nawshin Mannan University of York Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
Nils PurschkePurschke, Nils Technical University of Munich Autofy: Automated Synthesis of Formally Verified Code
Luciano PutruelePutruele, Luciano National University of Rio Cuarto Bounded Synthesis of Synchronized Distributed Models from Lightweight Specifications
Corina S. PăsăreanuPăsăreanu, Corina S. Carnegie Mellon University; NASA AmesUnited States Fighting AI with AI: Leveraging Foundation Models for Assuring AI-Enabled Safety-Critical Systems
R Yasmeen RafiqRafiq, Yasmeen University of Manchester Model-Driven Assurance for Robotic Controllers: A Subterranean Tunnel Inspection Case Study
Franco RaimondiRaimondi, Franco Gran Sasso Science Institute (GSSI)Italy Committee Member in Program Committee Members within the FormaliSE Research Track-track
Sanjai RayadurgamRayadurgam, Sanjai University of MinnesotaUnited States Committee Member in Program Committee Members within the FormaliSE Research Track-track
Steve ReevesReeves, Steve University of WaikatoNew Zealand Simple Lambda Lifting: Formalisation in Lean and a new efficient algorithm
Pedro RibeiroRibeiro, Pedro University of York, UKUnited Kingdom Artifact Evaluation Chair in Artifact Evaluation Chairs within the FormaliSE Artifact Track-track
Camilo RochaRocha, Camilo Pontificia Universidad JaverianaColombia Committee Member in Program Committee Members within the FormaliSE Research Track-track
S André SchamschurkoSchamschurko, André Technical University of Munich Autofy: Automated Synthesis of Formally Verified Code
Emil SekerinskiSekerinski, Emil McMaster University, CanadaCanada Spectabular: Interactive Tabular Requirements Specifications (Research Ideas Paper) Committee Member in Program Committee Members within the FormaliSE Research Track-track
Roxana ShajarianShajarian, Roxana University of Nebraska-Lincoln Profile-Guided Constraint Simplification for Symbolic Execution
Ilia ShevrinShevrin, Ilia Tel Aviv University Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
Álvaro F. SilvaSilva, Álvaro F. Independent Researcher Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
Himanshu Kumar SinghSingh, Himanshu Kumar Siemens AG From Cognition to Coordination: Modeling Agentic Autonomy in Large-Scale Multi-Agent Systems
Paola SpoletiniSpoletini, Paola Kennesaw State UniversityUnited States Committee Member in Program Committee Members within the FormaliSE Research Track-track
Caleb StanfordStanford, Caleb University of California, DavisUnited States Cargo Sherlock: An SMT-Based Checker for Software Trust Costs
Allison SullivanSullivan, Allison University of Texas at ArlingtonUnited States Committee Member in Program Committee Members within the FormaliSE Research Track-track
T Leopoldo TeixeiraTeixeira, Leopoldo Federal University of PernambucoBrazil Committee Member in Program Committee Members within the FormaliSE Research Track-track
Maurice ter Beekter Beek, Maurice CNR-ISTI Pisa, ItalyItaly Committee Member in Program Committee Members within the FormaliSE Research Track-track
Samuel ThomasThomas, Samuel The University of Texas at Austin, Texas, USA Domain-Guided Quantifier Instantiation with Yardbird
Minu TiwariTiwari, Minu Siemens AG From Cognition to Coordination: Modeling Agentic Autonomy in Large-Scale Multi-Agent Systems
Christos TsigkanosTsigkanos, Christos University of Athens, GreeceGreece Committee Member in Program Committee Members within the FormaliSE Research Track-track
V Cole VickVick, Cole University of Texas at Austin Domain-Guided Quantifier Instantiation with Yardbird
W Haoyu WangWang, Haoyu Singapore Management University Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
Simon WatsonWatson, Simon University of Manchester Model-Driven Assurance for Robotic Controllers: A Subterranean Tunnel Inspection Case Study
Frederic WheelerWheeler, Frederic University of Manchester Model-Driven Assurance for Robotic Controllers: A Subterranean Tunnel Inspection Case Study
Chengdong WuWu, Chengdong Technical University of Munich Autofy: Automated Synthesis of Formally Verified Code
X Lisong XuXu, Lisong University of Nebraska-Lincoln, USA Profile-Guided Constraint Simplification for Symbolic Execution
Y Drishti YadavYadav, Drishti University of Luxembourg, LuxembourgLuxembourg Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
Z HUAN ZHANGZHANG, HUAN Maynooth university VeriROS: Verifiable ROS2 Navigation Execution Framework
Zhenya ZhangZhang, Zhenya Kyushu UniversityJapan Committee Member in Program Committee Members within the FormaliSE Research Track-track
Yue ZhouZhou, Yue A Compositional Approach to Mapping BPMN to DCR for Cross-Paradigm Process Modeling
Ahang ZuoZuo, Ahang Univ. de Pau et des Pays de l’Adour BPMN-T: A Timed–Probabilistic Extension of BPMN with Formal Semantics