International Conference on Software Engineering for Adaptive and Self-Managing Systems

• Author of Reasoning About Hidden Hybrid Assumptions in Assured Temporal Missions within the Research Track-track