2012
top
  • K. Anand, D. Samson Lokku, N. Zope, Value Driven Approach for Services Design, In Proceedings of TACTICS, Delhi, India, May 2012.
pdf
  • K. Anand, N. Zope, D. Samson Lokku, A Non Intrusive Sensing approach to measure work done by business users while using IT systems, In Proceedings of TACTICS, Delhi, India, May 2012.
pdf
  • D. Samson Lokku, N. Zope, K. Anand, Role of Business Models in realizing Value: A Perspective through ‘Value Framework’ and ‘Open Innovation', In Proceedings of TACTICS, Delhi, India, May 2012.
pdf
  • N. Ajmeri, M. Jain, V. Sivakumar, P. Rose, S. Ghaisas, Knowledge-assisted Requirements Reuse in Large Insurance Projects, In Proceedings of TACTICS 2012, May 2012.
pdf
  • V. Balaraman, Lokpal Debate, An Agent Based Simulation Perspective, In Proceedings of Tactics, 2012, New Delhi, India, May 2012.
pdf
  • V. Balaraman, Using agent based simulation as a visual sandbox to help businesses draft customer acquisition strategy, In Proceedings of TACTICS 20102, New Delhi, India, May 2012.
pdf
  • P. Chittimali, V. Shah, A Generic model based source code instrumentation framework, In Proceedings of TAIC PART, Montreal, Apr. 2012.
pdf
  • R. Venkatesh, U. Shrotri, P. Darke, P. Bokil, Test Generation for Large Automotive Models, In Proceedings of IEEE International Conference on Industrial Technology (ICIT), Kos Island, Greece, Mar. 2012.
pdf
  • P. Peranandam, S. Raviram, A. Yeolekar, A. Gadkari, M. Satpathy, S. Ramesh, SmartTestGen: An Integrated Test Generation Tool for Enhanced Coverage of Simulink/Stateflow Models, In Proceedings of Design, Automation and Test in Europe (DATE), Mar. 2012.
pdf
  • V. Kulkarni, S. Barat, S. Sunkle, Model driven development – where to from here? A practitioner’s perspective, In Proceedings of WAMBESE'12 workshop of ISEC 2012, Kanpur, India, Mar. 2012.
pdf
  • K. Anand, An Approach For Time Study In Information Technology Reliant Environments, Mar. 2012.
pdf
  • H. Sajnani, R. Naik, C. Lopes, Easing Software Evolution: Change-Data and Domain-driven Approach, In Proceedings of India Software Engineering Conference (ISEC 2012), Kanpur, India , Feb. 2012.
pdf
  • R. Naik, Improving Software Architecture - Role for Software Clones, In Proceedings of Daghtuhl Seminar Software Clone Management towards Industrial Application, Germany, Feb. 2012.
pdf
  • B. Chimdyalwar, Survey of Array index out of bound access Checkers for C code, In Proceedings of ISEC 2012, Kanpur, India, Feb. 2012.
pdf
  • S. Sunkle, V. Kulkarni, Interpretation of COCOMO II Cost Drivers for Cost Estimation in Model-driven Engineering, In Proceedings of ESE'12, ISEC 2012, Kanpur, India, Feb. 2012.
pdf
  • V. Anwikar, R. Naik, A. Contractor, H. Makkapati, Domain Driven Technique for Functionality Identification in Source Code, In Proceedings of India Workshop on Reverse Engineering as part of ISEC 2012, Kanpur, India, Feb. 2012.
pdf
  • P. Krishnan, R. Venkatesh, V. Suman, T. Muske, P. Bokil, Effectiveness of Random Testing of Embedded Systems, In Proceedings of HICSS - 45th Hawaii International Conference on System Sciences, Maui, Hawaii, Jan. 2012.
pdf
2011
top
  • S. Chakraborty, V. Shah, Towards an Approach and Framework for Test-Execution Plan Derivation, In Proceedings of ASE, Lawrence, USA, Nov. 2011.
pdf
  • V. Kulkarni, S. Barat, U. Ramteerthkar, Early Experience with Agile Methodology in a Model-driven Approach, In Proceedings of Models 2011, Wellington, New Zealand, Oct. 2011.
pdf
  • H. Sajnani, R. Naik, C. Lopes, Application Architecture Discovery - Towards Domain Driven, Easily Extensible Code Structure, In Proceedings of 18th Working Conference of Reverse Enginering (WCRE 2011), Lero, Limerick, Ireland, Oct. 2011.
pdf
  • S. Roychoudhary, V. Kulkarni, Mobile-Enabling Enterprise Business Applications using Model-Driven Engineering Techniques, In Proceedings of MSE workshop of MobiCASE, Santa Monica, USA, Oct. 2011.
pdf
  • S. Roychoudhary, S. Barat, V. Kulkarni, A Model-Driven Approach for Specifying and Configuring Variability in Business Applications, In Proceedings of VARY workshop of MoDELS, Welington , N Zealand, Oct. 2011.
pdf
  • N. Ajmeri, K. Vidhani, M. Bhat, S. Ghaisas, An Ontology-based Method and Tool for cross-Domain Requirements Visualization, In Proceedings of Managing Requirements Knowledge Managing Requirements Knowledge, MaRK11 workshop in conjunction with IEEE Requirements Engineering RE 11, Trento, Italy, Sep. 2011.
pdf
  • R. Jiresal, A. Contractor, R. Naik, Precise Detection of Un-initialized Variables in Large, Real-life COBOL programs in Presence of Un-realizable Paths, In Proceedings of International Conference on Software Maintenance (ICSM 2011), Williamsburg, USA, Sep. 2011.
pdf
  • P. Rose, M. Bhat, K. Vidhani, A. Gole, S. Ghaisas, Intelligent Informatics Platform for Nano-Agriculture, In Proceedings of 11th International IEEE conference on Nanotechnology- IEEE Nano 2011- . August 15-18 Portland Oregon, USA, Aug. 2011.
  • S. Barat, V. Kulkarni, A Component Abstraction for Business Processes, In Proceedings of 2nd International Workshop on Reuse in Business Process Management, In conjunction with BPM 2011, Clermont-Ferrand, France, Aug. 2011.
pdf
  • P. Rose, A. Gole, S. Ghaisas, A Semantic Regulatory Framework for nano-technology application in agri-food domain, In Proceedings of RELAW 11 in conjunction with IEEE Requirements Engineering RE11, Trento, Italy, Aug. 2011.
pdf
  • V. Jamwal, H. Meda, Quality Models for (Outsourced) Business Processes, In Proceedings of Business Process Design workshop of BPM conference, Clermont-Ferrand, France, Aug. 2011.
  • P. Gupta, P. Surve, Model based Approach to Assist Test Case Creation, Execution, and Maintenance for Test Automation, In Proceedings of Test Automation.ETSE - 2011 (End -To End Test Script Engineering) [1] co located with the ISSTA 2011 International Symposium On Software Test Automation.ETSE - 2011 (End -To End Test Script Engineering) [1] co located with the ISSTA 2011 International Symposium On Software Testing And Analysis, Toronto, Canada, Jul. 2011.
pdf
  • V. Kulkarni, Use of SPLE to Deliver Custom Solutions at Product Cost– Challenges and a Way Forward, In Proceedings of ICSE 2011 (Int Conf on Sw Eng) + PLEASE workshop, Hawaii , May 2011.
pdf
  • A. Chakrapani Rao, A. Rajeev, A. Yeolekar, Applying Design Verification Tools in Automotive Software V&V, In Proceedings of Society of Automotive Engineers (SAE) World Congress and Exhibition, Apr. 2011.
  • R. Metta, Verifying Code and Its Optimizations: An Experience Report, In Proceedings of TAICPART (Testing: Academic & Industrial Conference Practice and Research Techniques), Berlin, Mar. 2011.
pdf
  • A. Agrawal, R. Naik, Towards assuring non-recurrence of faults in business application, In Proceedings of ISEC, Trivandrum, India, Feb. 2011.
pdf
  • S. Barat, U. Ramteerthkar, H. Iyer, Agile Development Methodology around a Model-Driven Development Toolset – Early Experience, In Proceedings of Empirical Software Engineering (ESE) workshop - co-located with the 4th India Software Engineering Conference, India, Feb. 2011.
pdf
  • S. Khare, S. Saraswat, S. Kumar, Static program analysis of large embedded code base: An Experience, In Proceedings of ISEC 2011.
  • B. Chimdyalwar, S. Kumar, Effective false positive filtering for evolving software, In Proceedings of ISEC 2011.
  • S. Barat, U. Ramteerthkar, H. Iyers, Agile Development Methodology around a Model-Driven Development Toolset – Early Experience, In Proceedings of The Second International Empirical Software Engineering (ESE) workshop co-located with the 4th India Software Engineering Conference 2011.
  • S. Dyavaiah, R. Kumar, S. Ghaisas, Knowledge assisted Agile requirements Prioritization, In Proceedings of 4th International Workshop on Emperical Software Engineering, ESE 2011 in conjunction with International Software Engineering Conference ISEC 2011, Thiruvanthpuram, India 2011.
  • M. Satpatty, A. Yeolekar, P. Peranandam, S. Ramesh, Efficient coverage of Parallel and Hierarchical Stateflow Models for Test Case generation, Special Issue on Model-based Testing, Journal of Software Testing, Verification and Reliabilit y (STVR) 2011.
  • A. Agrawal, A. Sancheti, Error-free COBOL Applications - a myth or reality, In Proceedings of TACTICS 2011, Trivandrum, India 2011.
pdf
  • M. Daneva, E. van der Veen, C. Amrit, S. Ghaisas, K. Sikkel, R. Kumar, N. Ajmeri, U. Ramteerthkar, R. Wieringa, Agile Requirements Prioritization in Large-Scale Outsourced System Projects:an Empirical Study, Journal of Software and Systems , Journal of Software and Systems, Elsvier 2011.
pdf
2010
top
  • V. Kulkarni, Raising family is a good practice, In Proceedings of 2nd Feature Oriented Software Development workshop of Generative Programming and Component Engineering Conference, Eindhoven, Netherlands, Oct. 2010.
pdf
  • V. Kulkarni, S. Reddy, A. Rajbhoj, Scaling up model-driven engineering – experience and lessons learnt, In Proceedings of MoDELS conference, Oslo, Norway, Oct. 2010.
pdf
  • N. Ajmeri, R. Sejpal, S. Ghaisas, A Semantic and Collaborative platform for Agile Requirements Evolution, In Proceedings of IEEE 18th International Conference on Requirements Engineering 2010 (RE10) , Workshop on Managing Requirements Knowledge, MaRK10, Sydney Australia, Sep. 2010.
  • P. Vijay Suman, T. Muske, P. Bokil, U. Shrotri, R. Venkatesh, Analysis of Masking Boundary Value Coverage, In Proceedings of TAIC PART 2010, Sep. 2010.
  • P. Vijay Suman, T. Muske, P. Bokil, U. Shrotri, R. Venkatesh, Masking Boundary Value Coverage: Effectiveness and Efficiency, In Proceedings of In proceedings of TAIC-PART, Sep. 2010, pages 8-22.
pdf
  • V. Kulkarni, S. Barat, Business process families using model-driven techniques, In Proceedings of 1st Reuse in BPM workshop of BPM conference, Hoboken, USA, Sep. 2010.
pdf
  • S. Barat, V. Kulkarni, Developing configurable extensible code generators for model-driven development approach, In Proceedings of SEKE, San Francisco, USA, Jul. 2010.
pdf
  • M. Kumar, N. Ajmeri, S. Ghaisas, Towards Knowledge assisted Agile Requirements Evolution, In Proceedings of Workshop on Recommendation Systems for Software Engineering( RSSE 2010), at the ACM/ IEEE 32nd International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2010.
  • V. Kulkarni, To Measure Is To Understand – The Need for Closed Loop BPM, Banking Technology Journal, Mar. 2010.
  • U. Shrotri, R. Venkatesh, R. Metta, Proving unreachability using bounded model checking, In Proceedings of 3rd india Software Engineering Conference (Mysore, India). ISEC '10. ACM, New York, NY, Feb. 2010, pages 73-82.
  • S. Barat, V. Kulkarni, Specifying adaptive business process product lines using model based techniques, In Proceedings of 3rd India Software Engineering Conference, Feb?10, Mysore, India, Feb. 2010.
  • N. Ajmeri, M. Kumar, P. Rose, S. Ghaisas, Domain Knowledge Assisted Agile Requirements Evolution (K-gileRE), In Proceedings of India Software Engineering Conference ISEC 2010, Mysore, Feb. 2010.
2009
top
  • P. Rose, M. Kumar, N. Ajmeri, M. Agrawal, V. Shivkumar, S. Ghaisas, A method and framework for domain knowledge assisted requirements evolution, In Proceedings of International Confrence on Software Engineering, Chennai, CONSEG 09, Dec. 2009.
  • S. Ghaisas, A method for identifying unobvious requirements in globally distributed software projects, Software Engineering in Social Software Environments., In Proceedings of SENSE 09, in conjunction with International Conference on Software Engineering Fraunhofer Institute Experimental Software Engineering, Kaiserslautern, Germany Lecture Notes in Informatics (LNI) - proceedings, Series of the Gesselshaft fur Informatik (GI), Bonn 2009, Vol. 150 edited by Munch J. and Liggesmeyer P., Mar. 2009, pages 297-308.
  • R. Naik, N. Ramaswamy, Bridging Business Knowledge and Understanding of Existing Software – A Customer Case-Study, In Proceedings of TACTiCS 2009, Mar. 2009.
  • V. Kulkarni, SPLE workshop of India Software Engineering Conference, Pune, India , In Proceedings of An abstraction to support model-driven code generator productline’, SPLE workshop of India Software Engineering Conference, 23-26 Feb 2009, Pune, India , Feb. 2009, pages 23-26.
  • P. Bokil, P. Darke, U. Shotri, R. Venkatesh, Automatic Generation of Test-data to Satisfy MCDC, In Proceedings of ISEC 2009 2nd India Software Engineering Conference Pune , Feb. 2009.
  • P. Chittimalli, M. Harrold, Re-computing Coverage Information to Assist Regression Testing, In Proceedings of Transactions on Software Engineering (TSE 2009), Jan. 2009.
  • P. Bokil, P. Darke, Automatic Generation of Test-Data using Model Checking, In Proceedings of TACTiCS 2009, 2009.
  • V. Kulkarni, S. Reddy, Extending AOP with models, In Proceedings of ISEC 2009, 2009, pages 13-18.
  • A. Kulkarni, N. Patwardhan, A. Roy, Automated Analysis of Data Masking Activity, In Proceedings of TCS Technical Architects’ Global Conference organized by TCS (TACTiCS) 2009.
