Contact Us
We are taking you to another website now.

Software systems & services

Overview

The software systems and services research team focuses on a wide ranging set of problems faced by modern enterprises from strategy to business processes to software systems. The endeavor is to come up with novel hyper-automation centric solutions that integrate proven ideas from fields such as software engineering, modeling & simulation, program analysis & synthesis, AI and control theory.

Fields

The research carried out in this area includes:

  • Enterprise Digital Twin: Primary focus is on supporting the Digital Twin concept for non-physical spaces by building further upon proven ideas from Modelling & Simulation, Artificial Intelligence, and Control Theory to support simulation-based data-driven learning-aided justification-backed approach to decision making in the face of uncertainty. Having demonstrated the value-add in business, cyber-physical and societal spaces, we are now entering biology.

  • Automated Regulatory Compliance: Principal objective is to develop technology to help enterprises stay compliant at optimal cost with minimal risk exposure. The line of attack leverages a wide spectrum of techniques such as natural language processing, machine learning, domain-specific languages, model checking, model transformation, and data integration.

  • Knowledge Driven Engineering: Primary focus is on developing knowledge engineering frameworks that help in modelling, extracting, and reasoning in order to deliver the right insights to engineers at the right time to help them make the right decisions in engineering processes such as design, manufacturing and operations.

  • Information to Insights: This group focuses on human-in-loop authoring of purposive models from [semi / un] structured information so as to enable subject matter experts derive insights in an automation-aided justification-backed manner.

  • Knowledge-guided SDLC: This group works on developing technology to transform document-centric manual stages of software product development to model-centric automation-aided. Key feature is an active knowledgebase that grows over time thus leading to automatic improvement of SDLC.

  • Domain-driven Onboarding: An initiative for evolving semi-automated, with human-in-the-loop method, digitized internal specification & model-based architecture, and necessary tool support for on-boarding an information organization’s core business, described using semi-structured and un-structured text, to a TCS or COTS platform.

  • Program Analysis driven System Renovation: Primary focus is on combining the proven data-flow and control-flow analysis of programs with domain vocabulary and learning techniques to synthesize digitized, model-based specifications, to the extent automatically, from the implementation (source code) of a given system.

  • Program Synthesis for Data Transformations: The group is exploring a novel iterative combination of machine learning based table and field matching with program synthesis based transformation rule learning for solving complex data transformation needs of enterprises.

  • Software Engineering for the Uncertain World (SE4UW): Primary objective is to come up with an approach for designing software systems capable of dynamic adaptation in the face of uncertainty, to come up with suitable software system architecture, and to develop the necessary technology infrastructure to support the approach and to implement the architecture.

  • New-age Software System Architectures: Primary objective is to investigate how enterprise systems should be architected to best address critical run-the-enterprise needs of future enterprises. To begin with, the work will focus on helping some of the key technology-centered initiatives of TCS by building further upon a wide range of technologies such as NLP, ML, analytics, cloud, and big data.

  • Complex Adaptive Systems: Overall objective is to build further upon TCS’ design and control work to support model reference adaptive control of complex system of systems.

People & Patents

  • Research team: Led by Chief Scientist Vinay Kulkarni, the team includes Sreedhar Reddy; Ravindra Naik; Souvik Barat; Sagar Sunkle; Suman Roychoudhury; Deepali Kholkar; Raveendra Kumar Medicherla; Asha Rajbhoj; Padmalata V. Nistala; Aditya Paranjape; Pavan Kumar Chittimalli; Sapan Shah; Avadhut Sardeshmukh; and Sushant Vale

  • Academic partners: Aston University, UK; Middlesex University, UK; Indian Institute of Science, India

  • Patents: This research has led to 28 patents

  • Key Publications since 2016

1. A Simulation Based Aid for Complex Dynamic Decision Making - A proposal

Practice of Enterprise Modeling

08/09/2016

Souvik Barat,

2. From Natural-Language Regulations To Enterprise Data Using

International Conference on Software Technologies

27/05/2016

Deepali D P Kholkar, Sagar Sunkle, Vinay Kulkarni,

3. A Simulation-Based Aid for Organisational Decision-Making

International Conference on Software Technologies

