NASA Formal Methods 2023 Contributors - NASA Formal Methods 2023

Filter

Role Type

Contributing to

Number of Roles

Country

Results (160)

A Erika AbrahamAbraham, Erika RWTH Aachen UniversityGermany Subtropical Satisfiability for SMT Solving
Yamine Ait AmeurAit Ameur, Yamine IRIT/INPT-ENSEEIHTFrance Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework
Andrei AleksandrovAleksandrov, Andrei Technische Universität BerlinGermany Formalizing Piecewise Affine Activation Functions of Neural Networks in Coq
Perry AlexanderAlexander, Perry Session Chair of Software Verification (part of NASA Formal Methods)
Perry AlexanderAlexander, Perry The University of KansasUnited States A Framework for Policy Based Negotiation
Matthias AlthoffAlthoff, Matthias Technichal University of MunichGermany Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes
Blair ArchibaldArchibald, Blair University of Glasgow Quantitative Verification and Strategy Synthesis for BDI Agents
Mihail AsavoaeAsavoae, Mihail Univ. Paris-Saclay, CEA ListFrance Formally Proved Memory Controllers: From the Standards to Silicon
B Julia BadgerBadger, Julia NASA Session Chair of Control and Hybrid Systems (part of NASA Formal Methods) Formal Guarantees for Autonomous Operation of Human Spacecraft Committee Member in Program Committee within the NASA Formal Methods-track
Apurva BadithelaBadithela, Apurva Caltech Reasoning over Test Specifications using Assume-Guarantee Contracts
Christel BaierBaier, Christel TU Dresden, GermanyGermany Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access
Stanley BakBak, Stanley Stony Brook UniversityUnited States Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes Committee Member in Program Committee within the NASA Formal Methods-track
Suguman BansalBansal, Suguman Georgia Institute of Technology, USAUnited States Committee Member in Program Committee within the NASA Formal Methods-track
Dirk BeyerBeyer, Dirk LMU MunichGermany Committee Member in Program Committee within the NASA Formal Methods-track
Nikolaj BjørnerBjørner, Nikolaj Microsoft Research Committee Member in Program Committee within the NASA Formal Methods-track
Enrique Blanco ViñuelaBlanco Viñuela, Enrique From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif
Ian BlumenfeldBlumenfeld, Ian Formalized High Level Synthesis with Applications to Cryptographic Hardware
Sylvie BoldoBoldo, Sylvie Inria and Université Paris-SaclayFrance Committee Member in Program Committee within the NASA Formal Methods-track
Alberto BombardelliBombardelli, Alberto FBKItaly Reasoning with Metric Temporal Logic and Resettable Skewed Clocks
Eric BondBond, Eric Formalized High Level Synthesis with Applications to Cryptographic Hardware
Florian BrandnerBrandner, Florian Télécom ParisFrance Formally Proved Memory Controllers: From the Standards to Silicon
Marcin BęśBęś, Marcin From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif
C Muffy CalderCalder, Muffy Quantitative Verification and Strategy Synthesis for BDI Agents
Georgiana CaltaisCaltais, Georgiana University of Konstanz Committee Member in Program Committee within the NASA Formal Methods-track
Chris CasinghinoCasinghino, Chris Jane Street Verified ALL(*) Parsing with Semantic Actions and Dynamic Input Validation
Swarat ChaudhuriChaudhuri, Swarat University of Texas at AustinUnited States Session Chair of Decision Procedures (part of NASA Formal Methods) Session Chair of Machine Learning #2 (part of NASA Formal Methods) Program Chair in Organizing Committee within the NASA Formal Methods-track
Ho Chit SiuChit Siu, Ho MIT Lincoln LaboratoryUnited States Centralized Multi-Agent Synthesis with Spatial Constraints via Mixed-Integer Quadratic Programming
Matthew CleavelandCleaveland, Matthew University of PennsylvaniaUnited States Conservative Safety Monitors of Stochastic Dynamical Systems
Cayden CodelCodel, Cayden Carnegie Mellon UniversityUnited States A Linear Weight Transfer Rule for Local Search
Darren CoferCofer, Darren Collins AerospaceUnited States Verifying an Aircraft Collision Avoidance Neural Network with Marabou Committee Member in Program Committee within the NASA Formal Methods-track
D Ignacio D. Lopez-MiguelD. Lopez-Miguel, Ignacio TU WienAustria From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif
James DabneyDabney, James Session Chair of Keynote Talk #2 (part of NASA Formal Methods) Committee Member in Organizing Committee within the NASA Formal Methods-track
Jennifer DavisDavis, Jennifer Collins Aerospace Committee Member in Program Committee within the NASA Formal Methods-track
Tyler DeanDean, Tyler Brigham Young UniversityUnited States A Toolkit for Automated Testing of Dafny
Ewen DenneyDenney, Ewen NASA Ames Research CenterUnited States Committee Member in Program Committee within the NASA Formal Methods-track
Simon DierlDierl, Simon TU DortmundGermany Learning Symbolic Timed Models from Concrete Timed Data
Catherine DuboisDubois, Catherine ENSIIE Paris-Evry Committee Member in Program Committee within the NASA Formal Methods-track
Clemens DubslaffDubslaff, Clemens Eindhoven University of TechnologyNetherlands Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access
Guillaume DupontDupont, Guillaume INPT–ENSEEIHTFrance Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework
Rohit DurejaDureja, Rohit IBM Committee Member in Program Committee within the NASA Formal Methods-track
Alexandre Duret-LutzDuret-Lutz, Alexandre EPITA / LRDE Committee Member in Program Committee within the NASA Formal Methods-track
Bruno DutertreDutertre, Bruno Amazon Web Services PC Member in Program Committee within the NASA Formal Methods-track
Aaron DutleDutle, Aaron NASA Langley Research CenterUnited States Session Chair of Machine Learning #1 (part of NASA Formal Methods)
Aaron DutleDutle, Aaron Committee Member in Program Committee within the NASA Formal Methods-track
Souradeep DuttaDutta, Souradeep University of Pennsylvania Committee Member in Program Committee within the NASA Formal Methods-track
E Derek EgolfEgolf, Derek Northeastern UniversityUnited States Verified ALL(*) Parsing with Semantic Actions and Dynamic Input Validation
Rüdiger EhlersEhlers, Rüdiger Committee Member in Program Committee within the NASA Formal Methods-track
F Chuchu FanFan, Chuchu MIT Committee Member in Program Committee within the NASA Formal Methods-track
Mazen FarhoodFarhood, Mazen Virginia TechUnited States Code-level Formal Verification of Ellipsoidal Invariant Sets for Linear Parameter-Varying Systems
Marie FarrellFarrell, Marie Maynooth UniversityIreland Committee Member in Program Committee within the NASA Formal Methods-track
Aleksandr FedchinFedchin, Aleksandr Tufts UniversityUnited States A Toolkit for Automated Testing of Dafny
Borja Fernandez AdiegoFernandez Adiego, Borja European Organization for Nuclear Research (CERN)Switzerland From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif
Connor FibichFibich, Connor Veriﬁcation of LSTM Neural Networks with Non-linear Activation Functions
Bernd FinkbeinerFinkbeiner, Bernd CISPA Helmholtz Center for Information SecurityGermany Automata-Based Software Model Checking of Hyperproperties Committee Member in Program Committee within the NASA Formal Methods-track
Kathleen FisherFisher, Kathleen Tufts UniversityUnited States Verified ALL(*) Parsing with Semantic Actions and Dynamic Input Validation
Alexandra Forsey-SmerekForsey-Smerek, Alexandra Massachusetts Institute of TechnologyUnited States Centralized Multi-Agent Synthesis with Spatial Constraints via Mixed-Integer Quadratic Programming
Jeffrey S. FosterFoster, Jeffrey S. Tufts UniversityUnited States A Toolkit for Automated Testing of Dafny
Hadar FrenkelFrenkel, Hadar CISPA Helmholtz Center for Information SecurityGermany Automata-Based Software Model Checking of Hyperproperties
Anna FritzFritz, Anna The University of KansasUnited States A Framework for Policy Based Negotiation
Martin FränzleFränzle, Martin Veriﬁcation of LSTM Neural Networks with Non-linear Activation Functions
G Pierre-Loic GarocheGaroche, Pierre-Loic Ecole Nationale de l'Aviation CivileFrance Code-level Formal Verification of Ellipsoidal Invariant Sets for Linear Parameter-Varying Systems
Alwyn GoodloeGoodloe, Alwyn NASA Langley Research Center Committee Member in Program Committee within the NASA Formal Methods-track
Josefine GraebenerGraebener, Josefine CaltechUnited States Reasoning over Test Specifications using Assume-Guarantee Contracts
Orna GrumbergGrumberg, Orna Technion – Israel Institute of TechnologyIsrael Condition Synthesis Realizability via Constrained Horn Clauses
Arie GurfinkelGurfinkel, Arie University of WaterlooCanada Committee Member in Program Committee within the NASA Formal Methods-track
H William HarrisonHarrison, William Two Six TechnologiesUnited States Formalized High Level Synthesis with Applications to Cryptographic Hardware
Chris HathhornHathhorn, Chris Formalized High Level Synthesis with Applications to Cryptographic Hardware
Klaus HavelundHavelund, Klaus NASA/Caltech Jet Propulsion LaboratoryUnited States Committee Member in Program Committee within the NASA Formal Methods-track
Constance HeitmeyerHeitmeyer, Constance Naval Research Laboratory, washington DCUnited States Committee Member in Program Committee within the NASA Formal Methods-track
Marijn HeuleHeule, Marijn Carnegie Mellon University A Linear Weight Transfer Rule for Local Search Committee Member in Program Committee within the NASA Formal Methods-track
Kerianne HobbsHobbs, Kerianne Air Force Research LaboratoryUnited States Committee Member in Program Committee within the NASA Formal Methods-track
Jana HofmannHofmann, Jana Microsoft Azure ResearchUnited Kingdom Automata-Based Software Model Checking of Hyperproperties
Falk HowarHowar, Falk TU Clausthal / IPSSEGermany Learning Symbolic Timed Models from Concrete Timed Data
Bardh HoxhaHoxha, Bardh Committee Member in Program Committee within the NASA Formal Methods-track
I Inigo IncerIncer, Inigo CaltechUnited States Reasoning over Test Specifications using Assume-Guarantee Contracts
J Stefan J. KiebelJ. Kiebel, Stefan TU DresdenGermany Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access
Susmit JhaJha, Susmit SRIUnited States Committee Member in Program Committee within the NASA Formal Methods-track
Rajeev JoshiJoshi, Rajeev Amazon Web Services Committee Member in Program Committee within the NASA Formal Methods-track
K Andreas KatisKatis, Andreas KBR / NASA Ames Research Center From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif
Sean KauffmanKauffman, Sean Aalborg UniversityDenmark Learning Symbolic Timed Models from Concrete Timed Data
Elias KhalifeKhalife, Elias Virginia TechUnited States Code-level Formal Verification of Ellipsoidal Invariant Sets for Linear Parameter-Varying Systems
Niklas KochdumperKochdumper, Niklas Stony Brook UniversityUnited States Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes
Martin KristjansenKristjansen, Martin Aalborg UniversityDenmark Learning Symbolic Timed Models from Concrete Timed Data
L Kim LarsenLarsen, Kim Aalborg UniversityDenmark Learning Symbolic Timed Models from Concrete Timed Data
Sam LasserLasser, Sam DraperUnited States Verified ALL(*) Parsing with Semantic Actions and Dynamic Input Validation
Kevin LeahyLeahy, Kevin MIT Lincoln LaboratoryUnited States Centralized Multi-Agent Synthesis with Spatial Constraints via Mixed-Integer Quadratic Programming Rewrite-Based Decomposition of Signal Temporal Logic Specifications
Insup LeeLee, Insup University of PennsylvaniaUnited States Conservative Safety Monitors of Stochastic Dynamical Systems
Paul LiLi, Paul Formalized High Level Synthesis with Applications to Cryptographic Hardware
Enrico LippariniLipparini, Enrico DIBRIS, University of Genova, ItalyItaly Satisfiability of Non-Linear Transcendental Arithmetic as a Certificate Search Problem
Felipe Lisboa MalaquiasLisboa Malaquias, Felipe Télécom ParisFrance Formally Proved Memory Controllers: From the Standards to Silicon
Cong LiuLiu, Cong CollinsUnited States Verifying an Aircraft Collision Avoidance Neural Network with Marabou
Janine LohseLohse, Janine Saarland UniversityGermany Automata-Based Software Model Checking of Hyperproperties
Florian LorberLorber, Florian Aalborg UniversityDenmark Learning Symbolic Timed Models from Concrete Timed Data
M Makai MannMann, Makai MIT Lincoln LaboratoryUnited States Rewrite-Based Decomposition of Signal Temporal Logic Specifications
Panagiotis ManoliosManolios, Panagiotis Northeastern University Committee Member in Program Committee within the NASA Formal Methods-track
Malte MauritzMauritz, Malte TU DortmundGermany Learning Symbolic Timed Models from Concrete Timed Data
Anastasia MavridouMavridou, Anastasia KBR / NASA Ames Research CenterUnited States From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif Committee Member in Program Committee within the NASA Formal Methods-track
Kenneth L. McMillanMcMillan, Kenneth L. University of Texas at AustinUnited States Session Chair of Hardware Verification (part of NASA Formal Methods) Proof-Based Heuristics for Quantified Invariant Synthesis
Eric MercerMercer, Eric Brigham Young UniversityUnited States A Toolkit for Automated Testing of Dafny
Stefan MitschMitsch, Stefan Carnegie Mellon University, USAUnited States Reward Shaping from Hybrid Systems Models in Reinforcement Learning Committee Member in Program Committee within the NASA Formal Methods-track
Farzaneh MoradkhaniMoradkhani, Farzaneh Carl von Ossietzky Universität OldenburgGermany Veriﬁcation of LSTM Neural Networks with Non-linear Activation Functions
Kazuki MunakataMunakata, Kazuki FujitsuJapan Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations
Satoshi MunakataMunakata, Satoshi FujitsuJapan Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations
Cesar MunozMunoz, Cesar AWSUnited States Committee Member in Program Committee within the NASA Formal Methods-track
Richard M. MurrayMurray, Richard M. Reasoning over Test Specifications using Assume-Guarantee Contracts
N Jasper NalbachNalbach, Jasper RWTH Aachen UniversityGermany Subtropical Satisfiability for SMT Solving
Natasha NeogiNeogi, Natasha NASA Langley Research Center Committee Member in Program Committee within the NASA Formal Methods-track
O Denis OsipychevOsipychev, Denis Verifying an Aircraft Collision Avoidance Neural Network with Marabou
P Corina S. PasareanuPasareanu, Corina S. Carnegie Mellon University Silicon Valley, NASA Ames Research Center Committee Member in Program Committee within the NASA Formal Methods-track
Ivan PerezPerez, Ivan NASA Ames Research Center Session Chair of Multiagent Systems #2 (part of NASA Formal Methods) Committee Member in Program Committee within the NASA Formal Methods-track
Thomas PressburgerPressburger, Thomas NASA ARC From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif
Q Marian QianQian, Marian Carnegie Mellon UniversityUnited States Reward Shaping from Hybrid Systems Models in Reinforcement Learning
R Zvonimir RakamaricRakamaric, Zvonimir Amazon Web Services A Toolkit for Automated Testing of Dafny
Zvonimir RakamaricRakamaric, Zvonimir Amazon Web ServicesUnited States Committee Member in Program Committee within the NASA Formal Methods-track
Stefan RatschanRatschan, Stefan The Czech Academy of Sciences Satisfiability of Non-Linear Transcendental Arithmetic as a Certificate Search Problem
Giles RegerReger, Giles University of ManchesterUnited Kingdom A Toolkit for Automated Testing of Dafny Committee Member in Program Committee within the NASA Formal Methods-track
Peter RiviereRiviere, Peter iritFrance Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework
Thomas RobinsonRobinson, Thomas University of WollongongAustralia Multi-Objective Task Assignment and Multiagent Planning with Hybrid GPU-CPU Acceleration
Bat-Chen RothenbergRothenberg, Bat-Chen TechnionIsrael Condition Synthesis Realizability via Constrained Horn Clauses
Cody RouxRoux, Cody Amazon Web ServicesUnited States Verified ALL(*) Parsing with Semantic Actions and Dynamic Input Validation
Kristin Yvonne RozierRozier, Kristin Yvonne Iowa State University Session Chair of Keynote talk #1 (part of NASA Formal Methods) Session Chair of Multiagent Systems #1 (part of NASA Formal Methods) Program Chair in Organizing Committee within the NASA Formal Methods-track
Ivan RuchkinRuchkin, Ivan University of FloridaUnited States Conservative Safety Monitors of Stochastic Dynamical Systems
Neha RungtaRungta, Neha Amazon Web ServicesUnited States A Toolkit for Automated Testing of Dafny
S Robin SalkeldSalkeld, Robin Amazon Web ServicesUnited States A Toolkit for Automated Testing of Dafny
Christian SchillingSchilling, Christian Aalborg UniversityDenmark Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes
Johann SchumannSchumann, Johann NASA Ames Committee Member in Program Committee within the NASA Formal Methods-track
Cristina SeceleanuSeceleanu, Cristina Mälardalen UniversitySweden Committee Member in Program Committee within the NASA Formal Methods-track
Sanjit SeshiaSeshia, Sanjit UC Berkeley Design Automation for Verified AI-Based Autonomy
Michele SevegnaniSevegnani, Michele University of GlasgowUnited Kingdom Quantitative Verification and Strategy Synthesis for BDI Agents
Yasser ShoukryShoukry, Yasser University of California, Irvine, USA Committee Member in Program Committee within the NASA Formal Methods-track
Neeraj SinghSingh, Neeraj INPT-ENSEEIHT / IRIT, University of Toulouse, FranceFrance Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework
Eytan SingherSingher, Eytan Technion - Israel Institute of TechnologyIsrael Condition Synthesis Realizability via Constrained Horn Clauses
Oleg SokolskySokolsky, Oleg University of Pennsylvania, USAUnited States Conservative Safety Monitors of Stochastic Dynamical Systems
Md Solimul ChowdhurySolimul Chowdhury, Md Carnegie Mellon UniversityUnited States A Linear Weight Transfer Rule for Local Search
Guoxin SuSu, Guoxin University of Wollongong, AustraliaAustralia Multi-Objective Task Assignment and Multiagent Planning with Hybrid GPU-CPU Acceleration
Steffan SølvstenSølvsten, Steffan Aarhus UniversityDenmark Adiar 1.1 : Zero-suppressed Decision Diagrams in External Memory
T Laura TitoloTitolo, Laura NIA/NASA LaRCUnited States Committee Member in Program Committee within the NASA Formal Methods-track
Oksana TkachukTkachuk, Oksana Amazon Web ServicesUnited States Committee Member in Program Committee within the NASA Formal Methods-track
Aaron TombTomb, Aaron Amazon Web ServicesUnited States Committee Member in Program Committee within the NASA Formal Methods-track
Stefano TonettaTonetta, Stefano Fondazione Bruno Kessler, ItalyItaly Reasoning with Metric Temporal Logic and Resettable Skewed Clocks Committee Member in Program Committee within the NASA Formal Methods-track
May TorrenceTorrence, May Formalized High Level Synthesis with Applications to Cryptographic Hardware
Jean-Charles TournierTournier, Jean-Charles CERNSwitzerland From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif
Nestan TsiskaridzeTsiskaridze, Nestan Stanford University Committee Member in Program Committee within the NASA Formal Methods-track
U Caterina UrbanUrban, Caterina Inria & École Normale Supérieure \| Université PSLFrance Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations Committee Member in Program Committee within the NASA Formal Methods-track
V Khanh V. TrinhV. Trinh, Khanh From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif
Jaco van de Polvan de Pol, Jaco Aarhus UniversityDenmark Adiar 1.1 : Zero-suppressed Decision Diagrams in External Memory
Cristian-Ioan VasileVasile, Cristian-Ioan Lehigh UniversityUnited States Rewrite-Based Decomposition of Signal Temporal Logic Specifications Committee Member in Program Committee within the NASA Formal Methods-track
Yakir VizelVizel, Yakir Technion—Israel Institute of TechnologyIsrael Condition Synthesis Realizability via Constrained Horn Clauses
Kim VöllingerVöllinger, Kim Technische Universität BerlinGermany Formalizing Piecewise Affine Activation Functions of Neural Networks in Coq
W Lucas WagnerWagner, Lucas Amazon Web ServicesUnited States A Toolkit for Automated Testing of Dafny
Cassidy WaldripWaldrip, Cassidy Brigham Young UniversityUnited States A Toolkit for Automated Testing of Dafny
Virginie WielsWiels, Virginie Onera, France Committee Member in Program Committee within the NASA Formal Methods-track
Patrick WienhöftWienhöft, Patrick TU Dresden, GermanyGermany Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access
X Mengwei XuXu, Mengwei University of GlasgowUnited Kingdom Quantitative Verification and Strategy Synthesis for BDI Agents
Mumu XuXu, Mumu University of Maryland Committee Member in Program Committee within the NASA Formal Methods-track
Y Koji YamamotoYamamoto, Koji FujitsuJapan Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations
Haruki YokoyamaYokoyama, Haruki Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations
Huafeng YuYu, Huafeng Boeing Research & TechnologyUnited States Committee Member in Program Committee within the NASA Formal Methods-track
Z Jared ZieglerZiegler, Jared Formalized High Level Synthesis with Applications to Cryptographic Hardware
Á Zsófia ÁdámÁdám, Zsófia Department of Measurement and Information Systems, Budapest University of Technology and EconomicsHungary From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif