|
| | Preview | Author(s) | Title | Type | Issue Date |
| 21 | | Bartocci, Ezio | Quantifying Uncertainty in Probabilistic Loops Without Sampling: A Fully Automated Approach | Inproceedings Konferenzbeitrag  | 2024 |
| 22 | | Stankovic, Miroslav ; Bartocci, Ezio | Probabilistic Loop Synthesis from Sequences of Moments | Inproceedings Konferenzbeitrag | 2024 |
| 23 | | Berducci, Luigi ; Yang, Shuo ; Mangharam, Rahul ; Grosu, Radu | Learning Adaptive Safety for Multi-Agent Systems | Inproceedings Konferenzbeitrag | 2024 |
| 24 | | Abd Alrahman, Yehia ; Azzopardi, Shaun ; Di Stefano, Luca ; Piterman, Nir | Attributed Point-to-Point Communication in R-CHECK | Inproceedings Konferenzbeitrag | 2024 |
| 25 | | Di Stefano, Luca ; Inverso, Omar | Emerging Synchrony in Applauding Audiences: Formal Analysis and Specification | Inproceedings Konferenzbeitrag | 2024 |
| 26 | | Bartocci, Ezio | The PROBING Project: Advancing Automatic Analysis of Probabilistic Loops | Inproceedings Konferenzbeitrag | 2024 |
| 27 | | Babaiee, Zahra ; Mohseni Kiasari, Peyman ; Rus, Daniela ; Grosu, Radu | Neural Echos: Depthwise Convolutional Filters Replicate Biological Receptive Fields | Inproceedings Konferenzbeitrag | 2024 |
| 28 | | Babaiee, Zahra ; Mohseni Kiasari, Peyman ; Rus, Daniela ; Grosu, Radu | Unveiling the Unseen: Identifiable Clusters in Trained Depthwise Convolutional Kernels | Inproceedings Konferenzbeitrag | 2024 |
| 29 | | Brandstätter, Andreas ; Smolka, Scott A. ; Stoller, Scott D. ; Tiwari, Ashish ; Grosu, Radu | Flock-Formation Control of Multi-Agent Systems using Imperfect Relative Distance Measurements | Inproceedings Konferenzbeitrag | 2024 |
| 30 | | Maroun, Emad Jacob ; Schoeberl, Martin ; Puschner, Peter | Two-Step Register Allocation for Implementing Single-Path Code | Inproceedings Konferenzbeitrag | 2024 |
| 31 | | Lygizou, Elpiniki Maria ; Reiter, Michael ; Maurer-Granofszky, Margarita ; Dworzak, Michael ; Grosu, Radu | Automated Immunophenotyping Assessment for Diagnosing Childhood Acute Leukemia using Set-Transformers | Inproceedings Konferenzbeitrag | 2024 |
| 32 | | Qu, Meixun ; He, Jie ; Tucakovic, Zlatan ; Bartocci, Ezio ; Nickovic, Dejan ; Isakovic, Haris ; Grosu, Radu | DeepRIoT: Continuous Integration and Deployment of Robotic-IoT Applications | Inproceedings Konferenzbeitrag | 2024 |
| 33 | | Muskardin, Edi ; Tappler, Martin ; Pill, Ingo ; Aichernig, Bernhard ; Pock, Thomas | On the Relationship Between RNN Hidden-State Vectors and Semantic Structures | Inproceedings Konferenzbeitrag | 2024 |
| 34 | | Pranger, Stefan ; Chockler, Hana ; Tappler, Martin ; Könighofer, Bettina | Test Where Decisions Matter: Importance-driven Testing for Deep Reinforcement Learning | Inproceedings Konferenzbeitrag | 2024 |
| 15 | | Chiari, Michele ; Mandrioli, Dino ; Pradella, Matteo | Cyclic Operator Precedence Grammars for Improved Parallel Parsing | Inproceedings Konferenzbeitrag   | 2024 |
| 16 |  | Chiari, Michele ; Geatti, Luca ; Gigante, Nicola ; Pradella, Matteo | SMT-Based Symbolic Model-Checking for Operator Precedence Languages | Inproceedings Konferenzbeitrag  | 2024 |
| 17 | | Farsang, Mónika ; Lechner, Mathias ; Lung, David ; Hasani, Ramin ; Rus, Daniela ; Grosu, Radu | Learning with Chemical versus Electrical Synapses Does it Make a Difference? | Inproceedings Konferenzbeitrag | 2024 |
| 18 | | Maroun, Emad Jacob ; Dengler, Eva ; Dietrich, Christian ; Hepp, Stefan ; Herzog, Henriette ; Huber, Benedikt ; Knoop, Jens ; Wiltsche-Prokesch, Daniel ; Puschner, Peter ; Raffeck, Phillip ; Schoeberl, Martin ; Schuster, Simon ; Wägemann, Peter | The Platin Multi-Target Worst-Case Analysis Tool | Inproceedings Konferenzbeitrag | 2024 |
| 19 | | Athavale, Anagha ; Bartocci, Ezio ; Christakis, Maria ; Maffei, Matteo ; Ničković, Dejan ; Weissenbacher, Georg | Verifying Global Two-Safety Properties in Neural Networks with Confidence | Inproceedings Konferenzbeitrag | 2024 |
| 20 | | Visconti, Ennio ; Bartocci, Ezio ; Falcone, Yliès ; Nenzi, Laura | Adaptable Configuration of Decentralized Monitors | Inproceedings Konferenzbeitrag | 2024 |
