|
| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 | | Bartocci, Ezio ; Putot, Sylvie | 25th ACM International Conference on Hybrid Systems: Computation and Control | Proceedings Konferenzband | 2022 |
| 2 | | Kopetz, Hermann | Simplicity is Complex | Buch Book | 2019 |
| 3 | | Bartocci, Ezio ; Cleaveland, Rance ; Grosu, Radu ; Sokolsky, Oleg | From Reactive Systems to Cyber-Physical Systems | Buch Book | 2019 |
| 4 | | Legay, Axel ; Lukina, Anna ; Traonouez, Louis Marie ; Yang, Junxing ; Smolka, Scott A. ; Grosu, Radu | Statistical model checking | Buchbeitrag Book Contribution | 2019 |
| 5 | | Bartocci, Ezio ; Falcone, Ylies ; Francalanza, Adrian ; Reger, Giles | Introduction to Runtime Verification | Buchbeitrag Book Contribution | 2018 |
| 6 | | Bartocci, Ezio ; Falcone, Ylies | Lectures on Runtime Verification | Buch Book | 2018 |
| 7 | | Bartocci, Ezio ; Deshmukh, Rupali Ganpat ; Donze, Alexandre ; Fainekos, Georgios ; Maler, Oded ; Nickovic, Dejan ; Sankaranarayanan, Sriram | Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications | Buchbeitrag Book Contribution  | 2018 |
| 8 | | Isakovic, Haris ; Grosu, Radu | A Mixed-Criticality Integration in Cyber-Physical Systems | Buchbeitrag Book Contribution | 2018 |
| 9 | | Amorim, Tiago ; Ratasich, Denise ; Macher, Georg ; Ruiz, Alejandra ; Schneider, Daniel ; Driussi, Mario ; Grosu, Radu | Runtime Safety Assurance for Adaptive Cyber-Physical Systems | Buchbeitrag Book Contribution | 2017 |
| 10 | | Bondavalli, Andrea ; Bouchenak, Sara ; Kopetz, Hermann | Cyber-Physical Systems of Systems | Buch Book | 2016 |
| 11 | | Bartocci, Ezio ; Lio, Pietro ; Paoletti, Nicola | Computational Methods in Systems Biology | Konferenzband Proceedings | 2016 |
| 12 | | Frömel, Bernhard ; Kopetz, Hermann | Interfaces in Evolving Cyber-Physical Systems-of-Systems | Buchbeitrag Book Contribution | 2016 |
| 13 | | 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 |
| 14 | | Ceccarelli, Andrea ; Brancati, Francesco ; Frömel, Bernhard ; Höftberger, Oliver | Time and Resilient Master Clocks in Cyber-Physical Systems | Buchbeitrag Book Contribution | 2016 |
| 15 | | 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 |
| 16 | | Ceccarelli, Andrea ; Bondavalli, Andrea ; Froemel, Bernhard ; Hoeftberger, Oliver ; Kopetz, Hermann | Basic Concepts on Systems of Systems | Buchbeitrag Book Contribution | 2016 |
| 17 | | Bartocci, Ezio ; Majumdar, Rupak | Runtime Verification | Konferenzband Proceedings | 2015 |
| 18 | | Kandl, Susanne | Cost Effectiveness of Coverage-Guided Test-Suite Reduction for Safety-Relevant Systems | Buchbeitrag Book Contribution | 2015 |
| 19 | | Bartocci, Ezio ; Ramakrishnan, C.R. | Model Checking Software | Konferenzband Proceedings | 2013 |
| 20 | | Bartocci, Ezio ; Bortolussi, Luca | Proceedings First International Workshop on Hybrid Systems and Biology | Konferenzband Proceedings | 2012 |
