research
∙
08/18/2021
Timed Automata Robustness Analysis via Model Checking
Timed automata (TA) have been widely adopted as a suitable formalism to ...
share
research
∙
08/22/2017
Finding Regressions in Projects under Version Control Systems
Version Control Systems (VCS) are frequently used to support development...
research
∙
06/10/2016
