VMCAI 2024 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (169)

A Guillermo A. PerezA. Perez, Guillermo University of AntwerpBelgium Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic
Parosh Aziz AbdullaAbdulla, Parosh Aziz Uppsala University, SwedenSweden Boosting Constrained Horn Solving by Unsat Core Learning
Nicolas AmatAmat, Nicolas LAAS-CNRSFrance Project and Conquer: Fast Quantifier Elimination for Checking Petri Nets Reachability
Étienne AndréAndré, Étienne Université Sorbonne Paris Nord; LIPN; CNRSFrance Parameterized Verification of Disjunctive Timed Networks
B Joachim BardBard, Joachim CISPA Helmholtz Center for Information SecurityGermany Automatic and Incremental Repair for Speculative Information Leaks
Ezio BartocciBartocci, Ezio Technische Universität WienAustria Committee Member in Program Committee within the VMCAI -track
Nathalie BertrandBertrand, Nathalie INRIA Rennes Committee Member in Program Committee within the VMCAI -track
Pauline BlohmBlohm, Pauline Uni MünsterGermany Deductive Verification of Parameterized Embedded Systems modeled in SystemC
Stefan BodenmüllerBodenmüller, Stefan University of AugsburgGermany A Fully Verified Persistency Library
Michele BorealeBoreale, Michele Università di FirenzeItaly Guaranteed inference for probabilistic programs: a parallelisable, small-step operational approach
Marius BozgaBozga, Marius CNRS; Université Grenoble AlpesFrance Function synthesis for maximizing model counting
Twain ByrnesByrnes, Twain Carnegie Mellon UniversityUnited States Automatically Enforcing Rust Trait Properties
Lucas BöltzBöltz, Lucas Univerity of KoblenzGermany On the Verification of a Subgraph Construction Algorithm
C Shaowei CaiCai, Shaowei Institute of Software at Chinese Academy of SciencesChina Efficient Local Search for Nonlinear Real Arithmetic
Filip Cano CórdobaCano Córdoba, Filip Technical University of Graz Committee Member in Artifact Evaluation Committee within the VMCAI -track
Isha ChaudharyChaudhary, Isha Univ of Illinois Urbana-Champaign Committee Member in Artifact Evaluation Committee within the VMCAI -track
Qiaochu ChenChen, Qiaochu University of Texas at AustinUnited States Committee Member in Artifact Evaluation Committee within the VMCAI -track
Yanju ChenChen, Yanju University of California at Santa BarbaraUnited States Committee Member in Artifact Evaluation Committee within the VMCAI -track
Luisa CollodiCollodi, Luisa University of FlorenceItaly Guaranteed inference for probabilistic programs: a parallelisable, small-step operational approach
D Silvano DAL ZILIODAL ZILIO, Silvano LAAS-CNRSFrance Project and Conquer: Fast Quantifier Elimination for Checking Petri Nets Reachability
Emanuele De AngelisDe Angelis, Emanuele IASI-CNRItaly Committee Member in Program Committee within the VMCAI -track
Coen De RooverDe Roover, Coen Vrije Universiteit BrusselBelgium Committee Member in Program Committee within the VMCAI -track
Yuxin DengDeng, Yuxin East China Normal UniversityChina Local Reasoning about Probabilistic Behaviour for Classical-Quantum Programs
John DerrickDerrick, John A Fully Verified Persistency Library
Jyotirmoy DeshmukhDeshmukh, Jyotirmoy University of Southern California Committee Member in Program Committee within the VMCAI -track
Akshay Dhonthi Ramesh BabuDhonthi Ramesh Babu, Akshay Audi AGGermany AGNES: Abstraction-guided Framework for Deep Neural Networks Security
Rayna DimitrovaDimitrova, Rayna CISPA Helmholtz Center for Information Security Session Chair of Session 1: Openning, Keynote, SAT, SMT and Automated Reasoning (part of VMCAI ) Co-chair in Program Committee within the VMCAI -track
Rui DongDong, Rui University of MichiganUnited States Committee Member in Artifact Evaluation Committee within the VMCAI -track
Brijesh DongolDongol, Brijesh University of SurreyUnited Kingdom A Fully Verified Persistency Library
Dana Drachsler CohenDrachsler Cohen, Dana TechnionIsrael Verification of Neural Networks’ Local Differential Classification Privacy
Stefanie Eva DrerupDrerup, Stefanie Eva University of MünsterGermany Deductive Verification of Parameterized Embedded Systems modeled in SystemC
Bruno DutertreDutertre, Bruno Amazon Web Services Committee Member in Program Committee within the VMCAI -track
Yotam DvirDvir, Yotam Tel Aviv University Committee Member in Artifact Evaluation Committee within the VMCAI -track
E Paul EichlerEichler, Paul CISPA - Helmholtz Center for Information SecurityGermany Parameterized Verification of Disjunctive Timed Networks
Marcello EiermannEiermann, Marcello Utrecht UniversityNetherlands AGNES: Abstraction-guided Framework for Deep Neural Networks Security
Clemens EisenhoferEisenhofer, Clemens Vienna University of TechnologyAustria Committee Member in Artifact Evaluation Committee within the VMCAI -track
Michael EmmiEmmi, Michael Amazon Web ServicesUnited States Committee Member in Program Committee within the VMCAI -track
Cristian EneEne, Cristian Verimag, GrenobleFrance Function synthesis for maximizing model counting
Julian ErhardErhard, Julian Technical University of MunichGermany Correctness Witness Validation by Abstract Interpretation
F Grigory FedyukovichFedyukovich, Grigory Florida State UniversityUnited States Committee Member in Program Committee within the VMCAI -track
Nathanaël FijalkowFijalkow, Nathanaël CNRS, LaBRI, and Alan Turing InstituteFrance Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic Committee Member in Program Committee within the VMCAI -track
Alain FinkelFinkel, Alain ENS Paris SaclayFrance Resilience and Home-Space for WSTS
Hadar FrenkelFrenkel, Hadar CISPA Helmholtz Center for Information SecurityGermany Committee Member in Program Committee within the VMCAI -track
Hannes FreyFrey, Hannes University of KoblenzGermany On the Verification of a Subgraph Construction Algorithm
G Sankalp GambhirGambhir, Sankalp Ecole Polytechnique Federale de Lausanne (EPFL)Switzerland Interpolation and Quantifiers in Ortholattices
Amir Kafshdar GoharshadyGoharshady, Amir Kafshdar Hong Kong University of Science and TechnologyHong Kong Committee Member in Program Committee within the VMCAI -track
Simon GuilloudGuilloud, Simon École Polytechnique Fédérale de LausanneSwitzerland Interpolation and Quantifiers in Ortholattices
Jens Oliver GutsfeldGutsfeld, Jens Oliver Westfälische Wilhelm-Universität Münster (WWU), GermanyGermany A Navigation Logic for Recursive Programs with Dynamic Thread Creation
H Liana HadareanHadarean, Liana Amazon Web ServicesUnited States Committee Member in Program Committee within the VMCAI -track
Ernst Moritz HahnHahn, Ernst Moritz Netherlands AGNES: Abstraction-guided Framework for Deep Neural Networks Security
David HarelHarel, David Weizmann Institute of Science, Israel Two Projects on Human Interaction with AI
Vahid HashemiHashemi, Vahid AUDI AGGermany AGNES: Abstraction-guided Framework for Deep Neural Networks Security
Daniel HausmannHausmann, Daniel University of GothenburgSweden Generic Model Checking for Modal Fixpoint Logics in COOL-MC
Klaus HavelundHavelund, Klaus NASA/Caltech Jet Propulsion LaboratoryUnited States TP-DejaVu: Combining Operational and Declarative Runtime Verification
Jesko Hecking-HarbuschHecking-Harbusch, Jesko Bosch ResearchGermany Formal Runtime Error Detection During Development in the Automotive Industry
Matthias HeizmannHeizmann, Matthias University of Freiburg, GermanyGermany Petrification: Software Model Checking for Programs with Dynamic Thread Management
Paula HerberHerber, Paula University of Munster, GermanyGermany Deductive Verification of Parameterized Embedded Systems modeled in SystemC
Mathieu HilaireHilaire, Mathieu ENS Paris SaclayFrance Resilience and Home-Space for WSTS
Singh HitarthHitarth, Singh Committee Member in Artifact Evaluation Committee within the VMCAI -track
Jochen HoenickeHoenicke, Jochen Universität FreiburgGermany Committee Member in Program Committee within the VMCAI -track
Hossein HojjatHojjat, Hossein Tehran Institute for Advanced Studies (TeIAS)Iran Committee Member in Program Committee within the VMCAI -track
Qinheping HuHu, Qinheping Amazon Web ServicesUnited States Committee Member in Program Committee within the VMCAI -track
Xinyue HuangHuang, Xinyue East China Normal UniversityChina Model-Guided Synthesis for LTL over Finite Traces
Marieke HuismanHuisman, Marieke University of TwenteNetherlands Deductive Verification of Parameterized Embedded Systems modeled in SystemC Committee Member in Program Committee within the VMCAI -track
Merlin HummlHumml, Merlin Friedrich-Alexander Universität Erlangen-NürnbergGermany Generic Model Checking for Modal Fixpoint Logics in COOL-MC
J Swen JacobsJacobs, Swen CISPAGermany Automatic and Incremental Repair for Speculative Information Leaks Parameterized Verification of Disjunctive Timed Networks
Limin JiaJia, Limin Carnegie Mellon University Automatically Enforcing Rust Trait Properties
K Anan KabahaKabaha, Anan Technion, Israel Institute of TechnologyIsrael Verification of Neural Networks’ Local Differential Classification Privacy
Shyam KarraKarra, Shyam CISPAGermany Parameterized Verification of Disjunctive Timed Networks
Joost-Pieter KatoenKatoen, Joost-Pieter RWTH Aachen UniversityGermany Committee Member in Program Committee within the VMCAI -track
Panagiotis KatsarosKatsaros, Panagiotis Aristotle University of ThessalonikiGreece TP-DejaVu: Combining Operational and Declarative Runtime Verification
Guy KatzKatz, Guy Hebrew UniversityIsrael Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training
Daniela KaufmannKaufmann, Daniela TU Wien Committee Member in Program Committee within the VMCAI -track
Dominik KlumppKlumpp, Dominik University of FreiburgGermany Petrification: Software Model Checking for Programs with Dynamic Thread Management
Naoki KobayashiKobayashi, Naoki University of TokyoJapan Borrowable Fractional Ownership Types for Verification
Joomy KorkutKorkut, Joomy Bloomberg LPUnited States Committee Member in Artifact Evaluation Committee within the VMCAI -track
Burcu Kulahcioglu OzkanKulahcioglu Ozkan, Burcu Delft University of TechnologyNetherlands Committee Member in Program Committee within the VMCAI -track
Viktor KunčakKunčak, Viktor EPFL, SwitzerlandSwitzerland Session Chair of Session 8: Concurrency, Program and System Verification, Closing (part of VMCAI ) Interpolation and Quantifiers in Ortholattices
Bettina KönighoferKönighofer, Bettina Committee Member in Program Committee within the VMCAI -track
L Ori LahavLahav, Ori Tel Aviv UniversityIsrael Session Chair of Session 5: keynote, Program and System Verification (part of VMCAI ) Co-chair in Program Committee within the VMCAI -track
Roman LakenbrinkLakenbrink, Roman University of MünsterGermany A Navigation Logic for Recursive Programs with Dynamic Thread Creation
Didier Le BotlanLe Botlan, Didier LAAS-CNRS, INSA-ToulouseFrance Project and Conquer: Fast Quantifier Elimination for Checking Petri Nets Reachability
Bohan LiLi, Bohan State Key Laboratory of Computer Science Institute of Software, Chinese Academy of Sciences, Beijing, ChinaChina Efficient Local Search for Nonlinear Real Arithmetic
Jianwen LiLi, Jianwen East China Normal University, ChinaChina Model-Guided Synthesis for LTL over Finite Traces
Yongkang LiLi, Yongkang East China Normal UniversityChina Model-Guided Synthesis for LTL over Finite Traces
Chencheng LiangLiang, Chencheng Uppsala UniversitySweden Boosting Constrained Horn Solving by Unsat Core Learning
Shuyang LiuLiu, Shuyang UCLA Committee Member in Artifact Evaluation Committee within the VMCAI -track
Si LiuLiu, Si ETH ZurichSwitzerland Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training
Anna LukinaLukina, Anna TU Delft Committee Member in Program Committee within the VMCAI -track
M Théo MatriconMatricon, Théo CNRS, LaBRI, University of BordeauxFrance Committee Member in Artifact Evaluation Committee within the VMCAI -track
Yusuke MatsushitaMatsushita, Yusuke The University of Tokyo Borrowable Fractional Ownership Types for Verification
Roland MeyerMeyer, Roland TU BraunschweigGermany Committee Member in Program Committee within the VMCAI -track
Marco MilaneseMilanese, Marco Sorbonne UniversityFrance Generation of Violation Witnesses by Under-Approximating Abstract Interpretation
Antoine MinéMiné, Antoine Sorbonne UniversitéFrance Sound Abstract Nonexploitability Analysis Generation of Violation Witnesses by Under-Approximating Abstract Interpretation
David MonniauxMonniaux, David Université Grenoble Alpes - CNRS - Grenoble INP - VerimagFrance Session Chair of Session 2: SAT, SMT and Automated Reasoning (part of VMCAI ) Committee Member in Program Committee within the VMCAI -track
Raúl E. MontiMonti, Raúl E. University of TwenteNetherlands Deductive Verification of Parameterized Embedded Systems modeled in SystemC
Laurent MounierMounier, Laurent Université Grenoble AlpesFrance Function synthesis for maximizing model counting
Markus Müller-OlmMüller-Olm, Markus University of MünsterGermany A Navigation Logic for Recursive Programs with Dynamic Thread Creation
N Takashi NakayamaNakayama, Takashi The University of TokyoJapan Borrowable Fractional Ownership Types for Verification
Kedar NamjoshiNamjoshi, Kedar Nokia Bell LabsUnited States Committee Member in Program Committee within the VMCAI -track
Satya Prakash NayakNayak, Satya Prakash Max Planck Institute for Software Systems (MPI-SWS)Germany Solving Two-Player Games under Progress Assumptions
Daniel NeiderNeider, Daniel Technical University of Dortmund, GermanyGermany Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic
Lars NitzkeNitzke, Lars University of FreiburgGermany Petrification: Software Model Checking for Programs with Dynamic Thread Management
O Christoph OhremOhrem, Christoph University of MünsterGermany A Navigation Logic for Recursive Programs with Dynamic Thread Creation
Moran OmerOmer, Moran Bar Ilan University, IsraelIsrael TP-DejaVu: Combining Operational and Declarative Runtime Verification
P Abhinandan PalPal, Abhinandan University of BirminghamUnited Kingdom Abstract Interpretation-Based Feature Importance for Support Vector Machines
Jens PalsbergPalsberg, Jens University of California, Los Angeles (UCLA)United States Committee Member in Program Committee within the VMCAI -track
Francesco ParoliniParolini, Francesco Sorbonne UniversitéFrance Sound Abstract Nonexploitability Analysis
Doron PeledPeled, Doron Bar Ilan UniversityIsrael TP-DejaVu: Combining Operational and Declarative Runtime Verification
Andreas PodelskiPodelski, Andreas University of FreiburgGermany Session Chair of Session 7: Probabilistic and Quantum Programs, Neural Networks (part of VMCAI )
Elizabeth PolgreenPolgreen, Elizabeth University of EdinburghUnited Kingdom Committee Member in Program Committee within the VMCAI -track
Simon PruckerPrucker, Simon Friedrich-Alexander Universität Erlangen-NürnbergGermany Generic Model Checking for Modal Fixpoint Logics in COOL-MC
Geguang PuPu, Geguang East China Normal UniversityChina Model-Guided Synthesis for LTL over Finite Traces
Q Xin QinQin, Xin University of Southern California Committee Member in Artifact Evaluation Committee within the VMCAI -track
Jochen QuanteQuante, Jochen Bosch ResearchGermany Formal Runtime Error Detection During Development in the Automotive Industry
R Arjun RadhakrishnaRadhakrishna, Arjun MicrosoftUnited States Committee Member in Program Committee within the VMCAI -track
Ritam RahaRaha, Ritam University of Antwerp, Antwerp, BelgiumBelgium Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic
Robert RandRand, Robert University of ChicagoUnited States Committee Member in Program Committee within the VMCAI -track
Francesco RanzatoRanzato, Francesco University of PadovaItaly Abstract Interpretation-Based Feature Importance for Support Vector Machines Committee Member in Program Committee within the VMCAI -track
Roie ReshefReshef, Roie TechnionIsrael Verification of Neural Networks’ Local Differential Classification Privacy
Xavier RivalRival, Xavier Inria; ENS; CNRS; PSL UniversityFrance Session Chair of Session 6: Abstract Interpretation (part of VMCAI ) Committee Member in Program Committee within the VMCAI -track
Rajarshi RoyRoy, Rajarshi Max Planck Institute for Software Systems, Kaiserslautern, GermanyGermany Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic
Philipp RuemmerRuemmer, Philipp University of Regensburg and Uppsala UniversityGermany Committee Member in Program Committee within the VMCAI -track
Philipp RümmerRümmer, Philipp University of Regensburg and Uppsala UniversityGermany Boosting Constrained Horn Solving by Unsat Core Learning
S Simmo SaanSaan, Simmo University of Tartu, EstoniaEstonia Correctness Witness Validation by Abstract Interpretation
Irmak SaglamSaglam, Irmak Max Planck Institute for Software Systems (MPI-SWS)Germany Solving Two-Player Games under Progress Assumptions
Ken SakayoriSakayori, Ken University of TokyoJapan Borrowable Fractional Ownership Types for Verification
Ryosuke SatoSato, Ryosuke University of TokyoJapan Borrowable Fractional Ownership Types for Verification
Gerhard SchellhornSchellhorn, Gerhard Universitaet AugsburgGermany A Fully Verified Persistency Library
Maximilian SchlundSchlund, Maximilian Bosch ResearchGermany Formal Runtime Error Detection During Development in the Automotive Industry
Anne-Kathrin SchmuckSchmuck, Anne-Kathrin MPI-SWSGermany Solving Two-Player Games under Progress Assumptions Committee Member in Program Committee within the VMCAI -track
Lutz SchröderSchröder, Lutz University of Erlangen-NurembergGermany Generic Model Checking for Modal Fixpoint Logics in COOL-MC
Michael SchwarzSchwarz, Michael Technische Universität MünchenGermany Correctness Witness Validation by Abstract Interpretation
Frank SchüsseleSchüssele, Frank University of FreiburgGermany Petrification: Software Model Checking for Programs with Dynamic Thread Management
Helmut SeidlSeidl, Helmut Technische Universität MünchenGermany Session Chair of Session 4: Infinite State Systems, Runtime Verification (part of VMCAI ) Correctness Witness Validation by Abstract Interpretation
Olga SeleznovaSeleznova, Olga TechnionIsrael Verification of Neural Networks’ Local Differential Classification Privacy
Mihaela SighireanuSighireanu, Mihaela IRIF, Université Paris Diderot, FranceFrance Committee Member in Program Committee within the VMCAI -track
Gagandeep SinghSingh, Gagandeep University of Illinois at Urbana-Champaign; VMware ResearchUnited States Committee Member in Program Committee within the VMCAI -track
Viorica Sofronie-StokkermansSofronie-Stokkermans, Viorica University of KoblenzGermany On the Verification of a Subgraph Construction Algorithm
Aaron StrahlbergerStrahlberger, Aaron Friedrich-Alexander-Universität Erlangen-NürnbergGermany Generic Model Checking for Modal Fixpoint Logics in COOL-MC
Ofer StrichmanStrichman, Ofer TechnionIsrael Model-Guided Synthesis for LTL over Finite Traces
T Yoshiki TakashimaTakashima, Yoshiki Carnegie Mellon UniversityUnited States Automatically Enforcing Rust Trait Properties
Philip TascheTasche, Philip University of TwenteNetherlands Deductive Verification of Parameterized Embedded Systems modeled in SystemC
Landon TaylorTaylor, Landon Utah State UniversityUnited States Committee Member in Artifact Evaluation Committee within the VMCAI -track
Anastasios TemperekidisTemperekidis, Anastasios Aristotle University of ThessalonikiGreece TP-DejaVu: Combining Operational and Declarative Runtime Verification
K. S. ThejaswiniThejaswini, K. S. The University of Warwick Solving Two-Player Games under Progress Assumptions
Jiaxu TianTian, Jiaxu East China Normal UniversityChina Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training
Sarah TilscherTilscher, Sarah Technische Universität MünchenGermany Correctness Witness Validation by Abstract Interpretation
Hazem TorfahTorfah, Hazem Chalmers University of TechnologySweden Committee Member in Program Committee within the VMCAI -track
U Hiroshi UnnoUnno, Hiroshi University of TsukubaJapan Automating Relational Verification of Infinite-State Programs
Caterina UrbanUrban, Caterina Inria & École Normale Supérieure \| Université PSLFrance Session Chair of Session 3: Security and Privacy, Model Checking and Synthesis (part of VMCAI ) Abstract Interpretation-Based Feature Importance for Support Vector Machines
V Moshe VardiVardi, Moshe Rice UniversityUnited States Model-Guided Synthesis for LTL over Finite Traces
Thomas VigourouxVigouroux, Thomas VERIMAG - UGAFrance Function synthesis for maximizing model counting
Yakir VizelVizel, Yakir Technion—Israel Institute of TechnologyIsrael Automatic and Incremental Repair for Speculative Information Leaks
Vesal VojdaniVojdani, Vesal University of TartuEstonia Correctness Witness Validation by Abstract Interpretation
W Peixin WangWang, Peixin University of Oxford Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training
Zhonghan WangWang, Zhonghan Institute of Software/CAS ChinaChina Efficient Local Search for Nonlinear Real Arithmetic
Heike WehrheimWehrheim, Heike University of Oldenburg A Fully Verified Persistency Library
Sebastian WolffWolff, Sebastian New York UniversityUnited States Chair in Artifact Evaluation Committee within the VMCAI -track
Huiling WuWu, Huiling East China Normal UniversityChina Local Reasoning about Probabilistic Behaviour for Classical-Quantum Programs
X Shengping XiaoXiao, Shengping East China Normal UniversityChina Model-Guided Synthesis for LTL over Finite Traces
Ming XuXu, Ming East China Normal UniversityChina Local Reasoning about Probabilistic Behaviour for Classical-Quantum Programs
Yicong XuXu, Yicong East China Normal UniversityChina Model-Guided Synthesis for LTL over Finite Traces
Z Marco ZanellaZanella, Marco University of Padova, ItalyItaly Abstract Interpretation-Based Feature Importance for Support Vector Machines
Bohua ZhanZhan, Bohua Institute of Software, Chinese Academy of SciencesChina Efficient Local Search for Nonlinear Real Arithmetic
Min ZhangZhang, Min East China Normal UniversityChina Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training
Zhen ZhangZhang, Zhen Utah State UniversityUnited States Committee Member in Program Committee within the VMCAI -track
Dapeng ZhiZhi, Dapeng East China Normal UniversityChina Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training
Lenore ZuckZuck, Lenore UICUnited States Committee Member in Program Committee within the VMCAI -track