• Books
  
• Book Sections
  
• Conference Proceedings
  
• Edited Book/Journal Issues/Conference Proceedings
  
• Journal Articles
  
• Magazine Articles
  
• Tutorials

Books

1. Shivanand Kanavi (Editor): Research by Design: Innovation and TCS.  

2. Mathai Joseph: Real Time Systems

Book Sections

1. Kulkarni, V. and S. Reddy, A Model Driven Approach for Building Business Components, in Mathematical Frameworks For Component Software: Models For Analysis And Synthesis, Z. Liu and H. Jifeng, Editors. 2006, World Scientific.

Conference Proceedings

1. Nori, K.V. and S. Marathe. Towards Productionisation of Software. in Workshop on Transferring Software Engineering Tool Technology 1987. Santa Barbara, California, USA.

2. Joshi, S.M., K.V. Nori, D.M. Angal, C.V. Ramesh, and M.P. Kumar. Analytical solutions to global dataflow analysis problems. in Proceedings of the Workshop on Compiler, Compiler and High Speed Compilation. 1988. Berlin, Germany. p. 440-453.

3. Nori, K.V., S. Kumar, and R.V. Deodhar. Experience with a retargetable code generator. in Proceedings of the Workshop on Compiler, Compiler and High Speed Compilation. 1988. Berlin, Germany. p. 412-426.

4. Nori, K.V., S. Kumar, and M.P. Kumar. Retrospection on the PQCC compiler structure. in Foundations of Software Technology and Theoretical Computer Science, eighth conference proceedings. 1988. Pune, India. Lecture Notes in Computer Science, K.V. Nori and S. Kumar, Editors. Vol. 338. Springer-Verlag. p. 500-527.

5. Kumar, S., M.P. Kumar, M. Subramaniam, and V.S. Buzruk. Tool based approach for the development of optimizing CHILL compilers. in Proceedings of the 5th CHILL conference. 1990. Rio de Janeiro, Brazil. p. 46-53.

6. Aggarwal, K.K., M. Pavan Kumar, V. Santurkar, R. Ratnaparkhi, A.M. Farooqui, V. Shah, and S. Sridhar. Design of cost effective test suite using operational profile: A case study. in Proceedings of the National Workshop on Software Reliability Engineering (WSRE-92). 1992. Bombay, India. p. V.32-V.37.

7. Farooqui, S. and K. Nori. Object oriented reactive specifications. in Proceedings of the National Workshop on Software Reliability Engineering (WSRE-92). 1992. Bombay, India. p. II.53-II.59.

8. Nori, K.V. Verification, validation and reliability of compilers. in Proceedings of National Symposium on Software Reliability Engineering (WSRE-92). 1992. BARC, Bombay, India.

9. Nori, K.V. and L.J. Osterweil. An approach to integration of lower CASE tools. in Proceedings of the Indo-US Workshop on Cooperative Research in Computer Sciences. 1992. p. 124-131.

10. Palshikar, G.K. and K.V. Nori. ZLOG: A Tool for Formal Specifications of Real-time Embedded Systems. in Proceedings of ISRO Workshop on Real-Time Embedded Systems. 1993. Bangalore, India.

11. Sharma, S.P., C. Anantaram, and P. Joshi. BLEES: A Business Loan Evaluation Expert System. in Ninth International Congress of Cybernetics and Systems. 1993. New Delhi, India.

12. Chiang, S.-H., R.K. Mansharamani, and M.K. Vernon. Use of application characteristics and limited preemption for run-to-completion parallel processor scheduling policies. in Joint International Conference on Measurement and Modeling of Computer Systems: Proceedings of the 1994 ACM SIGMETRICS conference on Measurement and modeling of computer systems 1994. Nashville, Tennessee, United States ACM. p. 33-44.

13. Palshikar, G.K. and K.V. Nori. Formal specification for PLC programs using  temporal  logic. in Proceedings of the 16th all India Manufacturing Technology Design and Research Conference. 1994. Bangalore, India. p. 289-295.