pdf
  • V. Kulkarni, S. Barat, Supporting Agile Adaptive Business Services Using Model-based Techniques, In Proceedings of International Workshop on Service Oriented Computing Of International Conference on High Performance Computing 2009.
  • K. Meduri, S. Barat, Refactoring of a Large Retail Bank System - Case Study, In Proceedings of TACTiCS 2009.
2008
top
  • M. Satpatty, A. Yeolekar, S. Ramesh, Randomized Directed Testing (REDIRECT) for Simulink/Stateflow models, In Proceedings of 8th ACM & IEEE International conference on Embedded software (EMSOFT), Atlanta, USA, Oct. 2008.
  • V. Kulkarni, S. Reddy, An Abstraction for Reusable MDD Components, In Proceedings of International Conference on Generative Programming and Component Engineering, Nashville, USA, Oct. 2008.
  • R. Santelices, P. Chittimalli, T. Apiwattanapong, A. Orso, M. Harrold, Test-suite Augmentation for Evolving Software, In Proceedings of Automated Software Engineering (ASE 08), Italy, Sep. 2008.
  • S. Barat, V. Kulkarni, A model-driven toolset to support an approach for analyzing integration of business process aspect of enterprise application integration, Jul. 2008.
  • A. Gadkari, A. Yeolekar, J. Suresh, S. Ramesh, S. Mohalik, K. C Shashidhar, AutoMOTGen: Automatic Model-oriented Test Generator for Embedded Control Systems, In Proceedings of 20th International Conference on Computer Aided Verification (CAV), Princeton USA, Jul. 2008.
  • V. Kulkarni, S. Reddy, A model-driven approach for developing business applications – experience, lessons learnt and a way forward, In Proceedings of 1st India Software Engineering Conference, Hyderabad , Feb. 2008.
  • V. Kulkarni, S. Reddy, A Model-Driven Approach for Developing Business Applications, In Proceedings of India Software Engineering Conference, Hyderabad, Jan. 2008.
  • S. Ghaisas, R. Venkatesh, A. Kanhere, A. Kumar, M. Kumar, P. Rose, Identifying unobvious requirements- an exemplar of the Design Science approach, 2008, In Proceedings of Proceedings of the Third International Conference on Design Science Research in Inf. Systems and Tech. (DESRIST, Atlanta USA ) , 2008, pages 335-340.
  • R. Chaukdayat, S. Joshi, S. Khare, Partitioning a Software System for Scalable Static Program Analysis, In Proceedings of TACTiCS '08 (TCS Technical Architects’ Conference’08), 2008.
  • V. Kulkarni, S. Reddy, An abstraction for reusable MDD components: model-based generation of model-based code generators, In Proceedings of GPCE 2008, 2008, pages 181-184.
  • P. Chittimalli, M. Harrold, ISEC08_Regression Test Selection on System Requirements, In Proceedings of India Software Engineering Conference (ISEC 08), Hyderabad, 2008.
  • P. Chittimalli, M. Harrold, TSE08_Re-computing Coverage Information to Assist Regression Testing, In Proceedings of Transactions on Software Engineering (TSE 2008), 2008.
  • R. Venkatesh, U. Shrotri, A. Kulkarni, STATEMATE to SCADE model translation, In Proceedings of 1st Indian Software Engineering Conference (ISEC) 2008.
pdf
2007
top
  • V. Kulkarni, Where to from here, MDD?, In Proceedings of Research Directions in Software Engineering workshop at IITM Chennai, Dec. 2007.
  • A. Gadkari, S. Mohalik, K. C Shashidhar, A. Yeolekar, J. Suresh, S. Ramesh, Automatic Generation of Test cases using Model checking for Simulink/Stateflow models, In Proceedings of Workshop on Model-driven Engg., Verification and Validation (MoDeVVa, associated with MoDELS), MV, USA, Oct. 2007.
  • V. Kulkarni, S. Reddy, Big Models – Requirements, In Proceedings of BigModels workshop in Eclipse Europe Summit at Ludwigsberg Germany, Oct. 2007.
  • S. Ghaisas, A. Kanhere, R. Rana, S. Agarwal, P. Rose, Customizing a smart process architecture to large scale development, In Proceedings of Proceedings of the 4th Annual World TCS Technical Architects' Conference (TACTiCS) 2007, Trivendrum, 2007.
  • R. Naik, S. T., Identifying Services in Legacy Systems using Program Transformations, In Proceedings of ACM SIGPLAN 2007 Workshop on Partial Evaluation and Program Manipulation (PEPM 07), 2007.
  • P. Chittimalli, M. Harrold, ReCOVER: A Tool to Recompute Coverage Information for Regression Testing Activities, In Proceedings of TACTICS 2007, 2007.
  • R. Venkatesh, U. Shrotri, A. Kulkarni, P. Bokil, STATEMATE to SCADE Model Translation, In Proceedings of 4th TCS Technical Architects’ Global Conference organized by TCS (TACTiCS) 2007.
pdf
  • V. Balaraman, N. Pedanekar, Smart search and dictionary generation in Wizdom Tree, In Proceedings of Cognizant Technology Conference 2007.
