D. Semenovich and A. Sowmya, Tensor power method for efficient MAP inference in higher-order MRFs, ICPR 2010, Istanbul, Turkey, Aug 23-26, 2010
D. Semenovich and A. Sowmya, A spectral method for context based disambiguation of image annotations, 16th IEEE Int. Conf Image Proc ICIP 2009, Cairo, Egypt, Nov 2009.
Y. Chen, X. Cai and A. Sowmya, Boosted Dynamic Active Shape Model, Image and Vision Computing New Zealand 2009, Wellington, New Zealand, Nov 2009.
A. Sridhar and A. Sowmya, SparseSPOT: Using A Priori 3-D Tracking for Real-Time Multi-Person Voxel Reconstruction, 16th ACM Symposium on Virtual Reality Software and Technology (VRST 2009), Kyoto, Japan, Nov 2009.
A. Sridhar and A. Sowmya, Multiple camera, multiple person tracking with pointing gesture recognition in immersive environments, G. Bebis et al. (eds), Lecture Notes in Computer Science, Vol. 5358, Part I, p. 508-519, Springer Verlag Berlin, 2008.
J. Yang, Y. Wang, A. Sowmya, Z. Li, Vehicle Detection and tracking with low-angle cameras, ICIP 2010, Hong Kong, Sept 26-29, 2010
J. Yang, Y. Wang, G. Ye and A. Sowmya, Feature Clustering for Vehicle Detection and Tracking in Road Traffic Surveillance, 16th IEEE Int. Conf Image Proc ICIP 2009, Cairo, Egypt, Nov 2009.
X. Cai and A. Sowmya, Learning to Tune Level Set Methods, Image and Vision Computing New Zealand 2009, Wellington, New Zealand, Nov 2009.
X. Cai and A. Sowmya (2007), A Level Learning Set: a novel classifier based on active contour models, Machine Learning: ECML 2007, (ed.) J. N. Kok et al., Lectures Notes in Artificial Intelligence, Volume 4701, Springer Verlag, Berlin, p. 79-90.
X. Cai and A. Sowmya (2006), Active Contour with Neural Networks-based Information Fusion Kernel, Lecture Notes in Computer Science, Volume 4233, Eds. Irwin King et al., Springer Verlag, pp. 324-333.
X. Cai and A. Sowmya (2006), Active Contour with Neural Networks-based Information Fusion Kernel, Lecture Notes in Computer Science, Volume 4233, Eds. Irwin King et al., Springer Verlag, pp. 324-333.
K. T. Vo and A. Sowmya, Scale-space representation of lung HRCT images for d iffuse lung disease classification, International Conference on Image and Signal Processing (ICISP 2010), June 30-July 2 2010, Quebec, Canada.
L. Massoptier, A. Misra and A. Sowmya, Automatic Lung Segmentation in HRCT Images with Diffuse Parenchymal Lung Disease Using Graph-Cut, Image and Vision Computing New Zealand 2009, Wellington, New Zealand, Nov 2009.
K. T. Vo and A. Sowmya, Diffuse Lung Disease Classification in HRCT Lung images using generalized Gaussian density modeling of wavelets coefficients, 16th IEEE Int. Conf Image Proc ICIP 2009, Cairo, Egypt, Nov 2009.
K. T. Vo and A. Sowmya, Directional Multi-scale Modeling of High-Resolution Computed Tomography (HRCT) Lung Images for Diffuse Lung Disease Classification, 13th International Conference on Computer Analysis of Images and Patterns CAIP 2009, Sept 2009.
M Prasad, A Sowmya (2009), P. Wilson, Multi-level Classification of Emphysema in HRCT lung images, Pattern Analysis and Applications Journal, 12 (1), p 9-20, 2009, Springer London (also published online Nov 2007).
M. Prasad and A. Sowmya, Multi-level Classification of Emphysema in HRCT lung images using delegated classifiers, D. Metaxas, L. Axel, G.Fichtinger and G. Szekely (eds), Medical Image Computing and Computer-Assisted Intervention - MICCAI 2008, Lecture Notes in Computer Science, Volume 5241, Springer Berlin , p. 59-66, 2008.
M. Prasad, A. Sowmya and P. Wilson (2008), Automatic detection of bronchial dilatation in HRCT lung images, Journal of Digital Imaging, Vol. 21, Suppl 1, pp S148-163, 8 May 2008 (online), Springer NY.
M Prasad, A Sowmya, I Koch (2008), Designing relevant features for continuous datasets using ICA, International Journal of Computational Intelligence and Applications, Vol. 7 (4), p. 447-468, Imperial College Press, London, 2008.
A. Shamsheyeva, A. Sowmya and P. Wilson (2008), Segmentation of lung patterns in high-resolution computed tomography images of the lung, International Journal of Computational Intelligence and Applications, 7(3), p. 265-280, Imperial College Press, London.
J. Schaeffer, M. Rudrapatna, A. Sowmya and P. Wilson, Comprehensive emphysema subtype diagnosis using structured expert knowledge, Proc The First International Workshop on Pulmonary Image Analysis, in In M. Brown, M. de Bruijne, B. van Ginneken, A. Kiraly, J.-M. Kuhnigk, C. Lorenz, K. Mori, and J. M. Reinhardt, editors, First International Workshop on Pulmonary Image Analysis, pages 135-144, held as part of 11th International Conf on Medical Image Computing and Computer assisted intervention, New York City, USA, Sept 6, 2008. ISBN: 978-1-4357-5952-7
M. Rudrapatna, P. Amaratunga, M. Prasad, A. Sowmya and P. Wilson (2006), Automatic Detection of Tram tracks on HRCT images, Proc. International Conference on Image Processing ICIP 2006, Atlanta, Georgia.
M. Prasad, A. Sowmya and P. Wilson (2006), Automatic detection of bronchial dilatation in HRCT lung images, Proc. International Conference on Pattern Recognition, Hong Kong.
A. Misra, A. Sowmya and P. Compton (2006), Incremental learning for segmentation in medical images, IEEE Symp. Medical Imaging, Arlington, Virginia, USA
A. Misra, M. Rudrapatna and A. Sowmya (2004), Automatic lung segmentation: a comparison of anatomical and machine learning approaches, Proc. Int Conf. Intell. Sensors, Sensor Networks and Info Proc., 451-456.
M. Prasad, A. Sowmya and I. Koch (2004), Efficient feature selection based on independent component analysis, Proc. Int Conf. Intell. Sensors, Sensor Networks and Info Proc.
M. Prasad and A. Sowmya (2004), Multi-view learning for bronchovascular pair detection, Proc. Int Conf. Intell. Sensors, Sensor Networks and Info Proc.
A. Shamsheyeva and A. Sowmya (2004), An anisotropic Gaussian kernel for SVM classification of HRCT images of the lung, Proc. Int Conf. Intell. Sensors, Sensor Networks and Info Proc.
C. M. J. Wang, M. Rudrapatna and A. Sowmya (2004), Lung Disease detection using frequency spectrum analysis, Proc. Fourth Indian Conf. Computer Vision, Graphics and Image Proc., 485-490.
M. Rudrapatna, A. Sowmya, P. Wilson (2004), Automatic detection of hilum and parenchymal bands on HRCT lung images, Proc IEEE Conf Cybernetics and Intelligent Systems CIS 2004, 768-773.
M. Prasad, A. Sowmya and I. Koch (2004), Feature Subset Selection using ICA for classifying Emphysema in HRCT Images, International Conference on Pattern Recognition 2004, Cambridge, UK.
A. Misra, A. Sowmya and P.Compton (2004), Incremental learning of control knowledge for lung boundary extraction, Pacific Rim Knowledge Acquisition Workshop, Auckland.
M. Prasad and A. Sowmya (2004), Detection of Bronchovascular pairs on HRCT Lung Images through Relational Learning, IEEE International Symposium on Biomedical Imaging: From Nano to Macro 2004, p. 1135-1138.
M. Prasad and A. Sowmya (2004), Multi-level Emphysema diagnosis in HRCT lung images through robust multi-view and meta learning, Asian Conference on Computer Vision, Jeju Island, Korea.
M. Prasad and A. Sowmya (2004), Label correction and multi-class unsupervised classification of HRCT lung images, ICISIP - 2004 International Conference on Intelligent Sensing and Information Processing, Chennai, India.
P. T. Chiu and A. Sowmya (2001), Lung Boundary Detection and Low Level feature extraction aand analysis from HRCT images", VISIM: Information Retrieval and Exploration of Large Medical Image Collections, Utrecht, The Netherlands, Oct 2001 (held in conjunction with Fourth International Conference on Medical Image Computing and Computer-Assisted Intervention).
M. Rudrapatna, V. Mai, A. Sowmya, P. Wilson (2005), Knowledge-driven automated detection of pleural plaques and thickening in High Resolution CT of the lung, Lecture Notes in Computer Science, G. E. Christiansen and M. Sonka (eds), LNCS 3565, Springer, 270-285.
N. Seow, A. Sowmya and Changming Sun (2005), Multi-image 2D-PAGE Feature Detection, in Proc. Digital Image Computing: Techniques and Applications, p.134-141.
A. Misra, A. Sowmya and P. Compton, Incremental Learning of control knowledge for lung boundary extraction, PAKAW 2010, Daegu, Korea, Aug 30-Sept 3, 2010 (accepted 26 May, 2010).
A. Misra, A. Sowmya and P. Compton, Impact of Quasi-expertise on Knowledge Acquisition in Computer Vision, Image and Vision Computing New Zealand 2009, Wellington, New Zealand, Nov 2009
P. Compton, B. H. Kang, R. Martinez-Bejar, M. Rudrapatna and A. Sowmya, Situated Cognition in the Semantic Web Era, Knowledge Engineering: Practice and Patterns, R. Goebel, J.Siekmann and W. Wahlster (ed), Lecture Notes in Computer Science, Vol.5268, p. 374-387, Springer Berlin, 2008.
M. Rudrapatna and A. Sowmya (2006), Feature Weighted Minimum Distance Classifier with Multi-class Confidence Estimation, Lecture Notes in Computer Science, Volume 4304, Springer Verlag, Berlin, p. 253-263.
J. Trinder and A. Sowmya, Towards automation of information extraction from aerial and satellite images, in Geospatial Technology for Earth Observation, Li, Deren; Shan, Jie; Gong, Jianya (Eds.), p. 289-328, Springer 2009.
X. Cai, A. Sowmya and J. Trinder (2006), Machine Learning Approach for Automatic Road Extraction, Proceedings of the ASPRS 2006 Annual Conference, Reno, Nevada, USA.
X. Cai, A. Sowmya and J. Trinder (2005), Learning to Recognise Roads from High Resolution Remotely Sensed Images, Proc. 2nd International Conference on Intelligent Sensors, Sensor Networks and Information Processing - (ISSNIP 2005), 307- 312.
J. Y. Lai, A. Sowmya and Trinder (2005), J., Support Vector Machine experiments for road recognition in high resolution images, Proc. MLDM 2005, in: P. Perner and A. Imiya (Eds.), Machine Learning and Data Mining in Pattern Recognition, Springer Verlag, LNAI 3587.
N. Yager and A. Sowmya (2003), Support Vector Machines for Road Extraction from Remotely Sensed Images, Computer Analysis of Images and Patterns, Lecture Notes in Computer Science, N. Petkov and M. A. Westenberg (eds), LNCS 2756, Springer Verlag, p. 285-292.
A. Chen, G. Donovan, A. Sowmya and J. Trinder (2002), Inductive Clustering: automating low-level segmentation in high resolution images, ISPRS Commission III, Vol, 34, Part 3A, Photogrammetric Computer Vision, Graz, p. 73-78.
A. Chen, G. Donovan and A. Sowmya (2002), A comparative evaluation of road classification techniques for high resolution imagery, Proc of Second Pattern Recognition for Remote Sensing Workshop, ed. M. Petrou, , Niagara Falls, Canada, p.13- 17, BMVA Press.
A. Chen, G. Donovan and A. Sowmya (2002), Recent Progress on RAIL: automating clustering and comparison of multiple classification techniques on high resolution remotely sensed imagery, Proc. ICML-2002 Workshop Machine Learning in Computer Vision, ed. A. Sowmya and T. Zrimec, p. 1-8.
S. Bandyopadhyay, A. Sowmya and U. Maulik, Genetic classifier for extracting road segments, Proc. International conference on communications, computers and devices (ICCCD), vol II, December, 2000, pp.- 455-458 (editors: S. L.Maskara and T. S. Lamba)
C. Teoh and A. Sowmya, Junction Extraction from high resolution images by composite learning, XIX Congress of the Int. Society for Photogrammetry and Remote Sensing (ISPRS), Amsterdam, The Netherlands, 16-23 July 2000.
C. Y. Teoh. A. Sowmya and S. Bandyopadhyay, Road Extraction from high resolution images by composite learning, Intl Conf. Advances in Intelligent Systems: Theory and Applications, AISTA 2000, Canberra, Australia, Feb 2-4, 2000.
A. Sowmya and J. Trinder, Modelling and Representational Issues in Automated Feature Extraction from Aerial and Satellite Images, J. ISPRS, vol. 55, no. 1, p. 34-47, Feb. 2000.
J. C. Trinder and A. Sowmya, ``Automation for information extraction for GIS'', DMGIS 99, Bejing, China, Oct 1999, Int. Arch. of Photogramm. and Remote Sens., Vol. 32, Part 3-2W12, p. 45-50. (invited paper)
J. C. Trinder, A. Nachimuthu, Y. Wang, A. Sowmya and S. Singh, Artificial Intelligence Techniques for road extraction from aerial images, ISPRS Conference Automatic Extraction of GIS Objects from Digital Imagery, Munich, Germany, Sept 1999, Int. Arch. of Photogram. and Rem. Sens., Vol. 32, Part 3-2W5, p. 113-118.
A. Sowmya and S. Singh, RAIL: Extracting road segments from aerial images using machine learning, Proc. ICML 99 Workshop on Learning in Vision, Bled, Slovenia, J. Stefan Inst., Ljubljana, p. 8-19, 1999.
A. Malwatte, M. Kaggoda and A. Sowmya, Digital Map Comparison using Spatial reasoning, NSF Intl Workshop on Integrated Spaitial Databases: Digital Images and GIS, Portland, Maine, USA, June 99. Singh, S. and Sowmya, A., RAIL: Road Recognition from aerial images using inductive learning, ISPRS Commission III Symposium Object Recognition and Scene Classification from Multispectral and Multisensor pixels, (Eds) T. Schenk and A. Habib, Vol. 32, Part 3/1, p. 367-378, 1998.
J. Trinder, Y. Wang, A. Sowmya and M. Palhang, Artificial Intelligence Methods in 3-D Feature Extraction, in Automatic Extraction of Man-made objects from Aerial and Space Images (II), ed. A. Gruen, E. P. Baltsavias and O. Henricsson, Birkhauser Verlag, Basel, 1997, p. 257-266.
M. Palhang and A. Sowmya, Learning Discriminatory and Descriptive Rules by an Inductive Logic Programming System, Proc. 16th Intl Conf. Machine Learning ICML 99, Bled, Slovenia, Morgan Kaufmann, Calif., p. 288-297, 1999.
M. Palhang and A. Sowmya, Feature Extraction: Issues, New Features, and Symbolic Representation, in Huijmans, D. P. . and Smeulders, A. W. M. (ed.), Visual Information and Information Systems, LNCS 1614, Springer 1999, p. 418-426.
Palhang, M. and Sowmya, A., Automatic Acquisition of Object Models by Relational Learning, in C. Leung (ed.), Visual Information Systems, Lecture Notes in Computer Science Vol. 1306, p. 239-258, Springer Verlag, Berlin, 1997.
M. Palhang and A. Sowmya, Classifying objects by a functional learning system, Visual '97 Second Intl Conf. Visual Information Systems, San Diego, USA, Dec 15-17, 1997, p. 29-36, Knowledge Systems Institute, Skokie, IL, USA.
Palhang, M. and Sowmya, A., Experiments with FOIL to induce spatial descriptiions, PRICAI-96 Workshop on Inducing Complex Representations, Cairns, Aug 26-30, 1996, p. 53-64.
Sowmya, A. and Palhang, M., Automatic Model Building from Images for Multimedia Systems, Third Intl Conf. Multimedia Modelling, Toulouse, France, Nov 12-15, 1996, p. 355-370 in (eds) J. P. Courtiat and M. Diaz, Multimedia modeling- towards the information superhighway, World Scientific Publ, Singapore, 1996.
Maziar Palhang and A. Sowmya, Learning Object models by inductive logic programming, Proc. Visual 96 First Intl Conf Visual Information Systems, Melbourne, Australia, Feb 1996, p. 335-344.
A. Sowmya and K. W. E. Lee, Generating Symbolic Descriptions of two-dimensional blocks world, Proc. IAPR Intl Workshop on Machine Vision Applications, Kawasaki, Japan, 13-15 Dec 1994, p. 65-70.
C. F. Lee and A. Sowmya (2004), Vision based simultaneous localization and map building (SLAM), Proc. IEEE Conf. Robotics, Automation and Mechatronics RAM 04, Singapore.
Arcot Sowmya, David Tsz-Wang So, Wan Hung Tang, Design of a Mobile Robot Controller using Esterel Tools, ETAPS 2002 Satellite event Synchronous Languages, Applications and Programming, Grenoble, France, April 2002, Electronic Notes in Theoretical Computer Science 65, No. 5, 2002.
A. Sowmya, S. Bajaj and S. Ramesh, Design of distributed control for Autolab, Proc. 13th World Congress of International Federation of Automatic Control, San Francisco, USA, June 30-July 5, 1996i, Gertler, J. J., Cruz, Jr, J. B. and Peshkin, M. (Eds), Vol. O, p. 285-290, IFAC, 1996.
S. Bajaj, A. Sowmya, S. Ramesh and N. Ahmed, Control design for Autolab using the reactive paradigm, Proc. 13th IFAC Intl Workshop on Distributed Computer Control Systems, Toulouse-Blagnac, France, A. E. K. Sahraoui and J. A. de la Puente (Eds), p. 167-172, Elsevier Science, 1995.
S. S. Park and A. Sowmya, Autonomous robot navigation by active visual motion analysis and understanding, Proc. IAPR Workshop on Machine Vision Applications, Makuhari, Chiba, Japan, Nov 17-19, 1998, p. 38-41.
M. W. Peters and A. Sowmya, Integrated techniques for self-organisation, sampling, habituation, and motion tracking in visual robotics applications, Proc. IAPR Workshop on Machine Vision Applications, Makuhari, Chiba, Japan, Nov 17-19, 1998, p. 199-202.
Peters, M. and Sowmya, A., A Real-time Variable Sampling Technique: DIEM, International Conference on Pattern Recognition, IEEE, Brisbane, Australia, 17-20, August, 1998.
M. W. Peters and A. Sowmya, WRAITH: Ringing changes in a changing world, Fourth Conference of the Australasian Cognitive Science Society, Newcastle, Australia, 26-28 September 1997.
Peters, M. and Sowmya, A., Active Vision and Adaptive Learning, SPIE Intl Symp. Intelligent Systems and Advanced Manufacturing- Intelligent Robots and Computer Vision XV: Algorithms, Techniques, Active Vision and Materials handling, Boston, Nov 18-22 1996, (ed) D. P. Casasent, Vol. SPIE 2904, p. 413-424.
K. Avnit, J.Peddersen and A. Sowmya, ACS: Automatic Converter Synthesis for SoC bus protocols, Proc. TACAS 2010, Lecture Notes in Computer Science 6015, Springer 2010
K. Avnit and A. Sowmya, A formal approach to design space exploration of protocol converters, DATE 2009 Design Automation and Test Europe, April 2009.
K. Avnit, V. D'silva, A. Sowmya, S. Ramesh and S. Parameswaran, Provably Cor rect On-Chip Communication: A Formal Approach to Automatic Protocol Converter Sy nthesis, ACM Trans. on Design Automation of Electronic Systems, 14(2):1-41, 2009.
K. Avnit, V. D'silva, A. Sowmya, S. Ramesh and S. Parameswaran, A Formal Approach To The Protocol Converter Problem, DATE 2008 Design Automation and Test Europe, Munich, Mar 10-14, 2008.
V. d'Silva, S. Ramesh and A. Sowmya (2005), Synchronous Protocol Automata: a framework for modelling and verification of SoC communication architectures, IEE Proc. Computers and Digital Techniques, 152 (1), 20-27.
V. D'Silva, S. Ramesh, A. Sowmya (2004), Bridge over troubled wrappers: automatic interface synthesis, Proc. 17th Intl Conf on VLSI Design, Mumbai, India, (ed) A. N. Chandorkar, D. Sharma and S. T. Chakradhar, IEEE Computer Society, Piscataway, NJ, p. 189 - 194.
V. D'Silva, S. Ramesh, A. Sowmya (2004), Synchronous Protocol Automata: a framework for modelling and verification of SoC communication architectures, Proc. Design, Automation and Test in Europe Conf and Exhibition, Paris, France, (ed) J. Figueras and G. Gielen, IEEE Computer Society, Piscataway, NJ, vol. I, p. 390-395.
P. Roop, A. Sowmya, S. Ramesh and Haifeng Guo (2004), Tabled Logic Programming based IP Matching tool using Forced simulation, IEE Proc. Computers and Digital Techniques, 151 (3), 100-208.
P. S. Roop, A. Sowmya and S. Ramesh, k-time Forced Simulation: a formal verif ica tion technique for IP reuse, Proc. 2002 IEEE International Conf. on Computer Des ign: VLSI in Computers and Processors, Freiburg, Germany, Sept 2002, p. 50-55, I EEE Computer Society.
P. Roop, A. Sowmya and S. Ramesh (2001), Forced Simulation: a technique for automating component reuse in embedded systems, ACM Transactions on Design Automation of Electronic Systems, 6 (4), p. 602-628.
Partha Roop, A. Sowmya, S. Ramesh, A Formal Approach to Component Based Development of Synchronous Programs, Proc. ASP-DAC 2001 Asia and South Pacific Design Automation Conference 2001, IEEE, New Jersey, p. 421-424, 2001.
P. S. Roop. A. Sowmya and S. Ramesh, Automated component adaptation by forced simulation, Proc 5th Australasian Computer Architecture Conference, ACAC 2000, Canberra, Feb 2000, ed. G. Heiser, Australian Computer Science Commun ications, Vol 22, No 4, p. 74-81, IEEE Computer Sci Society, Los Alamitos, Cal.
P. Roop, A. Sowmya and S. Ramesh, Automatic Component Matching using Forced Simulation, Proc. 13th International Conference on VLSI Design, Calcutta, India, Jan 2000, IEEE Computer Society Press, p. 64-69, 2000.
T. Bourke and A. Sowmya, Automatically Transforming and Relating Uppaal Models of Embedded Systems, Luca de Alfaro, Jens Palsberg (Eds.): Proceedings of the 8th ACM & IEEE International conference on Embedded software, EMSOFT 2008, Atlanta, GA, USA, October 19-24, 2008. p. 59-68, ACM 2008.
T. Bourke and A. Sowmya (2006), A Timing Model for Synchronous Language Implementations in Simulink, Proc. EMSOFT06, Oct 2006, Seoul, South Korea, ACM Press.
T. Bourke and A. Sowmya (2005), Formal Models in Industry Standard Tools: An Argos Block within Simulink, Int. J. Software Engineering and Knowledge Engineering, 15(2), 389-395.
A. Sowmya, D. T. So, W.H. Tang (2002), Design of a Mobile Robot Controller using Esterel Tools, ETAPS 2002 Satellite event Synchronous Languages, Applications and Programming, Grenoble, France, April 2002, Electronic Notes in Theoretical Computer Science, 65 (5).
P. Ramsokul and A. Sowmya (2007), An Adaptable Model for Web Services Protocols, 2nd Int. Conference on Internet and Web (ICIW), IEEE Computer Society.
P. Ramsokul, A. Sowmya and S. Ramesh (2007), A Test Bed for Web Services Protocols, Proc. 2nd Int. Conference on Internet and Web (ICIW), IEEE Computer Society.
P. Ramsokul and A. Sowmya (2006), ASEHA: A Framework for Modelling and Verification of Web Services Protocols, Proc. 4th IEEE International Conference on Software Engineering and Formal Methods, Pune, India.
P. Ramsokul and A. Sowmya (2006), A Sniffer Based Approach to WS Protocol Conformance Checking, The 5th International Symposium on Parallel and Distributed Computing, Proc. ISPDC 2006, Timisoara, Romania, IEEE Press.
Roop P., Sowmya A., Mormanis, G. C., Baldwin, S. S., Application of CFSMcharts for modelling real-time and industrial embedded systems, 15th IFAC Workshop Distributed Computer Control Systems, Como, Italy, Sept 9-11 1998.
P. Roop and A. Sowmya, Hidden Time Model for Specification and Verification of Embedded Systems, 10th Euromicro Workshop on Real-Time Systems, IEEE Computer Society Press, Berlin, Germany, 17th to 19th June 1998.
A. Sowmya and S. Ramesh, Extending Statecharts with Temporal Logic, IEEE Trans. Softw. Eng, Vol. 24, No. 3, Mar 1998, p. 216-231.
P. Roop and A. Sowmya, CFSMcharts: A New Language for Microprocessor Based System Design, 11th International Conference on VLSI Design 1998, IEEE Computer Society, Chennai (Madras), India, 4th - 7th January 1998.
P. Roop and A. Sowmya, Functional Decomposition of Composite Finite State Machines, The 4th Annual Australasian Conference on Parallel and Real-Time Systems (PART ' 97), Springer Verlag (LNCS), 20-30 Sept., Newcastle, NSW-2308, Australia, 1997.
A. Sowmya and S. Ramesh, A semantics-preserving transformation of statecharts to FNLOG, Proc. 14th IFAC Workshop on Distributed Computer Control Systems, July 28-30 1997, Seoul, Korea, W. H. Kwon (ed), Elsevier Science Press, 1997.
Sowmya, A. and J. Zic, Process Algebraic techniques for time-critical software design: a review, Third Australasian Conf Parallel and Real-time Systems, Brisbane, Sept 1996, p. 109-116.
A. Sowmya, Comparing RTL and FNLOG- timing properties in real-time systems, Proc. 12th IFAC Intl Workshop on Distributed Computer Control Systems, Toledo, Spain, 28-30 Sept 1994, de la Puente and M. G. Rodd (Ed), Elsevier Science, 1995.
A. Sowmya, "Specification of Real-time job scheduling systems using timed statecharts", IFAC 1993 World Congress, Sydney, Australia, July 1993.
A. Sowmya, "A statecharts-based specification and verification of real-time job-scheduling systems", Control Engineering Practice, Vol. 1, No. 1, pp.107-114, Pergamon Press, 1993.
A. Sowmya, A statecharts-based specification and verification of real-time job scheduling systems, Proc. 18th IFAC/IFIP workshop on Real-time programming, Bruges, Belgium, June 1992, p. 263-268.