FormaliSE 2023 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (101)

A Sharar AhmadiAhmadi, Sharar Artifact Evaluation Committee Member in Artifact Evaluation Committee within the FormaliSE-track
Toshiaki AokiAoki, Toshiaki JAISTJapan Committee Member in Program Committee within the FormaliSE-track
Jaime AriasArias, Jaime CNRS; LIPN; Université Sorbonne Paris NordFrance Artifact Evaluation Committee Member in Artifact Evaluation Committee within the FormaliSE-track
Ebru Aydin GolAydin Gol, Ebru Middle East Technical UniversityTurkey Committee Member in Program Committee within the FormaliSE-track
B Kyungmin BaeBae, Kyungmin POSTECHSouth Korea Committee Member in Program Committee within the FormaliSE-track
Hamid BagheriBagheri, Hamid University of Nebraska-LincolnUnited States An Empirical Study Assessing Software Modeling in Alloy
Levente BajcziBajczi, Levente Budapest University of Technology and EconomicsHungary Artifact Evaluation Committee Member in Artifact Evaluation Committee within the FormaliSE-track
Lucas BangBang, Lucas Harvey Mudd CollegeUnited States Formalizing Symbolic Execution Path Explosion for Recursive Functions via Asymptotic Path Complexity
Davide BasileBasile, Davide Formal Methods and Tools lab, ISTI-CNR, Pisa, ItalyItaly Mutant Equivalence as Monotonicity in Parametric Timed Games
Marcello BersaniBersani, Marcello Politecnico di Milano, Italy Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning
Domenico BianculliBianculli, Domenico University of LuxembourgLuxembourg Session Chair of Concurrency (part of FormaliSE)
Simon BliudzeBliudze, Simon INRIA Lillle - Nord EuropeFrance Committee Member in Program Committee within the FormaliSE-track
Giovanna BrocciaBroccia, Giovanna ISTI-CNR, FMT LabItaly Web and Publicity chair in Organization Committee within the FormaliSE-track
Laura BussiBussi, Laura University of Pisa Artifact Evaluation Committee Member in Artifact Evaluation Committee within the FormaliSE-track
C Cristian CadarCadar, Cristian Imperial College London, UKUnited Kingdom Session Chair of Testing (part of FormaliSE) Patch Specifications via Product Programs
Radu CalinescuCalinescu, Radu University of York, UKUnited Kingdom Goal Controller Synthesis for Self-Adaptive Systems
Matteo CamilliCamilli, Matteo Politecnico di MilanoItaly Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning
Gustavo CarvalhoCarvalho, Gustavo Universidade Federal de PernambucoBrazil Artifact Evaluation Committee Member in Artifact Evaluation Committee within the FormaliSE-track
Ana CavalcantiCavalcanti, Ana University of YorkUnited Kingdom Committee Member in Program Committee within the FormaliSE-track
David ChenChen, David Harvey Mudd CollegeUnited States Formalizing Symbolic Execution Path Explosion for Recursive Functions via Asymptotic Path Complexity
Xiao ChengCheng, Xiao University of Technology Sydney Artifact Evaluation Committee Member in Artifact Evaluation Committee within the FormaliSE-track
Sung Woo ChoiChoi, Sung Woo Verifying Binary Neural Networks on Continuous Input Space using Star Reachability
Shaheen Cullen-BaratlooCullen-Baratloo, Shaheen Harvey Mudd CollegeUnited States Formalizing Symbolic Execution Path Explosion for Recursive Functions via Asymptotic Path Complexity
D Nancy DayDay, Nancy University of Waterloo, CanadaCanada Committee Member in Program Committee within the FormaliSE-track
Rayna DimitrovaDimitrova, Rayna CISPA Helmholtz Center for Information Security Committee Member in Program Committee within the FormaliSE-track
E Gidon ErnstErnst, Gidon LMU MunichGermany Committee Member in Program Committee within the FormaliSE-track
F Alessio FerrariFerrari, Alessio CNR-ISTIItaly Artifact Evaluation Chair in Organization Committee within the FormaliSE-track
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 Committee Member in Program Committee within the FormaliSE-track
G Christophe GarionGarion, Christophe ISAE-SUPAEROFrance A Verified UAV Flight Plan Generator
Marcus GerholdGerhold, Marcus University of Twente, The Netherlands Committee Member in Program Committee within the FormaliSE-track
Fatemeh GhassemiGhassemi, Fatemeh University of TehranIran Transparent Actor Model
Stefania GnesiGnesi, Stefania Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" Italy Session Chair of Keynote (part of FormaliSE) General Chair in Organization Committee within the FormaliSE-track
Samuele GrilloGrillo, Samuele Politecnico di MilanoItaly A Formal Approach to the Verification of Protection Systems in Low-Voltage Distribution Grids
Hendrik GöttmannGöttmann, Hendrik Technical University of DarmstadtGermany Mutant Equivalence as Monotonicity in Parametric Timed Games
H Ákos HajduHajdu, Ákos MetaUnited Kingdom Committee Member in Program Committee within the FormaliSE-track
Arnd HartmannsHartmanns, Arnd University of TwenteNetherlands Committee Member in Program Committee within the FormaliSE-track
Gautier HattenbergerHattenberger, Gautier ENACFrance A Verified UAV Flight Plan Generator
Ian J. HayesHayes, Ian J. The University of QueenslandAustralia Using cylindric algebra to support local variables in rely/guarantee concurrency Differential Testing of a Verification Framework for Compiler Optimizations (Case Study)
Hossein HojjatHojjat, Hossein Tehran Institute for Advanced StudiesIran Transparent Actor Model
Laura HumphreyHumphrey, Laura Air Force Research LaboratoryUnited States Committee Member in Program Committee within the FormaliSE-track
I Inigo IncerIncer, Inigo University of California, BerkeleyUnited States Contract-Based Specification Refinement and Repair for Mission Planning
Mykhailo IvashchenkoIvashchenko, Mykhailo University of Nebraska-LincolnUnited States Verifying Binary Neural Networks on Continuous Input Space using Star Reachability
J Marie-Christine JakobsJakobs, Marie-Christine LMU Munich, GermanyGermany PC Chair in Program Committee within the FormaliSE-track
K Bishoksan KafleKafle, Bishoksan The university of MelbourneAustralia Artifact Evaluation Committee Member in Artifact Evaluation Committee within the FormaliSE-track
Eunsuk KangKang, Eunsuk Carnegie Mellon UniversityUnited States An Empirical Study Assessing Software Modeling in Alloy
Andreas KatisKatis, Andreas KBR / NASA Ames Research Center Artifact Evaluation Committee Member in Artifact Evaluation Committee within the FormaliSE-track
Ehsan KhamespanahKhamespanah, Ehsan University of TehranIran Transparent Actor Model
Alexander KnappKnapp, Alexander Committee Member in Program Committee within the FormaliSE-track
Elisavet KozyriKozyri, Elisavet Arctic University of NorwayNorway Committee Member in Program Committee within the FormaliSE-track
L Duy LamLam, Duy Harvey Mudd CollegeUnited States Formalizing Symbolic Execution Path Explosion for Recursive Functions via Asymptotic Path Complexity
Livia LestingiLestingi, Livia DEIB, Politecnico di MilanoItaly Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning Artifact Evaluation Committee Member in Artifact Evaluation Committee within the FormaliSE-track
Malte LochauLochau, Malte University of Siegen Mutant Equivalence as Monotonicity in Parametric Timed Games
M Piergiuseppe MallozziMallozzi, Piergiuseppe UC BerkeleyUnited States Contract-Based Specification Refinement and Repair for Mission Planning
Niloofar MansoorMansoor, Niloofar University of Nebraska-LincolnUnited States An Empirical Study Assessing Software Modeling in Alloy
Ahmed Nagy Abdelkhalek MansourMansour, Ahmed Nagy Abdelkhalek Politecnico di MilanoItaly A Formal Approach to the Verification of Protection Systems in Low-Voltage Distribution Grids
Mieke MassinkMassink, Mieke CNR-ISTI Pisa, Italy Committee Member in Program Committee within the FormaliSE-track
Anastasia MavridouMavridou, Anastasia KBR / NASA Ames Research Center Committee Member in Program Committee within the FormaliSE-track
Annabelle McIverMcIver, Annabelle Macquarie University Leakage Logic for programs
Larissa A. MeinickeMeinicke, Larissa A. The University of QueenslandAustralia Session Chair of Specification (part of FormaliSE) Using cylindric algebra to support local variables in rely/guarantee concurrency
Hernan MelgrattiMelgratti, Hernan University of Buenos Aires, Argentina Committee Member in Program Committee within the FormaliSE-track
Claudio MenghiMenghi, Claudio McMaster University, CanadaCanada Committee Member in Program Committee within the FormaliSE-track
Raffaela MirandolaMirandola, Raffaela Politecnico di MilanoItaly Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning
Mahrokh MiraniMirani, Mahrokh Tehran Institute for Advanced StudiesIran Transparent Actor Model
Toby MurrayMurray, Toby University of MelbourneAustralia Session Chair of Opening / Keynote (part of FormaliSE) PC Chair in Program Committee within the FormaliSE-track
Robert MüllerMüller, Robert University of SiegenGermany Artifact Evaluation Committee Member in Artifact Evaluation Committee within the FormaliSE-track
N Luan NguyenNguyen, Luan University of PennsylvaniaUnited States Verifying Binary Neural Networks on Continuous Input Space using Star Reachability
Genaína Nunes RodriguesNunes Rodrigues, Genaína University of BrasíliaBrazil Goal Controller Synthesis for Self-Adaptive Systems
Pierluigi NuzzoNuzzo, Pierluigi University of Southern CaliforniaUnited States Contract-Based Specification Refinement and Repair for Mission Planning
P Nico PlatPlat, Nico University of Twente, The NetherlandsNetherlands General Chair in Organization Committee within the FormaliSE-track
Baptiste PollienPollien, Baptiste ISAE-SUPAEROFrance A Verified UAV Flight Plan Generator
Alex PotaninPotanin, Alex Australian National UniversityAustralia Committee Member in Program Committee within the FormaliSE-track
Eli PregersonPregerson, Eli Harvey Mudd CollegeUnited States Formalizing Symbolic Execution Path Explosion for Recursive Functions via Asymptotic Path Complexity
R Enrico RagainiRagaini, Enrico ABB italyItaly A Formal Approach to the Verification of Protection Systems in Low-Voltage Distribution Grids
Pedro RibeiroRibeiro, Pedro Artifact Evaluation Committee Member in Artifact Evaluation Committee within the FormaliSE-track
Cedric RichterRichter, Cedric Carl von Ossietzky Universität Oldenburg / University of OldenburgGermany Artifact Evaluation Committee Member in Artifact Evaluation Committee within the FormaliSE-track
Virgile RoblesRobles, Virgile Artifact Evaluation Committee Member in Artifact Evaluation Committee within the FormaliSE-track
Matteo RossiRossi, Matteo Politecnico di MilanoItaly A Formal Approach to the Verification of Protection Systems in Low-Voltage Distribution Grids Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning Committee Member in Program Committee within the FormaliSE-track
Pierre RouxRoux, Pierre ONERA, ISAEFrance A Verified UAV Flight Plan Generator
S Larisa SafinaSafina, Larisa INRIA Lillle - Nord EuropeFrance Artifact Evaluation Committee Member in Artifact Evaluation Committee within the FormaliSE-track
Alberto L. Sangiovanni-VincentelliSangiovanni-Vincentelli, Alberto L. University of California at Berkeley, USAUnited States Contract-Based Specification Refinement and Repair for Mission Planning
Daniel SchemmelSchemmel, Daniel Imperial College London Patch Specifications via Product Programs
Gerardo SchneiderSchneider, Gerardo University of GothenburgSweden Committee Member in Program Committee within the FormaliSE-track
Laura SeminiSemini, Laura Università di Pisa - Dipartimento di InformaticaItaly Committee Member in Program Committee within the FormaliSE-track
Bonita SharifSharif, Bonita University of Nebraska-Lincoln, USAUnited States An Empirical Study Assessing Software Modeling in Alloy
Arindam SharmaSharma, Arindam Imperial College LondonUnited Kingdom Patch Specifications via Product Programs
Arnab SharmaSharma, Arnab University of PaderbornGermany Artifact Evaluation Committee Member in Artifact Evaluation Committee within the FormaliSE-track
Marjan SirjaniSirjani, Marjan Malardalen UniversitySweden Transparent Actor Model Committee Member in Program Committee within the FormaliSE-track
Graeme SmithSmith, Graeme The University of QueenslandAustralia Session Chair of Application (part of FormaliSE) A Dafny-based approach to thread-local information flow analysis
Paola SpoletiniSpoletini, Paola Kennesaw State UniversityUnited States Exploiting incompleteness in software development
Yulei SuiSui, Yulei University of New South Wales, SydneyAustralia Committee Member in Program Committee within the FormaliSE-track
Max SzostakSzostak, Max Harvey Mudd CollegeUnited States Formalizing Symbolic Execution Path Explosion for Recursive Functions via Asymptotic Path Complexity
T Martin TapplerTappler, Martin TU Graz; Silicon Austria LabsAustria Artifact Evaluation Committee Member in Artifact Evaluation Committee within the FormaliSE-track
Maurice ter Beekter Beek, Maurice ISTI-CNR, Pisa, Italy Mutant Equivalence as Monotonicity in Parametric Timed Games
Xavier ThiriouxThirioux, Xavier ISAE-SUPAEROFrance A Verified UAV Flight Plan Generator
Nils TimmTimm, Nils Committee Member in Program Committee within the FormaliSE-track
Hoang-Dung TranTran, Hoang-Dung Vanderbilt UniversityUnited States Verifying Binary Neural Networks on Continuous Input Space using Star Reachability
U Mark UttingUtting, Mark The University of QueenslandAustralia Session Chair of Synthesis and AI (part of FormaliSE) Differential Testing of a Verification Framework for Compiler Optimizations (Case Study)
W Brae J. WebbWebb, Brae J. The University of QueenslandAustralia Differential Testing of a Verification Framework for Compiler Optimizations (Case Study)
Heike WehrheimWehrheim, Heike Carl von Ossietzky Universität Oldenburg / University of OldenburgGermany Committee Member in Program Committee within the FormaliSE-track
Kirsten WinterWinter, Kirsten Defence Science and Technology Group, Australia Committee Member in Program Committee within the FormaliSE-track