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): 41 to 60 of 755
< previous   next >
PreviewAuthors / EditorsTitleTypeIssue Date
Marmanis-2023-Optimal Bounded Partial Order Reduction-vor.pdf.jpgMarmanis, Iason ; Vafeiadis, Viktor Optimal Bounded Partial Order ReductionInproceedings Konferenzbeitrag Oct-2023
Bhat-2023-Automating Cutoff-based Verification of Distributed Protocols-vor.pdf.jpgBhat, Shreesha G. ; Nagar, Kartik Automating Cutoff-based Verification of Distributed ProtocolsInproceedings Konferenzbeitrag Oct-2023
Thakkar-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
Tafese-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
Yu-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
Elsaleh-2023-DelBugV Delta-Debugging Neural Network Verifiers-vor.pdf.jpgElsaleh, Raya ; Katz, Guy DelBugV: Delta-Debugging Neural Network VerifiersInproceedings Konferenzbeitrag Oct-2023
Wu-2023-Lightweight Online Learning for Sets of Related Problems in Autom...-vor.pdf.jpgWu, Haoze ; Hahn, Christopher ; Lonsing, Florian Matthias ; Mann, Makai ; Ramanujan, Raghuram , et alLightweight Online Learning for Sets of Related Problems in Automated ReasoningInproceedings Konferenzbeitrag Oct-2023
Bassan-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
Janota-2023-The FMCAD 2023 Student Forum-vor.pdf.jpgJanota, Mikoláš ; Narodytska, Nina The FMCAD 2023 Student ForumInproceedings Konferenzbeitrag Oct-2023
Swartwout-2023-NASAs core Flight System Framework Overview Tutorial-vor.pdf.jpgSwartwout, David NASA’s core Flight System Framework Overview / TutorialInproceedings Konferenzbeitrag Oct-2023
Cai-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 Oct-2023
Stuckey-2023-MiniZinc for Formal Methods-vor.pdf.jpgStuckey, Peter J. MiniZinc for Formal MethodsInproceedings Konferenzbeitrag Oct-2023
Rozier-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 Oct-2023
Koenighofer-2023-Formal Methods for Trusted AI-vor.pdf.jpgKönighofer, Bettina Formal Methods for Trusted AIInproceedings Konferenzbeitrag Oct-2023
Meel-2023-Distribution Testing The New Frontier for Formal Methods-vor.pdf.jpgMeel, Kuldeep Distribution Testing: The New Frontier for Formal MethodsInproceedings Konferenzbeitrag Oct-2023
Bonacina-2023-Reasoning about quantifiers in SMT the QSMA algorithm-vor.pdf.jpgBonacina, Maria Paola Reasoning about quantifiers in SMT: the QSMA algorithmInproceedings Konferenzbeitrag Oct-2023
Nadel-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
Haas-2023-Gemeinsam die Zukunft reparieren Repair-Initiativen in der Stadt-vor.pdf.jpgHaas, Mara ; Bernögger, Andreas Gemeinsam die Zukunft reparieren? Repair-Initiativen in der StadtReport Bericht 2023
Bernoegger-2023-Die Vielfalt sozialer Innovation entdecken und gemeinsam ...-vor.pdf.jpgBernögger, Andreas ; Haas, Mara ; Peer, Christian Die Vielfalt sozialer Innovation entdecken und gemeinsam reflektierenReport Bericht 2023
Kobras-2023-Sommer fuer alle. Inklusive Ferienangebote in der Stadt-vor.pdf.jpgKobras, Vanessa ; Bernögger, Andreas ; Haas, Mara Sommer für alle. Inklusive Ferienangebote in der StadtReport Bericht 2023
Collection's Items (Sorted by Submit Date in descending order): 41 to 60 of 755
< previous   next >
Subscribe to this collection to receive daily e-mail notification of new additions.

Filter results