An optimization framework for opportunistic planning of preventive maintenance activities.
Reliab. Eng. Syst. Saf., 2021
Distributed BMC: A Depth-First Approach to Explore Clause Symmetry.
Proceedings of the 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2009
Cortical reorganization during PASAT task in MS patients with preserved working memory functions.
NeuroImage, 2006
Deadlock prevention in flexible manufacturing systems using symbolic model checking.
Proceedings of the 1996 IEEE International Conference on Robotics and Automation, 1996