|
Books
Book
Sections
|
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. - Vinay Kulkarni and
Sreedhar Reddy
Balaraman
(V). Case Based Reasoning: An Evolutionary Computation Perspective. In Menon (Anil) and Goldberg (David), (eds).
Computing Horizons: The Hilbert Challenge: Essays
on the Frontiers of Evolutionary Computation. Boston/Dordrecht/London:
Kluwer Academic Publishers, 2003. pp 254–284
Back
to Top
|
Conference
Proceedings
Select
Year: 2006
2005 2004
2003 2002
2001 2000
Prior to 2000
|
2006
‘Introducing MDA in a
large IT consultancy organization’, Vinay Kulkarni and Sreedhar
Reddy, Asia-Pacific Software Engineering Conference, Dec’06,
Bangalore, India
‘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
'Requirements Modeling - Experience from an Insurance Project',
G.M. Krishna, 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.
'Engineering
Software Factories for Developing EnterpriseApplications Using Model-Driven Techniques',
Vinay
Kulkarni and Sreedhar Reddy, OOPSLA 2006, Portland, Oregon,
USA. ACM.
'A Model-Driven
Architectural Framework for Integration-Capable Enterprise Application Product Lines',
Vinay Kulkarni and Sreedhar Reddy, The Second European
Conference on Model Driven Architecture -Foundations and
Applications (ECMDA-FA 2006), 2006, Bilbao, Spain, p. 1-12.
'Adopting MDA in a
large IT consultancy organization – opportunities, challenges and
lessons learnt', Vinay Kulkarni and Sreedhar Reddy, Code2Model workshop of IEEE European
Conference on Model Driven Architecture - Foundations and
Applications. 2006, Bilbao, Spain.
'A model-driven
architectural framework for integration-capable enterprise
application product lines',
Vinay
Kulkarni and Sreedhar Reddy,
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.
'Real-time and
fault-tolerant systems', Liu, Z. and M.
Joseph, Procedings of PPSE 2006,
Lecture Notes in Computer Science Vol. 3167. Springer-Verlag. p.
156-219.
'Diffusion Experiences of Developer Productivity Tools in an IT
Services Company in India',
Prasad, V.C.S., V. Kulkarni, and U. Ramteerthkar, in IEEE International Conference on Management of
Innovation and Technology, 2006, Singapore
'Composing Context
Sensitive Analysis', Sampath, P. and S.
Kumar, 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.
'A
Rigorous Approach to Requirements Validation', S.
Sukumaran, A. Sreenivas, and R. Venkatesh, 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. Back
to Top
Back to Conference Proceedings |
|
|
|
2005
'Automated
re-architecting of procedural code (RPG) to object oriented code
(J2EE): A pattern driven approach', Amit Saxena, R. Narayan and
Ravindra Naik, 2nd World TCS Technical Architects' Conference (TACTiCS),
2005, Hyderabad, 9-10 December 2005.
' Requirements validation through scenario
generation',
Ashok Sreenivas, Workshop on Formal Methods for
Design and Analysis of Software, Microsoft Research
India, Bangalore. 7-8 October 2005.
'Formal
software engineering', Zhiming Liu and R. Venkatesh, VSTTE conference (Verified Software:
Theories, Tools, Experiments), ETH, Zurich, Switzerland. 10-14
October 2005.
'Formal aids for the growth of
software systems: Key Note Talk', M. Joseph, 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.
'Using
Patterns to Generate Prime Numbers',
Udayan Khurana and Anirudh Koul, 3rd International
Conference on Advances in Pattern Recognition (ICAPR), 2005, pp.
325-334.
'MAP-WayPointer
a smart, agile method for large scale enterprise application
development', S. Ghaisas, Agile India 2005: Conference on XP and Agile
methodologies, 2005, Pune, India.
'Formal techniques in large scale
software engineering', M. Joseph,
The VSTTE conference -Verified
Software: Theories, Tools, Experiments. 2005. ETH Zürich, Switzerland
'Visual specification and analysis of use cases',
D.
Kholkar, G.M. Krishna, U. Shrotri, and R.
Venkatesh, Proceedings of the ACM 2005 Symposium on Software Visualization (SOFTVIS
2005), 2005, St. Louis, Missour,
USA. T.L. Naps and W.D. Pauw, Editors. ACM. p. 77-85.
'Model driven development of
enterprise applications', Vinay Kulkarni,
Workshop on Formal Methods in
Design and Analysis of Programs, 2005, Microsoft Research India, Bangalore,
India.
'Enterprise business application productline as a model driven software
factory', V.
Kulkarni and S. Reddy, International Workshop on Software Factories at
OOPSLA '05 2005, San Diego, California, USA. ACM.
'Generating
enterprise applications from models – experience and best
practices', V.
Kulkarni and S. Reddy, Workshop on best practices in model driven
software development at OOPSLA '05, 2005, San Diego, California, USA. ACM.
'Improving
services extracted from legacy systems by code restructuring', R. D.
Naik, S. Page, and T. Shivaprasad, TCS Technical Architects' Conference (TACTiCS 2005),
2005, Hyderabad, India.
'Automated
re-architecting of procedural code (RPG) to object oriented code
(J2EE): A pattern driven approach', A. Saxena, R. Narayan, and R.D. Naik,
TCS Technical
Architects' Conference (TACTiCS 2005), 2005, Hyderabad, India.
'Requirements validation through
scenario generation', A. Sreenivas, Workshop on Formal Methods for Design
and Analysis of Software, 2005, Microsoft Research India, Bangalore,
India.
'Identifying
test conditions for software maintenance', S. Sukumaran and A. Sreenivas,
Proceedings of
the European Conference on Software Maintenance and Reengineering,
CSMR, 2005, p. 304-313.
'Network Security: A
Proactive Approach in a Multidisciplinary Environment', Vijayanand
Banahatti, International
Conference on Multidisciplinary Aspects of Engineering 2005, Pune.
7-8 Jan 2005
Back
to Top
Back to Conference Proceedings
|
|
2004
'Care, feeding and growth of
software systems', M. Joseph, Proceedings of the Second International
Conference on Software Engineering and Formal Methods (SEFM 2004),
2004, p. 186.
'Meta-data driven aspect-oriented
software development', Vinay Kulkarni, TCS Technical Architects' Conference
(TACTIS 2004), 2004, Hyderabad, India.
'Model-driven
development of enterprise applications', Vinay Kulkarni and
Sreedhar Reddy, 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.
'A model-driven
approach for addressing separation of concerns in business
applications', Vinay Kulkarni and Sreedhar Reddy, Principles of Software Engineering
Conference, 2004, Buenos Aires, Argentina, p. 170-181.
'A model-driven
approach for generating enterprise applications', Vinay Kulkarni and
Sreedhar Reddy, National
Conference on Object Oriented Technology, 2004, Thiruchirapally, India, p. 241-262.
Back
to Top
Back to Conference Proceedings
|
|
2003
'A model-driven approach to model transformations',
B. Appukuttan, T. Clark, S. Reddy, L. Tratt, and
R. Venkatesh
in Workshop on Model-driven Architecture: Foundations and
Applications (MDAFA) 2003, 2003, University
of Twente, Enschede, The Netherlands p. 1.
'Requirement-centric
method for Application Development', S. Ghaisas, U. Shrotri, and R. Venkatesh,
Workshop in
Engineering methods to support Information Systems evolution
(EMSISE'03), 2003, Geneva.
Available at http://cui.unige.ch/dbresearch/EMSISE03/Rp03.pdf
'Adding Formalism to Methods or
Where and When Will Industry Use Formal Reasoning?, M. Joseph, 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.
'Integrating Aspects
With Model Driven Software Development', V. Kulkarni and S.
Reddy, Proceedings of the
International Conference on Software Engineering Research and
Practice, 2003. Vol. 1. p. 186-192.
'Supporting aspects
in MDA', V. Kulkarni and S. Reddy, WiSME@UML'2003: Workshop in Software Model
Engineering, 2003, San Francisco, USA
'Verification
of Scenario-based Specifications using Templates', G. K. Palshikar and P. Bhaduri,
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.
'An RF-based embedded system for protecting
unmanned railway crossings', G.
K. Palshikar, A. Pavaskar, M. Jadhav, D. Patil,
and M. Bakshi, Conference on
Information Technology (CIT 2003), 2003, Bhubaneshwar, India. p. 275 -278.
'Business rules
approach to information system development', V. K. Rai and C. Anantaram,
Proceedings,
7th Pacific Asia
Conference on Information Systems (PACIS), 2003, Adelaide, Australia
'Challenges faced
in adopting automated standards enforcement tools', Shivprasad, T.K. and V.
Shah, ACSE
2003, 2003, Portland, USA. p. 94-98
'Model
checking visual specification of requirements. in International
Conference on Software Engineering and Formal Methods', U. Shrotri, P. Bhaduri, and R. Venkatesh.
. 2003, Brisbane, Australia, IEEE. p. 202-209.
'A formalism
for software testing', S. Sukumaran and A. Sreenivas, First European Conference on
Model-driven Software Engineering, 2003, Nuremberg
, Germany. p. 64-73.
'A Programmable Analysis and Transformation Framework
for Reverse Engineering', A. Bahulkar and R. Naik, Presented at
Working Conference of Reverse
Engineering 2003, November 2003: Victoria, Canada. Journal
of Electronic Notes in Theoretical Computer Science, 94C, pp
39–49
'Integrating knowledge sources and acquiring vocabulary for textual CBR',
S.
Chakraborti, S. Ambati,V. Balaraman, and D. Khemani, Proceedings, 8th UK Workshop on CBR. December
2003: Cambridge, UK. pp 74–84
'An efficient and
resilient approach to filtering and disseminating streaming data',
S.
Shah, D. Shyamshankar, and R. Krithi,Very
Large Data Bases, September 2003: Berlin, Germany. pp 57–68
'Challenges faced in adopting automated
standards enforcement tools', T.
Shivprasad and V. Shah, ACSE 2003. May 2003: Portland,
USA. pp 94-98
Back
to Top
Back to Conference Proceedings
|
|
2002
'Formal
consistency of models in multi-view modelling', P. Bhaduri and R.
Venkatesh, <<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.
'Formal
Techniques for Analysing Scenarios using Message Sequence Charts',
P. Bhaduri, R. Venkatesh, and G.K. Palshikar, VISS'2002 Validation and Implementation of Scenario-based
Specifications, 2002, Grenoble, France. Electronic Notes in Theoretical Computer Science. Vol. 65(7). p.
2-18.
'Generating
enterprise applications from models', V. Kulkarni, R. Venkatesh, and S.
Reddy,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.
'Pro-active performance
engineering to manage 100-fold growth in a very large
stock exchange', R. Mansharamani, Computer Measurement Group
Conference, 2002, Reno, USA.
'Benchmarking
of a high-end banking package on open systems', R. Mansharamani,
M. Heldon, and S. Gupta, Computer
Measurement Group Conference, 2002, Reno,
USA.
'Is ISSTA
testing research relevant to industrial users?', A. Sreenivas, Panel discussion:
in Proceedings
of the ACM SIGSOFT 2002 International Symposium on Software Testing
and Analysis, 2002. p. 208-209.
'Towards formal test
specifications', A. Sreenivas, Workshop on Formal Methods and Tools
(FMTOOLS-02), 2002. University
of
Olenburg, Gunzburg p. 75-80.
'Dynamics of schedule pressure in software
projects', Rai
(V K), Proceedings,
20th International Conference System Dynamics Society, August
2002, Palermo, Italy. Available on CD
'Systems Approach to Business
Rules', Rai
(V K), Proceedings, 20th
International Conference System Dynamics Society, August 2002: Palermo,
Italy. Available on CD
Back
to Top
Back to Conference Proceedings
|
|
2001
'Meta-modelling
for formal software development', A. Sreenivas, R. Venkatesh, and M.
Joseph, Computing: The Australasian
Theory Symposium (CATS 2001) 2001, Gold Coast, Australia. Electronic Notes in Theoretical Computer Science. Vol. 42. p. 3-13.
'Formalizing
models and meta-models for system development', R. Venkatesh, P.
Bhaduri, and M. Joseph, Eighth
Asia-Pacific Software Engineering Conference (APSEC'01), 2001. University
of Macau, Macau SAR, China. IEEE. p. 155-158.
Back
to Top
Back to Conference Proceedings
|
|
2000
'Integrated
representation of formal and fuzzy knowledge', G.K. Palshikar,
FZLOG: International
Conference on Industrial Technology (ICIT-2000), 2000, Bhubaneshwar,
India. Tata McGraw-Hill. p. 71-76.
'Fuzzy
temporal patterns for analysing stock market databases', G.K.
Palshikar and A. Bahulkar, 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.
'Cognitive map
approach to understand and control software agents', Rai, V.K. and D.-H.
Kim, Proceedings
of the International Conference on Knowledge Based Computer Systems,
2000. p. 94-106.
'Industrialization of
software: a systemic evolution process', Rai, V.K. and D.-H.
Kim, Proceedings of the
9th National Conference on System Dynamics, 2000. p. 1-17.
'Adex -
a meta modeling framework for repository-centric systems building', Reddy, S., J. Mulani, and A.
Bahulkar, Proceedings of the International Conference on Advances in
Data Management (COMAD-2000), 2000.
Back
to Top
Back to Conference Proceedings
|
|
Prior to 2000
1998-1999
'Automated software testing tools
and their impact on software maintenance : an empirical
investigation', V. Rajanna, 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.
1996-1997
'Platform modelling in
software engineering', R. Mansharamani, International Conference on Software
Engineering CONSEG'97, 1997, Chennai, India. p. 25-32.
'Automated test data generator for
relational database applications - abstract of the presentation',
V. Rajanna, Proceedings of the National Seminar on Theoretical Computer
Science, (NSTCS), 1996, Bangalore, India. p. 309.
1994-1995
'Formal specifications, formal
methods and software process', K.V.
Nori,
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.
'Automated
test environment', Rajanna, V. and M.P. Kumar, Proceedings of the 30th Annual Convention
of Computer Society of India (CSI'95), 1995, Hyderabad, India. Computer Society of
India. p. 359-368.
'A dynamic load balancing strategy for data parallel
programs with large data and its performance evaluation', Mansharamani,
R.K., A. Mukhopadhyay, and G.M. Shroff, Proceedings
of the International Conference on High Performance Computing, 1995,
New Delhi, India.
'Formal specification for PLC programs using
temporal logic', Palshikar,
G.K.
and K.V. Nori, Proceedings of the 16th all India Manufacturing Technology
Design and Research Conference, 1994, Bangalore, India. p. 289-295.
'A formal
specification tool for
real-time embedded systems', Palshikar,
G.K. and K.V. Nori. ZLOG: . in Proceedings of the Workshop on
Embedded Real-time Computing Systems, 1994, Bangalore, India. p. 36-41.
'The Matvec library for data parallel computing and
its applications in parallelisation of CFD algorithms', Shroff,
G.M., A. Mukhopadhyay, S.H. Rao, and R.K.
Mansharamani, Proceedings
of the International Workshop on Parallel Processing, 1994, Bangalore,
India. p. 551-556.
'Use of application characteristics and limited preemption
for run-to-completion parallel processor scheduling policies', Chiang, S.-H., R.K. Mansharamani, and M.K.
Vernon, 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.
1992-1993
'A Tool
for Formal Specifications of Real-time Embedded Systems', Palshikar, G.K. and K.V. Nori. ZLOG:Proceedings
of ISRO Workshop on Real-Time Embedded Systems. 1993, Bangalore, India.
'BLEES:
A Business Loan Evaluation Expert System', Sharma, S.P., C. Anantaram, and P.
Joshi, Ninth
International Congress of Cybernetics and Systems, 1993, New Delhi,
India.
'Object oriented
reactive specifications', Farooqui, S. and K. Nori. ',Proceedings of the National
Workshop on Software Reliability Engineering (WSRE-92), 1992, Bombay,
India. p. II.53-II.59.
'Design of cost effective test suite using operational profile:
A case study', Aggarwal, K.K., M. Pavan Kumar, V. Santurkar, R.
Ratnaparkhi, A.M. Farooqui, V. Shah, and S. Sridhar, Proceedings of the National Workshop on
Software Reliability Engineering (WSRE-92), 1992, Bombay,
India. p. V.32-V.37.
'Verification,
validation and reliability of compilers', Nori, K.V., Proceedings of
National Symposium on Software Reliability Engineering (WSRE-92),
1992, BARC, Bombay, India.
'An
approach to integration of lower CASE tools', Nori, K.V. and L.J. Osterweil, Proceedings of
the Indo-US Workshop on Cooperative Research in Computer Sciences,
1992. p. 124-131.
1990-1991
'Tool based approach for the development of optimizing
CHILL compilers', S. Kumar,
M.P. Kumar, M. Subramaniam, and V.S.
Buzruk, Proceedings of the 5th CHILL conference, 1990, Rio de Janeiro,
Brazil. p. 46-53.
1988-1989
'Analytical solutions to global dataflow analysis
problems', S.M. Joshi, K.V. Nori, D.M. Angal, C.V. Ramesh,
and M.P. Kumar,Proceedings of the Workshop on Compiler,
Compiler and High Speed Compilation, 1988, Berlin, Germany. p. 440-453.
'Experience
with a retargetable code generator', Nori, K.V., S. Kumar, and R.V. Deodhar, Proceedings of
the Workshop on Compiler, Compiler and High Speed Compilation, 1988,
Berlin, Germany. p. 412-426.
'Retrospection
on the PQCC compiler structure', Nori, K.V., S. Kumar, and M.P.
Kumar, 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.
1986-1987
'Towards
Productionisation of Software', Nori, K.V. and S. Marathe, Workshop on Transferring
Software Engineering Tool Technology, 1987, Santa Barbara, California,
USA
Back
to Top
Back to Conference Proceedings
|
Edited
Book/Journal Issues/Conference Proceedings
Select
Year: 2000
Prior to 2000
|
2000
'Formal techniques in real-time
and fault-tolerant systems', M. Joseph, 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.
Back
to Top
|
|
Prior to 2000 1990-1991
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.
1988-1989
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.
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.
1986-1987
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.
Back
to Top
|
Journal Articles
Select
Year: 2005
2004 2003
2002 2001
2000 Prior to 2000
|
2005
'Satisfying the satisfiability
problem', Palshikar, G.K., C/C++ Users' Journal, 2005. Sep 2005: p. 20-25.
'An approach to quality
management at the early stages of new product development using
technology adoption life cycle concepts', Prasad, V.C.S., Software Quality
Professional, 2005. 7(4): p. 27-33.
'Regression Models using Pattern Search Assisted Least Square Support
Vector Machines', Patil,
Nilesh S.; Shelokar, P.S.; Jayaraman, V.K.; and Kulkarni, B.D., Chemical Engineering Research and Design,
83(A8), August 2005. pp 1030-1037
Back
to Top
Back to Journal Articles
|
|
2004
'A programmable
analysis and transformation framework for reverse engineering', Naik, R. and A. Bahulkar,
Electronic Notes in Theoretical Computer Science, 2004. 94:
p. 39-49.
'An Introduction to Model
Checking', Palshikar, G.K., Embedded Systems Programming, 2004. March 2004:
p. 22-29.
'Model Checking for Automatic
System Verification', Palshikar, G.K., Embedded Systems Programming, 2004.
17(3):
p. 22-29.
Back
to Top
Back to Journal Articles
|
|
2003
'Addressing separation of concerns in
MDD', Kulkarni
(V) and Reddy (S). IEEE Software, Special issue on model- driven development,
September–October 2003, pp 64–69
'Improving rule-base quality with rule
classification', Palshikar (G K), PC-AI, June 2003, 16 (6), pp 42–47
'Principal–agent
problem: A cognitive map approach', Rai, V.K. and D.-H. Kim,
Electronic Commerce, Research
and Applications, 2003. 1(2): p. 174–192.
'A systems interpretation for
observations of bird v-formations', Seiler
(P), Pant (A) and Hedrick (J K). . Journal of Theoretical Biology.
2003, 221 (2), pp 279–287
Back
to Top
Back to Journal Articles
|
|
2002 'The message is the
medium', Palshikar, G.K.,
Embedded Systems Programming, 2002. 15(11): p. 28-36.
'Making unmanned railway
crossings safe', Palshikar, G.K.,
Electronics for You, 2002. 34(10): p.
62-64.
Back
to Top
Back to Journal Articles
|
|
2001
'Consistency-based
diagnosis', Palshikar, G.K., Dr. Dobb's Journal, 2001. 26(2): p. 50-56.
'Applying formal
specifications to real-world software development', Palshikar, G.K.,
IEEE
Software, 2001. 18(6): p. 89-97.
'Safety checking in an
automatic train operation system', Palshikar, G.K., Information and Software
Technology, 2001. 43(5): p. 325-338.
'A fuzzy temporal notation and
its application to specify fault patterns for diagnosis', Palshikar, G.K.,
Pattern
Recognition Letters, 2001. 22(3-4): p. 381-394.
'Simulation of petri nets in
Prolog: modeling dynamic system behavior', Palshikar, G.K., PC-AI, 2001. 15(3):
p. 43-45.
'Matching patterns: patterns
in historical data are the lifeblood of business and knowledge', Palshikar, G.K.,
Intelligent Enterprise, 2001. 4(6): p. 46-51.
'An introduction to Esterel',
Palshikar, G.K., Embedded Systems Programming, 2001. 14(11): p. 60-72.
'Simulated annealing: a
heurisitc optimization algorithm', Palshikar, G.K., Dr. Dobb's Journal, 2001. 26(9):
p. 121-123.
'Design
of bi-criteria kanban system using simulated annealing technique', Shahabudeen, P., K. Krishnaiah, and R. Gopinath,
Computers and Industrial Engineering, 2001 41(4): p. 355-370.
Back
to Top
Back to Journal Articles
|
|
2000
'RVGEN: a tool for generation of
random variates', Mansharamani, R., P. Kallepalli, H.
Veerabhadraiah, and B. Mathew, Software - Concepts and Tools, 2000. 19(4):
p. 161-167.
Back
to Top
Back to Journal Articles
|
|
Prior to 2000
1998-1999
'Verification
of accuracy of rules in a rule based system', Anantaram, C., G. Nagaraja, and K.V. Nori,
Data &
Knowledge Engineering, 1998. 27(2): p. 115-138.
'Test Data
Generation', Rajanna, V., ACM
SIGSOFT Software Engineering Notes, 1998. 23(5): p. 65-68.
1996-1997
'Overview of discrete event
simulation methodologies and implementation', Mansharamani, R.,
Sadhana - Academy
Proceedings in Engineering Sciences, 1997. 22(pt 5): p.
611-627.
1994-1995
'Towards a discipline for software
engineering' (Invited paper),
Nori, K.V., Computer Science and Informatics,
1994. 24(2): p. 1-10.
Back
to Top
Back to Journal Articles
|
Tutorials
|
2006
Vinay Kulkarni: “Developing distributed
applications using model-driven software factories”, TACTiCS,
Hyderabad, 30 Nov ‘06
Vinay Kulkarni: “Engineering software factories
for developing enterprise applications using model-driven
techniques”, GPCE, Portland, USA, 24 Oct ‘06 Back
to Top |
|
