|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Clement, Mihaela-Larisa ; Farsang, Monika ; Stanusoiu, Mihai-Teodor ; Rus, Daniela ; Hasani, Ramin ; Grosu, Radu ; Bartocci, Ezio | Evaluating Domain-Shift Generalization of Liquid Neural Networks in Autonomous Driving | Inproceedings Konferenzbeitrag  | 28-Feb-2026 |
| 2 | | Lemmel, Julian ; Resch, Felix ; Farsang, Monika ; Hasani, Ramin ; Rus, Daniela ; Grosu, Radu | Online Fine-Tuning of Pretrained Controllers for Autonomous Driving via Real-Time Recurrent RL | Inproceedings Konferenzbeitrag | 28-Feb-2026 |
| 3 | | Yadav, Drishti ; Mandrioli, Claudio ; Bartocci, Ezio ; Bianculli, Domenico | Fault Injection for Simulink-based CPS Models: Insights and Future Directions | Inproceedings Konferenzbeitrag | 28-Jan-2026 |
| 4 | | Abd Alrahman, Yehia ; Azzopardi, Shaun ; Di Stefano, Luca ; Piterman, Nir | A compositional semantics for reconfigurable multi-mode interaction in R-CHECK | Article Artikel | 2026 |
| 5 | | Randone, Francesca ; Doz, Romina ; Tribastone, Mirco ; Bortolussi, Luca | DeGAS: Gradient-Based Optimization of Probabilistic Programs without Sampling | Inproceedings Konferenzbeitrag | 2026 |
| 6 | | Grosu, Radu | ResNets, NeuralODEs and CT-RNNs are Particular Neural Regulatory Networks | Book Contribution Buchbeitrag | 2026 |
| 7 | | Kofnov, Andrey ; Kapla, Daniel Benjamin ; Bartocci, Ezio ; Bura, Efstathia | Exact Upper and Lower Bounds for the Output Distribution of Neural Networks with Random Inputs | Presentation Vortrag | 17-Dec-2025 |
| 8 | | Bartocci, Ezio ; Chalupa, Marek ; Henzinger, Thomas A. ; Ničković, Dejan ; Oliveira Da Costa, Ana | Hypernode automata | Article Artikel | 9-Dec-2025 |
| 9 |  | Chiari, Michele ; Camilli, Matteo ; Bersani, Marcello M. ; van Beusekom, Rutger ; Tamburri, Damian A. | Reality Check on Formal Methods in Industry: A Study of Verum Dezyne | Article Artikel   | Dec-2025 |
| 10 |  | Chiari, Michele ; Mandrioli, Dino ; Pradella, Matteo | Cyclic operator precedence grammars for parallel parsing | Article Artikel | Nov-2025 |
| 11 |  | Kopetz, H. | A short Note on Data versus Information | Preprint Preprint | 23-Oct-2025 |
| 12 | | Bartocci, Ezio ; Henzinger, Thomas A. ; Nickovic, Dejan ; Oliveira Da Costa, Ana | Information-Flow Interfaces and Security Lattices | Book Contribution Buchbeitrag | 1-Oct-2025 |
| 13 | | Maroun, Emad Jacob ; Schoeberl, Martin ; Puschner, Peter | Optimized Constant Execution Time Code | Inproceedings Konferenzbeitrag | 29-Sep-2025 |
| 14 | | Chen, Hongkai ; Zhang, Zeyu ; Roy, Shouvik ; Bartocci, Ezio ; Smolka, Scott A. ; Stoller, Scott ; Lin, Shan | Cumulative-Time Signal Temporal Logic | Article Artikel | 26-Sep-2025 |
| 15 | | Melani, Beatrice ; Bartocci, Ezio ; Chiari, Michele | A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators | Article Artikel | 26-Sep-2025 |
| 16 | | Di Stefano, Luca | Execution and Monitoring of HOA Automata with HOAX | Inproceedings Konferenzbeitrag | 12-Sep-2025 |
| 17 | | Hsu, Tzu-Han ; Oliveira Da Costa, Ana ; Wintenberg, Andrew ; Bartocci, Ezio ; Bonakdarpour, Borzoo | Gray-box runtime enforcement of hyperproperties | Article Artikel | Sep-2025 |
| 18 | | Azzopardi, Shaun ; Di Stefano, Luca ; Piterman, Nir ; Schneider, Gerardo | Full LTL Synthesis over Infinite-State Arenas | Inproceedings Konferenzbeitrag | 23-Jul-2025 |
| 19 | | Pontiggia, Francesco ; Bartocci, Ezio ; Chiari, Michele | POPACheck: A Model Checker for Probabilistic Pushdown Automata | Inproceedings Konferenzbeitrag | 22-Jul-2025 |
| 20 | | Lopez-Miguel, Ignacio D. ; Fernández Adiego, Borja ; Salinas, Matias ; Betz, Christine | Formal Verification of PLCs as a Service: A CERN-GSI Safety-Critical Case Study | Inproceedings Konferenzbeitrag | 8-Jun-2025 |
| 21 | | Brunnbauer, Axel ; Lemmel, Julian ; Babaiee, Zahra ; Neubauer, Sophie ; Grosu, Radu | Scalable Offline Reinforcement Learning for Mean Field Games | Inproceedings Konferenzbeitrag | 5-Jun-2025 |
| 22 | | Pontiggia, Francesco ; Macák, Filip ; Andriushchenko, Roman ; Michele Chiari ; Češka, Milan | Decentralized Planning Using Probabilistic Hyperproperties | Inproceedings Konferenzbeitrag | 5-Jun-2025 |
| 23 | | Chiari, Michele ; Giornetta, Michele ; Mandrioli, Dino ; Pradella, Matteo | Boosting Parallel Parsing through Cyclic Operator Precedence Grammars | Inproceedings Konferenzbeitrag | Jun-2025 |
| 24 | | Nesterini, Eleonora ; Bartocci, Ezio ; Gambi, Alessio ; Nickovic, Dejan ; Seshia, Sanjit A. ; Torfah, Hazem | Mining Specifications for Predictive Safety Monitoring | Inproceedings Konferenzbeitrag | 7-May-2025 |
| 25 | | Lemmel, Julian ; Grosu, Radu | Real-Time Recurrent Reinforcement Learning | Inproceedings Konferenzbeitrag | 11-Apr-2025 |
| 26 | | Babaiee, Zahra ; Mohseni Kiasari, Peyman ; Rus, Daniela ; Grosu, Radu | The Master Key Filters Hypothesis: Deep Filters Are General | Inproceedings Konferenzbeitrag | 11-Apr-2025 |
| 27 | | Kofnov, Andrey ; Bartocci, Ezio ; Bura, Efstathia | Moment-based Density Elicitation with Applications in Probabilistic Loops | Article Artikel | Apr-2025 |
| 28 | | Lopez-Miguel, Ignacio D. ; Fernández Adiego, Borja ; Salinas, Matias ; Betz, Christine | Formal Verification of PLCs as a Service: A CERN-GSI Safety-Critical Case Study (extended version) | Preprint Preprint | 26-Feb-2025 |
| 29 | | Berducci, Luigi ; Aguilar, Edgar A ; Ničković, Dejan ; Grosu, Radu | HPRS: hierarchical potential-based reward shaping from task specifications | Article Artikel | 10-Feb-2025 |
| 30 | | Liu, Wenliang ; Alsalehi, Suhail ; Mehdipour, Noushin ; Bartocci, Ezio ; Belta, Calin | Quantifying the Satisfaction of Spatio-Temporal Logic Specifications for Multi-Agent Control | Article Artikel | 4-Feb-2025 |
| 31 | | Li, Penghua ; Wu, Xiankui ; Grosu, Radu ; Hou, Jie ; Ilolov, Mamadsho ; Xiang, Sheng | Applying Neural Network to Health Estimation and Lifetime Prediction of Lithium-Ion Batteries | Article Artikel | Feb-2025 |
| 32 | | Ostrowski, Erik ; Shafique, Muhammad | Embedded-ViT: A Framework for Embedded Deployment of Vision-Transformer in Medical Applications | Inproceedings Konferenzbeitrag | 22-Jan-2025 |
| 33 | | Ostrowski, Erik ; Shafique, Muhammad | J-Net: A Low-Resolution Lightweight Neural Network for Semantic Segmentation in the Medical Field for Embedded Deployment | Inproceedings Konferenzbeitrag | 22-Jan-2025 |
| 34 | | Lorber, Florian ; Seceleanu, Cristina ; Tappler, Martin | Message from the A-MOST 2025 Workshop Chairs | Inproceedings Konferenzbeitrag | 1-Jan-2025 |
| 35 | | Bartocci, Ezio ; Desharnais, Josée ; Lindner, Peter ; Sokolova, Ana | A Probabilistic Analysis of Simplified Cluedo with Storm: The Birthday Cake Case | Book Contribution Buchbeitrag | 2025 |
| 36 | | Visconti, Ennio ; Tsigkanos, Christos ; Nenzi, Laura | Automated Monitoring of Web User Interfaces | Article Artikel | 2025 |
| 37 | | Moosbrugger, Marcel ; Müllner, Julian ; Bartocci, Ezio ; Kovacs, Laura | Polar: An Algebraic Analyzer for (Probabilistic) Loops | Book Contribution Buchbeitrag | 2025 |
| 38 | | Wallner, Felix ; Aichernig, Bernhard ; Lorber, Florian ; Tappler, Martin | Mutating Skeletons: Learning Timed Automata via Domain Knowledge | Inproceedings Konferenzbeitrag | 2025 |
| 39 | | Bartocci, Ezio ; Mariani, Leonardo ; Ničković, Dejan ; Yadav, Drishti | Signal Feature Coverage and Testing for CPS Dataflow Models | Article Artikel | 2025 |
| 40 | | Grosu, Radu | Neural Programs: Linking Probabilistic and Differential Programming | Book Contribution Buchbeitrag | 2025 |
| 41 | | Brunnbauer, Axel ; Berducci, Luigi ; Priller, Peter ; Ničković, Dejan ; Grosu, Radu | Scenario-Based Curriculum Generation for Multi-Agent Driving | Inproceedings Konferenzbeitrag | 2025 |
| 42 | | Tappler, Martin ; Lopez-Miguel, Ignacio D. ; Tschiatschek, Sebastian ; Bartocci, Ezio | Rule-Guided Reinforcement Learning Policy Evaluation and Improvement | Inproceedings Konferenzbeitrag | 2025 |
| 43 | | Babaiee, Zahra ; Mohseni Kiasari, Peyman ; Rus, Daniela ; Grosu, Radu | Visual Graph Arena: Evaluating Visual Conceptualization of Vision and Multimodal Large Language Models | Inproceedings Konferenzbeitrag | 2025 |
| 44 | | Valeh, Fatemeh ; Schütz, Gerhard J. ; Grosu, Radu | Improving the Resolution of Single-Molecule Localization Microscopy by Leveraging Spatiotemporal Information | Inproceedings Konferenzbeitrag | 2025 |
| 45 | | Babaiee, Zahra ; Mohseni Kiasari, Peyman ; Daniela L Rus ; Grosu, Radu | The Quest for Universal Master Key Filters in DS-CNNs | Inproceedings Konferenzbeitrag | 2025 |
| 46 | | Lopez-Miguel, Ignacio D. ; Adam, Sebastian Philipp ; Bartocci, Ezio ; Eiter, Thomas ; Tappler, Martin | OFTEN-DEEPRL: On-the-Fly Teaching of Ethical Norms to Deep Reinforcement Learning Agents | Inproceedings Konferenzbeitrag | 2025 |
| 47 | | Lygizou, Elpiniki Maria ; Reiter, Michael ; Maurer-Granofszky, Margarita ; Dworzak, Michael ; Grosu, Radu | Deep Learning for Automating the Immunophenotyping Assessment in Childhood Acute Leukemia Diagnosis | Inproceedings Konferenzbeitrag | 2025 |
| 48 | | Farsang, Monika ; Grosu, Radu | Liquid Capacitance-Extended Neural Circuits: Synaptic Activation and Dual Liquid Dynamics for Interpretable Bio-Inspired Models | Inproceedings Konferenzbeitrag | 2025 |
| 49 | | Farsang, Monika ; Grosu, Radu | Scaling Up Liquid-Resistance Liquid-Capacitance Networks for Efficient Sequence Modeling | Inproceedings Konferenzbeitrag | 2025 |
| 50 | | Kofnov, Andrey ; Kapla, Daniel Benjamin ; Bartocci, Ezio ; Bura, Efstathia | Exact Upper and Lower Bounds for the Output Distribution of Neural Networks with Random Inputs | Inproceedings Konferenzbeitrag | 2025 |
| 51 | | Maderbacher, Benedikt ; Schupp, Stefan Alexander ; Bartocci, Ezio ; Bloem, Roderick ; Nickovic, Dejan ; Könighofer, Bettina | An Adaptive, Provable Correct Simplex Architecture | Article Artikel | 2025 |
| 52 | | Maity, Ruma ; Hübl, Maximilian ; Lemmel, Julian ; Hartl, Benedikt ; Kahl, Gerhard | Training of a “smart” triangular swimmer with the help of genetic algorithms | Inproceedings Konferenzbeitrag | 2025 |
| 53 | | Bartocci, Ezio ; Essbai, Wasim | A Comparison of Monitoring Techniques for Deep Neural Networks | Inproceedings Konferenzbeitrag | 30-Dec-2024 |
| 54 | | Farsang, Monika ; Neubauer, Sophie ; Grosu, Radu | Liquid Resistance Liquid Capacitance Networks | Presentation Vortrag | 14-Dec-2024 |
| 55 | | von Berg, Benjamin ; Aichernig, Bernhard K. ; Rindler, Maximilian ; Štern, Darko ; Tappler, Martin | Hierarchical Learning of Generative Automaton Models from Sequential Data | Inproceedings Konferenzbeitrag | 26-Nov-2024 |
| 56 |  | Chiari, Michele ; Xiang, Bin ; Canzoneri, Sergio ; Nedeltcheva, Galia Novakova ; Di Nitto, Elisabetta ; Blasi, Lorenzo ; Benedetto, Debora ; Niculut, Laurentiu ; Škof, Igor | DOML: A new modeling approach to infrastructure-as-code | Article Artikel | Nov-2024 |
| 57 | | Delicaris, Joanna ; Remke, Anne ; Ábrahám, Erika ; Schupp, Stefan ; Stübbe, Jonas | Maximizing reachability probabilities in rectangular automata with random events | Article Artikel | 9-Oct-2024 |
| 58 | | Yadav, Drishti | From Fault Injection to Formal Verification: A Holistic Approach to Fault Diagnosis in Cyber-Physical Systems | Inproceedings Konferenzbeitrag | 11-Sep-2024 |
| 59 | | Holzschuh, Julius ; Mix, Michael ; Freitag, Martin T ; Hölscher, Tobias ; Braune, Anja ; Kötzerke, Jörg ; Vrachimis, Alexis ; Doolan, Paul ; Ilhan, Harun ; Marinescu, Ioana M ; Spohn, Simon Konrad Benedict ; Fechter, Tobias ; Kuhn, Dejan ; Gratzke, Christian ; Grosu, Radu ; Grosu, Anca-Ligia ; Zamboglou, Constantinos | The impact of multicentric datasets for the automated tumor delineation in primary prostate cancer using convolutional neural networks on ¹⁸F-PSMA-1007 PET | Article Artikel | 7-Aug-2024 |
| 60 | | Essbai, Wasim ; BOMBARDA, ANDREA ; Bonfanti, Silvia ; Gargantini, Angelo | A Framework for Including Uncertainty in Robustness Evaluation of Bayesian Neural Network Classifiers | Inproceedings Konferenzbeitrag | 12-Jul-2024 |
| 61 |  | Kofnov, Andrey ; Moosbrugger, Marcel ; Stankovic, Miroslav ; Bartocci, Ezio ; Bura, Efstathia | Exact and Approximate Moment Derivation for Probabilistic Loops With Non-Polynomial Assignments | Article Artikel | 10-Jul-2024 |
| 62 | | Indri, Patrick ; Blohm, Peter ; Athavale, Anagha ; Bartocci, Ezio ; Weissenbacher, Georg ; Maffei, Matteo ; Nickovic, Dejan ; Gärtner, Thomas ; Malhotra, Sagar | Distillation based Robustness Verification with PAC Guarantees | Inproceedings Konferenzbeitrag | 28-Jun-2024 |
| 63 | | Maroun, Emad Jacob ; Schoeberl, Martin ; Puschner, Peter | Predictable and optimized single-path code for predicated processors | Article Artikel | 17-Jun-2024 |
| 64 | | Amrollahi, Daneshvar ; Bartocci, Ezio ; Kenison, George James ; Kovacs, Laura ; Moosbrugger, Marcel ; Stankovic, Miroslav | (Un)Solvable loop analysis | Article Artikel | 11-Jun-2024 |
| 65 | | Bartocci, Ezio ; Ferrère, Thomas ; Henzinger, Thomas ; Nickovic, Dejan ; Oliveira da Costa, Ana | Information-flow interfaces | Article Artikel | 23-May-2024 |
| 66 | | Lopez-Miguel, Ignacio D. | Student Research Abstract: Enhancing Safety in Cyber-Physical Systems Through Runtime Enforcement | Inproceedings Konferenzbeitrag | 21-May-2024 |
| 67 | | Lemmel, Julian ; Babaiee, Zahra ; Kleinlehner, Marvin ; Majic, Ivan ; Neubauer, Philipp ; Scholz, Johannes ; Grosu, Radu ; Neubauer, Sophie | Prediction of Tourism Flow with Sparse Geolocation Data | Inproceedings Konferenzbeitrag | 4-Jan-2024 |
| 68 | | Ostrowski, Erik ; Prabakaran, Bharath Srinivas ; Shafique, Muhammad | A Novel Weakly Supervised Semantic Segmentation Ensemble Framework for Medical Imaging | Inproceedings Konferenzbeitrag | 1-Jan-2024 |
| 69 | | Bartocci, Ezio | Quantifying Uncertainty in Probabilistic Loops Without Sampling: A Fully Automated Approach | Inproceedings Konferenzbeitrag | 2024 |
| 70 | | Stankovic, Miroslav ; Bartocci, Ezio | Probabilistic Loop Synthesis from Sequences of Moments | Inproceedings Konferenzbeitrag | 2024 |
| 71 | | Abd Alrahman, Yehia ; Azzopardi, Shaun ; Di Stefano, Luca ; Piterman, Nir | Attributed Point-to-Point Communication in R-CHECK | Inproceedings Konferenzbeitrag | 2024 |
| 72 | | Di Stefano, Luca ; Inverso, Omar | Emerging Synchrony in Applauding Audiences: Formal Analysis and Specification | Inproceedings Konferenzbeitrag | 2024 |
| 73 | | Bartocci, Ezio | The PROBING Project: Advancing Automatic Analysis of Probabilistic Loops | Inproceedings Konferenzbeitrag | 2024 |
| 74 | | 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 |
| 75 | | Maroun, Emad Jacob ; Schoeberl, Martin ; Puschner, Peter | Two-Step Register Allocation for Implementing Single-Path Code | Inproceedings Konferenzbeitrag | 2024 |
| 76 | | Visconti, Ennio ; Bartocci, Ezio ; Falcone, Yliès ; Nenzi, Laura | Adaptable Configuration of Decentralized Monitors | Inproceedings Konferenzbeitrag | 2024 |
| 77 |  | Chiari, Michele ; Geatti, Luca ; Gigante, Nicola ; Pradella, Matteo | SMT-Based Symbolic Model-Checking for Operator Precedence Languages | Inproceedings Konferenzbeitrag | 2024 |
| 78 | | Pranger, Stefan ; Chockler, Hana ; Tappler, Martin ; Könighofer, Bettina | Test Where Decisions Matter: Importance-driven Testing for Deep Reinforcement Learning | Inproceedings Konferenzbeitrag | 2024 |
| 79 |  | Chiari, Michele ; Mandrioli, Dino ; Pradella, Matteo | Cyclic Operator Precedence Grammars for Improved Parallel Parsing | Inproceedings Konferenzbeitrag | 2024 |
| 80 | | 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 |
| 81 | | Berducci, Luigi ; Yang, Shuo ; Mangharam, Rahul ; Grosu, Radu | Learning Adaptive Safety for Multi-Agent Systems | Inproceedings Konferenzbeitrag | 2024 |
| 82 | | Muskardin, Edi ; Tappler, Martin ; Pill, Ingo ; Aichernig, Bernhard ; Pock, Thomas | On the Relationship Between RNN Hidden-State Vectors and Semantic Structures | Inproceedings Konferenzbeitrag | 2024 |
| 83 | | Delicaris, Joanna ; Stübbe, Jonas ; Schupp, Stefan Alexander ; Remke, Anne | RealySt: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems | Inproceedings Konferenzbeitrag | 2024 |
| 84 | | Babaiee, Zahra ; Mohseni Kiasari, Peyman ; Rus, Daniela ; Grosu, Radu | Unveiling the Unseen: Identifiable Clusters in Trained Depthwise Convolutional Kernels | Inproceedings Konferenzbeitrag | 2024 |
| 85 | | Babaiee, Zahra ; Mohseni Kiasari, Peyman ; Rus, Daniela ; Grosu, Radu | Neural Echos: Depthwise Convolutional Filters Replicate Biological Receptive Fields | Inproceedings Konferenzbeitrag | 2024 |
| 86 | | 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 |
| 87 | | 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 |
| 88 | | Khandait, Tanmay ; Formica, Federico ; Arcaini, Paolo ; Chotaliya, Surdeep ; Fainekos, Georgios ; Hekal, Abdelrahman ; Kundu, Atanu ; Lew, Ethan ; Loreti, Michele ; Menghi, Claudio ; Nenzi, Laura ; Pedrielli, Giulia ; Peltomäki, Jarkko ; Porres, Ivan ; Ray, Rajarshi ; Soloviev, Valentin ; Visconti, Ennio ; Waga, Masaki ; Zhenya, Zhang | ARCH-COMP 2024 Category Report: Falsification | Inproceedings Konferenzbeitrag | 2024 |
| 89 | | 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 |
| 90 | | Babaiee, Zahra ; Kiasari, Peyman ; Rus, Daniela ; Grosu, Radu | We Need Far Fewer Unique Filters Than We Thought | Inproceedings Konferenzbeitrag | 2024 |
| 91 | | Farsang, Monika ; Lechner, Mathias ; Lung, David ; Hasani, Ramin ; Rus, Daniela ; Grosu, Radu | Learning with Chemical versus Electrical Synapses Does it Make a Difference? | Inproceedings Konferenzbeitrag | 2024 |
| 92 | | Amrollahi, Daneshvar ; Bartocci, Ezio ; Kenison, George ; Kovacs, Laura ; Moosbrugger, Marcel ; Stankovič, Miroslav | Correction: (Un)Solvable loop analysis | Article Artikel | 2024 |
| 93 | | Ostrowski, Erik ; Shafique, Muhammad | ISLE: A Framework for Image Level Semantic Segmentation Ensemble | Inproceedings Konferenzbeitrag | 3-Dec-2023 |
| 94 | | Prabakaran, Bharath Srinivas ; Ostrowski, Erik ; Shafique, Muhammad | ReFit: A Framework for Refinement of Weakly Supervised Semantic Segmentation Using Object Border Fitting for Medical Images | Inproceedings Konferenzbeitrag | 1-Dec-2023 |
| 95 | | Prabakaran, Bharath Srinivas ; Mrazek, Vojtech ; Vasicek, Zdenek ; Sekanina, Lukas ; Shafique, Muhammad | Xel-FPGAs: An End-to-End Automated Exploration Framework for Approximate Accelerators in FPGA-Based Systems | Inproceedings Konferenzbeitrag | 30-Nov-2023 |
| 96 | | Tundo, Alessandro ; Mobilio, Marco ; Ilager, Shashikant Shankar ; Brandic, Ivona ; Bartocci, Ezio ; Mariani, Leonardo | An Energy-Aware Approach to Design Self-Adaptive AI-based Applications on the Edge | Inproceedings Konferenzbeitrag | 8-Nov-2023 |
| 97 | | Cardelli, Luca ; Grosu, Radu ; Larsen, Kim Guldstrand ; Tribastone, Mirco ; Tschaikowski, Max ; Vandin, Andrea | Algorithmic Minimization of Uncertain Continuous-Time Markov Chains | Article Artikel | 1-Nov-2023 |
| 98 | | Holzschuh, Julius C ; Mix, Michael ; Ruf, Juri ; Hölscher, Tobias ; Kotzerke, Jörg ; Vrachimis, Alexis ; Doolan, Paul ; Ilhan, Harun ; Marinescu, Ioana M ; Spohn, Simon Konrad Benedict ; Fechter, Tobias ; Kuhn, Dejan ; Bronsert, Peter ; Gratzke, Christian ; Grosu, Radu ; Kamran, Sophia C ; Heidari, Pedram ; Ng, Thomas S C ; Könik, Arda ; Grosu, Anca-Ligia ; Zamboglou, Constantinos | Deep learning based automated delineation of the intraprostatic gross tumour volume in PSMA-PET for patients with primary prostate cancer | Article Artikel | 1-Nov-2023 |
| 99 | | Dobe, Oyendrila ; Schupp, Stefan Alexander ; Bartocci, Ezio ; Bonakdarpour, Borzoo ; Legay, Axel ; Pajic, Miroslav ; Wang, Yu | Lightweight Verification of Hyperproperties | Inproceedings Konferenzbeitrag | 19-Oct-2023 |
| 100 | | Aguilar, Edgar A ; Bartocci, Ezio ; Mateis, Cristinel ; Nesterini, Eleonora ; Nickovic, Dejan | Mining Specification Parameters for Multi-class Classification | Inproceedings Konferenzbeitrag | 1-Oct-2023 |
