Nadel, Alexander

Network Lab View Statistics Email Alert RSS Feed

Name Card

Full name Familienname, Vorname
Nadel, Alexander
 
Main Affiliation Organisations­zuordnung
 

Contributing Publications Mitbeteiligte Publikationen

Results 1-20 of 39 (Search time: 0.006 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Larraz-2023-CRV An Automated Resiliency Reasoner for System Design Models-vor.pdf.jpgLarraz, Daniel ; Lorch, Robert ; Yahyazadeh, Moosa ; Arif, M. Fareed ; Chowdhury, Omar ; Tinelli, Cesare CRV: An Automated Resiliency Reasoner for System Design ModelsInproceedings Konferenzbeitrag Oct-2023
2Meng-2023-Towards a Correct-by-Construction Design of Integrated Modular ...-vor.pdf.jpgMeng, Baoluo ; Debnath,Joyanta ; Varanasi, Sarat Chandra ; Manolios, Emmanuel ; Durling, Michael ; Paul, Saswata ; Prince, Daniel ; Alsabbagh, Saif ; Haadsma, Richard ; McMillan, Craig ; Zhang, Chi ; Oates, Tim Towards a Correct-by-Construction Design of Integrated Modular AvionicsInproceedings Konferenzbeitrag Oct-2023
3Tafese-2023-Btor2MLIR A Format for Hardware Verification-vor.pdf.jpgTafese, Joseph ; Gurfinkel, Arie ; Garcia-Contreras, Isabel Btor2MLIR: A Format for Hardware VerificationInproceedings Konferenzbeitrag Oct-2023
4Bernardes Fernandes Ferreira-2023-A provably correct floating-point imple...-vor.pdf.jpgBernardes Fernandes Ferreira, Nikson ; Moscato, Mariano ; Titolo, Laura ; Ayala-Rincón, Mauricio A provably correct floating-point implementation of Well Clear Avionics ConceptsInproceedings Konferenzbeitrag Oct-2023
5Coward-2023-Datapath Verification via Word-Level E-Graph Rewriting-vor.pdf.jpgCoward, Samuel ; Morini, Emiliano ; Tan, Bryan ; Drane, Theo ; Constantinides, George Datapath Verification via Word-Level E-Graph RewritingInproceedings Konferenzbeitrag Oct-2023
6Taylor-2023-Cycle and Commute Rare-Event Probability Verification for Che...-vor.pdf.jpgTaylor, Landon ; Israelsen, Bryant ; Zhang, Zhen Cycle and Commute: Rare-Event Probability Verification for Chemical Reaction NetworksInproceedings Konferenzbeitrag Oct-2023
7Janota-2023-The FMCAD 2023 Student Forum-vor.pdf.jpgJanota, Mikoláš ; Narodytska, Nina The FMCAD 2023 Student ForumInproceedings Konferenzbeitrag Oct-2023
8Nadel-2023-Proceedings of the 23rd Conference on Formal Methods in Comput...-vor.pdf.jpgNadel, Alexander ; Rozier, Kristin Yvonne Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023Proceedings Tagungsband Oct-2023
9Codel-2023-Verified Encodings for SAT Solvers-vor.pdf.jpgCodel, Cayden ; Avigad, Jeremy ; Heule, Marijn Verified Encodings for SAT SolversInproceedings Konferenzbeitrag Oct-2023
10Bassan-2023-Formally Explaining Neural Networks within Reactive Systems-vor.pdf.jpgBassan, Shahaf ; Amir, Guy ; Corsi, Davide ; Refaeli, Idan ; Katz, Guy Formally Explaining Neural Networks within Reactive SystemsInproceedings Konferenzbeitrag Oct-2023
11Zhou-2023-Mariposa Measuring SMT Instability in Automated Program Verific...-vor.pdf.jpgZhou, Yi ; Bosamiya, Jay ; Takashima, Yoshiki ; Li, Jessica G. ; Heule, Marijn ; Parno, Bryan Mariposa: Measuring SMT Instability in Automated Program VerificationInproceedings Konferenzbeitrag Oct-2023
12Marmanis-2023-Optimal Bounded Partial Order Reduction-vor.pdf.jpgMarmanis, Iason ; Vafeiadis, Viktor Optimal Bounded Partial Order ReductionInproceedings Konferenzbeitrag Oct-2023
13Li-2023-Local Search For SMT On Linear and Multilinear Real Arithmetic-vor.pdf.jpgLi, Bohan ; Cai, Shaowei Local Search For SMT On Linear and Multilinear Real ArithmeticInproceedings Konferenzbeitrag Oct-2023
14Froleyks-2023-BIG Backbones-vor.pdf.jpgFroleyks, Nils ; Yu, Emily ; Biere, Armin BIG BackbonesInproceedings Konferenzbeitrag Oct-2023
15Fazekas-2023-SAT-Based Quantified Symmetric Minimization of the Reachable...-vor.pdf.jpgFazekas, Katalin ; Aman, Goel ; Sakallah, Karem SAT-Based Quantified Symmetric Minimization of the Reachable States of Distributed ProtocolsInproceedings Konferenzbeitrag Oct-2023
16Wilson-2023-Partitioning Strategies for Distributed SMT Solving-vor.pdf.jpgWilson, Amalee ; Noetzli, Andres ; Reynolds, Andrew ; Cook, Byron ; Tinelli, Cesare ; Barrett, Clark Partitioning Strategies for Distributed SMT SolvingInproceedings Konferenzbeitrag Oct-2023
17Thakkar-2023-Data-Driven Learning of Strong Conjunctive Invariants-vor.pdf.jpgThakkar, Arkesh H. ; D’Souza, Deepak Data-Driven Learning of Strong Conjunctive InvariantsInproceedings Konferenzbeitrag Oct-2023
18Yu-2023-Towards Compositional Hardware Model Checking Certification-vor.pdf.jpgYu, Emily ; Froleyks, Nils ; Biere, Armin ; Heljanko, Keijo Towards Compositional Hardware Model Checking CertificationInproceedings Konferenzbeitrag Oct-2023
19Dong-2023-Formal Verification of Correctness and Information Flow Securit...-vor.pdf.jpgDong, Ning ; Guanciale, Roberto ; Dam, Mads ; Lööw, Andreas Formal Verification of Correctness and Information Flow Security for an In-Order Pipelined ProcessorInproceedings Konferenzbeitrag Oct-2023
20Elsaleh-2023-DelBugV Delta-Debugging Neural Network Verifiers-vor.pdf.jpgElsaleh, Raya ; Katz, Guy DelBugV: Delta-Debugging Neural Network VerifiersInproceedings Konferenzbeitrag Oct-2023