|
| | Preview | Author(s) | Title | Type | Issue Date |
| 261 | | Hasani, Ramin M. ; Haerle, Dieter ; Grosu, Radu | Efficient modeling of complex Analog integrated circuits using neural networks | Konferenzbeitrag Inproceedings  | 2016 |
| 262 | | Selyunin, Konstantin ; Nguyen, Thang ; Bartocci, Ezio ; Nickovic, Dejan ; Grosu, Radu | Monitoring of MTL Specifications With IBM's Spiking-Neuron Model | Konferenzbeitrag Inproceedings | 2016 |
| 263 | | Selyunin, Konstantin ; Nguyen, Thang ; Basa, Andrei-Daniel ; Bartocci, Ezio ; Nickovic, Dejan ; Grosu, Radu | Applying High-Level Synthesis for Synthesizing Hardware Runtime STL Monitors of Mission-Critical Properties | Konferenzbeitrag Inproceedings | 2016 |
| 264 | | Isakovic, Haris ; Grosu, Radu | A heterogeneous time-triggered architecture on a hybrid system-on-a-chip platform | Konferenzbeitrag Inproceedings | 2016 |
| 265 | | Frömel, Bernhard ; Kopetz, Hermann | Interfaces in Evolving Cyber-Physical Systems-of-Systems | Buchbeitrag Book Contribution | 2016 |
| 266 | | Kopetz, Hermann ; Bondavalli, Andrea ; Brancati, Francesco ; Frömel, Bernhard ; Höftberger, Oliver ; Iacob, Sorin | Emergence in Cyber-Physical Systems-of-Systems (CPSoSs) | Buchbeitrag Book Contribution | 2016 |
| 267 | | Ceccarelli, Andrea ; Brancati, Francesco ; Frömel, Bernhard ; Höftberger, Oliver | Time and Resilient Master Clocks in Cyber-Physical Systems | Buchbeitrag Book Contribution | 2016 |
| 268 | | Ceccarelli, Andrea ; Bondavalli, Andrea ; Froemel, Bernhard ; Hoeftberger, Oliver ; Kopetz, Hermann | Basic Concepts on Systems of Systems | Buchbeitrag Book Contribution | 2016 |
| 269 | | Wallner, Wolfgang ; Wasicek, Armin ; Grosu, Radu | A simulation framework for IEEE 1588 | Konferenzbeitrag Inproceedings | 2016 |
| 270 | | Prischink, Michael ; Kloimüllner, Christian ; Biesinger, Benjamin ; Raidl, Günther R. | Districting and Routing for Security Control | Konferenzbeitrag Inproceedings | 2016 |
| 271 | | Bartocci, Ezio ; Falcone, Yliès | Runtime Verification and Enforcement, the (Industrial) Application Perspective (Track Introduction) | Konferenzbeitrag Inproceedings | 2016 |
| 272 | | 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 |
| 273 | | Kalajdzic, Kenan ; Jegourel, Cyrille ; Lukina, Anna ; Bartocci, Ezio ; Legay, Axel ; Smolka, Scott A. ; Grosu, Radu | Feedback Control for Statistical Model Checking of Cyber-Physical Systems | Konferenzbeitrag Inproceedings | 2016 |
| 274 | | Muşat, Liana ; Hübl, Markus ; Buzo, Andi ; Pelz, Georg ; Kandl, Susanne ; Puschner, Peter | Semi-formal Representation of Requirements for Automotive Solutions Using SysML | Buchbeitrag Book Contribution | 2016 |
| 275 | | Rajarshi, Ray ; Amit, Gurung ; Binayak, Das ; Bartocci, Ezio ; Bogomolov, Sergiy ; Grosu, Radu | XSpeed: Accelerating Reachability Analysis on Multi-core Processors | Konferenzbeitrag Inproceedings | Nov-2015 |
| 276 | | Haghighi, Iman ; Jones, Austin ; Kong, Zhaodan ; Bartocci, Ezio ; Gros, Radu ; Belta, Calin | SpaTeL | Konferenzbeitrag Inproceedings | 2015 |
| 277 | | Prokesch, Daniel | Single-Path Code Generation for the Patmos Processor | Präsentation Presentation | 2015 |
| 278 | | Kloimüllner, Christian | A Cluster-First Route-Second Approach for Balancing Bicycle Sharing Systems | Präsentation Presentation | 2015 |
| 279 | | Kopetz, Hermann | From Embedded Systems to System of Systems | Präsentation Presentation | 2015 |
| 280 | | Cilku, Bekim ; Crespo, Alfons ; Puschner, Peter ; Coronel, Javier ; Salvador, Peiro | A TDMA-Based arbitration scheme for mixed-criticality multicore platforms | Konferenzbeitrag Inproceedings | 2015 |
