|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 |  | Bonacina, Maria Paola | Reasoning about quantifiers in SMT: the QSMA algorithm | Inproceedings Konferenzbeitrag    | Oct-2023 |
| 2 |  | Meel, Kuldeep | Distribution Testing: The New Frontier for Formal Methods | Inproceedings Konferenzbeitrag | Oct-2023 |
| 3 |  | Könighofer, Bettina | Formal Methods for Trusted AI | Inproceedings Konferenzbeitrag | Oct-2023 |
| 4 |  | Cai, Shaowei | Local Search and Its Application in CDCL/CDCL(T) solvers for SAT/SMT | Konferenzbeitrag Inproceedings | Oct-2023 |
| 5 |  | Stuckey, Peter J. | MiniZinc for Formal Methods | Inproceedings Konferenzbeitrag | Oct-2023 |
| 6 |  | Janota, Mikoláš ; Narodytska, Nina | The FMCAD 2023 Student Forum | Inproceedings Konferenzbeitrag | Oct-2023 |
| 7 |  | Rozier, 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 Community | Inproceedings Konferenzbeitrag | Oct-2023 |
| 8 |  | Swartwout, David | NASA’s core Flight System Framework Overview / Tutorial | Inproceedings Konferenzbeitrag | Oct-2023 |
| 9 |  | Wu, Haoze ; Hahn, Christopher ; Lonsing, Florian Matthias ; Mann, Makai ; Ramanujan, Raghuram ; Barrett, Clark | Lightweight Online Learning for Sets of Related Problems in Automated Reasoning | Inproceedings Konferenzbeitrag | Oct-2023 |
| 10 |  | Bassan, Shahaf ; Amir, Guy ; Corsi, Davide ; Refaeli, Idan ; Katz, Guy | Formally Explaining Neural Networks within Reactive Systems | Inproceedings Konferenzbeitrag | Oct-2023 |
| 11 | | Donta, Praveen Kumar ; Dustdar, Schahram | Towards Intelligent Data Protocols for the Edge | Inproceedings Konferenzbeitrag | 2023 |
| 12 | | Morichetta, Andrea ; Pusztai, Thomas Werner ; Vij, Deepak ; Casamayor Pujol, Victor ; Raith, Philipp Alexander ; Xiong, Ying ; Nastic, Stefan ; Dustdar, Schahram ; Zhang, Zhaobo | Demystifying deep learning in predictive monitoring for cloud-native SLOs | Inproceedings Konferenzbeitrag | 2023 |
| 13 | | Govori, Edon ; Murturi, Ilir ; Dustdar, Schahram | A Comprehensive Performance Evaluation of Procedural Geometry Workloads on Resource-Constrained Devices | Inproceedings Konferenzbeitrag | 2023 |
| 14 | | Dustdar, Schahram | Distributed Computing Continuum Systems | Inproceedings Konferenzbeitrag | 24-Aug-2022 |
| 15 | | Dustdar, Schahram | Distributed Computing Continuum Systems | Inproceedings Konferenzbeitrag | 22-Aug-2022 |
| 16 | | Dehury, Chinmaya Kumar ; Donta, Praveen Kumar ; Dustdar, Schahram ; Srirama, Satish Narayana | CCEI-IoT: Clustered and Cohesive Edge Intelligence in Internet of Things | Inproceedings Konferenzbeitrag | 2022 |
| 17 | | Amiri, Amirali ; Zdun, Uwe ; van Hoorn, Andre ; Dustdar, Schahram | Cost-Aware Multidimensional Auto-Scaling of Service- and Cloud-Based Dynamic Routing to Prevent System Overload | Inproceedings Konferenzbeitrag | 2022 |