14. Palshikar, G.K. and K.V. Nori. ZLOG: A formal specification tool  for real-time embedded systems. in Proceedings of the Workshop on Embedded Real-time Computing Systems. 1994. Bangalore, India. p. 36-41.

15. Shroff, G.M., A. Mukhopadhyay, S.H. Rao, and R.K. Mansharamani. The Matvec library for data parallel computing and its applications in parallelisation of CFD algorithms. in Proceedings of the International Workshop on Parallel Processing. 1994. Bangalore, India. p. 551-556.

16. Mansharamani, R.K., A. Mukhopadhyay, and G.M. Shroff. A dynamic load balancing strategy for data parallel programs with large data and its performance evaluation. in Proceedings of the International Conference on High Performance Computing. 1995. New Delhi, India.

17. Nori, K.V. Formal specifications, formal methods and software process. in Proceedings of the conference on Advances in Software Engineering (CONSEG 95). 1995. New Delhi, India. R.K. Arora and M.K. Sinha, Editors.: p. 75-92.

18. Rajanna, V. and M.P. Kumar. Automated test environment. in Proceedings of the 30th Annual Convention of Computer Society of India (CSI'95). 1995. Hyderabad, India. Computer Society of India. p. 359-368.

19. Rajanna, V. Automated test data generator for relational database applications - abstract of the presentation. in Proceedings of the National Seminar on Theoretical Computer Science, (NSTCS). 1996. Bangalore, India. p. 309.

20. Mansharamani, R. Platform modelling in software engineering. in International Conference on Software Engineering CONSEG'97. 1997. Chennai, India. p. 25-32.

21. Rajanna, V. Automated software testing tools and their impact on software maintenance : an empirical investigation. in Proceedings of the Conference on IT for the New Generation (CSI-98). 1998. J.R. Issac and H. Gupta, Editors. Tata McGraw-Hill. p. 351-368.

22. Palshikar, G.K. FZLOG: Integrated representation of formal and fuzzy knowledge. in International Conference on Industrial Technology (ICIT-2000). 2000. Bhubaneshwar, India. Tata McGraw-Hill. p. 71-76.

23. Palshikar, G.K. and A. Bahulkar. Fuzzy temporal patterns for analysing stock market databases. in Proceedings of the International Conference on Advances in Data Management (COMAD-2000) 2000. Pune, India. Advances in Data Management 2000, K. Ramamritham and T.M. Vijayaraman, Editors. Tata McGraw-Hill. p. 135-142.

24. Rai, V.K. and D.-H. Kim. Cognitive map approach to understand and control software agents. in Proceedings of the International Conference on Knowledge Based Computer Systems. 2000. p. 94-106.

25. Rai, V.K. and D.-H. Kim. Industrialization of software: a systemic evolution process. in Proceedings of the 9th National Conference on System Dynamics. 2000. p. 1-17.

26. Reddy, S., J. Mulani, and A. Bahulkar. Adex - a meta modeling framework for repository-centric systems building. in Proceedings of the International Conference on Advances in Data Management (COMAD-2000). 2000.

27. Sreenivas, A., R. Venkatesh, and M. Joseph. Meta-modelling for formal software development. in Computing: The Australasian Theory Symposium (CATS 2001) 2001. Gold Coast, Australia. Electronic Notes in Theoretical Computer Science. Vol. 42. p. 3-13.

28. Venkatesh, R., P. Bhaduri, and M. Joseph. Formalizing models and meta-models for system development. in Eighth Asia-Pacific Software Engineering Conference (APSEC'01). 2001. University of Macau, Macau SAR, China. IEEE. p. 155-158.

29. Bhaduri, P. and R. Venkatesh. Formal consistency of models in multi-view modelling. in <<UML>> 2002: Model Engineering, Concepts and Tools - Workshop on Consistency Problems in UML-based Software Development. 2002. Dresden, Germany. L. Kuzniarz, G. Reggio, J.L. Sourrouille, and Z. Huzar, Editors. Blekinge Institute of Technology. p. 149-159.

30. Bhaduri, P., R. Venkatesh, and G.K. Palshikar. Formal Techniques for Analysing Scenarios using Message Sequence Charts. in VISS'2002 Validation and Implementation of Scenario-based Specifications. 2002. Grenoble, France. Electronic Notes in Theoretical Computer Science. Vol. 65(7). p. 2-18.

31. Kulkarni, V., R. Venkatesh, and S. Reddy. Generating enterprise applications from models. in 8th International Conference on Object-Oriented. Information Systems (OOIS 2002) Workshops. 2002. Montpellier, France. Lecture Notes in Computer Science: Advances in Object-Oriented Information Systems, J.-M. Bruel and Z. Bellahsene, Editors. Vol. 2426. Springer. p. 270-279.

32. Mansharamani, R. Pro-active performance engineering to manage 100-fold growth in a very large  stock exchange. in Computer Measurement Group Conference. 2002. Reno, USA.

33. Mansharamani, R., M. Heldon, and S. Gupta. Benchmarking of a high-end banking package on open systems. in Computer Measurement Group Conference. 2002. Reno, USA.

34. Sreenivas, A. Panel discussion: Is ISSTA testing research relevant to industrial users? in Proceedings of the ACM SIGSOFT 2002 International Symposium on Software Testing and Analysis. 2002. p. 208-209.

35. Sreenivas, A. Towards formal test specifications. in Workshop on Formal Methods and Tools (FMTOOLS-02). 2002. University of Olenburg, Gunzburg p. 75-80.

36. Appukuttan, B., T. Clark, S. Reddy, L. Tratt, and R. Venkatesh. A model-driven approach to model transformations. in Workshop on Model-driven Architecture: Foundations and Applications (MDAFA) 2003. 2003. University of Twente, Enschede, The Netherlands. p. 1.

37. Ghaisas, S., U. Shrotri, and R. Venkatesh. Requirement-centric method for Application Development. in Workshop in Engineering methods to support Information Systems evolution (EMSISE'03). 2003. Geneva, India.

38. Joseph, M. Adding Formalism to Methods or Where and When Will Industry Use Formal Reasoning? in 5th International Conference on Formal Engineering Methods (ICFEM 2003). 2003. Singapore. Lecture Notes in Computer Science: Formal Methods and Software Engineering Vol. 2885. Springer. p. 26-33.

39. Kulkarni, V. and S. Reddy. Integrating Aspects With Model Driven Software Development. in Proceedings of the International Conference on Software Engineering Research and Practise. 2003. Vol. 1. p. 186-192.

40. Kulkarni, V. and S. Reddy. Supporting aspects in MDA. in WiSME@UML'2003: Workshop in Software Model Engineering. 2003. San Francisco, USA.

41. Palshikar, G.K. and P. Bhaduri. Verification of Scenario-based Specifications using Templates. in Proceedings of the International Workshop on Software Verification and Validation (SVV 2003) 2003. Mumbai, India. Electronic Notes in Theoretical Computer Science. Vol. 118. p. 37-55.

42. Palshikar, G.K., S. Kumar, S. Achalia, P. Alhat, and Y.M. Dhimate. Soft Temporal Patterns for Technical Analysis of Stock Markets. in Proceedings of the 1st Indian International Conference on Artificial Intelligence, IICAI 2003. 2003. Hyderabad, India. B. Prasad, Editor.: p. 1165-1174.

43. Palshikar, G.K., A. Pavaskar, M. Jadhav, D. Patil, and M. Bakshi. An RF-based embedded system for protecting unmanned railway crossings. in Conference on Information Technology (CIT 2003). 2003. Bhubaneshwar, India. p. 275 -278.

44. Rai, V.K. and C. Anantaram. Business rules approach to information system development. in Proceedings, 7th Pacific Asia Conference on Information Systems (PACIS). 2003. Adelaide, Australia.

45. Shivprasad, T.K. and V. Shah. Challenges faced in adopting automated standards enforcement tools. in ACSE 2003. 2003. Portland, USA. p. 94-98.

46. Shrotri, U., P. Bhaduri, and R. Venkatesh. Model checking visual specification of requirements. in International Conference on Software Engineering and Formal Methods. 2003. Brisbane, Australia. IEEE. p. 202-209.

47. SuKumaran, S. and A. Sreenivas. A formalism for software testing. in First European Conference on Model-driven Software Engineering. 2003. Nuremberg, Germany. p. 64-73.

48. Joseph, M. Care, feeding and growth of software systems. in Proceedings of the Second International Conference on Software Engineering and Formal Methods. SEFM 2004. 2004. p. 186.

49. Kulkarni, V. Meta-data driven aspect-oriented software development. in TCS Technical Architects' Conference (TACTIS 2004). 2004. Hyderabad, India.

50. Kulkarni, V. and S. Reddy. Model-driven development of enterprise applications. in UML Modeling Languages and Applications, «UML» 2004 Satellite Activities. 2004. Lisbon, Portugal. Lecture Notes in Computer Science: UML Modeling Languages and Applications, N.J. Nunes, B. Selic, A.R.d. Silva, and J.A.T. Álvarez, Editors. Vol. 3297. Springer-Verlag. p. 118-128.

51. Kulkarni, V. and S. Reddy. A model-driven approach for addressing separation of concerns in business applications. in Principles of Software Engineering Conference. 2004. Buenos Aires, Argentina. p. 170-181.

52. Kulkarni, V. and S. Reddy. A model-driven approach for generating enterprise applications. in National Conference on Object Oriented Technology. 2004. Thiruchirapally, India. p. 241-262.

53. Ghaisas, S. MAP-WayPointer  a smart, agile method for large scale enterprise application development. in Agile India 2005: Conference on XP and Agile methodologies. 2005. Pune, India.

54. Joseph, M. Formal aids for the growth of software systems: Key Note Talk. in Fm 2005, Formal Methods: International Symposium of Formal Methods Europe, Newcastle, Uk, July 18-22, 2005, Proceedings 2005. Lecture Notes in Computer Science. Vol. 3582. Springer-Verlag. p. 1.

55. Joseph, M. Formal techniques in large scale software engineering. in The VSTTE conference -- Verified Software: Theories, Tools, Experiments. 2005. ETH Zürich, Switzerland.

56. Kholkar, D., G.M. Krishna, U. Shrotri, and R. Venkatesh. Visual specification and analysis of use cases. in Proceedings of the ACM 2005 Symposium on Software Visualization (SOFTVIS 2005). 2005. St. Louis, Missouri, USA. T.L. Naps and W.D. Pauw, Editors. ACM. p. 77-85.

57. Kulkarni, V. Model driven development of enterprise applications. in Workshop on Formal Methods in Design and Analysis of Programs. 2005. Microsoft Research India, Bangalore, India.

58. Kulkarni, V. and S. Reddy. Enterprise business application productline as a model driven software factory. in International Workshop on Software Factories at OOPSLA '05 2005. San Diego, California, USA. ACM.

59. Kulkarni, V. and S. Reddy. Generating enterprise applications from models – experience and best practices. in Workshop on best practices in model driven software development at OOPSLA '05 2005. San Diego, California, USA. ACM.

60. Naik, R.D., S. Page, and T. Shivaprasad. Improving services extracted from legacy systems by code restructuring. in TCS Technical Architects' Conference (TACTIS 2005). 2005. Hyderabad, India.

61. Saxena, A., R. Narayan, and R.D. Naik. Automated re-architecting of procedural code (RPG) to object oriented code (J2EE): A pattern driven approach. in TCS Technical Architects' Conference (TACTIS 2005). 2005. Hyderabad, India.

62. Sreenivas, A. Requirements validation through scenario generation. in Workshop on Formal Methods for Design and Analysis of Software. 2005. Microsoft Research India, Bangalore, India.

63. Sukumaran, S. and A. Sreenivas. Identifying test conditions for software maintenance. in Proceedings of the European Conference on Software Maintenance and Reengineering, CSMR. 2005. p. 304-313.

64. Krishna, G.M. Requirements Modeling - Experience from an Insurance Project. in Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006). 2006. Pune, India. D.V. Hung and P. Pandya, Editors. IEEE. p. 157-166.

65. Kulkarni, V. and S. Reddy. Engineering Software Factories for Developing Enterprise Applications Using Model-Driven Techniques. in OOPSLA 2006. 2006. Portland, Oregon, USA. ACM.

66. Kulkarni, V. and S. Reddy. A Model-Driven Architectural Framework for Integration-Capable Enterprise Application Product Lines. in The Second European Conference on Model Driven Architecture -Foundations and Applications (ECMDA-FA 2006). 2006. Bilbao, Spain. p. 1-12.

67. Kulkarni, V. and S. Reddy. Adopting MDA in a large IT consultancy organization – opportunities, challenges and lessons learnt. in Code2Model workshop of IEEE European Conference on Model Driven Architecture - Foundations and Applications. 2006. Bilbao, Spain.

68. Kulkarni, V. and S. Reddy. A model-driven architectural framework for integration-capable enterprise application product lines. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2006. Bilbao. 2nd European Conference on Model Driven Architecture - Foundations and Applications, ECMDA-FA 2006. Vol. 4066 LNCS. p. 1-12.

69. Liu, Z. and M. Joseph. Real-time and fault-tolerant systems. in Procedings of PPSE 2006. 2006. Lecture Notes in Computer Science Vol. 3167. Springer-Verlag. p. 156-219.

70. Prasad, V.C.S., V. Kulkarni, and U. Ramteerthkar. Diffusion Experiences of Developer Productivity Tools in an IT Services Company in India. in IEEE International Conference on Management of Innovation and Teachnology. 2006. Singapore.

71. Sampath, P. and S. Kumar. Composing Context Sensitive Analysis. in Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006). 2006. Pune, India. D.V. Hung and P. Pandya, Editors. IEEE. p. 186-195.

72. Sukumaran, S., A. Sreenivas, and R. Venkatesh. A Rigorous Approach to Requirements Validation. in Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006). 2006. Pune, India. D.V. Hung and P. Pandya, Editors. IEEE. p. 236-245.

