Michalis Famelis

Automated extraction and checking of property models from source code for robot swarms

2022

As robots become a common presence in our everyday lives, ensuring the security and safety of robotic systems becomes an increasingly important and urgent challenge. Multi-robot systems, in particular, have the potential to revolutionize multiple …

How Users Employ Workarounds in Software Forms

2025 · arXiv (Cornell University)

Workarounds enable users to achieve goals despite system limitations but expose design flaws, reduce productivity, risk compromising data quality, and cause inconsistencies. This study investigates how users employ workarounds when the data they want to …