1. LTL-specification for development and verification of logical control programs in feedback systems;Modeling and Analysis of Information Systems;2024-09-13
2. A Polytemporal Model for Musical Scheduling;Music in the AI Era;2023
3. Understanding The Impact of Solver Choice in Model-Based Test Generation;Proceedings of the 14th ACM / IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM);2020-10-05
4. Compiling synchronous languages to optimal move code for exposed datapath architectures;Proceedings of the 23th International Workshop on Software and Compilers for Embedded Systems;2020-05-25
5. Generalised Dining Philosophers as Feedback Control;Distributed Computing and Internet Technology;2019-12-09