Manu S. Hegde

Publication Activity (10 Years)

Years Active: 2012-2017
Publications (10 Years): 1

Top Topics

Situational Awareness

Formal Verification

Top Venues

Int. J. Auton. Adapt. Commun. Syst.

Publications

Manu S. Hegde, Sanjay Singh
Safe buzz: adaptive security for multi-agents through situational awareness. Int. J. Auton. Adapt. Commun. Syst. 10 (2) (2017)
Manu S. Hegde, Sanjay Singh
Alert-BDI: BDI Model with Adaptive Alertness through Situational Awareness. CoRR (2013)
Manu S. Hegde, Sanjay Singh
Alert-BDI: BDI model with adaptive alertness through situational awareness. ICACCI (2013)
Manu S. Hegde, H. K. Jnanamurthy, Sanjay Singh
Formal verification of the Extensible Authentication Protocol using SPIN. CCSEIT (2012)