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

Publications

Year Type Publication
Year Type Publication
2024 Journal Article 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 - ARCA card: 10278/5046323
2023 Journal Article 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 - ARCA card: 10278/5045521