73.  ‘Big Models – Requirements’, Sreedhar Reddy and Vinay Kulkarni at BigModels workshop in Eclipse Europe Summit at Ludwigsberg Germany 10-11 Oct 2007

74. ‘Where to from here, MDD?’, Vinay Kulkarni at Research Directions in Software Engineering workshop at IITM Chennai 27 – 28 Dec 2007

75. ‘A model-driven approach for developing business applications – experience, lessons learnt and a way forward’, Vinay Kulkarni and Sreedhar Reddy in 1st India Software Engineering Conference at Hyderabad 19 – 22 Feb 2008

76. ‘Introducing MDA in a large IT consultancy organization’, Vinay Kulkarni and Sreedhar Reddy, Asia-Pacific Software Engineering Conference, Dec’06, Bangalore, India

77. ‘A safety criterion for reusing a business process in the desired integrated process’, Souvik Barat, Vinay Kulkarni and D Janakiram, IEEE International Conference on Services Computing, Sep’06, Chicago, USA

TCS Innovation Labs – TRDDC, Pune – Software R&D

• Manish Kumar, Nirav Ajmeri, Smita Ghaisas, Towards Knowledge Assisted Agile Requirements Evolution, ICSE, May 2010.
• Nirav Ajmeri, Manish Kumar, Preethu Rose, Smita Ghaisas, Domain Knowledge Assisted Agile Requirements Evolution (K-gileRE), India Software Engineering Conference ISEC 2010, Mysore, February 2010.
• Preethu Rose, Manish Kumar, Nirav Ajmeri, M Agrawal, V. Shivkumar, Smita Ghaisas, A Method and Framework for Domain Knowledge Assisted Requirements Evolution, International Conference on Software Engineering, Chennai, CONSEG 09, Dec. 2009.
• Smita Ghaisas, A Method for Identifying Unobvious Requirements in Globally Distributed Software Projects, Software Engineering in Social Software Environments, SENSE 09, March 2009, pages 297-308.
• Vinay Kulkarni, Souvik Barat, Specifying Adaptive Business Process Product Lines Using Model Based Techniques, ISEC2010.
• Rahul Mohan, Vinay Kulkarni, Model Driven Development of Graphical User Interfaces for Enterprise Business Applications – Experience, Lessons Learnt and a Way Forward, MoDELS 2010.
• Souvik Barat, Vinay Kulkarni, Supporting Agile Adaptive Business Services Using Model-based Techniques, HiPC workshop on Service Oriented Computing'09. Ulka Shrotri, R Venkatesh and Ravindra Metta, Proving Unreachability Using Bounded Model Checking, 3rd India Software Engineering Conference, Mysore, February 25 - 27, 2010. ISEC '10. ACM, New York, NY, 73-82.
• Prasad Bokil, Priyanka Darke, Ulka Shrotri, R. Venkatesh, Automatic Test Data Generation for C Programs, 2009 3rd IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI 2009), 8-10 July, Shanghai, China.
• Ravindra Naik, N. Ramaswamy, Bridging Business Knowledge and Understanding of Existing Software – A Customer Case-Study, TACTiCS 2009, March 2009.
• Narayanan R., Amit Saxena, Ravindra Naik, Towards Quantification of Model Based Engineering, MoDELS 09
• Hitesh Sajnani and Ravindra Naik, Using Change History to Improve Software Evolvability, ISEC 2010, Mysore, Feb. 25-27, 2010.
• Sachin Patel, Test Drive - A Cost Effective way to create and maintain test scripts for web-applications, TACTiCS 2009, March 2010

