Raju Halder
AuthID: R-00G-VZ5
1
TITLE: A deductive reasoning approach for database applications using verification conditions
AUTHORS: Alam, MI; Halder, R; Pinto, JS ;
PUBLISHED: 2021, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 175
AUTHORS: Alam, MI; Halder, R; Pinto, JS ;
PUBLISHED: 2021, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 175
2
TITLE: Formal Verification of ROS-based Robotic Applications using Timed-Automata
AUTHORS: Raju Halder; Jose Proenca ; Nuno Macedo ; Andre Santos;
PUBLISHED: 2017, SOURCE: 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering (FormaliSE) in 2017 IEEE/ACM 5TH INTERNATIONAL FME WORKSHOP ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE) PROCEEDINGS
AUTHORS: Raju Halder; Jose Proenca ; Nuno Macedo ; Andre Santos;
PUBLISHED: 2017, SOURCE: 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering (FormaliSE) in 2017 IEEE/ACM 5TH INTERNATIONAL FME WORKSHOP ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE) PROCEEDINGS
