NASA Formal Methods 2024 Contributors - NASA Formal Methods 2024

Filter

Role Type

Contributing to

Number of Roles

Country

Results (153)

A Christopher AlexanderAlexander, Christopher GE Research SMT-Based Aircraft Conflict Detection and Elimination
Nejib AmmarAmmar, Nejib Toyota Motor North America R&D, InfoTech LabsUnited States Contract-driven Runtime Adaptation
Murat ArcakArcak, Murat University of California, BerkeleyUnited States Symmetry-based Abstraction Algorithm for Accelerating Symbolic Control Synthesis
B Souheib BaarirBaarir, Souheib EPITA (LRE)France Tackling the polarity initialization problem in SAT solving using a genetic algorithm
Julia BadgerBadger, Julia NASA Committee Member in Program Committee within the NASA Formal Methods-track
Florin BaiducBaiduc, Florin Woven by Toyota, Inc.Japan Contract-driven Runtime Adaptation
Max BannachBannach, Max European Space Agency, Advanced Concepts TeamNetherlands Structure-guided Cube-and-conquer for MaxSAT
Jason BeltBelt, Jason Kansas State UniversityUnited States Integrated Contract-based Unit and System Testing for Component-based Systems
Nathan BenzBenz, Nathan NASA Ames Research Center Session Chair of Keynote Talk #1 (part of NASA Formal Methods) Session Chair of Closing Session / NFM 2025 (part of NASA Formal Methods) Conference Chair in Organizing Committee within the NASA Formal Methods-track
Lennart BeringerBeringer, Lennart Princeton UniversityUnited States Verifying a C implementation of Derecho's coordination mechanism using VST and Coq
Cinzia BernardeshiBernardeshi, Cinzia Università di Pisa, Dipartimento di Ingegneria dell'InformazioneItaly Towards formal verification of neural networks in cyber-physical systems
Ken BirmanBirman, Ken Cornell UniversityUnited States Verifying a C implementation of Derecho's coordination mechanism using VST and Coq
Guillaume P. BratBrat, Guillaume P. NASA Ames Research Center Session Chair of Panel (part of NASA Formal Methods) Panel: Trusted Autonomy for Space and Aviation Committee Member in Program Committee within the NASA Formal Methods-track
Tevfik BultanBultan, Tevfik University of California at Santa BarbaraUnited States Committee Member in Program Committee within the NASA Formal Methods-track
Simon BurtonBurton, Simon Centre for Assuring Autonomy, University of York, UK Safety under uncertainty: Automotive standards for AI safety and research perspectives
C Radu CalinescuCalinescu, Radu University of York, UKUnited Kingdom Robotics: A New Mission for FRET Requirements Committee Member in Program Committee within the NASA Formal Methods-track
Marco CampionCampion, Marco INRIA & École Normale Supérieure \| Université PSLFrance Quantitative Input Usage Static Analysis
Wyatt CannonCannon, Wyatt NASA Ames Research Center / KBR Media Chair in Organizing Committee within the NASA Formal Methods-track
Rafael C. CardosoCardoso, Rafael C. University of AberdeenUnited Kingdom Committee Member in Program Committee within the NASA Formal Methods-track
Pei-Wei ChenChen, Pei-Wei University of California, BerkeleyUnited States SMT-Based Dynamic Multi-Robot Task Allocation
Sini ChenChen, Sini East China Normal UniversityChina Verification of Scapegoat Trees using Dafny
Chih-Hong ChengCheng, Chih-Hong Fraunhofer IKS & University of HildesheimGermany Committee Member in Program Committee within the NASA Formal Methods-track
Jean Christoph JungChristoph Jung, Jean TU Dortmund UniversityGermany Topplet: An Optimized Engine for Answering Metric Temporal Conjunctive Queries
Marco CococcioniCococcioni, Marco Università di Pisa, Dipartimento di Ingegneria dell'InformazioneItaly Towards formal verification of neural networks in cyber-physical systems
Darren CoferCofer, Darren Collins AerospaceUnited States Panel: Trusted Autonomy for Space and Aviation Committee Member in Program Committee within the NASA Formal Methods-track
Nicolas CrespoCrespo, Nicolas NASAUnited States A Formal Verification Framework for Runtime Assurance
D Misty DaviesDavies, Misty NASA Session Chair of FM for Learning-enabled Systems (part of NASA Formal Methods) Committee Member in Program Committee within the NASA Formal Methods-track
Ewen DenneyDenney, Ewen NASA Ames Research CenterUnited States Committee Member in Program Committee within the NASA Formal Methods-track
Clare DixonDixon, Clare Committee Member in Program Committee within the NASA Formal Methods-track
Jin Song DongDong, Jin Song National University of SingaporeSingapore Committee Member in Program Committee within the NASA Formal Methods-track
Jannik DunkelauDunkelau, Jannik Heinrich-Heine-UniversitätGermany Validation of Reinforcement Learning Agents and Safety Shields with ProB
Jean-Guillaume DurandDurand, Jean-Guillaume Xwing Panel: Trusted Autonomy for Space and Aviation
Claude DutheilletDutheillet, Claude LIP6 Universite Pierre et Marie CurieFrance Tackling the polarity initialization problem in SAT solving using a genetic algorithm
Aaron DutleDutle, Aaron NASA Langley Research CenterUnited States A Formal Verification Framework for Runtime Assurance Committee Member in Program Committee within the NASA Formal Methods-track
E Ingy Elsayed-AlyElsayed-Aly, Ingy University of VirginiaUnited States Distributional Probabilistic Model Checking
F Georgios FainekosFainekos, Georgios Toyota Research Institute of North AmericaUnited States SMT-Based Dynamic Multi-Robot Task Allocation
Marie FarrellFarrell, Marie The University of ManchesterUnited Kingdom Robotics: A New Mission for FRET Requirements Committee Member in Program Committee within the NASA Formal Methods-track
Lu FengFeng, Lu University of VirginiaUnited States Distributional Probabilistic Model Checking
Borja Fernandez AdiegoFernandez Adiego, Borja CERNFrance Verifying PLC Programs via Monitors: Extending the Integration of FRET and PLCverif
Angelo FerrandoFerrando, Angelo Committee Member in Program Committee within the NASA Formal Methods-track
Antonio FilieriFilieri, Antonio AWS and Imperial College LondonUnited States Committee Member in Program Committee within the NASA Formal Methods-track
Xaver FinkFink, Xaver CERNGermany Tools Lightning Talks Tool Demonstration Session Verifying PLC Programs via Monitors: Extending the Integration of FRET and PLCverif
Michael FisherFisher, Michael University of Manchester, UKUnited Kingdom Committee Member in Program Committee within the NASA Formal Methods-track
G Akila GanlathGanlath, Akila Toyota InfoTech LabsUnited States Contract-driven Runtime Adaptation
Sinem Getir YamanGetir Yaman, Sinem University of York, UKUnited Kingdom Committee Member in Program Committee within the NASA Formal Methods-track
Alwyn GoodloeGoodloe, Alwyn NASA Langley Research Center Committee Member in Program Committee within the NASA Formal Methods-track
Divya GopinathGopinath, Divya NASA Ames (KBR Inc.) Session Chair of Closing Session / NFM 2025 (part of NASA Formal Methods) Session Chair of Keynote Talk #2 (part of NASA Formal Methods) Conference Chair in Organizing Committee within the NASA Formal Methods-track
Antonios GouglidisGouglidis, Antonios Lancaster UniversityUnited Kingdom Real Arithmetic in TLAPM
H George HagenHagen, George NASA Committee Member in Program Committee within the NASA Formal Methods-track
David HardinHardin, David Collins AerospaceUnited States Integrated Contract-based Unit and System Testing for Component-based Systems
John HatcliffHatcliff, John Kansas State UniversityUnited States Integrated Contract-based Unit and System Testing for Component-based Systems
Klaus HavelundHavelund, Klaus NASA/Caltech Jet Propulsion LaboratoryUnited States Committee Member in Program Committee within the NASA Formal Methods-track
Markus HecherHecher, Markus MITAustria Structure-guided Cube-and-conquer for MaxSAT
Butler HineHine, Butler NASA Ames Research Center Autonomy Challenges for Future NASA Science and Exploration Missions
Falk HowarHowar, Falk TU Dortmund UniversityGermany Tree-Based Scenario Classification. A Formal Framework for Measuring Domain Coverage when Testing Autonomous Systems
Bardh HoxhaHoxha, Bardh Toyota Motor North America, Research & DevelopmentUnited States SMT-Based Dynamic Multi-Robot Task Allocation
Boyue Caroline HuHu, Boyue Caroline University of TorontoCanada Committee Member in Program Committee within the NASA Formal Methods-track
Sacha HuriotHuriot, Sacha Washington University in St. LouisUnited States Symmetry-based Abstraction Algorithm for Accelerating Symbolic Control Synthesis
I Calum ImrieImrie, Calum University of YorkUnited Kingdom Committee Member in Program Committee within the NASA Formal Methods-track
Inigo IncerIncer, Inigo CaltechUnited States Committee Member in Program Committee within the NASA Formal Methods-track
J Jean-Baptiste JeanninJeannin, Jean-Baptiste University of Michigan at Ann ArborUnited States Formalization of asymptotic convergence for Stationary Iterative Methods
Taylor T JohnsonJohnson, Taylor T Vanderbilt UniversityUnited States Committee Member in Program Committee within the NASA Formal Methods-track
K Eunsuk KangKang, Eunsuk Carnegie Mellon UniversityUnited States Contract-driven Runtime Adaptation Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
Parv KapoorKapoor, Parv Carnegie Mellon UniversityUnited States Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
Andreas KatisKatis, Andreas KBR / NASA Ames Research CenterUnited States Tools Lightning Talks Tool Demonstration Session Verifying PLC Programs via Monitors: Extending the Integration of FRET and PLCverif Committee Member in Program Committee within the NASA Formal Methods-track
Sarfraz KhurshidKhurshid, Sarfraz University of Texas at AustinUnited States Committee Member in Program Committee within the NASA Formal Methods-track
Edward KimKim, Edward Berkeley Committee Member in Program Committee within the NASA Formal Methods-track
Joe KiniryKiniry, Joe Galois, Inc.United States Committee Member in Program Committee within the NASA Formal Methods-track
Fiona KullmannKullmann, Fiona TU Dortmund UniversityGermany Tree-Based Scenario Classification. A Formal Framework for Measuring Domain Coverage when Testing Autonomous Systems
L Michael LeuschelLeuschel, Michael University of Düsseldorf Validation of Reinforcement Learning Agents and Safety Shields with ProB
Rory LipkisLipkis, Rory NASA Ames Research Center Review Process Chair in Organizing Committee within the NASA Formal Methods-track Committee Member in Program Committee within the NASA Formal Methods-track
Alessio LomuscioLomuscio, Alessio Imperial College London Committee Member in Program Committee within the NASA Formal Methods-track
Michael R. LowryLowry, Michael R. NASA Ames Research Center Session Chair of FM for Automotive Systems (part of NASA Formal Methods) Committee Member in Program Committee within the NASA Formal Methods-track
Sandy LozitoLozito, Sandy NASA Ames Research Center Session Chair of FM for Software Engineering (part of NASA Formal Methods) Committee Member in Program Committee within the NASA Formal Methods-track
Matt LuckcuckLuckcuck, Matt University of Nottingham, UKUnited Kingdom Committee Member in Program Committee within the NASA Formal Methods-track
M Ravi MangalMangal, Ravi Carnegie Mellon UniversityUnited States Committee Member in Program Committee within the NASA Formal Methods-track
Makai MannMann, Makai MIT Lincoln LaboratoryUnited States The Control Barrier Function Toolbox
Victoria Marie TuckMarie Tuck, Victoria University of California, BerkeleyUnited States SMT-Based Dynamic Multi-Robot Task Allocation Tools Lightning Talks Tool Demonstration Session
Lina MarssoMarsso, Lina University of TorontoCanada Committee Member in Program Committee within the NASA Formal Methods-track
Tyler MartinMartin, Tyler Washington University in St. LouisUnited States Symmetry-based Abstraction Algorithm for Accelerating Symbolic Control Synthesis
Anastasia MavridouMavridou, Anastasia KBR / NASA Ames Research CenterUnited States Robotics: A New Mission for FRET Requirements Verifying PLC Programs via Monitors: Extending the Integration of FRET and PLCverif Committee Member in Program Committee within the NASA Formal Methods-track
Denis MazzucatoMazzucato, Denis INRIA & École Normale Supérieure \| Université PSLFrance Quantitative Input Usage Static Analysis
Romulo Meira-GoesMeira-Goes, Romulo The Pennsylvania State UniversityUnited States Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
Baoluo MengMeng, Baoluo GE ResearchUnited States SMT-Based Aircraft Conflict Detection and Elimination
Mae MilanoMilano, Mae Princeton UniversityUnited States Verifying a C implementation of Derecho's coordination mechanism using VST and Coq
Joshua MillerMiller, Joshua University of Michigan, Ann ArborUnited States Formalization of asymptotic convergence for Stationary Iterative Methods
Shatadal MishraMishra, Shatadal Toyota Motor North America R&D, InfoTech LabsUnited States Contract-driven Runtime Adaptation
Sayan MitraMitra, Sayan University of Illinois at Urbana-ChampaignUnited States Committee Member in Program Committee within the NASA Formal Methods-track
Stefan MitschMitsch, Stefan DePaul UniversityUnited States Committee Member in Program Committee within the NASA Formal Methods-track
Cesar MunozMunoz, Cesar NASAUnited States A Formal Verification Framework for Runtime Assurance Committee Member in Program Committee within the NASA Formal Methods-track
N Ramana NagasamudramNagasamudram, Ramana Stevens Institute of TechnologyUnited States Verifying a C implementation of Derecho's coordination mechanism using VST and Coq
Stefan NaujokatNaujokat, Stefan TU Dortmund UniversityGermany Tree-Based Scenario Classification. A Formal Framework for Measuring Domain Coverage when Testing Autonomous Systems
David NaumannNaumann, David Stevens Institute of TechnologyUnited States Verifying a C implementation of Derecho's coordination mechanism using VST and Coq
Srinivas NedunuriNedunuri, Srinivas Sandia National LaboratoriesUnited States Model Refinement
Danel NeiderNeider, Danel TU Dortmund UniversityGermany Topplet: An Optimized Engine for Answering Metric Temporal Conjunctive Queries
Natasha NeogiNeogi, Natasha NASA Langley Research Center Committee Member in Program Committee within the NASA Formal Methods-track
Christian NeurohrNeurohr, Christian DLR e.V. Institute of Systems Engineering for Future MobilityGermany Topplet: An Optimized Engine for Answering Metric Temporal Conjunctive Queries
O Hideki OkamotoOkamoto, Hideki Toyota Motor North America, Research & DevelopmentUnited States SMT-Based Dynamic Multi-Robot Task Allocation
P Habeeb PP, Habeeb Indian Institute of Science, Bangalore.India Approximate Conformance Verification of Deep Neural Networks
Maurizio PalmieriPalmieri, Maurizio Università di Pisa, Dipartimento di Ingegneria dell'InformazioneItaly Towards formal verification of neural networks in cyber-physical systems
David ParkerParker, David University of OxfordUnited Kingdom Distributional Probabilistic Model Checking
Corina S. PasareanuPasareanu, Corina S. Carnegie Mellon University Silicon Valley, NASA Ames Research Center Formal Verification and Run-time Monitoring for Learning-Enabled Autonomous Systems Committee Member in Program Committee within the NASA Formal Methods-track
Saswata PaulPaul, Saswata GE ResearchUnited States SMT-Based Aircraft Conflict Detection and Elimination
Marco PavonePavone, Marco Stanford Panel: Trusted Autonomy for Space and Aviation
Ivan PerezPerez, Ivan NASA Ames Research Center Session Chair of Advances in Solver Technology (part of NASA Formal Methods) Committee Member in Program Committee within the NASA Formal Methods-track
Lee PikePike, Lee Galois Committee Member in Program Committee within the NASA Formal Methods-track
Pavithra PrabhakarPrabhakar, Pavithra Kansas State UniversityUnited States Approximate Conformance Verification of Deep Neural Networks
Thomas PressburgerPressburger, Thomas NASA Ames Research CenterUnited States Robotics: A New Mission for FRET Requirements
R Elvinia RiccobeneRiccobene, Elvinia Computer Science Dept., University of MilanItaly Committee Member in Program Committee within the NASA Formal Methods-track
Robby Robby Kansas State UniversityUnited States Integrated Contract-based Unit and System Testing for Component-based Systems
Federico RossiRossi, Federico Università di Pisa, Dipartimento di Ingegneria dell'InformazioneItaly Towards formal verification of neural networks in cyber-physical systems Tools Lightning Talks Tool Demonstration Session
Kristin Yvonne RozierRozier, Kristin Yvonne Iowa State University Session Chair of SMT-based Assurance of Behavioral Specifications (part of NASA Formal Methods) Committee Member in Program Committee within the NASA Formal Methods-track
S Sriram SankaranarayananSankaranarayanan, Sriram University of Colorado, BoulderUnited States Committee Member in Program Committee within the NASA Formal Methods-track
Sabrine SaouliSaouli, Sabrine Sorbonne Université (LIP6)France Tackling the polarity initialization problem in SAT solving using a genetic algorithm
Ramnath SarnathSarnath, Ramnath SCSUUnited States Structuring Formal Methods into the Undergraduate Computer Science Curriculum
Till SchallauSchallau, Till TU Dortmund UniversityGermany Tree-Based Scenario Classification. A Formal Framework for Measuring Domain Coverage when Testing Autonomous Systems
Andrew SchoerSchoer, Andrew MIT Lincoln LaboratoryUnited States The Control Barrier Function Toolbox Tools Lightning Talks Tool Demonstration Session
Johann SchumannSchumann, Johann KBR / NASA Session Chair of FM for Robotics (part of NASA Formal Methods) Committee Member in Program Committee within the NASA Formal Methods-track
Christel SeguinSeguin, Christel ONERA Committee Member in Program Committee within the NASA Formal Methods-track
Sanjit A. SeshiaSeshia, Sanjit A. University of California at BerkeleyUnited States SMT-Based Dynamic Multi-Robot Task Allocation
Chung-chieh ShanShan, Chung-chieh Indiana UniversityUnited States Committee Member in Program Committee within the NASA Formal Methods-track
S. Shankar SastryShankar Sastry, S. University of California, BerkeleyUnited States SMT-Based Dynamic Multi-Robot Task Allocation
Nija ShiShi, Nija NASA Ames Research CenterUnited States Session Chair of Closing Session / NFM 2025 (part of NASA Formal Methods) Session Chair of Keynote Talk #3 (part of NASA Formal Methods) Session Chair of Tool Demonstration Session (part of NASA Formal Methods) Session Chair of Tools Lightning Session (part of NASA Formal Methods) Tool Demonstration Session Conference Chair in Organizing Committee within the NASA Formal Methods-track
Hussein SibaiSibai, Hussein Washington University in St. LouisUnited States Symmetry-based Abstraction Algorithm for Accelerating Symbolic Control Synthesis
Satnam SinghSingh, Satnam GroqUnited States Committee Member in Program Committee within the NASA Formal Methods-track
J Tanner SlagelSlagel, J Tanner NASA Langley Research CenterUnited States A Formal Verification Framework for Runtime Assurance
Douglas SmithSmith, Douglas Kestrel InstituteUnited States Session Chair of FM for Program Analysis and Verification (part of NASA Formal Methods) Model Refinement
Christian SoSo, Christian Boston UniversityUnited States The Control Barrier Function Toolbox
Andrew SogokonSogokon, Andrew Lancaster UniversityUnited Kingdom Real Arithmetic in TLAPM
Jun SunSun, Jun School of Information Systems, Singapore Management University, SingaporeSingapore Committee Member in Program Committee within the NASA Formal Methods-track
Youcheng SunSun, Youcheng The University of ManchesterUnited Kingdom Committee Member in Program Committee within the NASA Formal Methods-track
Neeraj SuriSuri, Neeraj Real Arithmetic in TLAPM
T Helena Teixeira-DasilvaTeixeira-Dasilva, Helena Washington University in St. LouisUnited States The Control Barrier Function Toolbox
Mohit TekriwalTekriwal, Mohit Lawrence Livermore National LaboratoryUnited States Formalization of asymptotic convergence for Stationary Iterative Methods
Hazem TorfahTorfah, Hazem Chalmers University of TechnologySweden Committee Member in Program Committee within the NASA Formal Methods-track
Martin TorngrenTorngren, Martin KTH Committee Member in Program Committee within the NASA Formal Methods-track
Stavros TripakisTripakis, Stavros Northeastern UniversityUnited States Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems
Roberto TronTron, Roberto Boston UniversityUnited States The Control Barrier Function Toolbox
Elena TroubitsynaTroubitsyna, Elena KTH Committee Member in Program Committee within the NASA Formal Methods-track
U Caterina UrbanUrban, Caterina Inria & École Normale Supérieure \| Université PSLFrance Quantitative Input Usage Static Analysis
V Ovini V.W. GunasekeraV.W. Gunasekera, Ovini Lancaster UniversityUnited Kingdom Real Arithmetic in TLAPM Tools Lightning Talks Tool Demonstration Session
Fabian VuVu, Fabian Heinrich-Heine-UniversitätGermany Validation of Reinforcement Learning Agents and Safety Shields with ProB
Gricel VázquezVázquez, Gricel University of York, UKUnited Kingdom Robotics: A New Mission for FRET Requirements
W Stephen WalkWalk, Stephen SCSUUnited States Structuring Formal Methods into the Undergraduate Computer Science Curriculum
Jiapeng WangWang, Jiapeng East China Normal UniversityChina Verification of Scapegoat Trees using Dafny
Edwin WestbrookWestbrook, Edwin GaloisUnited States Committee Member in Program Committee within the NASA Formal Methods-track
Lukas WesthofenWesthofen, Lukas DLR e.V. Institute of Systems Engineering for Future MobilityGermany Topplet: An Optimized Engine for Answering Metric Temporal Conjunctive Queries Tools Lightning Talks Tool Demonstration Session
Lauren WhiteWhite, Lauren NASAUnited States A Formal Verification Framework for Runtime Assurance
Haoze WuWu, Haoze Stanford UniversityUnited States Committee Member in Program Committee within the NASA Formal Methods-track
X Mengwei XuXu, Mengwei University of NewcastleUnited Kingdom Committee Member in Program Committee within the NASA Formal Methods-track
Y Huafeng YuYu, Huafeng U.S. Department of TransportationUnited States Panel: Trusted Autonomy for Space and Aviation Committee Member in Program Committee within the NASA Formal Methods-track
Z Yuhao ZhouZhou, Yuhao Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems
Huibiao ZhuZhu, Huibiao East China Normal UniversityChina Verification of Scapegoat Trees using Dafny