pdf
  • V. Balaraman, T. Mali, Wizdom Tree - Knowledge Management for Support, In Proceedings of Cognizant Technology Conference 2007.
pdf
2006
top
  • V. Kulkarni, S. Reddy, Introducing MDA in a large IT consultancy organization, In Proceedings of Asia-Pacific Software Engineering Conference, Bangalore, India , Dec. 2006.
  • S. Barat, V. Kulkarni, D. Janakiram, A safety criterion for reusing a business process in the desired integrated process, In Proceedings of IEEE International Conference on Services Computing, Chicago, USA, Sep. 2006.
  • S. Ghaisas, G. Pilay, R. Venkatesh, Smarter Knowledge Reuse in Software Development in TACTiCS-Global 2006 , In Proceedings of Proceedings of the 3rd World TCS Technical Architects' Conference 2006 (TACTiCS) 2006, Hyderabad, 2006.
  • V. Kulkarni, S. Reddy, A Model-Driven Architectural Framework for Integration-Capable Enterprise  Application Product Lines, In Proceedings of The Second European Conference on Model Driven Architecture -Foundations and Applications (ECMDA-FA 2006), Bilbao, Spain, 2006, pages 01-Dec.
  • S. Barat, V. Kulkarni, A pragmatic approach for analyzing behavioural aspects for enterprise application integration, In Proceedings of TACTiCS'06, 2006.
  • S. Sukumaran, A. Sreenivas, R. Venkatesh, A Rigorous Approach to Requirements Validation , In Proceedings of Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), Pune, Editors: D.V. Hung and P. Pandya, 2006, pages 236-245.
  • V. Kulkarni, S. Reddy, Adopting MDA in a large IT consultancy organization – opportunities, challenges and lessons learnt, In Proceedings of Code2Model workshop of IEEE European Conference on Model Driven Architecture - Foundations and Applications, Bilbao, Spain., 2006.
  • P. Sampath, S. Kumar, Context Sensitive Analysis through Composition, In Proceedings of Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), Pune, Editors: D. V. Hung & P. Pandya, 2006, pages 186-195.
  • V. Prasad, V. Kulkarni, U. Ramteerthkar, Diffusion Experiences of Developer Productivity Tools in an IT Services Company in India, In Proceedings of IEEE International Conference on Management of Innovation and Technology, Singapore, 2006.
  • V. Kulkarni, S. Reddy, Engineering Software Factories for Developing EnterpriseApplications Using Model-Driven Techniques, In Proceedings of OOPSLA 2006, Portland, Oregon, USA. ACM., 2006.
  • V. Kulkarni, S. Reddy, Enterprise business application product line as a model driven software factory, In Proceedings of Software Factories workshop in OOPSLA’05, San Diego, USA, 2006.
  • Z. Liu, M. Joseph, Real-time and fault-tolerant systems, In Proceedings of Procedings of PPSE 2006, Lecture Notes in Computer Science Vol. 3167. Springer-Verlag, 2006, pages 156-219.
  • G. Krishna, Requirements Modeling - Experience from an Insurance Project, In Proceedings of Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), Pune, Editors: D. V. Hung & P. Pandya, 2006, pages 157-166.
  • T. Apiwattanapong, R. Santelices,, P. Chittimalli, A. Orso, M. Harrold, TAIC_MATRIX Maintenance-Oriented Testing Requirements Identifier and Examiner, In Proceedings of Testing Architects and Industrial Conference (TAIC-PART 06) London, 2006, 2006.
  • P. Chittimalli, Testing Requirements Generator for Evolving Software, In Proceedings of TACTiCS 06, 2006.
  • R. Metta, U. Shrotri, A. Kulkarni, R. Venkatesh, Tactics for Scaling Up Model Checking, In Proceedings of 3rd TCS Technical Architects’ Global Conference organized by TCS (TACTiCS) 2006.
