|
| | Preview | Author(s) | Title | Type | Issue Date |
| 141 | | Hasani, Ramin ; Amini, Alexander ; Lechner, Mathias ; Naser, Felix ; Grosu, Radu ; Rus, Daniela | Response Characterization for Auditing Cell Dynamics in Long Short-term Memory Networks | Konferenzbeitrag Inproceedings  | 2018 |
| 142 | | Steiner, Dieter ; Puschner, Peter | Error detection based on execution-time monitoring | Konferenzbeitrag Inproceedings | 2017 |
| 143 | | Lukina, Anna ; Esterle, Lukas ; Hirsch, Christian ; Bartocci, Ezio ; Yang, Junxing ; Tiwari, Ashish ; Smolka, Scott A. ; Grosu, Radu | ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans | Konferenzbeitrag Inproceedings | 2017 |
| 144 | | Selyunin, Konstantin ; Hasani, Ramin ; Ratasich, Denise ; Bartocci, Ezio ; Grosu, Radu | Computing with Biophysical and Hardware-efficient Neural Models | Konferenzbeitrag Inproceedings | 2017 |
| 145 | | Ratasich, Denise ; Höftberger, Oliver ; Isakovic, Haris ; Shafique, Muhammad ; Grosu, Radu | A Self-Healing Framework for Building Resilient Cyber-Physical Systems | Konferenzbeitrag Inproceedings | 2017 |
| 146 | | Baldi, Marco ; Bartocci, Ezio ; Chiaraluce, Franco ; Cucchiarelli, Alessandro ; Senigagliesi, Linda ; Spalazzi, Luca ; Spegni, Francesco | A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud Storage | Konferenzbeitrag Inproceedings | 2017 |
| 147 | | Arming, Sebastian ; Bartocci, Ezio ; Sokolova, Ana | SEA-PARAM: Exploring Schedulers in Parametric MDPs | Konferenzbeitrag Inproceedings | 2017 |
| 148 | | Ben Sassi, Mohamed Amin ; Bartocci, Ezio ; Sankaranarayanan, Sriram | A Linear Programming-based Iterative Approach to Stabilizing Polynomial Dynamics | Konferenzbeitrag Inproceedings | 2017 |
| 149 | | Abbas, Houssam ; Rodionova, Alena ; Bartocci, Ezio ; Smolka, Scott A. ; Grosu, Radu | Quantitative Regular Expressions for Arrhythmia Detection Algorithms | Konferenzbeitrag Inproceedings | 2017 |
| 150 | | Cilku, Bekim ; Puffitsch, Wolfgang ; Prokesch, Daniel ; Schoeberl, Martin ; Puschner, Peter | Improving Performance of Single-Path Code through a Time-Predictable Memory Hierarchy | Konferenzbeitrag Inproceedings | 2017 |
| 151 | | Isakovic, Haris ; Grosu, Radu ; Ratasich, Denise ; Kadlec, Jiri ; Pohl, Zdenek ; Kerrison, Steve ; Georgiou, Kyriakos ; Druml, Norbert ; Tadros, Lilian ; Christiansen, Flemming ; Wheatley, Emilie ; Farkas, Bastian ; Meyer, Rolf ; Berekovic, Mladen | A Survey of Hardware Technologies for Mixed-Critical Integration Explored in the Project $$EMC^2$$ | Konferenzbeitrag Inproceedings | 2017 |
| 152 | | Tiwari, Ashish ; Smolka, Scott A. ; Esterle, Lukas ; Lukina, Anna ; Yang, Junxing ; Grosu, Radu | Attacking the V: On the Resiliency of Adaptive-Horizon MPC | Konferenzbeitrag Inproceedings | 2017 |
| 153 | | Lung, David ; Larson, Stephen ; Palyanov, Andrey ; Khayrulin, Sergey ; Gleeson, Padraig ; Zimmer, Manuel ; Grosu, Radu ; Hasani, Ramin | A Simplified Cell Network for the Simulation of C. elegans' Forward Crawling | Konferenzbeitrag Inproceedings | 2017 |
| 154 | | Shmarov, Fedor ; Paoletti, Nicola ; Bartocci, Ezio ; Lin, Shan ; Smolka, Scott A. ; Zuliani, Paolo | SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems | Konferenzbeitrag Inproceedings | 2017 |
| 155 | | Hasani, Ramin M. ; Haerle, Dieter ; Baumgartner, Christian F. ; Lomuscio, Alessio R. ; Grosu, Radu | Compositional neural-network modeling of complex analog circuits | Konferenzbeitrag Inproceedings | 2017 |
| 156 | | Hasani, Ramin M. ; Wang, Guodong ; Grosu, Radu | Towards Deterministic and Stochastic Computations with the Izhikevich Spiking-Neuron Model | Konferenzbeitrag Inproceedings | 2017 |
| 157 | | Cyranka, Jacek ; Islam, Md. Ariful ; Byrne, Greg ; Jones, Paul ; Smolka, Scott A. ; Grosu, Radu | Lagrangian Reachabililty | Konferenzbeitrag Inproceedings | 2017 |
| 158 | | Phan, Dung ; Yang, Junxing ; Clark, Matthew ; Grosu, Radu ; Schierman, John ; Smolka, Scott ; Stoller, Scott | A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems | Konferenzbeitrag Inproceedings | 2017 |
| 159 | | Lechner, Mathias ; Grosu, Radu ; Hasani, Ramin | Worm-level Control through Search-based Reinforcement Learning | Konferenzbeitrag Inproceedings | 2017 |
| 160 | | Wang, Guodong ; Hasani, Ramin ; Yungang, Zhu ; Grosu, Radu | A novel Bayesian network-based fault prognostic method for semiconductor manufacturing process | Konferenzbeitrag Inproceedings | 2017 |
