Project Details
Grant Program
Faculty Development Competitive Research Grants 2020-2022
Project Description
The purpose of this project is to define a methodology for the modelling and analysis of interactive systems which addresses the challenges presented in the previous section and implement it by developing a toolset in which formal aspects are embedded with interfaces appropriate for usage by interaction design and usability experts and psychologists rather than formal methods experts. The toolset will consists of a cognitive architecture for the control of human components and its interaction with the rest of the system, the infrastructure for modelling physical components, simulation and analysis engines and user interfaces.
| Status | Finished |
|---|---|
| Effective start/end date | 1/1/20 → 12/31/22 |
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
Research output
- 7 Conference contribution
-
A BRDL-Based Framework for Motivators and Emotions
Cerone, A., 2023, Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops - AI4EA, F-IDE, CoSim-CPS, CIFMA, Revised Selected Papers. Masci, P., Bernardeschi, C., Palmieri, M., Graziani, P. & Koddenbrock, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 351-365 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13765 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
2 Link opens in a new tab Citations (Scopus) -
Executive Function and Intelligent Goal-Directed Behavior: Perspectives from Psychology, Neurology, and Computer Science
Pluck, G., Cerone, A. & Villagomez-Pacheco, D., 2023, Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops - AI4EA, F-IDE, CoSim-CPS, CIFMA, Revised Selected Papers. Masci, P., Bernardeschi, C., Palmieri, M., Graziani, P. & Koddenbrock, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 324-350 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13765 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
6 Link opens in a new tab Citations (Scopus) -
A Web-Based Tool for Collaborative Modelling and Analysis in Human-Computer Interaction and Cognitive Science
Cerone, A., Mengdigali, A., Nabiyeva, N. & Nurbay, T., 2022, From Data to Models and Back - 10th International Symposium, DataMod 2021, Revised Selected Papers. Bowles, J., Broccia, G. & Pellungrini, R. (eds.). Springer Science and Business Media Deutschland GmbH, p. 175-192 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13268 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
1 Link opens in a new tab Citation (Scopus)