Edited Book/Journal Issues/Conference Proceedings

1. Nori, K.V., ed. Seventh Conference Proceedings of Foundations of Software Technology and Theoretical Computer Science, Pune, India, December 1987. Lecture Notes in Computer Science. Vol. 287. 1987, Springer-Verlag: Pune, India.

2. Biswas, S. and K.V. Nori, eds. Eleventh conference proceedings of Foundations of Software Technology and Theoretical Computer Science, New Delhi, India, 17-19 December 1991 Lecture Notes in Computer Science. Vol. 560. 1988, Springer-Verlag.

3. Nori, K.V. and S. Kumar, eds. Eight conference proceedings of Foundations of Software Technology and Theoretical Computer Science, Pune, India, December 1988. Lecture Notes in Computer Science. Vol. 338. 1988, Springer-Verlag.

4. Nori, K.V. and C.E.V. Madhavan, eds. Tenth conference proceedings of Foundations of Software Technology and Theoretical Computer Science, Bangalore, India, 17-19 December 1990. Lecture Notes in Computer Science. Vol. 472. 1988, Springer-Verlag.

5. Joseph, M., ed. Formal techniques in real-time and fault-tolerant systems,” Proceedings of the 6th International Symposium, FTRTFT 2000, Pune, India, September 2000. Lecture Notes in Computer Science, ed. G. Goos, H. Juris, and J. van Leeuwen. Vol. 1926. 2000, Springer-Verlag.