pdf
2005
top
  • Z. Liu, R. Venkatesh, Formal software engineering', Zhiming Liu and R. Venkatesh, VSTTE conference (Verified Software: Theories, Tools, Experiments), In Proceedings of VSTTE Conference (Verified Software: Theories, Tools, Experiments), ETH, Zurich, Switzerland, Oct. 2005.
  • A. Sreenivas, Requirements validation through scenario generation, In Proceedings of Workshop on Formal Methods for Design and Analysis of Software, Microsoft Research India, Bangalore, Oct. 2005.
  • N. Patil, P. Shelokar, V. Jayaraman, B. Kulkarni, Regression Models using Pattern Search Assisted Least Square Support Vector Machines, Chemical Engineering Research and Design, 83, Aug. 2005, pages 1030-1037.
  • M. Joseph, Formal aids for the growth of software systems: Key Note Talk, In Proceedings of Fm 2005, Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK Proceedings 2005. Lecture Notes in Computer Science. Vol. 3582, Springer-Verlag, Jul. 2005, pages 1.
  • R. Naik, A. Saxena, Automated Extraction of Architectural and Design Abstractions for Interactive, Legacy Business Systems, In Proceedings of 12th Working Conference on Reverse Engineering (WCRE 05), May 2005.
  • A. Saxena, R. Narayan, R. Naik, Automated re-architecting of procedural code (RPG) to object oriented code (J2EE): A pattern driven approach, In Proceedings of TCS Technical Architects' Conference (TACTiCS 2005), Hyderabad, 2005.
  • M. Joseph, Formal techniques in large scale software engineering, In Proceedings of The VSTTE conference -Verified Software: Theories, Tools, Experiments, ETH Zürich,  Switzerland, 2005.
  • V. Kulkarni, S. Reddy, Generating enterprise applications from models – experience and best practices, In Proceedings of International Workshop on Software Factories at OOPSLA '05, San Diego, California, USA. ACM., 2005.
  • S. Sukumaran, A. Sreenivas, Identifying test conditions for software maintenance, In Proceedings of Proceedings of the European Conference on Software Maintenance and Reengineering, CSMR, 2005, pages 304-313.
  • R. Naik, S. Page, T. Shivaprasad, Improving services extracted from legacy systems by code restructuring, In Proceedings of TCS Technical Architects' Conference (TACTiCS 2005), Hyderabad, 2005.
  • S. Ghaisas, MAP-WayPointer a smart, agile method for large scale enterprise application development, In Proceedings of Agile India 2005: Conference on XP and Agile methodologies, Pune, 2005.
  • V. Kulkarni, Model driven development of enterprise applications, In Proceedings of Workshop on Formal Methods in Design and Analysis of Programs, Microsoft Research India, Bangalore, 2005.
  • P. Chittimalli, Towards Test suite Augmentation, In Proceedings of TACTiCS 05, 2005.
  • U. Khurana, A. Koul, Using Patterns to Generate Prime Numbers, In Proceedings of 3rd International Conference on Advances in Pattern Recognition (ICAPR), 2005, pages 325-334.
  • D. Kholkar, G. Krishna, U. Shrotri, R. Venkatesh, Visual specification and analysis of use cases, In Proceedings of Proceedings of the ACM 2005 Symposium on Software Visualization (SOFTVIS 2005), St. Louis, Missour, USA. Editors: T. L. Naps and W. D. Pauw, ACM, 2005, pages 77-85.
  • V. Prasad, An approach to quality management at the early stages of new product development using technology adoption life cycle concepts', Software Quality Professional, 7 (4), 2005, pages 27-33.
2004
top
  • A. Gandhi, S. Bhat, V. Balaraman, PMIA – An Efficient Approach to Computing Similarity over Ontologies in Very Large Case-Based Systems, In Proceedings of International Conference on Knowledge Based Computer Systems, Dec. 2004.
pdf
  • V. Kulkarni, S. Reddy, A model-driven approach for addressing separation of concerns in business applications, In Proceedings of Principles of Software Engineering Conference, Buenos Aires, Argentina, 2004, pages 170-181.
  • V. Kulkarni, S. Reddy, A model-driven approach for generating enterprise applications, In Proceedings of National Conference on Object Oriented Technology, Thiruchirapally , 2004, pages 241-262.
  • M. Bapat, P. Chittimalli, R. Naik, An IDE to build Program Re-architecting and Analysis, In Proceedings of TACTiCS 2004, 2004.
  • M. Joseph, Care, feeding and growth of software systems, In Proceedings of Proceedings of the Second International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004, pages 186.
  • V. Kulkarni, Meta-data driven aspect-oriented software development, In Proceedings of TCS Technical Architects' Conference (TACTIS 2004), Hyderabad, 2004.
  • R. Naik, A. Bahulkar, A programmable analysis and transformation framework for reverse engineering, Electronic Notes in Theoretical Computer Science., 94, 2004, pages 39-49.
  • G. Palshikar, Model Checking for Automatic System Verification, Embedded Systems Programming, 17 (3), 2004, pages 22-29.
  • M. Pimpley, S. Dhavalikar, S. Rajwade, V. Balaraman, Leveraging knowledge - A report on a pilot using Consult, In Proceedings of TACTICS 2004.
pdf
  • V. Balaraman, S. Chakraborti, Satisfying Varying Retrieval Requirements in Case-Based Intelligent Directory Assistance, In Proceedings of FLAIRS, Florida, USA 2004.
pdf
2003
top
  • S. Chakraborti, S. Ambati, V. Balaraman, D. Khemani, Integrating Knowledge Sources and Acquiring Vocabulary for Textual CBR, In Proceedings of 8th UK Workshop on CBR, Cambridge, Dec. 2003, pages 74-84.
