FormaliSE 2024 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (108)

A Mathieu AcherAcher, Mathieu University of Rennes, France / Inria, France / CNRS, France / IRISA, FranceFrance Preprocessing is What You Need: Understanding and Predicting the Complexity of SAT-based Uniform Random Sampling
Sharar AhmadiAhmadi, Sharar Committee Member in Artifact Evaluation Committee within the FormaliSE-track
Wolfgang AhrendtAhrendt, Wolfgang Chalmers University of TechnologySweden Committee Member in Program Committee within the FormaliSE-track
Bernhard AichernigAichernig, Bernhard Graz University of TechnologyAustria Committee Member in Program Committee within the FormaliSE-track
Raniah AlghamdiAlghamdi, Raniah University of Waterloo and King Abdulaziz University Compositional Analysis of Parametric Cooperative Cyber-Physical Systems
Toshiaki AokiAoki, Toshiaki JAISTJapan Committee Member in Program Committee within the FormaliSE-track
Jesus ArandaAranda, Jesus Universidad del ValleColombia Time for Networks: Mutation Testing for Timed Automata Networks
Jaime AriasArias, Jaime CNRS; LIPN; Université Sorbonne Paris NordFrance Committee Member in Artifact Evaluation Committee within the FormaliSE-track
Cyrille ArthoArtho, Cyrille KTH Royal Institute of Technology, Sweden Committee Member in Program Committee within the FormaliSE-track
Shaun AzzopardiAzzopardi, Shaun University of MaltaMalta Committee Member in Artifact Evaluation Committee within the FormaliSE-track
B Joshua BachmeierBachmeier, Joshua FZI Forschungszentrum Informatik Contract Automata: A Specification Language for Mode-Based Systems
Kyungmin BaeBae, Kyungmin POSTECHSouth Korea Committee Member in Program Committee within the FormaliSE-track
Levente BajcziBajczi, Levente Budapest University of Technology and EconomicsHungary Committee Member in Artifact Evaluation Committee within the FormaliSE-track
Boutheina BannourBannour, Boutheina Université Paris-Saclay, CEA, List Finite Automata synthesis from Interactions
Davide BasileBasile, Davide Formal Methods and Tools lab, ISTI-CNR, Pisa, ItalyItaly Time for Networks: Mutation Testing for Timed Automata Networks
Bernhard BeckertBeckert, Bernhard Karlsruhe Institute of Technology Contract Automata: A Specification Language for Mode-Based Systems
Domenico BianculliBianculli, Domenico University of LuxembourgLuxembourg Session Chair of Automata and applications (part of FormaliSE) Diagnosing Violations of Time-based Properties Captured in iCFTL Committee Member in Program Committee within the FormaliSE-track
Simon BliudzeBliudze, Simon INRIA Lillle - Nord EuropeFrance Committee Member in Program Committee within the FormaliSE-track
Giovanna BrocciaBroccia, Giovanna ISTI-CNR, FMT LabItaly Committee Member in Program Committee within the FormaliSE-track
Achim D. BruckerBrucker, Achim D. University of Exeter Formally Verified Interval Arithmetic and Its Application to Program Verification
Laura BussiBussi, Laura University of Pisa Committee Member in Artifact Evaluation Committee within the FormaliSE-track
C Cristian CadarCadar, Cristian Imperial College LondonUnited Kingdom Session Chair of Formal methods for cyber-physical systems and requirements engineering (part of FormaliSE) FormalISE: Reflections on Formal and Informal Methods in Software Engineering
Radu CalinescuCalinescu, Radu University of York, UKUnited Kingdom Committee Member in Program Committee within the FormaliSE-track
Teddy Cameron-BurkeCameron-Burke, Teddy University of Exeter Formally Verified Interval Arithmetic and Its Application to Program Verification
Paulo CanelasCanelas, Paulo Carnegie Mellon UniversityPortugal Web and Publicity chair in Organization Committee within the FormaliSE-track
Gustavo CarvalhoCarvalho, Gustavo Universidade Federal de PernambucoBrazil Committee Member in Artifact Evaluation Committee within the FormaliSE-track
Pablo CastroCastro, Pablo Dept. of Computer Science FCEFQyN, University of Rio CuartoArgentina Committee Member in Program Committee within the FormaliSE-track
Ana CavalcantiCavalcanti, Ana University of YorkUnited Kingdom Committee Member in Program Committee within the FormaliSE-track
Xiao ChengCheng, Xiao UNSWAustralia Committee Member in Artifact Evaluation Committee within the FormaliSE-track
Maxime CordyCordy, Maxime University of Luxembourg, Luxembourg Preprocessing is What You Need: Understanding and Predicting the Complexity of SAT-based Uniform Random Sampling
David CortésCortés, David Universidad del ValleColombia Time for Networks: Mutation Testing for Timed Automata Networks
D Joshua Heneage DawesDawes, Joshua Heneage University of Luxembourg Diagnosing Violations of Time-based Properties Captured in iCFTL
Claire DrossDross, Claire AdaCoreFrance Session Chair of Theorem proving and applications (part of FormaliSE) Two-way collaboration between flow and proof in SPARKBA
Michael DurlingDurling, Michael GE Research Formal Methods in Requirements Engineering: Survey and Future Directions
F João F. FerreiraF. Ferreira, João INESC-ID and IST, University of LisbonPortugal Session Chair of Timed behavior specification and verification (part of FormaliSE) Leveraging Large Language Models to Boost Dafny’s Developers Productivity Committee Member in Program Committee within the FormaliSE-track
Irman FaqrizalFaqrizal, Irman Univ. Grenoble Alpes, CNRS, Grenoble INP, Inria, LIG, Grenoble, France Automated Repair of Violated Eventually Properties in Concurrent Programs
Antonio FilieriFilieri, Antonio AWS and Imperial College LondonUnited States Committee Member in Program Committee within the FormaliSE-track
Carlo A. FuriaFuria, Carlo A. Università della Svizzera italiana (USI)Switzerland Session Chair of Keynote (part of FormaliSE) PC Chair in Program Committee within the FormaliSE-track
G Christophe GarionGarion, Christophe ISAE-SUPAEROFrance Committee Member in Artifact Evaluation Committee within the FormaliSE-track
Christophe GastonGaston, Christophe Université Paris-Saclay, CEA, List Finite Automata synthesis from Interactions
Louis GauthierGauthier, Louis Université Paris-Saclay, CEA, List A Semantics of Structures, Unions, and Underspecified Terms for Formal Specification
Sabine GlesnerGlesner, Sabine Technische Universität BerlinGermany Verifying Opacity of Discrete-Timed Automata
Stefania GnesiGnesi, Stefania Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" Italy Session Chair of Machine learning and formal methods (part of FormaliSE) General Chair in Organization Committee within the FormaliSE-track
Amit GoelGoel, Amit AWSUnited States Committee Member in Program Committee within the FormaliSE-track
H Paula HerberHerber, Paula University of Munster, GermanyGermany Committee Member in Program Committee within the FormaliSE-track
Marieke HuismanHuisman, Marieke University of TwenteNetherlands Committee Member in Program Committee within the FormaliSE-track
J Marie-Christine JakobsJakobs, Marie-Christine LMU Munich, GermanyGermany Committee Member in Program Committee within the FormaliSE-track
Taylor T JohnsonJohnson, Taylor T Vanderbilt UniversityUnited States Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets
K Bishoksan KafleKafle, Bishoksan The university of MelbourneAustralia Committee Member in Artifact Evaluation Committee within the FormaliSE-track
Eunsuk KangKang, Eunsuk Carnegie Mellon UniversityUnited States Committee Member in Program Committee within the FormaliSE-track
Andreas KatisKatis, Andreas KBR / NASA Ames Research Center Committee Member in Artifact Evaluation Committee within the FormaliSE-track
Julian KleinKlein, Julian Technische Universität Berlin Verifying Opacity of Discrete-Timed Automata
Paul KogelKogel, Paul Technische Universität Berlin Verifying Opacity of Discrete-Timed Automata
Oleksandr KolchynKolchyn, Oleksandr Glushkov Institute of CyberneticsUkraine Committee Member in Program Committee within the FormaliSE-track
L Arnault LapitreLapitre, Arnault Université Paris-Saclay, CEA, List Finite Automata synthesis from Interactions
Pascale Le GallLe Gall, Pascale CentraleSupelecFrance Finite Automata synthesis from Interactions
Kevin LeachLeach, Kevin Vanderbilt UniversityUnited States Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets
Livia LestingiLestingi, Livia DEIB, Politecnico di MilanoItaly Towards Verifiable Multi-Agent Interaction Pattern Specification Committee Member in Artifact Evaluation Committee within the FormaliSE-track
Antónia LopesLopes, Antónia University of LisbonPortugal Session Chair of Opening and Keynote (part of FormaliSE) PC Chair in Program Committee within the FormaliSE-track
Robert LorchLorch, Robert GE Research Formal Methods in Requirements Engineering: Survey and Future Directions
M Erwan MaheMahe, Erwan Université Paris-Saclay, CEA, List Finite Automata synthesis from Interactions
Diego Manzanas LopezManzanas Lopez, Diego Vanderbilt University Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets
Anastasia MavridouMavridou, Anastasia KBR / NASA Ames Research Center Committee Member in Program Committee within the FormaliSE-track
Craig McMillanMcMillan, Craig GE Aerospace Formal Methods in Requirements Engineering: Survey and Future Directions
Larissa A. MeinickeMeinicke, Larissa A. Committee Member in Program Committee within the FormaliSE-track
Alexandra MendesMendes, Alexandra University of Porto and HASLab, INESC TECPortugal Leveraging Large Language Models to Boost Dafny’s Developers Productivity
Baoluo MengMeng, Baoluo GE Research Formal Methods in Requirements Engineering: Survey and Future Directions
Abha MoitraMoitra, Abha General Electric ResearchUnited States Formal Methods in Requirements Engineering: Survey and Future Directions
Robert MüllerMüller, Robert University of SiegenGermany Committee Member in Artifact Evaluation Committee within the FormaliSE-track
N Quentin NivonNivon, Quentin Univ. Grenoble Alpes, CNRS, Grenoble INP, Inria, LIG, Grenoble, France Automated Repair of Violated Eventually Properties in Concurrent Programs
O James OrtizOrtiz, James Université de NamurBelgium Time for Networks: Mutation Testing for Timed Automata Networks
P Raúl PardoPardo, Raúl IT University of CopenhagenDenmark Artifact Evaluation Chair in Organization Committee within the FormaliSE-track
Saswata PaulPaul, Saswata GE Research Formal Methods in Requirements Engineering: Survey and Future Directions
Gilles PerrouinPerrouin, Gilles Fonds de la Recherche Scientifique - FNRS & University of NamurBelgium Preprocessing is What You Need: Understanding and Predicting the Complexity of SAT-based Uniform Random Sampling Time for Networks: Mutation Testing for Timed Automata Networks
Danilo PianiniPianini, Danilo University of BolognaItaly Committee Member in Artifact Evaluation Committee within the FormaliSE-track
Nico PlatPlat, Nico University of Twente, The NetherlandsNetherlands General Chair in Organization Committee within the FormaliSE-track
Chris PoskittPoskitt, Chris Singapore Management UniversitySingapore Committee Member in Program Committee within the FormaliSE-track
Virgile PrevostoPrevosto, Virgile Université Paris-Saclay, CEA, ListFrance A Semantics of Structures, Unions, and Underspecified Terms for Formal Specification Committee Member in Program Committee within the FormaliSE-track
Violet Ka I PunPun, Violet Ka I Western Norway University of Applied Sciences Committee Member in Program Committee within the FormaliSE-track
R Pedro RibeiroRibeiro, Pedro University of York, UKUnited Kingdom Committee Member in Artifact Evaluation Committee within the FormaliSE-track
Cedric RichterRichter, Cedric University of OldenburgGermany Committee Member in Artifact Evaluation Committee within the FormaliSE-track
Preston K. RobinetteRobinette, Preston K. Vanderbilt University Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets
Virgile RoblesRobles, Virgile CEA List, Software Reliability and Security LabFrance Committee Member in Artifact Evaluation Committee within the FormaliSE-track
Matteo RossiRossi, Matteo Politecnico di MilanoItaly Towards Verifiable Multi-Agent Interaction Pattern Specification Committee Member in Program Committee within the FormaliSE-track
S Gwen SalaünSalaün, Gwen University of Grenoble AlpesFrance Automated Repair of Violated Eventually Properties in Concurrent Programs
Ina SchaeferSchaefer, Ina KITGermany Committee Member in Program Committee within the FormaliSE-track
Pierre Yves SchobbensSchobbens, Pierre Yves Université de NamurBelgium Time for Networks: Mutation Testing for Timed Automata Networks
Cristina SeceleanuSeceleanu, Cristina Mälardalen UniversitySweden Committee Member in Program Committee within the FormaliSE-track
Serena SerbinowskaSerbinowska, Serena Vanderbilt University Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets
Arnab SharmaSharma, Arnab University of PaderbornGermany Committee Member in Artifact Evaluation Committee within the FormaliSE-track
Julien SignolesSignoles, Julien Université Paris-Saclay, CEA, ListFrance A Semantics of Structures, Unions, and Underspecified Terms for Formal Specification
Álvaro F. SilvaSilva, Álvaro F. Independent Researcher Leveraging Large Language Models to Boost Dafny’s Developers Productivity
Kit SiuSiu, Kit GE Research Formal Methods in Requirements Engineering: Survey and Future Directions
Amy StellStell, Amy University of Exeter Formally Verified Interval Arithmetic and Its Application to Program Verification
Cristina StratanStratan, Cristina University of Luxembourg Diagnosing Violations of Time-based Properties Captured in iCFTL
Allison SullivanSullivan, Allison University of Texas at ArlingtonUnited States Committee Member in Program Committee within the FormaliSE-track
T Alberto TagliaferroTagliaferro, Alberto Politecnico di Milano, ItalyItaly Towards Verifiable Multi-Agent Interaction Pattern Specification
Martin TapplerTappler, Martin TU Graz; Silicon Austria LabsAustria Committee Member in Artifact Evaluation Committee within the FormaliSE-track
Abhishek TiwariTiwari, Abhishek Software Institute - USI, Lugano, SwitzerlandSwitzerland Web and Publicity chair in Organization Committee within the FormaliSE-track
Hoang-Dung TranTran, Hoang-Dung University of Nebraska-Lincoln Committee Member in Artifact Evaluation Committee within the FormaliSE-track
Richard TreflerTrefler, Richard University of Waterloo Compositional Analysis of Parametric Cooperative Cyber-Physical Systems
U Mattias UlbrichUlbrich, Mattias Karlsruhe Institute of TechnologyGermany Contract Automata: A Specification Language for Mode-Based Systems
V Tom van Dijkvan Dijk, Tom University of TwenteNetherlands Artifact Evaluation Chair in Organization Committee within the FormaliSE-track
Sarat Chandra VaranasiVaranasi, Sarat Chandra GE Research Formal Methods in Requirements Engineering: Survey and Future Directions
W Heike WehrheimWehrheim, Heike Carl von Ossietzky Universität Oldenburg / University of OldenburgGermany Committee Member in Program Committee within the FormaliSE-track
Alexander WeiglWeigl, Alexander Karlsruhe Institute for TechnologyGermany Contract Automata: A Specification Language for Mode-Based Systems
Kirsten WinterWinter, Kirsten The University of Queensland Committee Member in Program Committee within the FormaliSE-track
Z Olivier ZeyenZeyen, Olivier University of Luxembourg, SnT Preprocessing is What You Need: Understanding and Predicting the Complexity of SAT-based Uniform Random Sampling