Raunak BAG

Qualifica
Dottorando
Dottorato
INFORMATICA
37° Ciclo - Immatricolati nel 2021
Area tematica
Requirement specification and static analysis of robotic software
Supervisore
Cortesi Agostino
E-mail
raunak.bag@unive.it
956686@stud.unive.it
Sito web
www.unive.it/persone/raunak.bag (scheda personale)
Struttura
Dipartimento di Scienze Ambientali, Informatica e Statistica
Sito web struttura: https://www.unive.it/dais

Pubblicazioni

Anno Tipologia Pubblicazione
Anno Tipologia Pubblicazione
2025 Articolo in Atti di convegno Bag, Raunak; Chaki, Nabendu; Cortesi, Agostino Contextual Correlation Inference in Multi-fleet Robotic Systems , Applied Computing for Software and Smart Systems, Springer, vol. 980, pp. 275-294, Convegno: 11th International Sysmposium on Applied Computing for Software and Systems (ISBN 9789819797615; 9789819797622) (ISSN 2367-3370)
DOI - Scheda ARCA: 10278/5091427
2024 Articolo su rivista Roy M.; Bag R.; Deb N.; Cortesi A.; Chaki R.; Chaki N. SCARS: Suturing wounds due to conflicts between non-functional requirements in autonomous and robotic systems in SOFTWARE-PRACTICE & EXPERIENCE, vol. Volume 54, Issue 5, pp. 759-795 (ISSN 0038-0644)
DOI - Scheda ARCA: 10278/5046323
2023 Articolo su rivista Bag R.; Roy M.; Cortesi A.; Chaki N. Eliciting context-oriented NFR constraints and conflicts in robotic systems in INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, vol. article in press (ISSN 1614-5046)
DOI - Scheda ARCA: 10278/5045521