|
| | Preview | Author(s) | Title | Type | Issue Date |
| 321 | | Kopetz, Hermann | Keynote: From embedded systems to systems of systems | Konferenzbeitrag Inproceedings | 2014 |
| 322 | | Kopetz, Hermann | Why a Global Time is Needed in a Dependable SoS | Präsentation Presentation | 2014 |
| 323 | | Kopetz, Hermann | Systems of Systems Need a Global Time | Präsentation Presentation | 2014 |
| 324 | | Kopetz, Hermann | From Embedded Systems to Systems of Systems | Präsentation Presentation | 2014 |
| 325 | | Kandl, Susanne ; Forey, Jean-Marc | Fault-Detection Sensitivity Based Assessment of Test Sets for Safety-Relevant Software (Best Paper Award) | Konferenzbeitrag Inproceedings  | 2014 |
| 326 | | Bartocci, Ezio ; Bonakdarpour, Borzoo ; Falcone, Ylies | First International Competition of Software for Runtime Verification | Konferenzbeitrag Inproceedings | 2014 |
| 327 | | Degasperi, Philipp ; Hepp, Stefan ; Puffitsch, Wolfgang ; Schoeberl, Martin | A Method Cache for Patmos | Konferenzbeitrag Inproceedings | 2014 |
| 328 | | Bartocci, Ezio ; Bortolussi, Luca ; Smolka, Scott A. | Hybrid Systems and Biology | Artikel Article | 2014 |
| 329 | | Bartocci, Ezio ; Höftberger, Oliver ; Grosu, Radu | Cyber-Physical Systems: Theoretical and Practical Challenges | Artikel Article | 2014 |
| 330 | | Kandl, Susanne ; Chandrashekar, Sandeep | Reasonability of MC/DC for Safety-Relevant Software Implemented in Programming Languages with Short-Circuit Evaluation | Artikel Article | 2014 |
| 331 | | 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 |
| 332 | | Bartocci, Ezio ; DeFrancisco, Richard ; Smolka, Scott A. | Towards a GPGPU-parallel SPIN model checker | Konferenzbeitrag Inproceedings | 2014 |
| 333 | | Aydin Gol, Ebru ; Bartocci, Ezio ; Belta, Calin | A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion Systems | Konferenzbeitrag Inproceedings | 2014 |
| 334 | | Bartocci, Ezio ; Bortolussi, Luca ; Sanguinetti, Guido | Data-Driven Statistical Learning of Temporal Logic Properties | Konferenzbeitrag Inproceedings | 2014 |
| 335 | | Grosu, Radu ; Islam, Ariful ; Murthy, Abhishek ; Girard, Antoine ; Smolka, Scott A. | Compositionality Results for Cardiac Cell Dynamics | Konferenzbeitrag Inproceedings | 2014 |
| 336 | | Grosu, Radu ; Bogomolov, Sergiy ; Frehse, Goran ; Greitschus, Marius ; Pasareanu, Corina ; Podelski, Andreas ; Strump, Thomas | Assume-Guarantee Abstraction-Refinement Meets Hybrid Systems | Konferenzbeitrag Inproceedings | 2014 |
| 337 | | 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 |
| 338 | | Schmittner, Christoph ; Gruber, Thomas ; Puschner, Peter ; Schoitsch, Erwin | Security Application of Failure Mode and Effect Analysis (FMEA) | Konferenzbeitrag Inproceedings | 2014 |
| 339 | | 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 |
| 340 | | Ayestaran, Iban ; Nicolas, Carlos F. ; Perez, Jon ; Puschner, Peter | Modeling logical execution time based safety-critical embedded systems in SystemC | Konferenzbeitrag Inproceedings | 2014 |
