Vinitha Hannah Subburaj

According to our database, Vinitha Hannah Subburaj authored at least 15 papers between 2010 and 2024.

Collaborative distances:

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

2024

Applying Formal Methods to Elicit Specifications for Grid Data Analysis Applications Using Machine Learning Algorithms.

Vinitha Hannah Subburaj, Anitha Sarah Subburaj

Proceedings of the Intelligent Computing, 2024

2023

Predictive Analysis of Solar Energy Production Using Neural Networks.

Vinitha Hannah Subburaj, Nickolas Gallegos, Anitha Sarah Subburaj, Alexis Sopha, Joshua Macfie

Proceedings of the Advances in Information and Communication, 2023

2020

A Predictive Tool For Grid Data Analysis Using Machine Learning Algorithms.

David Penn, Vinitha Hannah Subburaj, Anitha Sarah Subburaj, Mark Harral

Proceedings of the 10th Annual Computing and Communication Workshop and Conference, 2020

2019

Young Aspirants Developer Contest.

Vinitha Hannah Subburaj, Jacob McInite, Jordan Fite, Petterson Pham

Proceedings of the 50th ACM Technical Symposium on Computer Science Education, 2019

Forecasting of total daily solar energy generation using ARIMA: A case study.

Sharif Atique, Subrina Noureen, Vishwajit Roy, Vinitha Hannah Subburaj, Stephen Bayne, Joshua Macfie

Proceedings of the IEEE 9th Annual Computing and Communication Workshop and Conference, 2019

2018

Descartes-Agent: Verifying Formal Specifications Using the Model Checking Technique.

Vinitha Hannah Subburaj, Joseph E. Urban

Proceedings of the Second IEEE International Conference on Robotic Computing, 2018

Introduction to Computing: Interdisciplinary Course Design.

Vinitha Hannah Subburaj, Anitha Sarah Subburaj, Joseph E. Urban

Proceedings of the IEEE Frontiers in Education Conference, 2018

Specifying Security Requirements in Multi-agent Systems Using the Descartes-Agent Specification Language and AUML.

Vinitha Hannah Subburaj, Joseph E. Urban

Proceedings of the Information Technology for Management: Emerging Research and Applications, 2018

Applying Formal Methods to Specify Security Requirements in Multi-Agent Systems.

Vinitha Hannah Subburaj, Joseph E. Urban

Proceedings of the 2018 Federated Conference on Computer Science and Information Systems, 2018

2013

Executable specifications for agent systems using the extended Descartes specification language with tool support.

Vinitha Hannah Subburaj

PhD thesis, 2013

2012

Specification of Safety Critical Systems with Intelligent Software Agent Method.

Vinitha Hannah Subburaj, Joseph E. Urban, Manan R. Shah

Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

2011

Intelligent Agent Software Development Using AUML and the Descartes Specification Language.

Vinitha Hannah Subburaj, Joseph E. Urban

Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2011

Extending the Descartes Specification Language Towards Process Modeling.

Joseph E. Urban, Vinitha Hannah Subburaj, Lavanya Ramamoorthy

Proceedings of the Federated Conference on Computer Science and Information Systems, 2011

2010

Intelligent Software Agent Design Issues with Extensions to the Descartes Specification Language.

Vinitha Hannah Subburaj, Joseph E. Urban

Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010

Issues and Challenges in Building a Framework for Reactive Agent Systems.

Vinitha Hannah Subburaj, Joseph E. Urban

Proceedings of the CISIS 2010, 2010