|
| | Preview | Author(s) | Title | Type | Issue Date |
| 221 | | Kandl, Susanne | Cost Effectiveness of Coverage-Guided Test-Suite Reduction for Safety-Relevant Systems | Konferenzbeitrag Inproceedings  | 2014 |
| 222 | | Kopetz, Hermann | Keynote: From embedded systems to systems of systems | Konferenzbeitrag Inproceedings | 2014 |
| 223 | | Kandl, Susanne ; Forey, Jean-Marc | Fault-Detection Sensitivity Based Assessment of Test Sets for Safety-Relevant Software (Best Paper Award) | Konferenzbeitrag Inproceedings | 2014 |
| 224 | | Bartocci, Ezio ; Bonakdarpour, Borzoo ; Falcone, Ylies | First International Competition of Software for Runtime Verification | Konferenzbeitrag Inproceedings | 2014 |
| 225 | | Degasperi, Philipp ; Hepp, Stefan ; Puffitsch, Wolfgang ; Schoeberl, Martin | A Method Cache for Patmos | Konferenzbeitrag Inproceedings | 2014 |
| 226 | | Ariful, Islam ; Deshpande, Tushar ; Murthy, Abhishek ; Bartocci, Ezio ; Smolka, Scott A. ; Stoller, Scott D. ; Grosu, Radu | Tracking Action Potentials of Nonlinear Excitable Cells using Model Predictive Control | Konferenzbeitrag Inproceedings | 2014 |
| 227 | | Bartocci, Ezio ; DeFrancisco, Richard ; Smolka, Scott A. | Towards a GPGPU-parallel SPIN model checker | Konferenzbeitrag Inproceedings | 2014 |
| 228 | | Aydin Gol, Ebru ; Bartocci, Ezio ; Belta, Calin | A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion Systems | Konferenzbeitrag Inproceedings | 2014 |
| 229 | | Bartocci, Ezio ; Bortolussi, Luca ; Sanguinetti, Guido | Data-Driven Statistical Learning of Temporal Logic Properties | Konferenzbeitrag Inproceedings | 2014 |
| 230 | | Grosu, Radu ; Islam, Ariful ; Murthy, Abhishek ; Girard, Antoine ; Smolka, Scott A. | Compositionality Results for Cardiac Cell Dynamics | Konferenzbeitrag Inproceedings | 2014 |
| 231 | | Grosu, Radu ; Bogomolov, Sergiy ; Frehse, Goran ; Greitschus, Marius ; Pasareanu, Corina ; Podelski, Andreas ; Strump, Thomas | Assume-Guarantee Abstraction-Refinement Meets Hybrid Systems | Konferenzbeitrag Inproceedings | 2014 |
| 232 | | Ayestaran, Iban ; Nicolas, Carlos Fernando ; Perez, Jon ; Ortube, Asier Larrucea ; Puschner, Peter | A Simulated Fault Injection Framework for Time-Triggered Safety-Critical Embedded Systems | Konferenzbeitrag Inproceedings | 2014 |
| 233 | | Schmittner, Christoph ; Gruber, Thomas ; Puschner, Peter ; Schoitsch, Erwin | Security Application of Failure Mode and Effect Analysis (FMEA) | Konferenzbeitrag Inproceedings | 2014 |
| 234 | | Ayestaran, Iban ; Nicolas, Carlos Fernando ; Perez, Jon ; Ortube, Asier Larrucea ; Puschner, Peter | Modeling and Simulated Fault Injection for Time-Triggered Safety-Critical Embedded Systems | Konferenzbeitrag Inproceedings | 2014 |
| 235 | | Ayestaran, Iban ; Nicolas, Carlos F. ; Perez, Jon ; Puschner, Peter | Modeling logical execution time based safety-critical embedded systems in SystemC | Konferenzbeitrag Inproceedings | 2014 |
| 236 | | Kandl, Susanne ; Elshuber, Martin | A Formal Approach to System Integration Testing | Konferenzbeitrag Inproceedings | 2014 |
| 237 | | Höftberger, Oliver ; Obermaisser, Roman | Runtime evaluation of ontology-based reconfiguration of distributed embedded real-time systems | Konferenzbeitrag Inproceedings | 2014 |
| 238 | | Prokesch, Daniel ; Huber, Benedikt ; Puschner, Peter | Towards Automated Generation of Time-Predictable Code | Konferenzbeitrag Inproceedings | 2014 |
| 239 | | Huber, Benedikt ; Hepp, Stefan ; Schöberl, Martin | Scope-based Method Cache Analysis | Konferenzbeitrag Inproceedings | 2014 |
| 240 | | Bartocci, Ezio ; Gao, Sicun ; Smolka, Scott A. | Medical Cyber-Physical Systems | Konferenzbeitrag Inproceedings | 2014 |