25/06/2016

Souvik Barat, Vinay Kulkarni,

4. Comparison and Synergy Between Fact-Orientation and Relation Extraction for Domain Model Generation in Regulatory Compliance

International Conference on Conceptual Modeling

15/06/2016

Sagar Sunkle, Deepali D P Kholkar, Vinay Kulkarni,

5. A NLP based Framework to Support Document Verification-as-a-Service

IEEE Enterprise Distributed Object Computing Conference

30/05/2016

Suman Roychoudhury, Nikhil Narendra Bellarykar, Vinay Kulkarni,

6. A Model Based Realisation of Actor Model to Conceptualise an Aid for Complex Dynamic Decision-Making

International Conference on Model-Driven Engineering and Software Development

07/01/2017

Souvik Barat, Vinay Kulkarni,

7. A Model-Based Approach to Systematic Review of Research Literature

India Software Engineering Conference

27/01/2017

Souvik Barat, Vinay Kulkarni,

8. Actor Monitors for Adaptive Behaviour - Extended form

India Software Engineering Conference

31/01/2017

Souvik Barat, Vinay Kulkarni,

9. Conducting Systematic Literature Reviews and Systematic Mapping Studies

India Software Engineering Conference

31/01/2017

Souvik Barat,

10. A case study exploring suitability of bottom up modelling and actor-based simulation for decision making

India Software Engineering Conference

31/01/2017

Souvik Barat, Vinay Kulkarni, Asha S Rajbhoj, Prashant Kumar,

11. Towards Automated Generation of Regulation Rule Bases using MDA

International Conference on Model-Driven Engineering and Software Development

09/12/2016

Deepali D P Kholkar, Sagar Sunkle, Vinay Kulkarni,

12. Applying MDA to Rule and Data Generation for

Springer Communications in Computer and Information Systems

01/02/2017

Deepali D P Kholkar, Sagar Sunkle, Vinay Kulkarni,

13. Informed Active Learning to Aid Domain Experts in Modeling Compliance

IEEE Enterprise Distributed Object Computing Conference

01/06/2016

Sagar Sunkle, Deepali D P Kholkar, Vinay Kulkarni,

14. Better Regulatory Compliance with Active Participation of Domain Experts

International Joint Conference on Artificial Intelligence

20/05/2016

Sagar Sunkle, Vinay Kulkarni,

15. A conceptual model for organisational decision-making and its possible realisations

European Simulation and Modelling Conference

30/09/2016

Souvik Barat, Vinay Kulkarni,

16. Enterprise Modeling as a Decision Making Aid: A Systematic Mapping Study

Practice of Enterprise Modeling

03/10/2016

Vinay Kulkarni, Souvik Barat,

17. Actor Monitors for Adaptive Behaviour

International ACM SIGPLAN Workshop on Programming based on Actors, Agents, and Decentralized Control

03/10/2016

Vinay Kulkarni, Souvik Barat,

18. Interactive Patterns: Mobile Data Visualization

European Conference on Pattern Languages of Programs

16/05/2017

Nistala Venkata Padmalata,

19. User-Centered Design Journey for Pattern Development

European Conference on Pattern Languages of Programs

16/05/2017

Nistala Venkata Padmalata,

20. Semi-automated creation of regulation rule bases using generic template-driven rule extraction

International Conference on Artificial Intelligence and Law

15/05/2017

Deepali D P Kholkar, Sagar Sunkle, Vinay Kulkarni,

21. Supporting Organisational Decision Making in Presence of Uncertainty

European Modeling and Simulation Symposium

08/06/2017

Vinay Kulkarni, Souvik Barat,

22. Querying Histories of Organisation Simulations

International Conference on Information Systems Development

11/06/2017

Vinay Kulkarni, Souvik Barat,

23. AN ACTOR-MODEL BASED BOTTOM-UP SIMULATION - AN EXPERIMENT ON INDIAN DEMONETISATION INITIATIVE

Winter Simulation Conference

17/06/2017

Souvik Barat, Vinay Kulkarni,

24. ESL: An Actor-Based Platform for Developing Emergent Behaviour Organisation Simulations

International Conference on Practical Applications of Agents and Multi-Agents Systems