Journal Articles

1. Nori, K.V., Towards a discipline for software engineering (Invited paper). Computer Science and Informatics, 1994. 24(2): p. 1-10.

2. Mansharamani, R., Overview of discrete event simulation methodologies and implementation. Sadhana - Academy Proceedings in Engineering Sciences, 1997. 22(pt 5): p. 611-627.

3. Anantaram, C., G. Nagaraja, and K.V. Nori, Verification of accuracy of rules in a rule based system. Data & Knowledge Engineering, 1998. 27(2): p. 115-138.

4. Rajanna, V., Test Data Generation. ACM SIGSOFT Software Engineering Notes, 1998. 23(5): p. 65-68.

5. Mansharamani, R., P. Kallepalli, H. Veerabhadraiah, and B. Mathew, RVGEN: a tool for generation of random variates. Software - Concepts and Tools, 2000. 19(4): p. 161-167.

6. Palshikar, G.K., Consistency-based diagnosis. Dr. Dobb's Journal, 2001. 26(2): p. 50-56.

7. Palshikar, G.K., Applying formal specifications to real-world software development. IEEE Software, 2001. 18(6): p. 89-97.

8. Palshikar, G.K., Safety checking in an automatic train operation system. Information and Software Technology, 2001. 43(5): p. 325-338.

