Vangalur S. Alagar

115 papers A* 1A 1B 9C 10Journal 29Unranked 55

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	Ontology Support for Healthcare IoT. SmartIoT Alaa Alsaig, Ammar Alsaig, Yang Liu, Vangalur S. Alagar
2023	—	`conf`	Dependable Service-Oriented Design of Healthcare IoT. SmartIoT Alaa Alsaig, Vangalur S. Alagar
2020	J	`jnl`	Contelog: A declarative language for modeling and reasoning with contextual knowledge. Knowl. Based Syst. Ammar Alsaig, Vangalur S. Alagar, Nematollaah Shiri
2019	J	`jnl`	Characterization and Efficient Management of Big Data in IoT-Driven Smart City Development. Sensors Alaa Alsaig, Vangalur S. Alagar, Zaki Chammaa, Nematollaah Shiri
2019	—	`ed.`	Context-Aware Systems and Applications, and Nature of Computation and Communication - 7th EAI International Conference, ICCASA 2018, and 4th EAI International Conference, ICTCC 2018, Viet Tri City, Vietnam, November 22-23, 2018, Proceedings ICCASA/ICTCC Phan Cong Vinh, Vangalur S. Alagar
2019	—	`conf`	Contextual Analysis of Transactional Data. ICNC-FSKD Vangalur S. Alagar, Kaiyu Wan
2019	—	`conf`	Declarative Approach to Model Checking for Context-Aware Applications. ICCASA/ICTCC Ammar Alsaig, Vangalur S. Alagar, Nematollaah Shiri
2019	—	`conf`	Fundamental Issues in the Design of Smart Home for Elderly Healthcare. ICSAI Vangalur S. Alagar
2019	—	`conf`	Understanding and Measuring Risk due to Uncertainties in IoT. SmartIoT Vangalur S. Alagar, Kaiyu Wan
2018	—	`conf`	Context-Based Security and Privacy for Healthcare IoT. SmartIoT Vangalur S. Alagar, Alaa Alsaig, Olga Ormandjieva, Kaiyu Wan
2018	—	`conf`	Formal Context Representation and Calculus for Context-Aware Computing. ICCASA/ICTCC Ammar Alsaig, Vangalur S. Alagar, Nematollaah Shiri
2018	—	`conf`	Resource-aware Service-oriented Approach for Elderly Healthcare. ICSAI Kaiyu Wan, Vangalur S. Alagar
2017	J	`jnl`	A user-centric semantic-based algorithm for ranking services: design and analysis. Serv. Oriented Comput. Appl. Ammar Alsaig, Vangalur S. Alagar, Mubarak Mohammad, Wadee Alhalabi
2017	—	`conf`	Analyzing healthcare big data for patient satisfaction. ICNC-FSKD Kaiyu Wan, Vangalur S. Alagar
2017	C	`conf`	Dependable Design for Elderly Health Care. FedCSIS Kasi Periyasamy, Vangalur S. Alagar, Kaiyu Wan
2017	—	`conf`	Elderly Health Care - Security and Privacy Issue. ICPCSEE (1) Kaiyu Wan, Vangalur S. Alagar, Peter Oyikanmi
2017	—	`conf`	Modeling Resource-centric Services for Service Adaptation in Cyber Physical Systems. RACS Vangalur S. Alagar, Kaiyu Wan
2017	C	`conf`	Privacy and security for patient-centric elderly health care. Healthcom Vangalur S. Alagar, Kasi Periyasamy, Kaiyu Wan
2016	—	`conf`	Characteristics and classification of big data in health care sector. ICNC-FSKD Kaiyu Wan, Vangalur S. Alagar
2016	—	`ed.`	Context-Aware Systems and Applications - 4th International Conference, ICCASA 2015, Vung Tau, Vietnam, November 26-27, 2015, Revised Selected Papers ICCASA Phan Cong Vinh, Vangalur S. Alagar
2016	J	`jnl`	Dependable Traffic Control Strategies for Urban and Freeway Networks. Mob. Networks Appl. Kaiyu Wan, Nhat Nguyen, Vangalur S. Alagar
2016	—	`conf`	Risk and Vulnerability Analysis of Critical Infrastructure. ICIC (3) Kaiyu Wan, Vangalur S. Alagar
2015	—	`conf`	A Context-Aware Healthcare Architecture for the Elderly. ICCASA Tolulope Peter Oyekanmi, Nhat Nguyen, Vangalur S. Alagar
2015	—	`conf`	Context-Aware Trust-Based Management of Vehicular Ad-Hoc Networks (VANETs). UIC/ATC/ScalCom Vangalur S. Alagar, Kaiyu Wan
2015	—	`conf`	Context-aware, knowledge-intensive, and patient-centric Mobile Health Care Model. FSKD Kaiyu Wan, Vangalur S. Alagar
2015	—	`conf`	Dependable Healthcare Service Automation: A Holistic Approach. ICIC (3) Kaiyu Wan, Vangalur S. Alagar
2015	—	`conf`	Service integration in the Internet of Things. CSCESM Kaiyu Wan, Vangalur S. Alagar
2014	J	`jnl`	A Framework for Developing Context-aware Systems. EAI Endorsed Trans. Context aware Syst. Appl. Vangalur S. Alagar, Mubarak Mohammad, Kaiyu Wan, Sofian Alsalman Hnaide
2014	C	`conf`	Achieving Dependability of Cyber Physical Systems with Autonomic Covering. DASC Kaiyu Wan, Vangalur S. Alagar
2014	J	`jnl`	Advances in Mathematical Methods for Image and Signal Processing. J. Appl. Math. Feng Gao, Gongzhu Hu, Wenying Feng, Tokuro Matsuo, Vangalur S. Alagar
2014	—	`conf`	An approach to designing an autonomic network of traffic managers. ICCVE Vangalur S. Alagar, Kaiyu Wan
2014	J	`jnl`	Context-Aware Security Solutions for Cyber-Physical Systems. Mob. Networks Appl. Kaiyu Wan, Vangalur S. Alagar
2014	—	`ed.`	Context-Aware Systems and Applications - Second International Conference, ICCASA 2013, Phu Quoc Island, Vietnam, November 25-26, 2013, Revised Selected Papers ICCASA Phan Cong Vinh, Vangalur S. Alagar, Emil Vassev, Ashish Khare
2014	J	`jnl`	Context-Aware Systems and Applications. Mob. Networks Appl. Emil Vassev, Vangalur S. Alagar
2014	—	`conf`	Integrating Trust and Economic Theories with Knowledge Science for Dependable Service Automation. STM Vangalur S. Alagar, Kaiyu Wan
2014	—	`conf`	Synthesizing data-to-wisdom hierarchy for developing smart systems. FSKD Kaiyu Wan, Vangalur S. Alagar
2013	C	`conf`	A Resource-Centric Architecture for Service-Oriented Cyber Physical System. GPC Kaiyu Wan, Vangalur S. Alagar
2013	—	`conf`	Integrating Context-Awareness and Trustworthiness in IoT Descriptions. GreenCom/iThings/CPScom Kaiyu Wan, Vangalur S. Alagar
2013	J	`jnl`	Publishing and discovering context-dependent services. Hum. centric Comput. Inf. Sci. Naseem Ibrahim, Mubarak Mohammad, Vangalur S. Alagar
2013	—	`conf`	Storing and Managing Context and Context History. ICCASA Alaa Alsaig, Ammar Alsaig, Mubarak Mohammad, Vangalur S. Alagar
2012	J	`jnl`	A component-based development process for trustworthy systems. J. Softw. Evol. Process. Mubarak Mohammad, Vangalur S. Alagar
2012	—	`conf`	Context-Aware Security Solutions for Cyber Physical Systems. ICCASA Kaiyu Wan, Vangalur S. Alagar
2011	J	`jnl`	A formal approach for the specification and verification of trustworthy component-based systems. J. Syst. Softw. Mubarak Mohammad, Vangalur S. Alagar
2011	C	`conf`	Adaptable Discovery and Ranking of Context-Dependent Services. APSCC Naseem Ibrahim, Mubarak Mohammad, Vangalur S. Alagar
2011	—	`conf`	An Architecture for Managing and Delivering Trustworthy Context-Dependent Services. IEEE SCC Naseem Ibrahim, Mubarak Mohammad, Vangalur S. Alagar
2011	B	`conf`	Dependable Context-Sensitive Services in Cyber Physical Systems. TrustCom Kaiyu Wan, Vangalur S. Alagar
2011	—	`conf`	Managing and Delivering Trustworthy Context-Dependent Services. ICEBE Naseem Ibrahim, Vangalur S. Alagar, Mubarak Mohammad
2011	—	`conf`	Specification and Verification of Context-dependent Services WWV Naseem Ibrahim, Vangalur S. Alagar, Mubarak Mohammad
2011	—	`book`	Specification of Software Systems, Second Edition. Vangalur S. Alagar, Kasilingam Periyasamy
2008	J	`jnl`	Early quality monitoring in the development of real-time reactive systems. J. Syst. Softw. Olga Ormandjieva, Vangalur S. Alagar, Mao Zheng
2005	—	`conf`	A Visualization Tool for Reactive Systems Simulation. Automation, Control, and Information Technology Mubarak Sami, Olga Ormandjieva, Vangalur S. Alagar
2005	—	`conf`	A Visualization Tool for Reactive Systems Simulation. MSV Mubarak Sami, Olga Ormandjieva, Vangalur S. Alagar
2005	C	`conf`	Conformance Testing of BDI Properties in Agent-based Software Systems. APSEC Mao Zheng, Vangalur S. Alagar
2005	—	`conf`	Ensuring service availability for media handling in mobile ad-hoc networks. AMT Vangalur S. Alagar, Olga Ormandjieva, Kaiyu Wan, Mao Zheng
2004	—	`conf`	Reliability Assessment of E-Commerce Applications. ICETE (2) Vangalur S. Alagar, Olga Ormandjieva
2003	—	`conf`	A Compositional Approach to Multimedia Document Dynamics. Multimedia Information Systems Paola Bertolotti, Ombretta Gaggi, Maria Luisa Sapino, Vangalur S. Alagar
2003	C	`conf`	A Rigorous Approach to Modeling Autonomous Traffic Control Systems. ISADS Vangalur S. Alagar, D. Muthiayen
2003	J	`jnl`	A rigorous approach for constructing self-evolving real-time reactive systems. Inf. Softw. Technol. Vangalur S. Alagar, Ramesh Achuthan, M. Haydar, D. Muthiayen, Olga Ormandjieva, Mao Zheng
2003	C	`conf`	Automated Test Generation from Object-Oriented Specifications of Real-Time Reactive Systems. APSEC Vangalur S. Alagar, M. Chen, Olga Ormandjieva, Mao Zheng
2003	—	`conf`	Incremental Testing for Self-Evolving Timed Systems. QSIC Vangalur S. Alagar, Olga Ormandjieva, Mao Zheng
2002	B	`conf`	Reliability Assessment of WEB Applications. COMPSAC Vangalur S. Alagar, Olga Ormandjieva
2002	B	`conf`	Specification and Verification of Secure Business Transaction Systems. SOFSEM Vangalur S. Alagar, Kasilingam Periyasamy
2002	C	`conf`	Three-Tiered Specification of Micro-architectures. ICFEM Vangalur S. Alagar, Ralf Lämmel
2001	—	`conf`	A Rigorous Approach to Modeling and Analyzing E-Commerce Architectures. FME Vangalur S. Alagar, Zheng Xi
2001	C	`conf`	A Rigorous Method for Testing Real-Time Reactive Systems. APSEC Vangalur S. Alagar, Mao Zheng
2001	J	`jnl`	A rigorous method for test templates generation from object-oriented specifications. Softw. Test. Verification Reliab. Kasilingam Periyasamy, Vangalur S. Alagar
2001	—	`conf`	Assessment of Maintainability in Object-Oriented Software. TOOLS (39) Vangalur S. Alagar, Qiaoyun Li, Olga Ormandjieva
2001	—	`conf`	BTOZ: A Formal Specification Language for Formalizing Business Transactions. TOOLS (39) Vangalur S. Alagar, Kasilingam Periyasamy
2000	B	`conf`	An approach to a synthesis of formal and visual description techniques for the development of real-time reactive systems. RTCSA D. Muthiayen, Vangalur S. Alagar, Ferhat Khendek, Azimeh Sefidcon
2000	B	`conf`	Automatic code generation for real-time reactive systems in TROMLAB environment. RTCSA Vangalur S. Alagar, L. Zhang
2000	B	`conf`	Managing Complexity in Real-Time Reactive Systems. ICECCS Vangalur S. Alagar, Olga Ormandjieva, Mao Zheng
2000	—	`conf`	Specification-Based Testing for Real-Time Reactive Systems. TOOLS (34) Vangalur S. Alagar, Olga Ormandjieva, Mao Zheng
2000	B	`conf`	Towards a mechanical verification of real-time reactive systems modeled in UML. RTCSA Vangalur S. Alagar, D. Muthiayen
1999	—	`conf`	Verification and Validation Techniques of Object-Oriented Software Systems. TOOLS (30) Kasilingam Periyasamy, Vangalur S. Alagar, D. Muthiayen
1998	—	`conf`	Adding Real-Time Filters to Object-Oriented Specification of Time Critical Systems. WIFT Kasilingam Periyasamy, Vangalur S. Alagar
1998	—	`book`	Specification of Software Systems. Vangalur S. Alagar, Kasilingam Periyasamy
1997	—	`conf`	Extending Object-Z for Specifying Real-Time Systems. TOOLS (23) Kasilingam Periyasamy, Vangalur S. Alagar
1996	B	`conf`	Animating Real-Time Reactive Systems. ICECCS Vangalur S. Alagar, D. Muthiayen, Ramesh Achuthan
1995	—	`ed.`	Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings AMAST Vangalur S. Alagar, Maurice Nivat
1995	—	`conf`	An Extended Relational Model for Managing Uncertain Information. DEXA Workshop Vangalur S. Alagar, Fereidoon Sadri, Joseph N. Said
1995	B	`conf`	An object-oriented modeling of real-time robotic assembly system. ICECCS Ramesh Achuthan, Vangalur S. Alagar, Thiruvengadam Radhakrishnan
1995	—	`ed.`	Object-Oriented Technology for Database and Software Systems, Proceedings of the Colloquium on Object Orientation in Databases and Software Engineering, COODBSE 1994, 16-17 May 1994, Universite du Quebec a Montreal, Canada. COODBSE Vangalur S. Alagar, Rokia Missaoui
1995	A	`conf`	Semantics of an Extended Relational Model for Managing Uncertain Information. CIKM Vangalur S. Alagar, Fereidoon Sadri, Joseph N. Said
1995	—	`conf`	TROM - An Object Model for Reactive System Development. ASIAN Ramesh Achuthan, Vangalur S. Alagar, Thiruvengadam Radhakrishnan
1994	—	`conf`	An Object-Oriented Framework for Specifying Reactive Systems. COODBSE Ramesh Achuthan, Vangalur S. Alagar, Thiruvengadam Radhakrishnan
1994	—	`ed.`	Incompleteness and Uncertainty in Information Systems, Proceedings of the SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, Concordia University, Montreal, Canada, 8-9 October 1993 SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems Vangalur S. Alagar, Sabine Bergler, Fangqing Dong
1993	J	`jnl`	A formal framework for design and verification of robotic agents. J. Intell. Robotic Syst. Kasilingam Periyasamy, Vangalur S. Alagar, Tien D. Bui
1993	—	`conf`	Completeness in Statechart Models for Reactive Systems. SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems Vangalur S. Alagar, Fangqing Dong, Ramesh Achuthan
1993	—	`ed.`	Formal Methods in Databases and Software Engineering, Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15-16 May 1992 Formal Methods in Databases and Software Engineering Vangalur S. Alagar, Laks V. S. Lakshmanan, Fereidoon Sadri
1993	J	`jnl`	Permutation dependency in datalog programs. Inf. Sci. Vangalur S. Alagar, Pankaj Goyal, P. S. Nair, Fereidoon Sadri
1992	J	`jnl`	A methodology for deriving an object-oriented design from functional specifications. Softw. Eng. J. Vangalur S. Alagar, Kasilingam Periyasamy
1992	—	`conf`	Modeling Time in Information Systems. Formal Methods in Databases and Software Engineering Vangalur S. Alagar
1992	—	`conf`	Transformation of a semi-formal specification to VDM. KBSE J. D'Almeida, Ramesh Achuthan, Thiruvengadam Radhakrishnan, Vangalur S. Alagar
1991	J	`jnl`	Functional Specification and Proof of Correctness for Time Dependent Behaviour of Reactive Systems. Formal Aspects Comput. Vangalur S. Alagar, Greetha Ramanathan
1991	J	`jnl`	Integrated Magic Set Method: a Rule Rewrite Scheme for Optimising Linear Datalog Programs. Comput. J. Vangalur S. Alagar, Pankaj Goyal, P. S. Nair, Fereidoon Sadri
1990	—	`conf`	Range Equations and Range Matrices: a Study in Statistical Database Security. AUSCRYPT Vangalur S. Alagar
1990	J	`jnl`	Semantic CSG trees for finite element analysis. Comput. Aided Des. Vangalur S. Alagar, Tien D. Bui, Kasilingam Periyasamy
1989	—	`book`	Fundamentals of computing - theory and practice. Vangalur S. Alagar
1988	J	`jnl`	Bigeodetic graphs. Graphs Comb. N. Srinivasan, Jaroslav Opatrny, Vangalur S. Alagar
1988	—	`conf`	Formal Environment and Tools Description for the Analysis of Real Time Concurrent Systems. Specification and Verification of Concurrent Systems Vangalur S. Alagar, Greetha Ramanathan
1987	J	`jnl`	A fast, low-space algorithm for multiplying dense multivariate polynomials. ACM Trans. Math. Softw. Vangalur S. Alagar, David K. Probst
1986	J	`jnl`	A human approach to the technological challenges in data security. Comput. Secur. Vangalur S. Alagar
1986	J	`jnl`	Optimal Expected-Time Algorithms for Merging. J. Algorithms Mai Thanh, Vangalur S. Alagar, Tien Dai Bui
1985	A*	`conf`	Algorithmic motion planning in robotics: Coordinated motion of several disks amidst polygonal obstacles. ICRA Greetha Ramanathan, Vangalur S. Alagar
1985	—	`conf`	Exact Computation of the Characteristic Polynomial of an Integer Matrix. AAECC Asish Mukhopadhyay, Vangalur S. Alagar
1985	—	`conf`	Fast Polynominal Decomposition Algorithms. European Conference on Computer Algebra (2) Vangalur S. Alagar, Mai Thanh
1984	—	`conf`	An Environment for High-level Program Development. Fachtagung über Programmiersprachen Peter Grogono, Vangalur S. Alagar
1983	J	`jnl`	Efficient Algorithms for Merging. BIT Vangalur S. Alagar, Tien Dai Bui, Mai Thanh
1982	—	`conf`	An Adaptive Hybrid Algorithm for Multiplying Dense Polynomials. EUROCAM David K. Probst, Vangalur S. Alagar
1981	J	`jnl`	Algorithms for Detecting M-Dimensional Objects in N-Dimensional Spaces. IEEE Trans. Pattern Anal. Mach. Intell. Vangalur S. Alagar, Larry H. Thiel
1981	—	`conf`	Effective inference control mechanisms for securing statistical databases. AFIPS National Computer Conference Vangalur S. Alagar, Bernard Blanchard, David Glaser
1980	J	`jnl`	Algorithms for processing partial match queries using word fragments. Inf. Syst. Vangalur S. Alagar
1980	J	`jnl`	Corrigendum: A Family of Algorithms for Powering Sparse Polynomials. SIAM J. Comput. David K. Probst, Vangalur S. Alagar
1979	J	`jnl`	A Family of Algorithms for Powering Sparse Polynomials. SIAM J. Comput. David K. Probst, Vangalur S. Alagar
1977	—	`conf`	Binomial-Expansion Algorithms for Copmuting Integer Powers of Sparse Polynomials. International Computing Symposium Vangalur S. Alagar, David K. Probst