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

Treffer 21-39 von 39 (Suchzeit: 0.006 Sekunden).

VorschauAutor_in(nen)TitelDokumenttypErscheinungs­datum
21Mohamed-2023-A Procedure for SyGuS Solution Fitting via Matching and Rewr...-vor.pdf.jpgMohamed, Abdalrhman ; Reynolds, Andrew ; Barrett, Clark ; Tinelli, Cesare A Procedure for SyGuS Solution Fitting via Matching and Rewrite Rule DiscoveryKonferenzbeitrag Inproceedings Okt-2023
22Rozier-2023-Developing an Open-Source, State-of-the-Art Symbolic Model-Ch...-vor.pdf.jpgRozier, Kristin Yvonne ; Shankar, Natarajan ; Tinelli, Cesare ; Vardi, Moshe Developing an Open-Source, State-of-the-Art Symbolic Model-Checking Framework for the Model-Checking Research CommunityInproceedings Konferenzbeitrag Okt-2023
23Saxena-2023-MediK Towards Safe Guideline-based Clinical Decision Support-vor.pdf.jpgSaxena, Manasvi ; Song, Shuang ; Sha, Lui MediK: Towards Safe Guideline-based Clinical Decision SupportInproceedings Konferenzbeitrag Okt-2023
24Zhang-2023-Fortis A Tool for Analysis and Repair of Robust Software Systems-vor.pdf.jpgZhang, Changjian ; Dardik, Ian ; Meira-Góes, Rômulo ; Garlan, David ; Kang, Eusnuk Fortis: A Tool for Analysis and Repair of Robust Software SystemsInproceedings Konferenzbeitrag Okt-2023
25Kiesl-Reiter-2023-Proofs for Incremental SAT with Inprocessing-vor.pdf.jpgKiesl-Reiter, Benjamin ; Whalen, Michael W. Proofs for Incremental SAT with InprocessingInproceedings Konferenzbeitrag Okt-2023
26Lam-2023-Lift-off Trustworthy ARMv8 semantics from formal specifications-vor.pdf.jpgLam, Kait ; Coughlin, Nicholas Lift-off: Trustworthy ARMv8 semantics from formal specificationsInproceedings Konferenzbeitrag Okt-2023
27Pastva-2023-Binary decision diagrams on modern hardware-vor.pdf.jpgPastva, Samuel ; Henzinger, Thomas A. Binary decision diagrams on modern hardwareKonferenzbeitrag Inproceedings Okt-2023
28Bonacina-2023-Reasoning about quantifiers in SMT the QSMA algorithm-vor.pdf.jpgBonacina, Maria Paola Reasoning about quantifiers in SMT: the QSMA algorithmInproceedings Konferenzbeitrag Okt-2023
29Stuckey-2023-MiniZinc for Formal Methods-vor.pdf.jpgStuckey, Peter J. MiniZinc for Formal MethodsInproceedings Konferenzbeitrag Okt-2023
30Cai-2023-Local Search and Its Application in CDCLCDCLT solvers for SATSMT-vor.pdf.jpgCai, Shaowei Local Search and Its Application in CDCL/CDCL(T) solvers for SAT/SMTKonferenzbeitrag Inproceedings Okt-2023
31Swartwout-2023-NASAs core Flight System Framework Overview Tutorial-vor.pdf.jpgSwartwout, David NASA’s core Flight System Framework Overview / TutorialInproceedings Konferenzbeitrag Okt-2023
32Qin-2023-Conformance Testing for Stochastic Cyber-Physical Systems-vor.pdf.jpgQin, Xin ; Hashemi, Navid ; Lindemann, Lars ; Deshmukh, Jyotirmoy V. Conformance Testing for Stochastic Cyber-Physical SystemsInproceedings Konferenzbeitrag Okt-2023
33Godbole-2023-Modelling and Verification of Security-Oriented Resource Par...-vor.pdf.jpgGodbole, Adwait ; Ye, Leiqi ; Manerkar, Yatin A. ; Seshia, Sanjit Modelling and Verification of Security-Oriented Resource Partitioning SchemesInproceedings Konferenzbeitrag Okt-2023
34Ryan-2023-Sylvia Countering the Path Explosion Problem in the Symbolic Ex...-vor.pdf.jpgRyan, Kaki ; Sturton, Cynthia Sylvia: Countering the Path Explosion Problem in the Symbolic Execution of Hardware DesignsInproceedings Konferenzbeitrag Okt-2023
35Park-2023-Modular System Synthesis-vor.pdf.jpgPark, Kanghee ; Johnson, Keith ; D'Antoni, Loris ; Reps, Thomas Modular System SynthesisInproceedings Konferenzbeitrag Okt-2023
36Wu-2023-Lightweight Online Learning for Sets of Related Problems in Autom...-vor.pdf.jpgWu, Haoze ; Hahn, Christopher ; Lonsing, Florian Matthias ; Mann, Makai ; Ramanujan, Raghuram ; Barrett, Clark Lightweight Online Learning for Sets of Related Problems in Automated ReasoningInproceedings Konferenzbeitrag Okt-2023
37Bhat-2023-Automating Cutoff-based Verification of Distributed Protocols-vor.pdf.jpgBhat, Shreesha G. ; Nagar, Kartik Automating Cutoff-based Verification of Distributed ProtocolsInproceedings Konferenzbeitrag Okt-2023
38Tollec-2023-ArchiFI Formal Modeling and Verification Strategies for Micro...-vor.pdf.jpgTollec, Simon ; Asavoae, Mihail ; Couroussé, Damien ; Heydemann, Karine ; Jan, Mathieu µArchiFI: Formal Modeling and Verification Strategies for Microarchitetural Fault InjectionsInproceedings Konferenzbeitrag Okt-2023
39Koenighofer-2023-Formal Methods for Trusted AI-vor.pdf.jpgKönighofer, Bettina Formal Methods for Trusted AIInproceedings Konferenzbeitrag Okt-2023