21/04/2017

Souvik Barat, Vinay Kulkarni,

25. An actor-based bottom-up simulation aid for complex dynamic decision making

International Conference on Practical Applications of Agents and Multi-Agents Systems

28/04/2017

Souvik Barat,

26. ESL: An Actor-Based Platform for Developing Emergent Behaviour Organisation Simulations 1

International Conference on Software Engineering

07/04/2017

Souvik Barat, Vinay Kulkarni,

27. A Model-driven Regulatory Compliance Framework

International Conference on Software Engineering

07/04/2017

Deepali D P Kholkar, Vinay Kulkarni, Sagar Sunkle, Suman Roychoudhury,

28. From Natural Language to SBVR ModelAuthoring using Structured English for Compliance Checking

IEEE Enterprise Distributed Object Computing Conference

25/06/2017

Suman Roychoudhury, Vinay Kulkarni, Sagar Sunkle, Deepali D P Kholkar,

29. Actor-Based Methods, Concepts and Tools for Simulation

European Simulation and Modelling Conference

17/06/2017

Vinay Kulkarni, Souvik Barat,

30. Actor-Based Methods, Concepts and Tools for Analyzing Emergent Behaviour - An Introduction to a Model Based Approach

International Conference on Model Driven Engineering Languages and Systems

26/05/2017

Vinay Kulkarni, Souvik Barat,

31. Towards developing right systems - a model-driven approach

Software Technologies: Applications and Foundations Conference

28/04/2017

Vinay Kulkarni, Sreedhar S Reddy,

32. The Construction and Interrogation of Actor Based Simulation Histories

International Conference on Conceptual Modeling

24/06/2017

Vinay Kulkarni, Souvik Barat,

33. From Natural Language to SBVR Model Authoring using Structured English for Compliance Checking

IEEE Enterprise Distributed Object Computing Conference

25/06/2017

Suman Roychoudhury, Deepali D P Kholkar, Sagar Sunkle, Vinay Kulkarni,

34. A Domain-Specific Controlled English Language for Automated Regulatory Compliance (Industrial Paper)

ACM SIGPLAN International Conference on Software Language Engineering

01/08/2017

Suman Roychoudhury, Vinay Kulkarni, Deepali D P Kholkar, Sagar Sunkle,

35. Towards Adaptive Enterprises using Digital Twins

Research Challenges in Information Science

08/04/2019

Vinay Kulkarni,

36. Balancing Model Usability and Verifiability with SBVR and Answer Set Programming

International Conference on Model Driven Engineering Languages and Systems

16/08/2018

Deepali D P Kholkar, Dushyanthi Mulpuru, Vinay Kulkarni,

37. Actor Based Simulation for Closed Loop Control of Supply Chain using Reinforcement Learning

International Conference on Autonomous Agents and Multiagent Systems

23/01/2019

Souvik Barat, Vinay Kulkarni, Vinita Baniwal, Hardik Meisheri, Harshad Khadilkar, Monika Gajrani, Prashant Kumar,

38. Information Extraction and Graph Representation for the Design of Formulated Products

International Conference on Advanced Information Systems Engineering

28/02/2020

Sagar Sunkle, Krati Saxena, Ashwini Patil, Deepak Shyamsunder Jain, Rinu Chacko, Beena Rai, Vinay Kulkarni,

39. Agile Maneuvering with a Small Fixed-Wing Unmanned Aerial Vehicle

Robotics and Autonomous Systems

01/05/2019

Aditya Avinash Paranjape,

40. Comparative Study of Sensor Combinations for Autonomous Landing of Fixed-Wing Unmanned Aircraft

The American Institute of Aeronautics and Astronautics Science and Technology Forum and Exposition

01/09/2019

Aditya Avinash Paranjape,

41. Real-Time Motion Planning with a Fixed Wing UAV using an Agile Maneuver Space

Autonomous Robots

20/05/2019

Aditya Avinash Paranjape,

42. Optimization of the Spanwise Twist of a Flapping Wing for Bird-sized Aircraft using a Quasi-Steady Aerodynamic Model

International Journal of Aeronautical and Space Sciences

01/03/2019

Aditya Avinash Paranjape,

