Skip to content

Vangalur S. Alagar

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

27

Venues

19

Active years

1985–2019

Best venue rank

A*

Where they publish

Papers

27 indexed papers, newest first.

YearVenueTitleAuthors
2019ICNCContextual Analysis of Transactional Data.Vangalur S. Alagar, Kaiyu Wan
2017FedCSISDependable Design for Elderly Health Care.Kasi Periyasamy, Vangalur S. Alagar, Kaiyu Wan
2017HealthComPrivacy and security for patient-centric elderly health care.Vangalur S. Alagar, Kasi Periyasamy, Kaiyu Wan
2017ICNCAnalyzing healthcare big data for patient satisfaction.Kaiyu Wan, Vangalur S. Alagar
2016ICNCCharacteristics and classification of big data in health care sector.Kaiyu Wan, Vangalur S. Alagar
2015UICContext-Aware Trust-Based Management of Vehicular Ad-Hoc Networks (VANETs).Vangalur S. Alagar, Kaiyu Wan
2014DASCAchieving Dependability of Cyber Physical Systems with Autonomic Covering.Kaiyu Wan, Vangalur S. Alagar
2013GPCA Resource-Centric Architecture for Service-Oriented Cyber Physical System.Kaiyu Wan, Vangalur S. Alagar
2011APSCCAdaptable Discovery and Ranking of Context-Dependent Services.Naseem Ibrahim, Mubarak Mohammad, Vangalur S. Alagar
2011TrustComDependable Context-Sensitive Services in Cyber Physical Systems.Kaiyu Wan, Vangalur S. Alagar
2005APSECConformance Testing of BDI Properties in Agent-based Software Systems.Mao Zheng, Vangalur S. Alagar
2003APSECAutomated Test Generation from Object-Oriented Specifications of Real-Time Reactive Systems.Vangalur S. Alagar, M. Chen, Olga Ormandjieva, Mao Zheng
2003ISADSA Rigorous Approach to Modeling Autonomous Traffic Control Systems.Vangalur S. Alagar, D. Muthiayen
2002COMPSACReliability Assessment of WEB Applications.Vangalur S. Alagar, Olga Ormandjieva
2002ICFEMThree-Tiered Specification of Micro-architectures.Vangalur S. Alagar, Ralf Lmmel
2002SOFSEMSpecification and Verification of Secure Business Transaction Systems.Vangalur S. Alagar, Kasilingam Periyasamy
2001APSECA Rigorous Method for Testing Real-Time Reactive Systems.Vangalur S. Alagar, Mao Zheng
2001FMA Rigorous Approach to Modeling and Analyzing E-Commerce Architectures.Vangalur S. Alagar, Zheng Xi
2000ICECCSManaging Complexity in Real-Time Reactive Systems.Vangalur S. Alagar, Olga Ormandjieva, Mao Zheng
2000RTCSATowards a mechanical verification of real-time reactive systems modeled in UML.Vangalur S. Alagar, D. Muthiayen
2000RTCSAAutomatic code generation for real-time reactive systems in TROMLAB environment.Vangalur S. Alagar, L. Zhang
2000RTCSAAn approach to a synthesis of formal and visual description techniques for the development of real-time reactive systems.D. Muthiayen, Vangalur S. Alagar, Ferhat Khendek, Azimeh Sefidcon
1996ICECCSAnimating Real-Time Reactive Systems.Vangalur S. Alagar, D. Muthiayen, Ramesh Achuthan
1995CIKMSemantics of an Extended Relational Model for Managing Uncertain Information.Vangalur S. Alagar, Fereidoon Sadri, Joseph N. Said
1995ICECCSAn object-oriented modeling of real-time robotic assembly system.Ramesh Achuthan, Vangalur S. Alagar, Thiruvengadam Radhakrishnan
1990ASIACRYPTRange Equations and Range Matrices: a Study in Statistical Database Security.Vangalur S. Alagar
1985ICRAAlgorithmic motion planning in robotics: Coordinated motion of several disks amidst polygonal obstacles.Greetha Ramanathan, Vangalur S. Alagar