Research

Software 2015

Verifying Synchronous Reactive Systems using Lazy AbstractionDesign, Automation and Test in Europe  2015Kumar Madhukar; Ravindra Kumar Metta;V&V for Embedded Software
A Conceptual Framework for Enterprise AgilityACM SACVinay Kulkarni;Model Driven Enterprise
Over-approximating loops to prove properties using bounded model checkingDesign, Automation and Test in Europe (DATE)Bharti Dewrao Chimdyalwar; Venkatesh R; Ulka Aniruddha Shrotri; Priyanka Dilip Darke; Ravindra Kumar Metta;V&V for Embedded Software
Application of Machine Learning Techniques for Inverse Prediction in Manufacturing Process Chains3rd World Congress on Integrated Computational Materials EngineeringSreedhar S Reddy; Sapankumar Hiteshchandra Shah;Avadhut Sardeshmukh;Gautam Shroff; B P Gautham;ICME
On Implementational Variations in Static Analysis ToolsSANER 2015Tukaram B Muske;Prasad Ramesh Bokil;V&V for Embedded Software
Precision Vs. Scalability: Context Sensitive Analysis With Prefix ApproximationSANER2015Raveendra Kumar Medicherla;Model Driven Enterprise
Value Slice: A New Slicing Concept for Scalable Property CheckingTACAS 2015Shrawan Kumar;V&V for Embedded Software
Mining Enterprise Models for Knowledgeable Decision MakingISEC 2015Suman Roychoudhury; Nikhil Narendra Bellarykar;Model Driven Enterprise
Mining Enterprise Models for Knowledgeable Decision Making1RAISE 2015Suman Roychoudhury; Vinay Kulkarni; Nikhil Narendra Bellarykar;Model Driven Enterprise
Verification of Group Variables for Detecting Inconsistencies in SoftwareSAE 2015 World Congress & ExhibitionAdvaita Datar; Amey Zare;V&V for Embedded Software
Over-approximating loops to prove properties using bounded model checkingDesign, Automation and Test in Europe (DATE)Bharti Dewrao Chimdyalwar; Venkatesh R; Ulka Aniruddha Shrotri; Priyanka Dilip Darke; Ravindra Kumar Metta;V&V for Embedded Software
A Systemic Framework to facilitate large and complex IT transformational ProgramIncose 2015Supriya Kummamuru; Syed Wasiulla;Business Systems and Cybernetics
A Business Process view of Software: An effective measurement model to assess the operations readiness of software under constructionIncose 2015Ramesh Kumar;Business Systems and Cybernetics
A Study on building wholesome competence in peopleITHET 2015Ravi Shakar Pillutla; Narayana Guru Prasada Lakshmi Mandaleeka;Business Systems and Cybernetics
Digital Dividend for (Educational) Organizations: Reaping Organizational AgilityITHET 2015155432 - Raman A;Business Systems and Cybernetics
Verifying Synchronous Reactive Systems using Lazy AbstractionDesign, Automation and Test in Europe  2015Kumar Madhukar; Ravindra Kumar Metta;V&V for Embedded Software
Cost-Effective Functional Testing of Reactive SoftwareENASE 2015Supriya Agrawal; Venkatesh R; Ulka Aniruddha Shrotri; Amey Zare;V&V for Embedded Software
Examining Norm Establishment and Spread In Different Organizational Structures Using An Extended Axelrod Model2015 Spring Simulation Multi-ConferenceVivek Balaraman; Meghendra Singh;Human Centric system analysis and design
Model Driven Development - A practitioner takes stock and a look into the futureIndian Software Engineering ConferenceVinay Kulkarni;Model Driven Enterprise
Mining process models and architectural components from test cases2nd International Workshop on Software Test ArchitectureVipul Arvind Shah;Model Driven Enterprise
Interpretations and Explanations in Regulatory Compliance using Vocabularies8TH INDIA SOFTWARE ENGINEERING CONFERENCESagar Sunkle; Deepali D P Kholkar;Model Driven Enterprise
A Model-driven Approach to Enterprise Data MigrationCAiSERaghavendra Y Reddy; Sreedhar S Reddy; Prasenjit Das;ICME
On Implementational Variations in Static Analysis ToolsSANER 2015Tukaram B Muske; Prasad Ramesh Bokil;V&V for Embedded Software
Precision Vs. Scalability: Context Sensitive Analysis With Prefix ApproximationSANER2015Raveendra Kumar Medicherla;Model Driven Enterprise
Software Plug and Play ShowcaseIIIT R&D ShowcaseAnand Kumar;Development methods for analytics solutions
Software Plug and PlayWICSA 2015Anand Kumar;Development methods for analytics solutions
Management SystemsISSS 2015 BulletinDoji Samson Lokku; Anand Kumar; Nikhil Zope;Development methods for analytics solutions
Towards an Architecture for a Services Design WorkbenchInformation Systems 2015Doji Samson Lokku; Anand Kumar; Nikhil Zope;Services
Abstraction that can aid in DesignINCOSE Symposium 2015Doji Samson Lokku; Anand Kumar; Nikhil Zope;Services
Mining Enterprise Models for Knowledgeable Decision Making1RAISE 2015Suman Roychoudhury; Vinay Kulkarni; Nikhil Narendra Bellarykar;Model Driven Enterprise
Verification of Group Variables for Detecting Inconsistencies in SoftwareSAE 2015 World Congress & ExhibitionAdvaita Datar; Amey Zare;V&V for Embedded Software
A Conceptual Framework for Enterprise AgilityACM SACVinay Kulkarni;Model Driven Enterprise
Toward a holistic method for regulatory change managementInternational Symposium on Business Modeling and Software DesignSagar Sunkle; Vinay Kulkarni;Model Driven Enterprise
The INDICON 2011 ExperienceCOW ConferenceNarayana Guru Prasada Lakshmi Mandaleeka;Business Systems and Cybernetics
Building Competence in Engineering students using the Skill connect wayInvited talkRavi Shakar Pillutla;Business Systems and Cybernetics
Conference Best PracticesCOW ConferenceNarayana Guru Prasada Lakshmi Mandaleeka;Business Systems and Cybernetics
Application of Systemic Design Thinking for Program ManagementTencon 2015Tirumala Rao Vinnakota; Syed Wasiulla;Business Systems and Cybernetics
Designing an Organization structure for large and Complex IT programs using the Viable System ModelTencon 2015Supriya Kummamuru; Syed Wasiulla;Business Systems and Cybernetics
"A Systemic Approach to Re-inforce Development and Operations Functions in Delivering an organaizational programme CAS Conference Syed Wasiulla; Software Business Systems and Cybernetics 11/02/2015  1021 A Study on building wholesome competence in people Software Product Line ConferenceSachin Patel; Vipul Arvind Shah;Model Driven Enterprise
Software Plug and PlayWICSA 2015Anand Kumar;Development methods for analytics solutions
Abstraction that can aid in DesignINCOSE Symposium 2015Doji Samson Lokku; Anand Kumar; Nikhil Zope;Services
Value Slice: A New Slicing Concept for Scalable Property CheckingTACAS 2015Shrawan Kumar;V&V for Embedded Software
Toward a holistic method for regulatory change managementInternational Symposium on Business Modeling and Software DesignSagar Sunkle; Vinay Kulkarni;Model Driven Enterprise
Application of Systemic Design Thinking for Program ManagementTencon 2015Tirumala Rao Vinnakota; Syed Wasiulla;Business Systems and Cybernetics
Designing an Organization structure for large and Complex IT programs using the Viable System ModelTencon 2015Supriya Kummamuru; Syed Wasiulla;Business Systems and Cybernetics
Systems Thinking as a Strategy Development Approach - A Case in illustration for Social Welfare programsTencon 2015Ravi Shakar Pillutla;Business Systems and Cybernetics
A Data-Centric Approach to Change ManagementThe Enterprise Modelling Conference (EDOC)Vinay Kulkarni;Model Driven Enterprise
An Agent Based Exploration of a Relationship Between Daily Routines and Convenience Store FootfallsSummer Simulation Multi-ConferenceVivek Balaraman; Meghendra Singh;Human Centric system analysis and design
Multimodelling-A Systemic approach to Business solution DesignRSD4 Conference 2015Narayana Guru Prasada Lakshmi Mandaleeka;Business Systems and Cybernetics
Knowledge Transition: Discovering workflow modelsThe 26th IEEE International Symposium on Software Reliability EngineeringSunjit Rana; Vipul Arvind Shah;Model Driven Enterprise
Accelerating Invariant GenerationFMCAD 2015Kumar Madhukar;V&V for Embedded Software
Modeldriven Regulatory Compliance A Case Study of ?Know Your Customer RegulationsACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS)Sagar Sunkle; Deepali D P Kholkar; Vinay Kulkarni;Model Driven Enterprise
Toward Overcoming Accidental Complexity in Organisational DecisionMakingACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS)Souvik Barat; Vinay Kulkarni;Model Driven Enterprise
Explanation of Proofs of Regulatory (Non-)Compliance Using Semantic VocabulariesRuleMLSagar Sunkle; Deepali D P Kholkar; Vinay Kulkarni;Model Driven Enterprise
"Automated Testing of Software-as-a-Service Configurations using a Variability Language"Software Product Line ConferenceSachin Patel; Vipul Arvind Shah;Model Driven Enterprise
Abstraction that can aid in DesignINCOSE Symposium 2015Doji Samson Lokku; Anand Kumar; Nikhil Zope;Services
Application of Systemic Design for Program ManagementIEEE Tencon 2015Tirumala Rao Vinnakota; Syed Wasiulla;Business Systems and Cybernetics
A Framework to identify Systemic flexibility needs of Enterprise9th Asia-Pacific Conference on Systems Engineering (APCOSEC 2015)Tirumala Rao Vinnakota;Business Systems and Cybernetics
"A Systemic Approach to Re-inforce Development and Operations Functions in Delivering an organaizational programme"CAS ConferenceSyed Wasiulla;Business Systems and Cybernetics
A systemic blending of BizDevOps (Business, Development and Operations) functions in delivering successful organizational programmesAPCOSEC 2015Syed Wasiulla;Business Systems and Cybernetics
Examining Workplace Productivity using Multimodal Data: Results from a Pilot StudyThe Computational Social Science Society of the Americas 2015David Clarance; Amruta Vilas Deshmukh; Heena Aggarwal; Mahadev Baliram Padwal; Gauri Deshpande;Human Centric system analysis and design
Norm Establishment in a Single Dimension Axelrod ModelPrinciples and Practice of Multi-Agent Systems (PRIMA 2015)David Clarance; Vinay Katiyar;Human Centric system analysis and design
Knowledge Transition: Discovering workflow modelsThe 26th IEEE International Symposium on Software Reliability EngineeringSunjit Rana; Vipul Arvind Shah;Model Driven Enterprise
Toward Overcoming Accidental Complexity in Organisational DecisionMakingACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS)Souvik Barat; Vinay Kulkarni;Model Driven Enterprise

Reach Us.

Share