43. Decentralized Information Filter with Noncommon States

AIAA Journal of Guidance, Control, and Dynamics

10/05/2019

Aditya Avinash Paranjape,

44. Domain-Independent Method of Detecting Inconsistencies in SBVR-Based Business Rules

IEEE/ACM International Conference on Automated Software Engineering

20/07/2016

Pavan Kumar Chittimalli, Kritika Anand,

45. A Systematic Review of Methods for Consistency Checking in SBVR-based Business Rules

India Software Engineering Conference

07/12/2016

Sayandeep Mitra, Pavan Kumar Chittimalli,

46. An Approach to Mine Business Rule Intents from Domain-specific Documents

India Software Engineering Conference

02/11/2016

Abhidip Bhattacharyya, Pavan Kumar Chittimalli, Ravindra Dinkar Naik,

47. Identifying Anomalies in SBVR-based Business Rules using Directed Graphs and SMT-LIBv2

International Conference on Enterprise Information Systems

10/10/2017

Sayandeep Mitra, Pavan Kumar Chittimalli, Kritika Anand,

48. An Automated Detection of Inconsistencies in SBVR-based Business Rules Using Many-sorted Logic

International Symposium on Practical Aspects of Declarative Languages

11/09/2017

Kritika Anand, Pavan Kumar Chittimalli, Ravindra Dinkar Naik,

49. Relation Identification in Business Rules for Domain-specific Documents

India Software Engineering Conference

05/11/2017

Pavan Kumar Chittimalli, Ravindra Dinkar Naik, Abhidip Bhattacharyya,

50. SBVR-based Business Rule Creation for Legacy Programs using Variable Provenance

India Software Engineering Conference

01/12/2018

Pavan Kumar Chittimalli, Abhidip Bhattacharyya,

51. MatGap: A Systematic Approach to Perform Match and Gap Analysis among SBVR-based Domain Specific Business Rules

Asia Pacific Software Engineering Conference

13/09/2018

Sayandeep Mitra, Chandan Prakash, Pavan Kumar Chittimalli,

52. Semantic Search and Query Over SBVR-Based Business Rules Using SMT Based Approach and Information Retrieval Method

Evaluation of Novel Approaches to Software Engineering

07/02/2019

Kritika Anand, Sayandeep Mitra, Pavan Kumar Chittimalli,

53. Business Rule Rationalization Tool Kit (BuRRiTo): A Framework to Extract, Specify, Verify and Analyze Business Rules (Tech-Briefing Proposal)

India Software Engineering Conference

01/12/2018

Pavan Kumar Chittimalli, Kritika Anand, Sayandeep Mitra,

54. VeriFuzz: A program aware fuzzing

International Conference on Tools and Algorithms for the Construction and Analysis of Systems

15/02/2019

Raveendra Kumar Medicherla, Animesh Basakchowdhury, Venkatesh R,

55. An Approach to Mine SBVR Vocabularies and Rules from Business Documents

India Software Engineering Conference

10/12/2019

Pavan Kumar Chittimalli, Chandan Prakash, Ravindra Dinkar Naik, Abhidip Bhattacharyya,

56. Analyzing Business Systems comprised of Rules and Processes using Decision Diagrams

India Software Engineering Conference

09/12/2019

Sayandeep Mitra, Pavan Kumar Chittimalli, Prof. Ansuman Banerjee,

57. Fitness Guided Vulnerability Detection with Greybox Fuzzing

International Conference on Software Engineering

26/02/2020

Raveendra Kumar Medicherla,

58. BuRRiTo: A Framework to Extract, Specify, Verify and Analyze Business Rules

IEEE/ACM International Conference on Automated Software Engineering

12/08/2019

Pavan Kumar Chittimalli, Ravindra Dinkar Naik, Rohit Prakash Shere, Chandan Prakash, Sayandeep Mitra, Shrishti Pradhan, Kritika Anand,

59. Aditi: A Systems view of Knowledge Processes

International Council on Systems Engineering

14/02/2017

Anand Kumar,

60. From building systems right to building right systems - A generic architecture and its model based realization

Software Technologies: Applications and Foundations Conference

09/06/2017

