Open Access Series

Sammlung aller Beiträge der Schriftenreihe der Fakultät für Architektur und Raumplanung, Proceedings SAP Academic User Group Meetings, Recent Notes on Labor Science and Organization, Geowissenschaftliche Mitteilungen und Wiener Mitteilungen.

Collection of contributions in the Series of the Faculty of Architecture and Planning, Proceedings SAP Academic User Group Meetings, Recent Notes on Labor Science and Organization, Geowissenschaftliche Mitteilungen, and Vienna Notes.

Collection's Items (Sorted by Submit Date in descending order): 21 to 40 of 755
< previous   next >
PreviewAuthor(s)TitleTypeIssue Date
Taylor-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
Lam-2023-Lift-off Trustworthy ARMv8 semantics from formal specifications-vor.pdf.jpgLam, Kait ; Coughlin, Nicholas Lift-off: Trustworthy ARMv8 semantics from formal specificationsInproceedings Konferenzbeitrag Oct-2023
Godbole-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 Oct-2023
Park-2023-Modular System Synthesis-vor.pdf.jpgPark, Kanghee ; Johnson, Keith ; D'Antoni, Loris ; Reps, Thomas Modular System SynthesisInproceedings Konferenzbeitrag Oct-2023
Bernardes Fernandes Ferreira-2023-A provably correct floating-point imple...-vor.pdf.jpgBernardes Fernandes Ferreira, Nikson ; Moscato, Mariano ; Titolo, Laura ; Ayala-Rincon, Mauricio A provably correct floating-point implementation of Well Clear Avionics ConceptsInproceedings Konferenzbeitrag Oct-2023
Zhang-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 Oct-2023
Meng-2023-Towards a Correct-by-Construction Design of Integrated Modular ...-vor.pdf.jpgMeng, Baoluo ; Debnath,Joyanta ; Varanasi, Sarat Chandra ; Manolios, Emmanuel ; Durling, Michael , et alTowards a Correct-by-Construction Design of Integrated Modular AvionicsInproceedings Konferenzbeitrag Oct-2023
Larraz-2023-CRV An Automated Resiliency Reasoner for System Design Models-vor.pdf.jpgLarraz, Daniel ; Lorch, Robert ; Yahyazadeh, Moosa ; Arif, M. Fareed ; Chowdhury, Omar , et alCRV: An Automated Resiliency Reasoner for System Design ModelsInproceedings Konferenzbeitrag Oct-2023
Wilson-2023-Partitioning Strategies for Distributed SMT Solving-vor.pdf.jpgWilson, Amalee ; Noetzli, Andres ; Reynolds, Andrew ; Cook, Byron ; Tinelli, Cesare , et alPartitioning Strategies for Distributed SMT SolvingInproceedings Konferenzbeitrag Oct-2023
Mohamed-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 Oct-2023
Zhou-2023-Mariposa Measuring SMT Instability in Automated Program Verific...-vor.pdf.jpgZhou, Yi ; Bosamiya, Jay ; Takashima, Yoshiki ; Li, Jessica G. ; Heule, Marijn , et alMariposa: Measuring SMT Instability in Automated Program VerificationInproceedings Konferenzbeitrag Oct-2023
Li-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
Froleyks-2023-BIG Backbones-vor.pdf.jpgFroleyks, Nils ; Yu, Emily ; Biere, Armin BIG BackbonesInproceedings Konferenzbeitrag Oct-2023
Fazekas-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
Codel-2023-Verified Encodings for SAT Solvers-vor.pdf.jpgCodel, Cayden ; Avigad, Jeremy ; Heule, Marijn Verified Encodings for SAT SolversInproceedings Konferenzbeitrag Oct-2023
Kiesl-Reiter-2023-Proofs for Incremental SAT with Inprocessing-vor.pdf.jpgKiesl-Reiter, Benjamin ; Whalen, Michael W. Proofs for Incremental SAT with InprocessingInproceedings Konferenzbeitrag Oct-2023
Pastva-2023-Binary decision diagrams on modern hardware-vor.pdf.jpgPastva, Samuel ; Henzinger, Thomas A. Binary decision diagrams on modern hardwareKonferenzbeitrag Inproceedings Oct-2023
Ryan-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 Oct-2023
Tollec-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 Oct-2023
Coward-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
Collection's Items (Sorted by Submit Date in descending order): 21 to 40 of 755
< previous   next >
Subscribe to this collection to receive daily e-mail notification of new additions.

Filter results