Raunak BAG

Position
PhD Student
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
Website
www.unive.it/people/raunak.bag (personal record)
Office
Department of Environmental Sciences, Informatics and Statistics
Website: https://www.unive.it/dep.dais

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 2025, Article in Conference Proceedings - ARCA card: 10278/5091427


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 2024, Journal Article - ARCA card: 10278/5046323


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 2023, Journal Article - ARCA card: 10278/5045521