Publikationen
Liste als BibTeX-Datei exportieren
- Estimating Worst-Case Bounds for Open CPS Runtimes with Genetic Algorithms In Vincent Nelis und Tam Chantem , Editor, Proceedings of the 8th Real-Time Scheduling Open Problems Seminar (RTSOPS) held in conjunction with the 29th Euromicro Conference on Real-Time Systems (ECRTS), Juni 2017. CISTER, ISEP, Portugal, Details BIB
- embSFI: An Approach for Software Fault Isolation in Embedded Systems In Marcus Völp , Paulo Esteves-Verissimo , Antonio Casimiro und Rodolfo Pellizzoni , Editor, 1st Workshop on Security and Dependability of Critical Embedded Real-Time Systems, Seiten 6–11, Porto, Portugal, Dezember 2016. IEEE, Details URL BIB
- Comparably Evaluating Communication Performance within Mixed-Criticality Systems In 4th International Workshop on Mixed Criticality Systems (WMC), Porto, Portugal, November 2016. Details URL BIB
- Towards Trusted Apps platforms for open CPS In 3rd International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems (EITEC), Seiten 23–28, April 2016. Details DOI BIB
- From Internet of Things Mashups to Model-based Development In The 2nd IEEE International Workshop on Big Data Management for the Internet of Things, Juli 2015. IEEE. Details BIB
- Model-based Performance Evaluation of Large-Scale Smart Metering Architectures In Proceedings of the 4th International Workshop on Large-Scale Testing, Seiten 9–12, New York, NY, USA, Februar 2015. ACM. Details URL DOI BIB
- Stream Processing on Demand for Lambda Architectures Band 9272 von Lecture Notes in Computer Science, Seiten 243-257. Springer International Publishing, 2015. Details URL DOI BIB
- A Multi-Display System for Deploying and Controlling Home Automation In Proceedings of the Ninth ACM International Conference on Interactive Tabletops and Surfaces, Seiten 399-402, November 2014. ACM. Details BIB
- Access Control for Apps Running on Constrained Devices in the Internet of Things In International Workshop on Secure Internet of Things (SIOT) 2014, September 2014. Details BIB
- Delta modeling for variant-rich and evolving manufacturing systems In Proceedings of the 1st International Workshop on Modern Software Engineering Methods for Industrial Automation, Seiten 32-41, Mai 2014. ACM. Details BIB
- Towards a 3-tier architecture for connected vehicles In Proceedings of the 1st International Conference on Connected Vehicles and Expo (ICCVE), 2014. Details DOI BIB
- Towards flexible and adaptive productions systems based on virtual cloud-based control In Emerging Technology and Factory Automation (ETFA), 2014 IEEE, Seiten 1–4, 2014. IEEE, Details BIB
- Feature-based Development of State Transition Diagrams with Property Preservation In 10 th Workshop on Model Driven Engineering, Verification and Validation MoDeVVa 2013, Seiten 21-30, Oktober 2013. CEUR-WS. Details BIB
- From the Internet of Things to Trusted Apps for Things In Green Computing and Communications (GreenCom), 2013 IEEE and Internet of Things (iThings/CPSCom), IEEE International Conference on and IEEE Cyber, Physical and Social Computing, Seiten 2037-2042, August 2013. IEEE. Details BIB