|
| | Preview | Author(s) | Title | Type | Issue Date |
| 21 |  | Ádám, Zsófia ; Lopez-Miguel, Ignacio D. ; Mavridou, Anastasia ; Pressburger, Thomas ; Bęś, Marcin ; Blanco Viñuela, Enrique ; Katis, Andreas ; Tournier, Jean-Charles ; Trinh, Khanh V. ; Fernández Adiego, Borja | From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif | Inproceedings Konferenzbeitrag    | 3-Jun-2023 |
| 22 |  | Scheuchenstuhl, Daniel ; Ulmer, Stefan ; Resch, Felix ; Berducci, Luigi ; Grosu, Radu | Enhancing Robot Learning through Learned Human-Attention Feature Maps | Presentation Vortrag | 29-May-2023 |
| 23 |  | López Miguel, Ignacio David | Stop at red? Engineering meets ethics | Inproceedings Konferenzbeitrag | 16-May-2023 |
| 24 |  | Lopez-Miguel, Ignacio D. ; Fernández Adiego, Borja ; Ghawash, Faiq ; Blanco Vinuela, Enrique | Introduction to the verification of neural networks running on a PLC: an LHC cooling tower example | Presentation Vortrag | 20-Apr-2023 |
| 25 | | Kirner, Raimund ; Puschner, Peter | A qualitative cybersecurity analysis of time-triggered communication networks in automotive systems | Article Artikel | Mar-2023 |
| 26 |  | Ádám, Zsófia ; López Miguel, Ignacio David ; Mavridou, Anastasia ; Pressburger, Thomas ; Bęś, Marcin ; Blanco Viñuela, Enrique ; Katis, Andreas ; Tournier, Jean-Charles ; Trinh, Khanh V. ; Fernández Adiego, Borja | Automated Verification of Programmable Logic Controller Programs Against Structured Natural Language Requirements | Report Bericht | Mar-2023 |
| 27 | | Visconti, Ennio ; Tsigkanos, Christos ; Nenzi, Laura | WebMonitor: Verification of Web User Interfaces | Inproceedings Konferenzbeitrag | 5-Jan-2023 |
| 28 | | Hofmann, Till ; Schupp, Stefan | Controlling timed automata against MTL specifications with TACoS | Article Artikel | 2023 |
| 29 | | Maderbacher, Benedikt ; Schupp, Stefan ; Bartocci, Ezio ; Bloem, Roderick ; Ničković, Dejan ; Könighofer, Bettina | Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties | Inproceedings Konferenzbeitrag | 2023 |
| 30 | | Bartocci, Ezio ; Mariani, Leonardo ; Ničković, Dejan ; Yadav, Drishti | Property-Based Mutation Testing | Inproceedings Konferenzbeitrag | 2023 |
| 31 | | Brandstatter, Andreas ; Smolka, Scott A. ; Stoller, Scott D. ; Tiwari, Ashish ; Grosu, Radu | Multi-Agent Spatial Predictive Control with Application to Drone Flocking | Inproceedings Konferenzbeitrag | 2023 |
| 32 | | Ahmadi, Mahya Morid ; Alrahis, Lilas ; Sinanoglu, Ozgur ; Shafique, Muhammad | ShapeShifter: Protecting FPGAs from Side-Channel Attacks with Isofunctional Heterogeneous Modules | Inproceedings Konferenzbeitrag | 2023 |
| 33 | | Naseer, Mahum ; Hasan, Osman ; Shafique, Muhammad | Scaling Model Checking for Neural Network Analysis via State-Space Reduction and Input Segmentation | Inproceedings Konferenzbeitrag | 2023 |
| 34 | | Ostrowski, Erik ; Prabakaran, Bharath Srinivas ; Shafique, Muhammad | SILOP: An Automated Framework for Semantic Segmentation Using Image Labels Based on Object Perimeters | Inproceedings Konferenzbeitrag | 2023 |
| 35 | | Naseer, Mahum ; Shafique, Muhammad | Poster: Link between Bias, Node Sensitivity and Long-Tail Distribution in trained DNNs | Inproceedings Konferenzbeitrag | 2023 |
| 36 |  | Naseer, Mahum ; Prabakaran, Bharath Srinivas ; Hasan, Osman ; Shafique, Muhammad | UnbiasedNets: a dataset diversification framework for robustness bias alleviation in neural networks | Article Artikel | 2023 |
| 37 | | Soldà, Davide ; Lopez-Miguel, Ignacio D. ; Bartocci, Ezio ; Eiter, Thomas | Progression for Monitoring in Temporal ASP | Inproceedings Konferenzbeitrag | 2023 |
| 38 | | Bartocci, Ezio ; Mariani, Leonardo ; Nickovic, Dejan ; Yadav, Drishti | Search-based Testing for Accurate Fault Localization in CPS | Inproceedings Konferenzbeitrag | 21-Dec-2022 |
| 39 |  | Bartocci, Ezio ; Mariani, Leonardo ; Ničković, Dejan ; Yadav, Drishti | FIM: fault injection and mutation for Simulink | Inproceedings Konferenzbeitrag | 9-Nov-2022 |
| 40 | | Moosbrugger, Marcel ; Stankovic, Miroslav ; Bartocci, Ezio ; Kovacs, Laura | This Is the Moment for Probabilistic Loops | Article Artikel | 31-Oct-2022 |
