2 papers
cs.SE2021
Finding the Best Partitioning Policy for Efficient Verification of Autonomous Systems at Runtime
Melika Dastranj, Mehran Alidoost Nia, Mehdi Kargahi
The autonomous systems need to decide how to react to the changes at runtime efficiently. The ability to rigorously analyze the environment and the system together is theoretically…
cs.DC2019
The Proceedings of First Work-in-Progress Session of The CSI International Symposium on Real-Time and Embedded Systems and Technologies
Ali Behnoudfar, Seyyed Hossein Hosseini Zahani, Mojtaba Hatami +4
The present volume contains the proceedings of RTEST WiP 2018, chaired by Marco Caccamo, University of Illinois at Urbana-Champaign. This event has been organized by the School of…