Vinay Kulkarni, Sreedhar S Reddy,

61. A RFP System for Generating Response to a Request for Proposal

India Software Engineering Conference

01/12/2018

Asha S Rajbhoj, Nistala Venkata Padmalata, Vinay Kulkarni, Gomathi Ganesan,

62. A system for semi-automatic construction of image processing pipeline for complex problems

International workshop on Exploring Modeling Methods for System Analysis and Design

29/03/2019

Asha S Rajbhoj, Shailesh Shankar Deshpande, Jayavardhana Gubbi, Vinay Kulkarni, Balamuralidhar P,

63. Software Quality Models: A Systematic Mapping Study

International conference on software and systems process

01/03/2019

Nistala Venkata Padmalata,

64. Digital Re-imagination of Software and Systems Processes for Quality Engineering: iSPIN Approach

International conference on software and systems process

29/02/2020

Nistala Venkata Padmalata, Vinay Kulkarni, Asha S Rajbhoj,

65. A domain-specific controlled English language for automated regulatory compliance (industrial paper).

ACM SIGPLAN International Conference on Software Language Engineering

01/08/2017

Suman Roychoudhury, Sagar Sunkle, Deepali D P Kholkar, Vinay Kulkarni,

66. A Case Study on Modeling and Validating Financial Regulations Using (Semi-) Automated Compliance Framework

Practice of Enterprise Modeling

24/08/2018

Suman Roychoudhury, Sagar Sunkle, Namrata Choudhary, Deepali D P Kholkar, Vinay Kulkarni,

67. AI driven streamlined modeling

International Conference on Model Driven Engineering Languages and Systems

05/06/2019

Sagar Sunkle, Suman Roychoudhury, Deepali D P Kholkar, Vinay Kulkarni,

68. An Actor-based Simulation-driven Digital Twin for Analysing Complex Business Systems

Winter Simulation Conference

31/07/2019

Souvik Barat, Vinay Kulkarni

69. Towards Adaptive Enterprises using Digital Twins

Winter Simulation Conference

30/08/2019

Souvik Barat, Vinay Kulkarni

70. Similarity Driven Unsupervised Learning for Materials Science Terminology Extraction

Computacion y Sistemas

15/03/2019

Sapankumar Hiteshchandra Shah, Sarath S, Sreedhar S Reddy,

71. Bayesian Framework for Inverse Inference in Manufacturing Process Chai

Integrating Materials and Manufacturing Innovation

28/05/2019

Avadhut Sardeshmukh, Sreedhar S Reddy, B P Gautham,

72. Future of Mining, Mineral Processing and Metal Extraction Industry

Transactions of Indian Institute of Metals

03/08/2019

Pradip, Venkataramana Runkana, Sreedhar S Reddy, B P Gautham,

73. Language Support for Multi Agent Reinforcement Learning

India Software Engineering Conference

06/12/2019

Vinay Kulkarni, Souvik Barat,

74. Knowledge Graph for Formulated Product Design

ACM SIGKDD Conference on Knowledge Discovery and Data Mining

16/06/2020

Sagar Sunkle, Beena Rai, Rinu Chacko, Deepak Shyamsunder Jain, Vinay Kulkarni, Ashwini Patil, Krati Saxena,

75. Microstructure representation learning using Siamese networks

Materials Research Society Communications

25/06/2020

Avadhut Sardeshmukh, B P Gautham, Sreedhar S Reddy

76. Digital re-imagination of software and systems processes: iSPIN approach

ICSSP - International conference on software and systems processes

26.06.2020

Nistala Padma, Asha Rajbhoj, Vinay Vkulkarni,

77. USE OF SIMULATION-AIDED REINFORCEMENT LEARNING FOR OPTIMAL SCHEDULING OF OPERATIONS IN INDUSTRIAL PLANTS

Winter Simulation Conference

13.12.2020

Aditya Paranjape,

78. A Retrofitting Model for Incorporating Semantic Relations into WordEmbeddings

International Conference on Computational Linguistics

08.12.2020

Sapan Hs, Sreedhar Reddy,

What’s your challenge?
Let’s work together to solve it.
×

Thank you for downloading

Your opinion counts! Let us know what you think by choosing one option below.