Vinitha Hannah Subburaj

15 papers A 1C 5Misc 1Unranked 7
YearRankTypeTitle / Venue / Authors
2024 — conf
Applying Formal Methods to Elicit Specifications for Grid Data Analysis Applications Using Machine Learning Algorithms.
SAI (3)
Vinitha Hannah Subburaj, Anitha Sarah Subburaj
2023 — conf
Predictive Analysis of Solar Energy Production Using Neural Networks.
FICC (2)
Vinitha Hannah Subburaj, Nickolas Gallegos, Anitha Sarah Subburaj, Alexis Sopha, Joshua Macfie
2020 — conf
A Predictive Tool For Grid Data Analysis Using Machine Learning Algorithms.
CCWC
David Penn, Vinitha Hannah Subburaj, Anitha Sarah Subburaj, Mark Harral
2019 — conf
Forecasting of total daily solar energy generation using ARIMA: A case study.
CCWC
Sharif Atique, Subrina Noureen, Vishwajit Roy, Vinitha Hannah Subburaj, Stephen Bayne, Joshua Macfie
2019 A conf
Young Aspirants Developer Contest.
SIGCSE
Vinitha Hannah Subburaj, Jacob McInite, Jordan Fite, Petterson Pham
2018 C conf
Applying Formal Methods to Specify Security Requirements in Multi-Agent Systems.
FedCSIS
Vinitha Hannah Subburaj, Joseph E. Urban
2018 — conf
Descartes-Agent: Verifying Formal Specifications Using the Model Checking Technique.
IRC
Vinitha Hannah Subburaj, Joseph E. Urban
2018 C conf
Introduction to Computing: Interdisciplinary Course Design.
FIE
Vinitha Hannah Subburaj, Anitha Sarah Subburaj, Joseph E. Urban
2018 — conf
Specifying Security Requirements in Multi-agent Systems Using the Descartes-Agent Specification Language and AUML.
AITM/ISM@FedCSIS
Vinitha Hannah Subburaj, Joseph E. Urban
2013 — —
Executable specifications for agent systems using the extended Descartes specification language with tool support.
Vinitha Hannah Subburaj
2012 C conf
Specification of Safety Critical Systems with Intelligent Software Agent Method.
SEKE
Vinitha Hannah Subburaj, Joseph E. Urban, Manan R. Shah
2011 C conf
Extending the Descartes Specification Language Towards Process Modeling.
FedCSIS
Joseph E. Urban, Vinitha Hannah Subburaj, Lavanya Ramamoorthy
2011 — conf
Intelligent Agent Software Development Using AUML and the Descartes Specification Language.
ISORC Workshops
Vinitha Hannah Subburaj, Joseph E. Urban
2010 C conf
Intelligent Software Agent Design Issues with Extensions to the Descartes Specification Language.
SEKE
Vinitha Hannah Subburaj, Joseph E. Urban
2010 Misc conf
Issues and Challenges in Building a Framework for Reactive Agent Systems.
CISIS
Vinitha Hannah Subburaj, Joseph E. Urban