1. Dynamic Update of Discrete Event Controllers;IEEE Transactions on Software Engineering;2020-11-01
2. On the Effectiveness of Communication-Centric Modelling of Complex Embedded Systems;2018 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Ubiquitous Computing & Communications, Big Data & Cloud Computing, Social Computing & Networking, Sustainable Computing & Communications (ISPA/IUCC/BDCloud/SocialCom/SustainCom);2018-12
3. CALOREE;ACM SIGPLAN Notices;2018-11-30
4. CALOREE;Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems;2018-03-19
5. Closed Loop Controller for Multicore Real-Time Systems;Lecture Notes in Computer Science;2018