|
| | Preview | Author(s) | Title | Type | Issue Date |
| 161 | | Selyunin, Konstantin ; Jaksic, Stefan ; Nguyen, Thang ; Reidl, Christian ; Hafner, Udo ; Bartocci, Ezio ; Nickovic, Dejan ; Grosu, Radu | Runtime Monitoring with Recovery of the SENT Communication Protocol | Konferenzbeitrag Inproceedings | 2017 |
| 162 | | Bartocci, Ezio ; Bortolussi, Luca ; Loreti, Michele ; Nenzi, Laura | Monitoring mobile and spatially distributed cyber-physical systems | Konferenzbeitrag Inproceedings | 2017 |
| 163 | | Schoeberl, Martin ; Cilku, Bekim ; Prokesch, Daniel ; Puschner, Peter | Best Practice for Caching of Single-Path Code | Konferenzbeitrag Inproceedings  | 2017 |
| 164 | | Hasani, Ramin ; Fuchs, Magdalena ; Beneder, Victoria ; Grosu, Radu | Modeling a Simple Non-Associative Learning Mechanism in the Brain of Caenorhabditis elegans | Konferenzbeitrag Inproceedings | 2017 |
| 165 | | Hasani, Ramin ; Beneder, Victoria ; Fuchs, Magdalena ; Lung, David ; Grosu, Radu | SIM-CE: An Advanced Simulation Platform for Studying the brain of Caenorhabditis elegans | Konferenzbeitrag Inproceedings | 2017 |
| 166 | | Fuchs, Magdalena ; Zimmer, Manuel ; Grosu, Radu ; Hasani, Ramin | Searching for Biophysically Realistic Parameters for Dynamic Neuron Models by Genetic Algorithms from Calcium Imaging Recording | Konferenzbeitrag Inproceedings | 2017 |
| 167 | | Mori, Marco ; Ceccarelli, Andrea ; Lollini, Paolo ; Bondavalli, Andrea ; Frömel, Bernhard | A Holistic Viewpoint-Based SysML Profile to Design Systems-of-Systems | Konferenzbeitrag Inproceedings | 2016 |
| 168 | | Gurung, Amit ; Kumar, Deka Arup ; Bartocci, Ezio ; Bogomolov, Sergiy ; Grosu, Radu ; Ray, Rajarshi | Parallel reachability analysis for hybrid systems | Konferenzbeitrag Inproceedings | 2016 |
| 169 | | Schumann, Johann ; Moosbrugger, Patrick ; Rozier, Kristin Y. | Runtime Analysis with R2U2: A Tool Exhibition Report | Konferenzbeitrag Inproceedings | 2016 |
| 170 | | Prischink, Michael ; Kloimüllner, Christian ; Biesinger, Benjamin ; Raidl, Günther R. | Districting and Routing for Security Control | Konferenzbeitrag Inproceedings | 2016 |
| 171 | | Islam, Md. Ariful ; Byrne, Greg ; Kong, Soonho ; Clarke, Edmund M. ; Cleaveland, Rance ; Fenton, Flavio H. ; Grosu, Radu ; Jones, Paul L. ; Smolka, Scott A. | Bifurcation Analysis of Cardiac Alternans Using $$\delta $$ -Decidability | Konferenzbeitrag Inproceedings | 2016 |
| 172 | | Wang, Guodong ; Grosu, Radu | Milling-Tool Wear-Condition Prediction with Statistic Analysis and Echo-State Networks | Konferenzbeitrag Inproceedings | 2016 |
| 173 | | Selyunin, Konstantin ; Nguyen, Thang ; Bartocci, Ezio ; Grosu, Radu | Applying Runtime Monitoring for Automotive Electronic Development | Konferenzbeitrag Inproceedings | 2016 |
| 174 | | Kalajdzic, Kenan ; Jegourel, Cyrille ; Legay, Axel ; Bartocci, Ezio ; Lukina, Anna ; Smolka, Scott A. ; Grosu, Radu | Feedback Control for Statistical Model Checking of Cyber-Physical Systems | Konferenzbeitrag Inproceedings | 2016 |
| 175 | | Jakšić, Stefan ; Bartocci, Ezio ; Grosu, Radu ; Ničković, Dejan | Quantitative Monitoring of STL with Edit Distance | Konferenzbeitrag Inproceedings | 2016 |
| 176 | | Bartocci, Ezio ; Bortolussi, Luca ; Brazdil, Tomas ; Milos, Dimitrios ; Sanguinetti, Guido | Policy Learning for Time-Bounded Reachability in Continuous-Time Markov Decision Processes via Doubly-Stochastic Gradient Ascent | Konferenzbeitrag Inproceedings | 2016 |
| 177 | | Kong, Hui ; Bartocci, Ezio ; Bogomolov, Sergiy ; Grosu, Radu ; Henzinger, Thomas A. ; Jiang, Yu ; Schilling, Christian | Discrete Abstraction of Multiaffine Systems | Konferenzbeitrag Inproceedings | 2016 |
| 178 | | Nguyen, Thang ; Bartocci, Ezio ; Ničković, Dejan ; Grosu, Radu ; Jaksic, Stefan ; Selyunin, Konstantin | The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems | Konferenzbeitrag Inproceedings | 2016 |
| 179 | | Bartocci, Ezio ; Falcone, Ylies | Runtime Verification and Enforcement, the (Industrial) Application Perspective (Track Introduction) | Konferenzbeitrag Inproceedings | 2016 |
| 180 | | Puschner, Peter ; Cilku, Bekim ; Prokesch, Daniel | Constructing Time-Predictable MPSoCs: Avoid Conflicts in Temporal Control | Konferenzbeitrag Inproceedings | 2016 |
