Artem Gabbasov

According to our database, Artem Gabbasov authored at least 5 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Multimedia interactive exercises for online training.

Anna Perini, Kurt Schneider, Linda Marilena Bertolli, Angelo Susi, Artem Gabbasov, Paolo Busetta, Matteo Pedrotti

Multim. Tools Appl., October, 2023

Specifying requirements for collection and analysis of online user feedback.

Maurizio Astegher, Paolo Busetta, Artem Gabbasov, Matteo Pedrotti, Anna Perini, Angelo Susi

Requir. Eng., March, 2023

2022

Formal Design and Validation of an Automatic Train Operation Control System.

Arturo Amendola, Lorenzo Barruffo, Marco Bozzano, Alessandro Cimatti, Salvatore De Simone, Eugenio Fedeli, Artem Gabbasov, Domenico Ernesto Garrubba, Massimiliano Girardi, Diana Serra, Roberto Tiella, Gianni Zampedri

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2022

2020

Authoring Interactive Videos for e-Learning: The ELEVATE Tool Suite.

Daniele Dellagiacoma, Paolo Busetta, Artem Gabbasov, Anna Perini, Angelo Susi

Proceedings of the Methodologies and Intelligent Systems for Technology Enhanced Learning, 2020

Using i* to Understand the Domain of Video Tutorial for Online Training.

Anna Perini, Angelo Susi, Artem Gabbasov, Paolo Busetta, Daniele Dellagiacoma, Maurizio Astegher, Matteo Pedrotti, Matteo Longato

Proceedings of the Thirteenth International iStar Workshop co-located with 28th IEEE International Requirements Engineering Conference (RE 2020), 2020