|
| | Preview | Authors / Editors | Title | Type | Issue Date |
| 241 | | 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 |
| 242 | | 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 |
| 243 | | M. Hasani, Ramin ; Esterle, Lukas ; Grosu, Radu | Investigations on the Nervous System of Caenorhabditis elegans | Präsentation Presentation | 2016 |
| 244 | | 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 |
| 245 | | Gurung, Amit ; Kumar, Deka Arup ; Bartocci, Ezio ; Bogomolov, Sergiy ; Grosu, Radu ; Ray, Rajarshi | Parallel reachability analysis for hybrid systems | Konferenzbeitrag Inproceedings | 2016 |
| 246 | | Schumann, Johann ; Moosbrugger, Patrick ; Rozier, Kristin Y. | Runtime Analysis with R2U2: A Tool Exhibition Report | Konferenzbeitrag Inproceedings | 2016 |
| 7 | | Höftberger, Oliver | Report on the AMADEOS Workshop on Emergence in Cyber-Physical Systems-of-Systems (CPSoS) | Bericht Report | 2016 |
| 8 | | Bondavalli, Andrea ; Bouchenak, Sara ; Kopetz, Hermann | Cyber-Physical Systems of Systems | Buch Book | 2016 |
| 9 | | Bartocci, Ezio ; Lio, Pietro ; Paoletti, Nicola | Computational Methods in Systems Biology | Konferenzband Proceedings | 2016 |
| 10 | | 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 |
| 11 | | Wang, Guodong ; Grosu, Radu | Milling-Tool Wear-Condition Prediction with Statistic Analysis and Echo-State Networks | Konferenzbeitrag Inproceedings | 2016 |
| 12 | | Selyunin, Konstantin ; Nguyen, Thang ; Bartocci, Ezio ; Grosu, Radu | Applying Runtime Monitoring for Automotive Electronic Development | Konferenzbeitrag Inproceedings | 2016 |
| 13 | | Jakšić, Stefan ; Bartocci, Ezio ; Grosu, Radu ; Ničković, Dejan | Quantitative Monitoring of STL with Edit Distance | Konferenzbeitrag Inproceedings | 2016 |
| 14 | | 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 |
| 15 | | Kong, Hui ; Bartocci, Ezio ; Bogomolov, Sergiy ; Grosu, Radu ; Henzinger, Thomas A. ; Jiang, Yu ; Schilling, Christian | Discrete Abstraction of Multiaffine Systems | Konferenzbeitrag Inproceedings | 2016 |
| 16 | | Puschner, Peter ; Cilku, Bekim ; Prokesch, Daniel | Constructing Time-Predictable MPSoCs: Avoid Conflicts in Temporal Control | Konferenzbeitrag Inproceedings | 2016 |
| 17 | | Puschner, Peter ; Frömel, Bernhard | Composable Component Interfaces for Time-Triggered Systems | Konferenzbeitrag Inproceedings | 2016 |
| 18 | | Bartocci, Ezio ; Lió, Pietro | Computational modeling, formal analysis and tools for systems biology | Artikel Article | 2016 |
| 19 | | Rodionova, Alena ; Bartocci, Ezio ; Nickovic, Dejan ; Grosu, Radu | Temporal Logic as Filtering | Konferenzbeitrag Inproceedings | 2016 |
| 20 | | Islam, Md. Ariful ; Wang, Qinsi ; Hasani, Ramin M. ; Balun, Ondrej ; Clarke, Edmund M. ; Grosu, Radu ; Smolka, Scott A. | Probabilistic reachability analysis of the tap withdrawal circuit in caenorhabditis elegans | Konferenzbeitrag Inproceedings | 2016 |
