Meenakshi D'Souza

According to our database1, Meenakshi D'Souza authored at least 24 papers between 2000 and 2018.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
Learning Framework For Maturing Architecture Design Decisions For Evolving Complex SoS.
Proceedings of the 13th Annual Conference on System of Systems Engineering, 2018

Safety Validation Using AADL System Architecture Models.
Proceedings of the 11th Innovations in Software Engineering Conference, ISEC 2018, Hyderabad, India, February 09, 2018

Efficient Anomaly Detection Methodology for Power Saving in Massive IoT Architecture.
Proceedings of the Distributed Computing and Internet Technology, 2018

A Generic Static Analysis Framework for Domain-specific Languages.
Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

2017
Workshop on Developmental aspects of Intelligent Adaptive Systems (DIAS): Co-located with 10th Innovations in Software Engineering Conference (ISEC), Jaipur, India.
ACM SIGSOFT Software Engineering Notes, 2017

A Framework for Modeling and Verifying IoT Communication Protocols.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

Knowledge based decision framework for architecting complex systems.
Proceedings of the Symposium on Applied Computing, 2017

A Static Analyzer for Industrial Robotic Applications.
Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017

Developmental aspects of Intelligent Adaptive Systems (DIAS).
Proceedings of the 10th Innovations in Software Engineering Conference, 2017

Static Vulnerability Analysis for Secure Mobile Platforms.
Proceedings of the 10th Innovations in Software Engineering Conference, 2017

Method level power estimation and optimization in next generation smart phones.
Proceedings of the 2017 International Conference on Advances in Computing, 2017

Design a power aware methodology in IoT based on Hidden Markov Model.
Proceedings of the 9th International Conference on Communication Systems and Networks, 2017

2016
Formal verification of avionics self adaptive software: A case study.
Proceedings of the 9th India Software Engineering Conference, 2016

Incorporating adaptivity using learning in avionics self adaptive software: A case study.
Proceedings of the 2016 International Conference on Advances in Computing, 2016

2013
Verification of Message Sequence Structures.
Proceedings of the Distributed Computing and Internet Technology, 2013

2012
Improving estimation accuracy by using case based reasoning and a combined estimation approach.
Proceedings of the Proceeding of the 5th Annual India Software Engineering Conference, 2012

A Framework for Decentralized Physical Access Control using Finite State Automata.
Modern Applications of Automata Theory, 2012

2007
A framework for decentralized access control.
Proceedings of the 2007 ACM Symposium on Information, Computer and Communications Security, 2007

2006
A framework for rapid-prototyping of context based ubiquitous computing applications.
Proceedings of the IEEE International Conference on Sensor Networks, 2006

Tool for Translating Simulink Models into Input Language of a Model Checker.
Proceedings of the Formal Methods and Software Engineering, 2006

2004
Reasoning about layered message passing systems.
Computer Languages, Systems & Structures, 2004

2003
Reasoning about Layered Message Passing Systems.
Proceedings of the Verification, 2003

2001
Beyond Message Sequence Graphs.
Proceedings of the FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science, 2001

2000
Reasoning about Message Passing in Finite State Environments.
Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000


  Loading...