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
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