Publications (Domain-Wise)

Applied Machine Learning, Text Analytics, and NLP

Janardan Misra and Vikrant Kaulgud. "When to Build Quantum Software?" Presented in Software Engineering Research in India (SERI) 2021.

Janardan Misra and Nisha R. "Reliability Analysis of Machine Learning based Data-Driven Software". Tech Briefing Talk in the Innovation in Software Engineering Conference 2021 (ISEC'21)

Janardan Misra and Sanjay Podder. "Association of Defect Log Suitability for Machine Learning with Performance: An Experience Report". To appear in proceedings of the Innovation in Software Engineering Conference 2021 (ISEC'21), ACM.

Shalmoli Ghosh, Janardan Misra, Saptarshi Ghosh, and Sanjay Podder "Utilizing Social Media for Identifying Drug Addiction and Recovery Intervention". In the International Workshop on Data Analytics for Smart Health (DASH 2020: IEEE BigData).

Janardan Misra and Sanjay Podder. "Mining Text in Incident Repositories: Experiences and Perspectives on Adopting Machine Learning Solutions in Practice". To be presented in the SEI'19 (First International Workshop on Software Engineering Intelligence - co-located with ASE'19), San Diego, CA, USA, Nov 2019.

(Invited Talk) Social Media Analytics for Mental Health: Opportunities and Challenges. Sixth Social Networking Workshop @ COMSNETS 2019. Link

(Invited Talk) Future of AI Enterprise. Agile and Automation Conclave 2018 at SolutionsIQ. Slides

Janardan Misra and Indranil Saha, "Artificial Neural Networks in Hardware: A Survey of Two Decades of Progress". Neurocomputing, vol. 74, pp. 239-255, Elsevier, 2010. Link (Full Text)

Janardan Misra "Terminological Inconsistency Analysis of Natural Language Requirements". Information and Software Technology (IST), Vol. 74, pp 183 - 193, Elsevier, June 2016. Link

Janardan Misra, et. al. "Data-Driven Application Maintenance: Experience from the Trenches". In proceedings of the 4th International Workshop on Software Engineering Research and Industrial Practice (SER&IP), IEEE Press, pp. 48-54, May, 2017. Link (arXiv)

Janardan Misra and Subhabrata Das. "Entity Disambiguation in Natural Language Text Requirements". In proceedings of the 20th Asia-Pacific Software Engineering Conference (APSEC), IEEE Computer Society, pp. 239 - 246, Dec 2 - 5, 2013, Bangkok, Thailand. *Best Paper Award*. Link

Janardan Misra, Divya Rawat, and Sanjay Podder. "Designing Data-Driven Solutions for Societal Problems: Challenges and Approaches". In proceedings of the ECML PKDD 2018 Workshops, Lecture Notes in Computer Science, vol 11329, pp. 134-144, Springer, Dublin, Ireland. Link

Sanjay Podder, Janardan Misra, et al. "Designing Intelligent Automation based Solutions for Complex Social Problems". Presented in ICML 2016 workshop #Data4Good (Machine Learning in Social Good Applications), New York City, USA. Link (Full Text)

Janardan Misra, Shubhashis Sengupta, and Sanjay Podder. "Topic Cohesion Preserving Requirements Clustering". In proceedings of RAISE 2016 (5th International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering), ACM, pages 22-28, 17th May 2016, Austin, TX, USA. Link

Janardan Misra, Shubhashis Sengupta, and Subhabrata Das. "Latent Semantic Centrality based Automated Requirements Prioritization". In proceedings of the 7th India Software Engineering Conference (ISEC '14), ACM, pp. 5:1 - 5:10, Feb 2014, Chennai, India. Link

Janardan Misra, KM Annervaz, Vikrant Kaulgud, Shubhashis Sengupta, and Gary Titus. "Software Clustering: Unifying Syntactic and Semantic Features". In proceedings of the 19th Working Conference on Reverse Engineering (WCRE), IEEE, pp. 113-122, Kingston, Ontario, Canada, Oct, 2012. Link (companion draft @ arXiv)

Vikrant Kaulgud, KM Annervaz, Janardan Misra, and Gary Titus. "Comprehension Support during Knowledge Transitions: Learning from Field". In proceedings of the 22nd International Conference on Program Comprehension (ICPC '14), ACM, pp. 205 - 206, Hyderabad, India, 2014. Link

Annervaz K M, Vikrant Kaulgud, Janardan Misra, Shubhashis Sengupta, Gary Titus, Azmat Munshi. "Code Clustering Workbench". In proceedings of the 13th IEEE Source Code Analysis and Manipulation (SCAM), IEEE, pp. 31-36, 2013. Link

Formal Methods and Algorithms

Suman Roy, Janardan Misra, and Indranil Saha. A Simplification of a Real‐time Verification Problem. Software: Testing Verification and Reliability, Vol 26, pp. 548–571, Wiley, Dec 2016. Link (arXiv)

Janardan Misra and Suman Roy "A Decidable Timeout based Extension of LTL". Journal of Applied Non-Classical Logics (JANCL), Vol. 24, Issue 3, pp. 262 - 291, Taylor & Francis, Nov 2014. Full Text

Janardan Misra "A Calculus of Incomplete Fusions". The Computer Journal, Vol. 57(7), pp. 1105 - 1116, Oxford University Press, July 2014. Full Text (Link)

Subhas Kumar Ghosh and Janardan Misra. “A Randomized Algorithm for 3-SAT”. Mathematics in Computer Science, special issue “Advances in Combinatorial Algorithms II”, Birkhauser Base/Springer, Vol. 3, No. 4, pp. 421-431, 2010. (Link) [arXiv]

Janardan Misra. A Framework for Specification and Verification of Timeout Models of Real-Time Systems". In proceedings of the 4th International Conference on Contemporary Computing (IC3), S. Aluru et al. (Eds.): CCIS vol. 168, pp. 146-157. Springer, Heidelberg, 2011. Link

Indranil Saha, Janardan Misra, and Suman Roy. “Timeout and Calendar based Finite State Modeling and Verification of Real-Time Systems”. In proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis (ATVA), LNCS, Vol. 4762, pp. 284-299, Springer, 2007. Link

Gabriel Ciobanu and Janardan Misra. “Performance Analysis and Name Passing Errors in Probabilistic Fusion”. Scientific Annals of Computer Science, “A.I. Cuza'' University Press, Vol. XVI, pp. 57-76, 2005. Link (Slides)

Rana Barua and Janardan Misra. Binary Arithmetic for DNA Computers”. Revised Papers from the 8th International Workshop on DNA Based Computers: DNA Computing (DNA8), Masami Hagiya and Azuma Ohuchi (Eds.), LNCS, Vol. 2568, pp. 124 - 132, Springer, UK, 2003. Link (Pre-print) [Slides]

Janardan Misra and Suman Roy. Techniques for Distributed Reachability Analysis with Partial Order and Symmetry based Reductions”. arXiv

Janardan Misra. "A Note on Digitization of Real-Time Models and Logics". arXiv

Pradeep Kumar and Janardan Misra. "Owners as Trusters: Trusted Ownership Declassification With Neighborhood". In proceedings of the 6th International Workshop on Aliasing, Capabilities and Ownership (IWACO '14), in association with the ECOOP 2014, Uppsala, Sweden, July 2014. Full Text

C.P. Ravikumar, Janardan Mishra, Nirmalya Haldar, Kamal Kiran, and Senthil Arasu. "Static Verification of Burn-in Test Vectors". TI Test Symposium, 2002.

Security

Amitabh Saxena,Janardan Misra, and Aritra Dhar. "Increasing Anonymity in Bitcoin". In proceedings of the BITCOIN 2014: 1st international Workshop on Bitcoin Research, Springer, LNCS, pp. 122 - 139, Mar 2014, Barbados. Full Text

[Book Chapter] Janardan Misra. "Towards a Framework for Collaborative Enterprise Security". In "Threats, Countermeasures, and Advances in Applied Information Security", Manish Gupta, John Walp, and Raj Sharman, editors, IGI Global, Chap. 16, pp. 309-334, 2012. Link

Janardan Misra and Indranil Saha. "A Reinforcement Model for Collaborative Security and Its Formal Analysis". In proceedings of the New Security Paradigm Workshop (NSPW), ACM, pp. 101-114, 2009. Full Text

Janardan Misra. "A Recursive PLS (Partial Least Squares) based Approach for Enterprise Threat Management". arXiv

Complex Adaptive Systems

Janardan Misra. “Observing Evolution in Artificial Life Studies: Algorithmic Considerations”. Accepted in the IEEE Symposium on Artificial Life (IEEE-Alife '13), 2013. Program

Janardan Misra. "Algorithmic Feasibility of Entity Recognition in Artificial Life". In proceedings of the 10th European Conference on Artificial Life, (ECAL '11), G. Kampis, I. Karsia, and E. Szatmary (Eds.), Part II, LNCS vol. 5778, pp. 246 - 253, Springer, 2011. Link

[Monograph] Janardan Misra. "Observing Artificial Life: An Abstract Algorithmic Framework". LAMBERT Academic Publishing, Saarbrucken, Germany, ISBN-13: 978-3-8454-1546-8, 2011. Link

Janardan Misra. "Algorithmic Feasibility of Observing Artificial Life Evolution". In proceedings of the 12th International Conference on Synthesis and Simulation of Living Systems (Alife XII), Odense, Denmark, MIT Press, pp. 889 - 896, 2010. Full Text (Link)

Martin Henz and Janardan Misra.Towards a Framework for Observing Artificial Life Forms”. In proceedings of the 1st IEEE Symposium on Artificial Life (IEEE-Alife '07), IEEE Computational Intelligence Society, pp. 23-30, 2007. Link, extended draft @ arXiv

Janardan Misra. “An Inductive Formalization of Self Reproduction in Dynamical Hierarchies”. In proceedings of the 10th International Conference on the Simulation and Synthesis of Living Systems (ALife X), pp. 553-558, MIT Press, 2006. arXiv

Janardan Misra. "Observing Artificial Life Evolution: A Formal Algebraic Framework". Master's Thesis, Department of Computer Science, National University of Singapore, 2005. Link

Janardan Misra. Design of a P System based Artificial Graph Chemistry”. arXiv

Janardan Misra. Thoughts on a Unified Framework for Artificial Chemistries”. arXiv

Sociology

Anjeline Daniel and Janardan Misra. “Understanding Suicides in India: a Socio-Cultural Perspective”. Accepted for presentation in the 2nd International Conference on Mental Health and Cultural Psychiatry, Sydney, Australia, 2005.