This work introduces a new specification and verification approach for dynamic systems. The introduced approach is able to provide type II error free results by

This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TAC

This book constitutes the refereed proceedings of the 5th International Conference on Runtime Verification, RV 2014, held in Toronto, ON, Canada in September 20

Effective heat transport systems in aerospace are based on multiphase loop heat pipes (LHPs). For a precise thermal control of the electronics, electrical heate

The research reported in this thesis focuses on the decision making aspect of human-machine cooperation and reveals new insights from theoretical modeling to ex