9. Palshikar, G.K., A fuzzy temporal notation and its application to specify fault patterns for diagnosis. Pattern Recognition Letters, 2001. 22(3-4): p. 381-394.

10. Palshikar, G.K., Simulation of petri nets in Prolog: modeling dynamic system behavior. PC-AI, 2001. 15(3): p. 43-45.

11. Palshikar, G.K., Matching patterns: patterns in historical data are the lifeblood of business and knowledge. Intelligent Enterprise, 2001. 4(6): p. 46-51.

12. Palshikar, G.K., An introduction to Esterel. Embedded Systems Programming, 2001. 14(11): p. 60-72.

13. Palshikar, G.K., Simulated annealing: a heurisitc optimization algorithm. Dr. Dobb's Journal, 2001. 26(9): p. 121-123.

14. Shahabudeen, P., K. Krishnaiah, and R. Gopinath, Design of bi-criteria kanban system using simulated annealing technique. Computers and Industrial Engineering, 2001? 41(4): p. 355-370.

15. Palshikar, G.K., The message is the medium. Embedded Systems Programming, 2002. 15(11): p. 28-36.

16. Palshikar, G.K., Making unmanned railway crossings safe. Electronics for You, 2002. 34(10): p. 62-64.

17. Kulkarni, V. and S. Reddy, Separation of concerns in model-driven development. IEEE Software, 2003. 20(5): p. 64-69.

