Pritom Rajkhowa

According to our database, Pritom Rajkhowa authored at least 4 papers between 2013 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2019

VIAP 1.1 - (Competition Contribution).

Pritom Rajkhowa, Fangzhen Lin

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2018

Extending VIAP to Handle Array Programs.

Pritom Rajkhowa, Fangzhen Lin

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018

2017

VIAP - Automated System for Verifying Integer Assignment Programs with Loops.

Pritom Rajkhowa, Fangzhen Lin

Proceedings of the 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2017

2013

An Application of Defeasible Logic Programming for Firewall Verification and Reconfiguration.

Pritom Rajkhowa, Shyamanta M. Hazarika, Guillermo Ricardo Simari

Proceedings of the Quality, Reliability, Security and Robustness in Heterogeneous Networks, 2013