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 101-120 of 565 (Search time: 0.006 seconds).

PreviewAuthor(s)TitleTypeIssue Date
101Kalita-2022-Synthesis of Semantic Actions in Attribute Grammars-vor.pdf.jpgKalita, Pankaj Kumar ; Kumar, Miriyala Jeevan ; Roy, Subhajit Synthesis of Semantic Actions in Attribute GrammarsInproceedings Konferenzbeitrag Oct-2022
102Grover-2022-Synthesizing Transducers from Complex Specifications-vor.pdf.jpgGrover, Anvay ; Ehlers, Ruediger ; D'Antoni, Loris Synthesizing Transducers from Complex SpecificationsInproceedings Konferenzbeitrag Oct-2022
103Loeoew-2022-Reconciling Verified-Circuit Development and Verilog Development-vor.pdf.jpgLööw, Andreas Reconciling Verified-Circuit Development and Verilog DevelopmentKonferenzbeitrag Inproceedings Oct-2022
104Kaivola-2022-Timed Causal Fanin Analysis for Symbolic Circuit Simulation-vor.pdf.jpgKaivola, Roope ; Bar Kama, Neta Timed Causal Fanin Analysis for Symbolic Circuit SimulationKonferenzbeitrag Inproceedings Oct-2022
105Flatt-2022-Small Proofs from Congruence Closure-vor.pdf.jpgFlatt, Oliver ; Coward, Samuel ; Willsey, Max ; Tatlock, Zachary ; Panchekha, Pavel Small Proofs from Congruence ClosureKonferenzbeitrag Inproceedings Oct-2022
106Nair-2022-Proof-StitchProof Combination for Divide-and-Conquer SAT Solvers-vor.pdf.jpgNair, Abhishek ; Chattopadhyay, Saranyu ; Wu, Haoze ; Ozdemir, Alex ; Barrett, Clark Proof-Stitch_Proof Combination for Divide-and-Conquer SAT SolversKonferenzbeitrag Inproceedings Oct-2022
107Kheterpal-2022-Automating Geometric Proofs of Collision Avoidance with Ac...-vor.pdf.jpgKheterpal, Nishant ; Tang, Elanor ; Jeannin, Jean-Baptiste Automating Geometric Proofs of Collision Avoidance with Active CornersInproceedings Konferenzbeitrag Oct-2022
108Godbole-2022-Automated Conversion of Axiomatic to Operational Models Theo...-vor.pdf.jpgGodbole, Adwait ; Manerkar, Yatin A. ; Seshia, Sanjit A. Automated Conversion of Axiomatic to Operational Models: Theory and PracticeInproceedings Konferenzbeitrag Oct-2022
109Maderbacher-2022-Reactive Synthesis Modulo Theories using Abstraction Ref...-vor.pdf.jpgMaderbacher, Benedikt ; Bloem, Roderick Reactive Synthesis Modulo Theories using Abstraction RefinementInproceedings Konferenzbeitrag Oct-2022
110Bucev-2022-Formally Verified Quite OK Image Format-vor.pdf.jpgBucev, Mario ; Kunčak, Viktor Formally Verified Quite OK Image FormatInproceedings Konferenzbeitrag Oct-2022
111Lauffer-2022-Learning Deterministic Finite Automata Decompositions from E...-vor.pdf.jpgLauffer, Niklas ; Yalcinkaya, Beyazit ; Vazquez-Chanlatte, Marcell ; Shah, Ameesh ; Seshia, Sanjit A. Learning Deterministic Finite Automata Decompositions from Examples and DemonstrationsInproceedings Konferenzbeitrag Oct-2022
112Priya-2022-Bounded Model Checking for LLVM-vor.pdf.jpgPriya, Siddharth ; Su, Yusen ; Bao, Yuyan ; Zhou,Xiang ; Vizel, Yakir ; Gurfinkel, Arie Bounded Model Checking for LLVMKonferenzbeitrag Inproceedings Oct-2022
113Zhang-2022-Synthesizing Locally Symmetric Parameterized Protocols from Te...-vor.pdf.jpgZhang, Ruoxi ; Trefler, Richard ; Namjoshi, Kedar Synthesizing Locally Symmetric Parameterized Protocols from Temporal SpecificationsKonferenzbeitrag Inproceedings Oct-2022
114Jacobs-2022-Automatic Repair and Deadlock Detection for Parameterized Sys...-vor.pdf.jpgJacobs, Swen ; Sakr, Mouhammad ; Völp, Marcus Automatic Repair and Deadlock Detection for Parameterized SystemsKonferenzbeitrag Inproceedings Oct-2022
115Daly-2022-Synthesizing Instruction Selection Rewrite Rules from RTL using...-vor.pdf.jpgDaly, Ross ; Donovick, Caleb ; Melchert, Jackson ; Setaluri, Rajsekhar ; Tsiskaridze, Nestan ; Raina, Priyanka ; Barrett, Clark ; Hanrahan, Pat Synthesizing Instruction Selection Rewrite Rules from RTL using SMTKonferenzbeitrag Inproceedings Oct-2022
116Palmskog-2022-Foundations and Tools in HOL4 for Analysis of Microarchitec...-vor.pdf.jpgPalmskog, Karl ; Yao, Xiaomo ; Dong, Ning ; Guanciale, Roberto ; Dam, Mads Foundations and Tools in HOL4 for Analysis of Microarchitectural Out-of-Order ExecutionKonferenzbeitrag Inproceedings Oct-2022
117Haglund-2022-Formally Verified Isolation of DMA-vor.pdf.jpgHaglund, Jonas ; Guanciale, Roberto Formally Verified Isolation of DMAKonferenzbeitrag Inproceedings Oct-2022
118Gupta-2022-Error Correction Code Algorithm and Implementation Verificatio...-vor.pdf.jpgGupta, Aarti ; Kaivola, Roope ; Metha, Mihir Parang ; Singh, Vaibhav Error Correction Code Algorithm and Implementation Verification Using Symbolic RepresentationsKonferenzbeitrag Inproceedings Oct-2022
119Amir-2022-Verification-Aided Deep Ensemble Selection-vor.pdf.jpgAmir, Guy ; Zelazny, Tom ; Katz, Guy ; Schapira, Michael Verification-Aided Deep Ensemble SelectionKonferenzbeitrag Inproceedings Oct-2022
120Zelazny-2022-On Optimizing Back-Substitution Methods for Neural Network V...-vor.pdf.jpgZelazny, Tom ; Wu, Haoze ; Barrett, Clark ; Katz, Guy On Optimizing Back-Substitution Methods for Neural Network VerificationKonferenzbeitrag Inproceedings Oct-2022