pdf
  • S. Chakraborti, S. Ambati, V. Balaraman, D. Khemani, Integrating knowledge sources and acquiring vocabulary for textual CBR, In Proceedings of Proceedings, 8th UK Workshop on CBR, Cambridge, UK. , Dec. 2003, pages 74–84.
  • A. Bahulkar, R. Naik, A Programmable Analysis and Transformation Framework for Reverse Engineering Science, In Proceedings of Working Conference of Reverse Engineering 2003 Victoria, Canada, Nov. 2003, pages 39–49.
  • V. Kulkarni, S. Reddy, Separation of Concerns in Model Driven Development, IEEE Software, 20 (5), Sep. 2003, pages 64-69.
  • S. Shah, D. Shyamshankar, R. Krithi, An efficient and resilient approach to filtering and disseminating streaming data, In Proceedings of Very Large Data Bases, Berlin, Germany, Sep. 2003, pages 57–68.
  • V. Kulkarni, S. Reddy, Addressing separation of concerns in MDD, IEEE Software, Special issue on model- driven development , Sep. 2003, pages 64-69.
  • T. Shivprasad, V. Shah, Challenges faced in adopting automated standards enforcement tools, In Proceedings of ACSE 2003, Portland, USA, May 2003, pages 94-98.
  • S. Sukumaran, A. Sreenivas, A formalism for software testing, In Proceedings of First European Conference on Model-driven Software Engineering, Nuremberg ,  Germany., 2003, pages 64-73.
  • B. Appukuttan, T. Clark, S. Reddy, L. Tratt, R. Venkatesh, A model driven approach to building implementable model transformations, In Proceedings of WiSME 2003, 2003.
  • B. Appukuttan, T. Clark, S. Reddy, L. Tratt, R. Venkatesh, A model-driven approach to model transformations, In Proceedings of Workshop on Model-driven Architecture: Foundations and Applications (MDAFA) 2003, University of  Twente, Enschede, The Netherlands , 2003, pages 1.
  • B. Appukuttan, T. Clark, S. Reddy, L. Tratt, R. Venkatesh, A Pattern based model driven approach to model transformations, In Proceedings of Proc. Metamodelling for MDA 2003, 2003.
  • M. Joseph, Adding Formalism to Methods or Where and When Will Industry Use Formal Reasoning, In Proceedings of 5th International Conference on Formal Engineering Methods (ICFEM 2003), Singapore. Lecture Notes in Computer Science: Formal Methods and Software Engineering Vol. 2885. Springer. , 2003, pages 26-33.
  • G. Palshikar, A. Pavaskar, M. Jadhav, D. Patil, M. Bakshi, An RF-based embedded system for protecting unmanned railway crossings, In Proceedings of Conference on Information Technology (CIT 2003), Bhubaneshwar, 2003, pages 275 -278.
  • V. Rai, C. Anantaram, Business rules approach to information system development, In Proceedings of Proceedings, 7th Pacific  Asia Conference on Information Systems (PACIS), 2003, Adelaide, Australia, 2003.
  • V. Kulkarni, S. Reddy, Integrating Aspects With Model Driven Software Development, In Proceedings of Proceedings of the International Conference on Software Engineering Research and Practice, Vol. 1. , 2003, pages 186-192.
  • U. Shrotri, P. Bhaduri, R. Venkatesh, Model checking visual specification of requirements, In Proceedings of International Conference on Software Engineering and Formal Methods, Brisbane, Australia, IEEE, 2003, pages 202-209.
  • S. Ghaisas, U. Shrotri, R. Venkatesh, Requirement-centric method for Application Development , In Proceedings of Workshop in Engineering methods to support Information Systems evolution (EMSISE'03), Geneva. , 2003.
  • V. Kulkarni, S. Reddy, Supporting aspects in MDA, In Proceedings of Workshop in Software Model Engineering, San Francisco, USA, 2003.
  • G. Palshikar, P. Bhaduri, Verification of Scenario-based Specifications using Templates, In Proceedings of Proceedings of the International Workshop on Software Verification and Validation (SVV 2003), Mumbai, India. Electronic Notes in Theoretical Computer Science. Vol. 118. , 2003, pages 37-55.
  • P. Seiler, A. Pant, J. Hedrick, A systems interpretation for observations of bird v-formations, Journal of Theoretical Biology, 221 (2), 2003, pages 279–287.
  • G. Palshikar, Improving rule-base quality with rule classification, PC-AI, 16 (6), 2003, pages 42–47.
  • V. Rai, D. Kim, Principal–agent problem: A cognitive map approach, Electronic Commerce, Research and Applications, 1 (2), 2003, pages 174-192.
  • S. Chakraborti, S. Ambati, V. Balaraman, P. Ameeta, D. Khemani, Integrating Knowledge Sources and Acquiring Vocabulary for Retrieval over Small Document Collections, In Proceedings of BCS SGAI Journal Expert Update 2003.
pdf
  • V. Balaraman, Case Based Reasoning - An Evolutionary Computing Perspective, Frontiers of Evolutionary Computation, Anil Menon (ed), Kluiwer Academic Press 2003.
pdf
2002
top
  • V. Rai, Systems Approach to Business Rules, In Proceedings of Proceedings, 20th International Conference System Dynamics Society, Palermo, Italy, Aug. 2002.
  • G. Palshikar, The message is the medium, Embedded Systems Programming, 15 (11), 2002, pages 28-36.
  • R. Mansharamani, M. Heldon, S. Gupta, Benchmarking of a high-end banking package on open systems, In Proceedings of Computer Measurement Group Conference, Reno, USA., 2002.
  • P. Bhaduri, R. Venkatesh, Formal consistency of models in multi-view modelling, In Proceedings of UML 2002: Model Engineering, Concepts and Tools - Workshop on Consistency Problems in UML-based Software Development, Dresden, Germany, Editor: L. Kuzniarz, G. Reggio, J.L. Sourrouille, and Z. Huzar, , 2002, pages 149-159.
  • P. Bhaduri, R. Venkatesh, G. Palshikar, Formal Techniques for Analysing Scenarios using Message Sequence Charts, In Proceedings of VISS'2002 Validation and Implementation of Scenario-based Specifications, Grenoble, France. Electronic Notes in Theoretical Computer Science. Vol. 65(7). , 2002, pages 2-18.
  • V. Kulkarni, R. Venkatesh, S. Reddy, Generating enterprise applications from models, In Proceedings of 8th International Conference on Object-Oriented. Information Systems (OOIS 2002) Workshops, Montpellier, France. Lecture Notes in Computer Science: Advances in Object-Oriented Information Systems, Edi, 2002, pages 270-279.
  • A. Sreenivas, Is ISSTA testing research relevant to industrial users?, In Proceedings of Panel discussion: in Proceedings of the ACM SIGSOFT 2002 International Symposium on Software Testing and Analysis, 2002, pages 208-209.
  • R. Mansharamani, Pro-active performance engineering to manage 100-fold growth in a very large stock exchange, In Proceedings of Computer Measurement Group Conference, Reno, USA., 2002.
  • A. Sreenivas, Towards formal test specifications, In Proceedings of Workshop on Formal Methods and Tools (FMTOOLS-02), University of Olenburg, Gunzburg , 2002, pages 75-80.
  • G. Palshikar, Making unmanned railway crossings safe, Electronics for You, 34 (10), 2002, pages 62-64.
2001
top
  • G. Palshikar, Safety checking in an automatic train operation system, Information and Software Technology, 43 (5), 2001, pages 325-338.
  • G. Palshikar, Simulated annealing: a heurisitc optimization algorithm, Dr. Dobb's Journal, 26 (9), 2001, pages 121-123.
  • G. Palshikar, Simulation of petri nets in Prolog: modeling dynamic system behavior, PC-AI, 15 (3), 2001, pages 43-45.
  • R. Venkatesh, P. Bhaduri, M. Joseph, Formalizing models and meta-models for system development, In Proceedings of Eighth Asia-Pacific Software Engineering Conference (APSEC'01), University of Macau, Macau SAR, China. IEEE. , 2001, pages 155-158.
  • A. Sreenivas, R. Venkatesh, M. Joseph, Meta-modelling for formal software development, In Proceedings of Computing: The Australasian Theory Symposium (CATS 2001), Gold Coast, Australia. Electronic Notes in Theoretical Computer Science. Vol. 42. , 2001, pages Mar-13.
  • G. Palshikar, An introduction to Esterel, Embedded Systems Programming, 14 (11), 2001, pages 60-72.
  • G. Palshikar, Applying formal specifications to real-world software development, IEEE Software, 18 (6), 2001, pages 89-97.
  • G. Palshikar, Consistency-based diagnosis, Dr. Dobb's Journal, 26 (2), 2001, pages 50-56.
  • P. Shahabudeen, K. Krishnaiah, R. Gopinath, Design of bi-criteria kanban system using simulated annealing technique, Computers and Industrial Engineering, 41 (4), 2001, pages 355-370.
  • G. Palshikar, Matching patterns: patterns in historical data are the lifeblood of business and knowledge, Intelligent Enterprise, 4 (6), 2001, pages 46-51.
2000
top
  • S. Reddy, J. Mulani, A. Bahulkar, Adex - a meta modeling framework for repository-centric systems building , In Proceedings of Proceedings of the International Conference on Advances in Data Management (COMAD-2000) , 2000.
  • V. Rai, D. Kim, Cognitive map approach to understand and control software agents, In Proceedings of Proceedings of the International Conference on Knowledge Based Computer Systems, 2000, pages 94-106.
  • G. Palshikar, A. Bahulkar, Fuzzy temporal patterns for analysing stock market databases, In Proceedings of Proceedings of the International Conference on Advances in Data Management (COMAD-2000), Pune, India. Advances in Data Management 2000, Editors: K. Ramamritham and T. M. Vijayaraman, Tata McGraw-Hill., 2000, pages 135-142.
  • V. Rai, D. Kim, Industrialization of software: a systemic evolution process, In Proceedings of Proceedings of the 9th National Conference on System Dynamics, 2000, pages Jan-17.
  • G. Palshikar, Integrated representation of formal and fuzzy knowledge, In Proceedings of FZLOG: International Conference on Industrial Technology (ICIT-2000), Bhubaneshwar, India. Tata McGraw-Hill, 2000, pages 71-76.
  • R. Mansharamani, P. Kallepalli, H. Veerabhadraiah, B. Mathew, RVGEN: a tool for generation of random variates, Software - Concepts and Tools, 19 (4), 2000, pages 161-167.