18. Rai, V.K. and D.-H. Kim, Principal–agent problem: A cognitive map approach. Electronic Commerce, Research and Applications, 2003. 1(2): p. 174–192.

19. Naik, R. and A. Bahulkar, A programmable analysis and transformation framework for reverse engineering. Electronic Notes in Theoretical Computer Science, 2004. 94: p. 39-49.

20. Palshikar, G.K., An Introduction to Model Checking. Embedded Systems Programming, 2004. March 2004: p. 22-29.

21. Palshikar, G.K., Model Checking for Automatic System Verification. Embedded Systems Programming, 2004. 17(3): p. 22-29.

22. Palshikar, G.K., Satisfying the satisfiability problem. C/C++ Users' Journal, 2005. Sep 2005: p. 20-25.

23. Prasad, V.C.S., An approach to quality management at the early stages of new product development using technology adoption life cycle concepts. Software Quality Professional, 2005. 7(4): p. 27-33.

Magazine articles

1. Vinay Kulkarni: “Software Engineering – going smarter by the day”, IT Magazine, May ‘07

Tutorials

1. Vinay Kulkarni: “From rapid functional prototypes to robust implementations to product-lines - a model-driven software factory approach”, MoDELS conference, Jacksonville, USA, 2 Oct ‘07
2. Vinay Kulkarni: “Developing distributed applications using model-driven software factories”, TACTiCS, Hyderabad, 30 Nov ‘06
3. Vinay Kulkarni: “Engineering software factories for developing enterprise applications using model-driven techniques”, GPCE, Portland, USA, 24 Oct ‘06