Publications
- Estimating Worst-Case Bounds for Open CPS Runtimes with Genetic Algorithms In Vincent Nelis and 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), June 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 and Rodolfo Pellizzoni , editor, 1st Workshop on Security and Dependability of Critical Embedded Real-Time Systems, pages 6–11, Porto, Portugal, December 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), pages 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, July 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, pages 9–12, New York, NY, USA, February 2015. ACM. Details URL DOI BIB
- Stream Processing on Demand for Lambda Architectures volume 9272 of Lecture Notes in Computer Science, pages 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, pages 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, pages 32-41, May 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, pages 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, pages 21-30, October 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, pages 2037-2042, August 2013. IEEE. Details BIB