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
Preview | Author(s) | Title | Type | Issue Date |
---|---|---|---|---|
Taylor, Landon ; Israelsen, Bryant ; Zhang, Zhen | Cycle and Commute: Rare-Event Probability Verification for Chemical Reaction Networks | Inproceedings Konferenzbeitrag | Oct-2023 | |
Lam, Kait ; Coughlin, Nicholas | Lift-off: Trustworthy ARMv8 semantics from formal specifications | Inproceedings Konferenzbeitrag | Oct-2023 | |
Godbole, Adwait ; Ye, Leiqi ; Manerkar, Yatin A. ; Seshia, Sanjit | Modelling and Verification of Security-Oriented Resource Partitioning Schemes | Inproceedings Konferenzbeitrag | Oct-2023 | |
Park, Kanghee ; Johnson, Keith ; D'Antoni, Loris ; Reps, Thomas | Modular System Synthesis | Inproceedings Konferenzbeitrag | Oct-2023 | |
Bernardes Fernandes Ferreira, Nikson ; Moscato, Mariano ; Titolo, Laura ; Ayala-Rincon, Mauricio | A provably correct floating-point implementation of Well Clear Avionics Concepts | Inproceedings Konferenzbeitrag | Oct-2023 | |
Zhang, Changjian ; Dardik, Ian ; Meira-Góes, Rômulo ; Garlan, David ; Kang, Eusnuk | Fortis: A Tool for Analysis and Repair of Robust Software Systems | Inproceedings Konferenzbeitrag | Oct-2023 | |
Meng, Baoluo ; Debnath,Joyanta ; Varanasi, Sarat Chandra ; Manolios, Emmanuel ; Durling, Michael , et al | Towards a Correct-by-Construction Design of Integrated Modular Avionics | Inproceedings Konferenzbeitrag | Oct-2023 | |
Larraz, Daniel ; Lorch, Robert ; Yahyazadeh, Moosa ; Arif, M. Fareed ; Chowdhury, Omar , et al | CRV: An Automated Resiliency Reasoner for System Design Models | Inproceedings Konferenzbeitrag | Oct-2023 | |
Wilson, Amalee ; Noetzli, Andres ; Reynolds, Andrew ; Cook, Byron ; Tinelli, Cesare , et al | Partitioning Strategies for Distributed SMT Solving | Inproceedings Konferenzbeitrag | Oct-2023 | |
Mohamed, Abdalrhman ; Reynolds, Andrew ; Barrett, Clark ; Tinelli, Cesare | A Procedure for SyGuS Solution Fitting via Matching and Rewrite Rule Discovery | Konferenzbeitrag Inproceedings | Oct-2023 | |
Zhou, Yi ; Bosamiya, Jay ; Takashima, Yoshiki ; Li, Jessica G. ; Heule, Marijn , et al | Mariposa: Measuring SMT Instability in Automated Program Verification | Inproceedings Konferenzbeitrag | Oct-2023 | |
Li, Bohan ; Cai, Shaowei | Local Search For SMT On Linear and Multilinear Real Arithmetic | Inproceedings Konferenzbeitrag | Oct-2023 | |
Froleyks, Nils ; Yu, Emily ; Biere, Armin | BIG Backbones | Inproceedings Konferenzbeitrag | Oct-2023 | |
Fazekas, Katalin ; Aman, Goel ; Sakallah, Karem | SAT-Based Quantified Symmetric Minimization of the Reachable States of Distributed Protocols | Inproceedings Konferenzbeitrag | Oct-2023 | |
Codel, Cayden ; Avigad, Jeremy ; Heule, Marijn | Verified Encodings for SAT Solvers | Inproceedings Konferenzbeitrag | Oct-2023 | |
Kiesl-Reiter, Benjamin ; Whalen, Michael W. | Proofs for Incremental SAT with Inprocessing | Inproceedings Konferenzbeitrag | Oct-2023 | |
Pastva, Samuel ; Henzinger, Thomas A. | Binary decision diagrams on modern hardware | Konferenzbeitrag Inproceedings | Oct-2023 | |
Ryan, Kaki ; Sturton, Cynthia | Sylvia: Countering the Path Explosion Problem in the Symbolic Execution of Hardware Designs | Inproceedings Konferenzbeitrag | Oct-2023 | |
Tollec, Simon ; Asavoae, Mihail ; Couroussé, Damien ; Heydemann, Karine ; Jan, Mathieu | µArchiFI: Formal Modeling and Verification Strategies for Microarchitetural Fault Injections | Inproceedings Konferenzbeitrag | Oct-2023 | |
Coward, Samuel ; Morini, Emiliano ; Tan, Bryan ; Drane, Theo ; Constantinides, George | Datapath Verification via Word-Level E-Graph Rewriting | Inproceedings Konferenzbeitrag | Oct-2023 |
Collection's Items (Sorted by Submit Date in descending order): 21 to 40 of 755
Filter results
- 113 formale Methode
- 112 formal methods
- 60 Abwasser
- 54 Abwasserreinigung
- 53 Kläranlage
- 49 Kongress
- 47 computer-aided system design
- 31 Kongreß
- 30 Aufsatzsammlung
- 30 Klärschlamm
- next >
- 322 2020 - 2024
- 88 2010 - 2019
- 69 2000 - 2009
- 190 1990 - 1999
- 54 1980 - 1989
- 28 1970 - 1979
- 4 1968 - 1969
- next >