Forschungsbereich Formal Methods in Systems Engineering

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
 
Code Kennzahl
E192-04
 
Type of Organization Organisationstyp
Research Division
Parent OrgUnit Übergeordnete Organisation
 
Active Aktiv
 

OrgUnit's Publications


Results 181-200 of 565 (Search time: 0.006 seconds).

PreviewAuthor(s)TitleTypeIssue Date
181Amir-2021-Towards Scalable Verification of Deep Reinforcement Learning-vor.pdf.jpgAmir, Guy ; Schapira, Michael ; Katz, Guy Towards Scalable Verification of Deep Reinforcement LearningInproceedings Konferenzbeitrag Oct-2021
182Bendik-2021-On Decomposition of Maximal Satisfiable Subsets-vor.pdf.jpgBendik, Jaroslav On Decomposition of Maximal Satisfiable SubsetsInproceedings Konferenzbeitrag Oct-2021
183Ozdemir-2021-SAT Solving in the Serverless Cloud-vor.pdf.jpgOzdemir, Alex ; Wu, Haoze ; Barrett, Clark SAT Solving in the Serverless CloudInproceedings Konferenzbeitrag Oct-2021
184Hadzic-2021-CocoAlma A Versatile Masking Verifier-vor.pdf.jpgHadžić, Vedad ; Bloem, Roderick CocoAlma: A Versatile Masking VerifierInproceedings Konferenzbeitrag Oct-2021
185Hyvaerinen-2021-Lookahead in Partitioning SMT-vor.pdf.jpgHyvärinen, Antti ; Marescotti, Matteo ; Sharygina, Natasha Lookahead in Partitioning SMTInproceedings Konferenzbeitrag Oct-2021
186Santolucito-2021-The FMCAD 2021 Student Forum-vor.pdf.jpgSantolucito, Mark The FMCAD 2021 Student ForumKonferenzbeitrag Inproceedings Oct-2021
187Kuncak-2021-Stainless Verification System Tutorial-vor.pdf.jpgKunčak, Viktor ; Hamza, Jad Stainless Verification System TutorialInproceedings Konferenzbeitrag Oct-2021
188Maffei, Matteo Formal Methods for the Security Analysis of Smart ContractsKonferenzbeitrag Inproceedings Oct-2021
189Dimitrova, Rayna Reactive Synthesis Beyond RealizabilityInproceedings Konferenzbeitrag Oct-2021
190Goel-2021-Towards an Automatic Proof of Lamports Paxos-vor.pdf.jpgGoel, Aman ; Sakallah, Karem Towards an Automatic Proof of Lamport's PaxosInproceedings Konferenzbeitrag Oct-2021
191Tsiskaridze-2021-Automating System Configuration-vor.pdf.jpgTsiskaridze, Nestan ; Strange, Maxwell ; Mann, Makai ; Sreedhar, Kavya ; Liu, Qiaoyi ; Horowitz, Mark ; Barrett, Clark Automating System ConfigurationInproceedings Konferenzbeitrag Oct-2021
192Temel-2021-Sound and Automated Verification of Real-World RTL Multipliers-vor.pdf.jpgTemel, Mertcan ; Hunt, Warren A., Jr. Sound and Automated Verification of Real-World RTL MultipliersInproceedings Konferenzbeitrag Oct-2021
193Dureja-2021-IC3 with Internal Signals-vor.pdf.jpgDureja, Rohit ; Gurfinkel, Arie ; Ivrii, Alexander ; Vizel, Yakir IC3 with Internal SignalsInproceedings Konferenzbeitrag Oct-2021
194Ivrii-2021-Exploiting Isomorphic Subgraphs in SAT-vor.pdf.jpgIvrii, Alexander ; Strichman, Ofer Exploiting Isomorphic Subgraphs in SATInproceedings Konferenzbeitrag Oct-2021
195Kumar-2021-Mathematical Programming Modulo Strings-vor.pdf.jpgKumar, Ankit ; Manolios, Panagiotis Mathematical Programming Modulo StringsInproceedings Konferenzbeitrag Oct-2021
196Janota-2021-Fair and Adventurous Enumeration of Quantifier Instantiations-vor.pdf.jpgJanota, Mikoláš ; Barbosa, Haniel ; Fontaine, Pascal ; Reynolds, Andrew Fair and Adventurous Enumeration of Quantifier InstantiationsInproceedings Konferenzbeitrag Oct-2021
197Kragl-2021-The Civl Verifier-vor.pdf.jpgKragl, Bernhard ; Qadeer, Shaz The Civl VerifierInproceedings Konferenzbeitrag Oct-2021
198Le-2021-Data-driven Optimization of Inductive Generalization-vor.pdf.jpgLe, Nham ; Si, Xujie ; Gurfinkel, Arie Data-driven Optimization of Inductive GeneralizationInproceedings Konferenzbeitrag Oct-2021
199Govind V K-2021-Logical Characterization of Coherent Uninterpreted Programs-vor.pdf.jpgGovind V K, Hari ; Shoham, Sharon ; Gurfinkel, Arie Logical Characterization of Coherent Uninterpreted ProgramsInproceedings Konferenzbeitrag Oct-2021
200Dharanikota-2021-Celestial A Smart Contracts Verification Framework-vor.pdf.jpgDharanikota, Samvid ; Mukherjee, Suvam ; Bhardwaj, Chandrika ; Rastogi, Aseem ; Lal, Akash Celestial: A Smart Contracts Verification FrameworkInproceedings Konferenzbeitrag Oct-2021