Publications
During the year of 2022, the Interactive Technologies Institute research team has excelled in the production of scientific outputs. The team has successfully published 94 papers in journals, 76 in international conferences and 26 book chapters
2012
Translating B machines to JML specifications Conference
Proceedings of 27th ACM Symposium on Applied Computing, Software Verification and Testing track (SAC-SVT), [Acceptance Rate: 26%], SAC textquoteright12 ACM ACM, New York, NY, USA, 2012, ISBN: 978-1-4503-0857-1.
Lessons Learned from Large-Scale User Studies: Using Android Market as a Source of Data Journal Article
In: International Journal of Mobile Human Computer Interaction, vol. 4, no. 3, pp. 28-43, 2012.
Lessons Learned from Large-Scale User Studies: Using Android Market as a Source of Data Journal Article
In: International Journal of Mobile Human Computer Interaction, vol. 4, pp. 28-43, 2012, ISSN: 1942-390X.