Researcher profile
Michalis Famelis
2 papers in the PaperMetrix corpus
Publications
Papers by this author
-
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 …