|
| | 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 | | Rawson, Michael ; Eisenhofer, Clemens ; Kovács, Laura | Constraint Learning for Non-confluent Proof Search | Inproceedings Konferenzbeitrag | 2026 |
| 5 | | Eisenhofer, Clemens ; Seiser, Theodor ; Bjørner, Nikolaj ; Kovács, Laura | On Solving String Equations via Powers and Parikh Images | 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 | | El Shahaby, Raghda ; Függer, Matthias ; Huemer, Florian ; Steininger, Andreas | SeAL: A Provably Complete Fault-Injection Tool for Asynchronous Circuits | Inproceedings Konferenzbeitrag | 9-Dec-2025 |
| 10 | | Rain, Sophie ; Petković Komel, Anja ; Rawson, Michael ; Kovacs, Laura | Game Modeling of Blockchain Protocols | Inproceedings Konferenzbeitrag | 15-Nov-2025 |
| 11 | | Pfliegler, Dave ; Geibinger, Tobias ; Eiter, Thomas | Bayesian Hyperparameter Optimization with ALASPO (Extended Abstract) | Inproceedings Konferenzbeitrag | Nov-2025 |
| 12 | | Geibinger, Tobias ; Eiter, Thomas | An Argumentation Calculus for Equilibrium Logic | Inproceedings Konferenzbeitrag | Nov-2025 |
| 13 | | Hajdu, Márton ; Hozzová, Petra ; Kovacs, Laura ; Voronkov, Andrei ; Wagner, Eva Maria ; Žilinčík, Richard Steven | Synthesis Benchmarks for Automated Reasoning | Inproceedings Konferenzbeitrag | 8-Oct-2025 |
| 14 | | Winkler, Lorenz ; Kovács, Laura | Positive Almost-Sure Termination of Polynomial Random Walks | Inproceedings Konferenzbeitrag | 2-Oct-2025 |
| 15 | | Bartocci, Ezio ; Henzinger, Thomas A. ; Nickovic, Dejan ; Oliveira Da Costa, Ana | Information-Flow Interfaces and Security Lattices | Book Contribution Buchbeitrag | 1-Oct-2025 |
| 16 | | Bocevska, Ivana ; Petković Komel, Anja ; Kovacs, Laura ; Rain, Sophie ; Rawson, Michael | Divide and Conquer: A Compositional Approach to Game-Theoretic Security | Article Artikel | Oct-2025 |
| 17 | | Maroun, Emad Jacob ; Schoeberl, Martin ; Puschner, Peter | Optimized Constant Execution Time Code | Inproceedings Konferenzbeitrag | 29-Sep-2025 |
| 18 | | 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 |
| 19 | | Rahmani, Hossein ; Meixner, Kristof ; Biffl, Stefan | Towards Trustworthy Adaptation of Cyber-Physical Production Systems with Contract-Based Design | Inproceedings Konferenzbeitrag | 2-Sep-2025 |
| 20 | | Hsu, Tzu-Han ; Oliveira Da Costa, Ana ; Wintenberg, Andrew ; Bartocci, Ezio ; Bonakdarpour, Borzoo | Gray-box runtime enforcement of hyperproperties | Article Artikel | Sep-2025 |
| 21 | | Hajdu, Marton ; Coutelier, Robin ; Kovacs, Laura ; Voronkov, Andrei | Term Ordering Diagrams | Inproceedings Konferenzbeitrag | 30-Jul-2025 |
| 22 | | Scharwitzl, Clemens ; Steininger, Andreas | Circuits for Autonomous Clock Frequency Supervision | Article Artikel | 25-Jul-2025 |
| 23 | | Pontiggia, Francesco ; Bartocci, Ezio ; Chiari, Michele | POPACheck: A Model Checker for Probabilistic Pushdown Automata | Inproceedings Konferenzbeitrag | 22-Jul-2025 |
| 24 |  | Eiter, Thomas ; Geibinger, Tobias ; Musliu, Nysret ; Oetsch, Johannes ; Kaminski, Tobias | ASP-FZN: a translation-based constraint answer set solver | Article Artikel   | Jul-2025 |
| 25 | | Stadler, Marco ; Biffl, Stefan ; Vierhauser, Michael ; Sametinger, Johannes | Towards Unified Field-Testing and Monitoring for Safe and Secure Robotic Applications | Inproceedings Konferenzbeitrag | 12-Jun-2025 |
| 26 | | King, Daragh ; Koutavas, Vasileios ; Kovacs, Laura | LLM-based Generation of Weakest Preconditions and Precise Array Invariants | Inproceedings Konferenzbeitrag | 12-Jun-2025 |
| 27 |  | Lehninger, Philipp ; Jantsch, Axel ; Steininger, Andreas ; Worsey, Elliott ; Marot, Victor ; Pamunuwa, Dinesh | Muller C-Element for NEMS | Inproceedings Konferenzbeitrag | 5-Jun-2025 |
| 28 | | Brunnbauer, Axel ; Lemmel, Julian ; Babaiee, Zahra ; Neubauer, Sophie ; Grosu, Radu | Scalable Offline Reinforcement Learning for Mean Field Games | Inproceedings Konferenzbeitrag | 5-Jun-2025 |
| 29 | | Elshehaby, Raghda ; Függer, Matthias ; Huemer, Florian Ferdinand ; Steininger, Andreas | Investigating the Effects of Permanent Faults in QDI Circuits: A Formal Perspective | Inproceedings Konferenzbeitrag | 5-Jun-2025 |
| 30 |  | Kovacs, Laura | Automated Reasoning | Presentation Vortrag | Jun-2025 |
| 31 | | Nesterini, Eleonora ; Bartocci, Ezio ; Gambi, Alessio ; Nickovic, Dejan ; Seshia, Sanjit A. ; Torfah, Hazem | Mining Specifications for Predictive Safety Monitoring | Inproceedings Konferenzbeitrag | 7-May-2025 |
| 32 | | Rath, Jakob ; Eisenhofer, Clemens ; Kaufmann, Daniela ; Bjørner, Nikolaj ; Kovacs, Laura | PolySAT: Word-level Bit-vector Reasoning in Z3 | Inproceedings Konferenzbeitrag | 3-May-2025 |
| 33 | | Lemmel, Julian ; Grosu, Radu | Real-Time Recurrent Reinforcement Learning | Inproceedings Konferenzbeitrag | 11-Apr-2025 |
| 34 | | Babaiee, Zahra ; Mohseni Kiasari, Peyman ; Rus, Daniela ; Grosu, Radu | The Master Key Filters Hypothesis: Deep Filters Are General | Inproceedings Konferenzbeitrag | 11-Apr-2025 |
| 35 | | Kofnov, Andrey ; Bartocci, Ezio ; Bura, Efstathia | Moment-based Density Elicitation with Applications in Probabilistic Loops | Article Artikel | Apr-2025 |
| 36 | | Berducci, Luigi ; Aguilar, Edgar A ; Ničković, Dejan ; Grosu, Radu | HPRS: hierarchical potential-based reward shaping from task specifications | Article Artikel | 10-Feb-2025 |
| 37 | | 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 |
| 38 | | 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 |
| 39 | | Moosbrugger, Marcel ; Müllner, Julian ; Bartocci, Ezio ; Kovacs, Laura | Polar: An Algebraic Analyzer for (Probabilistic) Loops | Book Contribution Buchbeitrag | 2025 |
| 40 | | Grosu, Radu | Neural Programs: Linking Probabilistic and Differential Programming | Book Contribution Buchbeitrag | 2025 |
| 41 | | Eiter, Thomas ; Geibinger, Tobias | A Sequent Calculus for Answer Set Entailment | Inproceedings Konferenzbeitrag | 2025 |
| 42 | | Brunnbauer, Axel ; Berducci, Luigi ; Priller, Peter ; Ničković, Dejan ; Grosu, Radu | Scenario-Based Curriculum Generation for Multi-Agent Driving | Inproceedings Konferenzbeitrag | 2025 |
| 43 | | Tappler, Martin ; Lopez-Miguel, Ignacio D. ; Tschiatschek, Sebastian ; Bartocci, Ezio | Rule-Guided Reinforcement Learning Policy Evaluation and Improvement | Inproceedings Konferenzbeitrag | 2025 |
| 44 | | 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 |
| 45 | | Valeh, Fatemeh ; Schütz, Gerhard J. ; Grosu, Radu | Improving the Resolution of Single-Molecule Localization Microscopy by Leveraging Spatiotemporal Information | Inproceedings Konferenzbeitrag | 2025 |
| 46 | | Babaiee, Zahra ; Mohseni Kiasari, Peyman ; Daniela L Rus ; Grosu, Radu | The Quest for Universal Master Key Filters in DS-CNNs | Inproceedings Konferenzbeitrag | 2025 |
| 47 | | 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 |
| 48 | | 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 |
| 49 | | Farsang, Monika ; Grosu, Radu | Liquid Capacitance-Extended Neural Circuits: Synaptic Activation and Dual Liquid Dynamics for Interpretable Bio-Inspired Models | Inproceedings Konferenzbeitrag | 2025 |
| 50 | | Meixner, Kristof ; Feichtinger, Kevin ; Fadhlillah, Hafiyyan Sayyid ; Greiner, Sandra ; Marcher, Hannes ; Rabiser, Rick ; Biffl, Stefan | Variability Modeling of Products, Processes, and Resources in Cyber-Physical Production Systems Engineering | Inproceedings Konferenzbeitrag | 2025 |
| 51 | | Farsang, Monika ; Grosu, Radu | Scaling Up Liquid-Resistance Liquid-Capacitance Networks for Efficient Sequence Modeling | Inproceedings Konferenzbeitrag | 2025 |
| 52 | | 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 |
| 53 | | Maderbacher, Benedikt ; Schupp, Stefan Alexander ; Bartocci, Ezio ; Bloem, Roderick ; Nickovic, Dejan ; Könighofer, Bettina | An Adaptive, Provable Correct Simplex Architecture | Article Artikel | 2025 |
| 54 | | Bartocci, Ezio ; Essbai, Wasim | A Comparison of Monitoring Techniques for Deep Neural Networks | Inproceedings Konferenzbeitrag | 30-Dec-2024 |
| 55 | | Biffl, Stefan ; Meixner, Kristof ; Vierhauser, Michael | Agile Field Test Support for Drone Rescue Missions | Inproceedings Konferenzbeitrag | 19-Dec-2024 |
| 56 | | Rahmani, Hossein ; Biffl, Stefan ; Meixner, Kristof ; Hoffmann, David ; Lüder, Arndt ; Winkler, Dietmar | Business Risk Analysis of Production Variants Considering Technical Dependencies | Inproceedings Konferenzbeitrag | 19-Dec-2024 |
| 57 | | Farsang, Monika ; Neubauer, Sophie ; Grosu, Radu | Liquid Resistance Liquid Capacitance Networks | Presentation Vortrag | 14-Dec-2024 |
| 58 |  | Coutelier, Robin ; Rath, Jakob ; Rawson, Michael ; Biere, Armin ; Kovacs, Laura | SAT solving for variants of first-order subsumption | Article Artikel | 11-Nov-2024 |
| 59 | | Rinker, Felix Paul ; Meixner, Kristof ; Dogaru, Roxana ; Biffl, Stefan | Graph-Based Change Impact Visualization for Agile Cyber-Physical Production Systems Engineering | Inproceedings Konferenzbeitrag | 16-Oct-2024 |
| 60 | | Rinker, Felix Paul ; Meixner, Kristof ; Vysoká, Diana ; Biffl, Stefan | Multi-Domain Modeling for Change Management in Cyber-Physical Production Systems Engineering | Inproceedings Konferenzbeitrag | 16-Oct-2024 |
| 61 | | Rinker, Felix Paul ; Vysoká, Diana ; Meixner, Kristof ; Biffl, Stefan | Survey of Practitioner Needs and Approaches for Multi-Domain Change Management in Cyber-Physical Production Systems Engineering | Inproceedings Konferenzbeitrag | 16-Oct-2024 |
| 62 | | Lüder, Arndt ; Hoffmann, David ; Biffl, Stefan ; Meixner, Kristof | Identifying Required Knowledge for Production System Digitalization Projects | Inproceedings Konferenzbeitrag | 16-Oct-2024 |
| 63 | | Rath, Jakob ; Eisenhofer, Clemens ; Kaufmann, Daniela ; Bjørner, Nikolaj ; Kovacs, Laura | PolySAT: Word-level Bit-vector Reasoning in Z3 | Presentation Vortrag | 14-Oct-2024 |
| 64 |  | Eiter, Thomas ; Hadl, Jan ; Higuera Ruiz, Nelson Nicolas ; Oetsch, Johannes | Declarative Knowledge Distillation from Large Language Models forVisual Question Answering Datasets | Inproceedings Konferenzbeitrag | 12-Oct-2024 |
| 65 | | Coutelier, Robin ; Fleury, Mathias ; Kovacs, Laura | Lazy Reimplication in Chronological Backtracking | Inproceedings Konferenzbeitrag | 19-Aug-2024 |
| 66 |  | Eiter, Thomas ; Fichte, Johannes Klaus ; Hecher, Markus ; Woltran, Stefan | Epistemic Logic Programs: Non-Ground and Counting Complexity | Inproceedings Konferenzbeitrag | 9-Aug-2024 |
| 67 | | 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 |
| 68 | | 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 |
| 69 | | Hader, Thomas ; Kaufmann, Daniela ; Irfan, Ahmed ; Graham-Lengrand, Stéphane ; Kovács, Laura | MCSat-Based Finite Field Reasoning in the Yices2 SMT Solver (Short Paper) | Inproceedings Konferenzbeitrag | 1-Jul-2024 |
| 70 | | Maroun, Emad Jacob ; Schoeberl, Martin ; Puschner, Peter | Predictable and optimized single-path code for predicated processors | Article Artikel | 17-Jun-2024 |
| 71 | | Bartocci, Ezio ; Ferrère, Thomas ; Henzinger, Thomas ; Nickovic, Dejan ; Oliveira da Costa, Ana | Information-flow interfaces | Article Artikel | 23-May-2024 |
| 72 |  | Eiter, Thomas ; Woltran, Stefan | Künstliche Intelligenz ist mehr als CHATGPT | Special Contribution Spezialbeitrag | 1-Mar-2024 |
| 73 |  | Eiter, Thomas ; Geibinger, Tobias ; Musliu, Nysret ; Oetsch, Johannes ; Skočovský, Peter ; Stepanova, Daria | Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling - ADDENDUM | Article Artikel | 1-Mar-2024 |
| 74 |  | Eiter, Thomas ; Higuera Ruiz, Nelson Nicolas ; Oetsch, Johannes | Ich sehe was, das du nicht siehst: Visual Question Answering heute & in Zukunft | Special Contribution Spezialbeitrag | 1-Mar-2024 |
| 75 | | 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 |
| 76 | | Bartocci, Ezio | Quantifying Uncertainty in Probabilistic Loops Without Sampling: A Fully Automated Approach | Inproceedings Konferenzbeitrag | 2024 |
| 77 | | Stankovic, Miroslav ; Bartocci, Ezio | Probabilistic Loop Synthesis from Sequences of Moments | Inproceedings Konferenzbeitrag | 2024 |
| 78 | | Colucci, Alessio ; Steininger, Andreas ; Shafique, Muhammad | EISFINN: On the Role of Efficient Importance Sampling in Fault Injection Campaigns for Neural Network Robustness Analysis | Inproceedings Konferenzbeitrag | 2024 |
| 79 | | Colucci, Alessio ; Steininger, Andreas ; Shafique, Muhammad | SBanTEM: A Novel Methodology for Sparse Band Tensors as Soft-Error Mitigation in Sparse Convolutional Neural Networks | Inproceedings Konferenzbeitrag | 2024 |
| 80 | | Steininger, Andreas | Asynchronous Circuits – Old Iron or Enabler for a New Resilience Level of Digital Circuits? | Inproceedings Konferenzbeitrag | 2024 |
| 81 | | Bartocci, Ezio | The PROBING Project: Advancing Automatic Analysis of Probabilistic Loops | Inproceedings Konferenzbeitrag | 2024 |
| 82 | | Wiedemann, Sebastian ; Zwirchmayr, Jakob ; Steininger, Andreas | Towards Software-Based Vendor-Independent Preemption for Hardware Accelerated Workloads | Inproceedings Konferenzbeitrag | 2024 |
| 83 | | Hoffmann, David ; Lüder, Arndt ; Biffl, Stefan | Operator-integrated cluster analysis for production quality control | Inproceedings Konferenzbeitrag | 2024 |
| 84 | | Maroun, Emad Jacob ; Schoeberl, Martin ; Puschner, Peter | Two-Step Register Allocation for Implementing Single-Path Code | Inproceedings Konferenzbeitrag | 2024 |
| 85 | | Berducci, Luigi ; Yang, Shuo ; Mangharam, Rahul ; Grosu, Radu | Learning Adaptive Safety for Multi-Agent Systems | Inproceedings Konferenzbeitrag | 2024 |
| 86 | | Babaiee, Zahra ; Mohseni Kiasari, Peyman ; Rus, Daniela ; Grosu, Radu | Neural Echos: Depthwise Convolutional Filters Replicate Biological Receptive Fields | 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 | | 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 |
| 89 | | Babaiee, Zahra ; Kiasari, Peyman ; Rus, Daniela ; Grosu, Radu | We Need Far Fewer Unique Filters Than We Thought | Inproceedings Konferenzbeitrag | 2024 |
| 90 | | Luder, Arndt ; Hoffmann, David ; Gudder, Ranjitkumar ; Biffl, Stefan ; Meixner, Kristof | Representing Property Dependencies within AutomationML Based Digital Twins | Inproceedings Konferenzbeitrag | 2024 |
| 91 | | Amrollahi, Daneshvar ; Bartocci, Ezio ; Kenison, George ; Kovacs, Laura ; Moosbrugger, Marcel ; Stankovič, Miroslav | Correction: (Un)Solvable loop analysis | Article Artikel | 2024 |
| 92 | | 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 |
| 93 | | 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 |
| 94 | | Hirsch, Christian ; Davoli, Luca ; Grosu, Radu ; Ferrari, Gianluigi | DynGATT: A dynamic GATT-based data synchronization protocol for BLE networks | Article Artikel | Feb-2023 |
| 95 | | EITER, THOMAS ; GEIBINGER, TOBIAS ; MUSLIU, NYSRET ; OETSCH, JOHANNES ; SKOČOVSKÝ, PETER ; STEPANOVA, DARIA | Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling | Article Artikel | 26-Jan-2023 |
| 96 | | Iturbe, Xabier ; Abderrahmane, Nassim ; Abella, Jaume ; Alcaide Portet, Sergi ; Beyne, Eric ; Charles, Henri-Pierre ; Charpin-Nicolle, Christelle ; Chittka, Lars ; Dávilaa, Angélica ; Erdmann, Arne ; Estrada, Carles ; Fernández, Ander ; Fontanelli, Anna ; Flich, Jose ; Furano, Gianluca ; Gloriani, Alejandro Hernán ; Isusquiza, Erik ; Grosu, Radu ; Hernández, Carles ; Ielmini, Daniele ; Jackson, Steven David ; Kooli, Maha ; Lepri, Nicola ; Linares-Barranco, Bernabé ; Lachese, Jean Loup ; Laurent, Eric ; Lindwer, Menno ; Linsenmaier, Frank ; Luján, Mikel ; Masařík, Karel ; Mentens, Nele ; Moreira, Orlando ; Nawghane, Chinmay ; Peres, Luca ; Noel, Jean-Philippe ; Pourtaherian, Arash ; Posch, Christoph ; Priller, Peter ; Prikryl, Zdenek ; Resch, Felix ; Rhodes, Oliver ; Stefanov, Todor ; Storring, Moritz ; Taliercio, Michele ; Tornero, Rafael ; Van De Burgwal, Marcel ; Van Der Plas, Geert ; Vianello, Elisa ; Zaykov, Pavel | NimbleAI: Towards Neuromorphic Sensing-Processing 3D-integrated Chips | Inproceedings Konferenzbeitrag | 2023 |
| 97 | | Tabassam, Zaheer ; Steininger, Andreas | Towards Resilient Quasi Delay Insensitive Conditional Control Elements | Inproceedings Konferenzbeitrag | 2023 |
| 98 | | Mehmood, Usama ; Roy, Shouvik ; Damare, Amol ; Grosu, Radu ; Smolka, Scott A. ; Stoller, Scott D. | A distributed simplex architecture for multi-agent systems | Article Artikel | 1-Dec-2022 |
| 99 | | Bartocci, Ezio ; Bloem, Roderick ; Maderbacher, Benedikt ; Manjunath, Manjunath ; Ničković, Dejan | Adaptive testing for specification coverage and refinement in CPS models | Article Artikel | Nov-2022 |
| 100 | | Li, Penghua ; Yang, Yifeng ; Grosu, Radu ; Wang, Guodong ; Li, Rui ; Wu, Yuehong ; Zeng, Huang | Driver Distraction Detection Using Octave-Like Convolutional Neural Network | Article Artikel | Jul-2022 |
