1. Behavior Trees and State Machines in Robotics Applications;IEEE Transactions on Software Engineering;2023-09
2. Polyglot Modal Models through Lingua Franca;Proceedings of Cyber-Physical Systems and Internet of Things Week 2023;2023-05-09
3. Model-based Systems Engineering Efficiencies;2023 IEEE Aerospace Conference;2023-03-04
4. Decomposable and Executable Models for Verification of Real-Time Systems;Communications in Computer and Information Science;2023
5. Evolution of Quantum Computing: A Systematic Survey on the Use of Quantum Computing Tools;2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC);2022-06