


Остановите войну!
for scientists:


default search action
Vangalur S. Alagar
Vasu S. Alagar
Person information

- affiliation: Concordia University, Montreal, Canada
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2020
- [j31]Ammar Alsaig, Vangalur S. Alagar, Nematollaah Shiri:
Contelog: A declarative language for modeling and reasoning with contextual knowledge. Knowl. Based Syst. 207: 106403 (2020)
2010 – 2019
- 2019
- [j30]Alaa Alsaig, Vangalur S. Alagar, Zaki Chammaa, Nematollaah Shiri:
Characterization and Efficient Management of Big Data in IoT-Driven Smart City Development. Sensors 19(11): 2430 (2019) - [c95]Ammar Alsaig, Vangalur S. Alagar, Nematollaah Shiri:
Declarative Approach to Model Checking for Context-Aware Applications. ICCASA/ICTCC 2019: 3-10 - [c94]Vangalur S. Alagar, Kaiyu Wan:
Contextual Analysis of Transactional Data. ICNC-FSKD 2019: 1054-1062 - [c93]Vangalur S. Alagar:
Fundamental Issues in the Design of Smart Home for Elderly Healthcare. ICSAI 2019: 621-625 - [c92]Vangalur S. Alagar, Kaiyu Wan:
Understanding and Measuring Risk due to Uncertainties in IoT. SmartIoT 2019: 484-488 - [e7]Phan Cong Vinh, Vangalur S. Alagar:
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. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 266, Springer 2019, ISBN 978-3-030-06151-7 [contents] - 2018
- [c91]Ammar Alsaig
, Vangalur S. Alagar, Nematollaah Shiri:
Formal Context Representation and Calculus for Context-Aware Computing. ICCASA/ICTCC 2018: 3-13 - [c90]Kaiyu Wan, Vangalur S. Alagar:
Resource-aware Service-oriented Approach for Elderly Healthcare. ICSAI 2018: 1199-1205 - [c89]Vangalur S. Alagar, Alaa Alsaig, Olga Ormandjieva, Kaiyu Wan:
Context-Based Security and Privacy for Healthcare IoT. SmartIoT 2018: 122-128 - 2017
- [j29]Ammar Alsaig
, Vangalur S. Alagar, Mubarak Mohammad, Wadee Alhalabi
:
A user-centric semantic-based algorithm for ranking services: design and analysis. Serv. Oriented Comput. Appl. 11(1): 101-120 (2017) - [c88]Kasi Periyasamy, Vangalur S. Alagar, Kaiyu Wan:
Dependable Design for Elderly Health Care. FedCSIS 2017: 803-806 - [c87]Vangalur S. Alagar, Kasi Periyasamy, Kaiyu Wan:
Privacy and security for patient-centric elderly health care. Healthcom 2017: 1-6 - [c86]Kaiyu Wan, Vangalur S. Alagar:
Analyzing healthcare big data for patient satisfaction. ICNC-FSKD 2017: 2084-2091 - [c85]Kaiyu Wan, Vangalur S. Alagar, Peter Oyikanmi:
Elderly Health Care - Security and Privacy Issue. ICPCSEE (1) 2017: 276-291 - [c84]Vangalur S. Alagar, Kaiyu Wan:
Modeling Resource-centric Services for Service Adaptation in Cyber Physical Systems. RACS 2017: 236-240 - 2016
- [j28]Kaiyu Wan, Nhat Nguyen, Vangalur S. Alagar:
Dependable Traffic Control Strategies for Urban and Freeway Networks. Mob. Networks Appl. 21(1): 98-126 (2016) - [c83]Kaiyu Wan, Vangalur S. Alagar:
Risk and Vulnerability Analysis of Critical Infrastructure. ICIC (3) 2016: 54-66 - [c82]Kaiyu Wan, Vangalur S. Alagar:
Characteristics and classification of big data in health care sector. ICNC-FSKD 2016: 1439-1446 - [e6]Phan Cong Vinh, Vangalur S. Alagar:
Context-Aware Systems and Applications - 4th International Conference, ICCASA 2015, Vung Tau, Vietnam, November 26-27, 2015, Revised Selected Papers. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 165, Springer 2016, ISBN 978-3-319-29235-9 [contents] - 2015
- [c81]Kaiyu Wan, Vangalur S. Alagar:
Service integration in the Internet of Things. CSCESM 2015: 76-82 - [c80]Kaiyu Wan, Vangalur S. Alagar:
Context-aware, knowledge-intensive, and patient-centric Mobile Health Care Model. FSKD 2015: 2253-2260 - [c79]Tolulope Peter Oyekanmi, Nhat Nguyen, Vangalur S. Alagar:
A Context-Aware Healthcare Architecture for the Elderly. ICCASA 2015: 21-30 - [c78]Kaiyu Wan, Vangalur S. Alagar:
Dependable Healthcare Service Automation: A Holistic Approach. ICIC (3) 2015: 766-777 - [c77]Vangalur S. Alagar, Kaiyu Wan:
Context-Aware Trust-Based Management of Vehicular Ad-Hoc Networks (VANETs). UIC/ATC/ScalCom 2015: 255-261 - 2014
- [j27]Vangalur S. Alagar, Mubarak Mohammad, Kaiyu Wan, Sofian Alsalman Hnaide:
A Framework for Developing Context-aware Systems. EAI Endorsed Trans. Context aware Syst. Appl. 1(1): e2 (2014) - [j26]Feng Gao, Gongzhu Hu, Wenying Feng, Tokuro Matsuo, Vangalur S. Alagar:
Advances in Mathematical Methods for Image and Signal Processing. J. Appl. Math. 2014: 245067:1-245067:2 (2014) - [j25]Kaiyu Wan, Vangalur S. Alagar:
Context-Aware Security Solutions for Cyber-Physical Systems. Mob. Networks Appl. 19(2): 212-226 (2014) - [j24]Emil Vassev, Vangalur S. Alagar:
Context-Aware Systems and Applications. Mob. Networks Appl. 19(5): 583-584 (2014) - [c76]Kaiyu Wan, Vangalur S. Alagar:
Achieving Dependability of Cyber Physical Systems with Autonomic Covering. DASC 2014: 139-145 - [c75]Kaiyu Wan, Vangalur S. Alagar:
Synthesizing data-to-wisdom hierarchy for developing smart systems. FSKD 2014: 473-478 - [c74]Vangalur S. Alagar, Kaiyu Wan:
An approach to designing an autonomic network of traffic managers. ICCVE 2014: 842-849 - [c73]Vangalur S. Alagar, Kaiyu Wan:
Integrating Trust and Economic Theories with Knowledge Science for Dependable Service Automation. STM 2014: 1-16 - [e5]Phan Cong Vinh, Vangalur S. Alagar, Emil Vassev, Ashish Khare:
Context-Aware Systems and Applications - Second International Conference, ICCASA 2013, Phu Quoc Island, Vietnam, November 25-26, 2013, Revised Selected Papers. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 128, Springer 2014, ISBN 978-3-319-05938-9 [contents] - 2013
- [j23]Naseem Ibrahim, Mubarak Mohammad, Vangalur S. Alagar:
Publishing and discovering context-dependent services. Hum. centric Comput. Inf. Sci. 3: 1 (2013) - [c72]Kaiyu Wan, Vangalur S. Alagar:
A Resource-Centric Architecture for Service-Oriented Cyber Physical System. GPC 2013: 686-693 - [c71]Kaiyu Wan, Vangalur S. Alagar:
Integrating Context-Awareness and Trustworthiness in IoT Descriptions. GreenCom/iThings/CPScom 2013: 1168-1174 - [c70]Alaa Alsaig, Ammar Alsaig, Mubarak Mohammad, Vangalur S. Alagar:
Storing and Managing Context and Context History. ICCASA 2013: 35-46 - [c69]Kaiyu Wan, Vasu S. Alagar, Bai Wei:
Intelligent Graphical User Interface for Managing Resource Knowledge in Cyber Physical Systems. KSEM 2013: 89-103 - 2012
- [j22]Mubarak Mohammad, Vangalur S. Alagar:
A component-based development process for trustworthy systems. J. Softw. Evol. Process. 24(7): 815-835 (2012) - [c68]Kaiyu Wan, Vangalur S. Alagar:
Context-Aware Security Solutions for Cyber Physical Systems. ICCASA 2012: 18-29 - [c67]Kaiyu Wan, Vasu S. Alagar:
A Context-Aware Multi-Agent Systems Architecture for Adaptation of Autonomic Systems. Intelligent Information Processing 2012: 387-397 - 2011
- [b3]Vangalur S. Alagar, Kasilingam Periyasamy:
Specification of Software Systems, Second Edition. Texts in Computer Science, Springer 2011, ISBN 978-0-85729-276-6, pp. I-XXV, 1-644 - [j21]Mubarak Mohammad, Vangalur S. Alagar:
A formal approach for the specification and verification of trustworthy component-based systems. J. Syst. Softw. 84(1): 77-104 (2011) - [c66]Naseem Ibrahim, Mubarak Mohammad, Vangalur S. Alagar:
An Architecture for Managing and Delivering Trustworthy Context-Dependent Services. IEEE SCC 2011: 737-738 - [c65]Naseem Ibrahim, Mubarak Mohammad, Vangalur S. Alagar:
Adaptable Discovery and Ranking of Context-Dependent Services. APSCC 2011: 223-230 - [c64]Naseem Ibrahim, Vangalur S. Alagar, Mubarak Mohammad:
Managing and Delivering Trustworthy Context-Dependent Services. ICEBE 2011: 358-363 - [c63]Kaiyu Wan, Vangalur S. Alagar:
Dependable Context-Sensitive Services in Cyber Physical Systems. TrustCom 2011: 687-694 - [c62]Naseem Ibrahim, Vangalur S. Alagar, Mubarak Mohammad:
Specification and Verification of Context-dependent Services. WWV 2011: 17-33 - 2010
- [c61]Vasu S. Alagar, Mubarak Mohammad, Kaiyu Wan:
The Role of Concept, Context, and Component for Dependable Software Development. ICFCA 2010: 34-50
2000 – 2009
- 2009
- [c60]Kaiyu Wan, Mubarak Mohammad, Vasu S. Alagar:
A Formal Model of Business Application Integration from Web Services (Position Paper). SOFSEM 2009: 656-667 - 2008
- [j20]Mao Zheng, Vasu S. Alagar, Olga Ormandjieva:
Automated generation of test suites from formal specifications of real-time reactive systems. J. Syst. Softw. 81(2): 286-304 (2008) - [j19]Olga Ormandjieva, Vangalur S. Alagar, Mao Zheng:
Early quality monitoring in the development of real-time reactive systems. J. Syst. Softw. 81(10): 1738-1753 (2008) - [c59]Mubarak Mohammad, Vasu S. Alagar:
TADL - An Architecture Description Language for Trustworthy Component-Based Systems. ECSA 2008: 290-297 - [c58]Kaiyu Wan, Vasu S. Alagar:
A Context-Aware Trust Model for Service-Oriented Multi-Agent Systems. ICSOC Workshops 2008: 221-236 - [c57]Kaiyu Wan, Vasu S. Alagar:
An Intensional Functional Model of Trust. IFIPTM 2008: 69-85 - 2007
- [c56]Kaiyu Wan, Vasu S. Alagar, Zongyuan Yang:
A Context-Based Analysis of Intrusion Detection for Policy Violation. CIS 2007: 692-696 - [c55]Vasu S. Alagar, Kaiyu Wan:
Context Based Enforcement of Authorization for Privacy and Security in Identity Management. IDMAN 2007: 25-37 - [c54]Vasu S. Alagar, Mubarak Mohammad:
Specification and verification of trustworthy component-based real-time reactive systems. SAVCBS 2007: 89-93 - [c53]Kaiyu Wan, Vasu S. Alagar, Zongyuan Yang:
Trustable Ad Hoc Networks of Agent Societies. SNPD (3) 2007: 994-1000 - 2006
- [c52]Kaiyu Wan, Vasu S. Alagar:
Security Contexts in Autonomic Systems. CIS 2006: 806-816 - [c51]Kaiyu Wan, Vasu S. Alagar:
A Component-Based Architecture for Multi-Agent Systems. IAT 2006: 452-459 - 2005
- [c50]Mubarak Sami, Olga Ormandjieva, Vangalur S. Alagar:
A Visualization Tool for Reactive Systems Simulation. Automation, Control, and Information Technology 2005: 65-70 - [c49]Vangalur S. Alagar, Olga Ormandjieva, Kaiyu Wan, Mao Zheng:
Ensuring service availability for media handling in mobile ad-hoc networks. AMT 2005: 133-136 - [c48]Mao Zheng, Vangalur S. Alagar:
Conformance Testing of BDI Properties in Agent-based Software Systems. APSEC 2005: 457-464 - [c47]Vasu S. Alagar, Mao Zheng:
A Software Architecture for Multi-agent Systems. CIS (1) 2005: 303-312 - [c46]Kaiyu Wan, Vasu S. Alagar:
An Intensional Programming Approach to Multi-agent Coordination in a Distributed Network of Agents. DALT 2005: 205-222 - [c45]Kaiyu Wan, Vasu S. Alagar, Joey Paquet:
An Architecture for Developing Context-aware Systems. MRC@IJCAI 2005 - [c44]Kaiyu Wan, Vasu S. Alagar, Joey Paquet:
An Architecture for Developing Context-Aware Systems. MRC 2005: 48-61 - [c43]Mubarak Sami, Olga Ormandjieva, Vangalur S. Alagar:
A Visualization Tool for Reactive Systems Simulation. MSV 2005: 156-164 - [c42]Kaiyu Wan, Vasu S. Alagar, Joey Paquet:
Lucx: Lucid Enriched with Context. PLC 2005: 48-56 - 2004
- [c41]Vasu S. Alagar, Joey Paquet, Kaiyu Wan:
Intensional Programming for Agent Communication. DALT 2004: 239-255 - [c40]Vangalur S. Alagar, Olga Ormandjieva:
Reliability Assessment of E-Commerce Applications. ICETE (2) 2004: 30-37 - [c39]Kaiyu Wan, Vasu S. Alagar, Joey Paquet:
Real Time Reactive Programming in Lucid Enriched with Contexts. ICTAC 2004: 387-402 - 2003
- [j18]Vangalur S. Alagar, Ramesh Achuthan, M. Haydar, D. Muthiayen, Olga Ormandjieva, Mao Zheng:
A rigorous approach for constructing self-evolving real-time reactive systems. Inf. Softw. Technol. 45(11): 743-761 (2003) - [c38]Vangalur S. Alagar, M. Chen, Olga Ormandjieva, Mao Zheng:
Automated Test Generation from Object-Oriented Specifications of Real-Time Reactive Systems. APSEC 2003: 406-414 - [c37]Vangalur S. Alagar, D. Muthiayen:
A Rigorous Approach to Modeling Autonomous Traffic Control Systems. ISADS 2003: 193-200 - [c36]Paola Bertolotti, Ombretta Gaggi, Maria Luisa Sapino, Vangalur S. Alagar:
A Compositional Approach to Multimedia Document Dynamics. Multimedia Information Systems 2003: 1-12 - [c35]Vangalur S. Alagar, Olga Ormandjieva, Mao Zheng:
Incremental Testing for Self-Evolving Timed Systems. QSIC 2003: 12-19 - 2002
- [c34]Vangalur S. Alagar, Olga Ormandjieva:
Reliability Assessment of WEB Applications. COMPSAC 2002: 405-414 - [c33]Vangalur S. Alagar, Ralf Lämmel:
Three-Tiered Specification of Micro-architectures. ICFEM 2002: 92-97 - [c32]Vangalur S. Alagar, Kasilingam Periyasamy:
Specification and Verification of Secure Business Transaction Systems. SOFSEM 2002: 240-252 - [i1]Vasu S. Alagar, Ralf Lämmel:
Three-Tiered Specification of Micro-Architectures. CoRR cs.SE/0205052 (2002) - 2001
- [j17]Kasilingam Periyasamy, Vangalur S. Alagar:
A rigorous method for test templates generation from object-oriented specifications. Softw. Test. Verification Reliab. 11(1): 3-37 (2001) - [c31]Vangalur S. Alagar, Mao Zheng:
A Rigorous Method for Testing Real-Time Reactive Systems. APSEC 2001: 213-220 - [c30]Vangalur S. Alagar, Zheng Xi:
A Rigorous Approach to Modeling and Analyzing E-Commerce Architectures. FME 2001: 173-196 - [c29]Vangalur S. Alagar, Qiaoyun Li, Olga Ormandjieva:
Assessment of Maintainability in Object-Oriented Software. TOOLS (39) 2001: 194-206 - [c28]Vangalur S. Alagar, Kasilingam Periyasamy:
BTOZ: A Formal Specification Language for Formalizing Business Transactions. TOOLS (39) 2001: 240-252 - 2000
- [c27]Vangalur S. Alagar, Olga Ormandjieva, Mao Zheng:
Managing Complexity in Real-Time Reactive Systems. ICECCS 2000: 12-24 - [c26]Vangalur S. Alagar, D. Muthiayen:
Towards a mechanical verification of real-time reactive systems modeled in UML. RTCSA 2000: 245-254 - [c25]D. Muthiayen, Vangalur S. Alagar, Ferhat Khendek
, Azimeh Sefidcon:
An approach to a synthesis of formal and visual description techniques for the development of real-time reactive systems. RTCSA 2000: 491-497 - [c24]Vangalur S. Alagar, L. Zhang:
Automatic code generation for real-time reactive systems in TROMLAB environment. RTCSA 2000: 503-510 - [c23]Vangalur S. Alagar, Olga Ormandjieva, Mao Zheng:
Specification-Based Testing for Real-Time Reactive Systems. TOOLS (34) 2000: 25-36
1990 – 1999
- 1999
- [c22]Kasilingam Periyasamy, Vangalur S. Alagar, D. Muthiayen:
Verification and Validation Techniques of Object-Oriented Software Systems. TOOLS (30) 1999: 413- - 1998
- [b2]Vangalur S. Alagar, Kasilingam Periyasamy:
Specification of Software Systems. Graduate Texts in Computer Science, Springer 1998, ISBN 978-1-4757-2922-1, pp. i-xx, 1-422 - [c21]Kasilingam Periyasamy, Vangalur S. Alagar:
Adding Real-Time Filters to Object-Oriented Specification of Time Critical Systems. WIFT 1998: 28-39 - 1997
- [c20]Kasilingam Periyasamy, Vangalur S. Alagar:
Extending Object-Z for Specifying Real-Time Systems. TOOLS (23) 1997: 163-175 - 1996
- [c19]Vangalur S. Alagar, D. Muthiayen, Ramesh Achuthan:
Animating Real-Time Reactive Systems. ICECCS 1996: 181-188 - 1995
- [c18]Ramesh Achuthan, Vangalur S. Alagar, Thiruvengadam Radhakrishnan:
TROM - An Object Model for Reactive System Development. ASIAN 1995: 350-364 - [c17]Vangalur S. Alagar, Fereidoon Sadri, Joseph N. Said:
Semantics of an Extended Relational Model for Managing Uncertain Information. CIKM 1995: 234-240 - [c16]Vangalur S. Alagar, Fereidoon Sadri, Joseph N. Said:
An Extended Relational Model for Managing Uncertain Information. DEXA Workshop 1995: 257-266 - [c15]Ramesh Achuthan, Vangalur S. Alagar, Thiruvengadam Radhakrishnan:
An object-oriented modeling of real-time robotic assembly system. ICECCS 1995: 310- - [e4]Vangalur S. Alagar, Maurice Nivat:
Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings. Lecture Notes in Computer Science 936, Springer 1995, ISBN 3-540-60043-4 [contents] - [e3]Vangalur S. Alagar, Rokia Missaoui:
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. World Scientific 1995, ISBN 981-02-2170-3 [contents] - 1994
- [j16]Vasu S. Alagar, D. Kourkopoulos:
(In)completeness in specifications. Inf. Softw. Technol. 36(6): 331-342 (1994) - [c14]Ramesh Achuthan, Vangalur S. Alagar, Thiruvengadam Radhakrishnan:
An Object-Oriented Framework for Specifying Reactive Systems. COODBSE 1994: 114-133 - [e2]Vangalur S. Alagar, Sabine Bergler, Fangqing Dong:
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. Workshops in Computing, Springer 1994, ISBN 3-540-19897-0 [contents] - 1993
- [j15]Vangalur S. Alagar, Pankaj Goyal, P. S. Nair, Fereidoon Sadri:
Permutation dependency in datalog programs. Inf. Sci. 68(3): 207-223 (1993) - [j14]Kasilingam Periyasamy, Vangalur S. Alagar, Tien D. Bui:
A formal framework for design and verification of robotic agents. J. Intell. Robotic Syst. 8(2): 173-200 (1993) - [c13]Vangalur S. Alagar, Fangqing Dong, Ramesh Achuthan:
Completeness in Statechart Models for Reactive Systems. SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems 1993: 117-130 - [e1]Vangalur S. Alagar, Laks V. S. Lakshmanan, Fereidoon Sadri:
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. Workshops in Computing, Springer 1993, ISBN 3-540-19812-1 [contents] - 1992
- [j13]Vangalur S. Alagar, Kasilingam Periyasamy:
A methodology for deriving an object-oriented design from functional specifications. Softw. Eng. J. 7(4): 247-263 (1992) - [c12]Vangalur S. Alagar:
Modeling Time in Information Systems. Formal Methods in Databases and Software Engineering 1992: 80-95 - [c11]J. D'Almeida, Ramesh Achuthan, Thiruvengadam Radhakrishnan, Vangalur S. Alagar:
Transformation of a semi-formal specification to VDM. KBSE 1992: 40-49 - 1991
- [j12]Vangalur S. Alagar, Pankaj Goyal, P. S. Nair, Fereidoon Sadri:
Integrated Magic Set Method: a Rule Rewrite Scheme for Optimising Linear Datalog Programs. Comput. J. 34(Additional-Papers): A121-A129 (1991) - [j11]Vangalur S. Alagar, Greetha Ramanathan:
Functional Specification and Proof of Correctness for Time Dependent Behaviour of Reactive Systems. Formal Aspects Comput. 3(3): 253-283 (1991) - 1990
- [j10]Vangalur S. Alagar, Tien D. Bui, Kasilingam Periyasamy:
Semantic CSG trees for finite element analysis. Comput. Aided Des. 22(4): 194-198 (1990) - [c10]Vangalur S. Alagar:
Range Equations and Range Matrices: a Study in Statistical Database Security. AUSCRYPT 1990: 360-385
1980 – 1989
- 1989
- [b1]Vangalur S. Alagar:
Fundamentals of computing - theory and practice. Prentice Hall 1989, ISBN 978-0-13-335324-2, pp. I-XIV, 1-753 - 1988
- [j9]N. Srinivasan, Jaroslav Opatrny, Vangalur S. Alagar:
Bigeodetic graphs. Graphs Comb. 4(1): 379-392 (1988) - [c9]Vangalur S. Alagar, Greetha Ramanathan:
Formal Environment and Tools Description for the Analysis of Real Time Concurrent Systems. Specification and Verification of Concurrent Systems 1988: 196-235 - 1987
- [j8]Vangalur S. Alagar, David K. Probst:
A fast, low-space algorithm for multiplying dense multivariate polynomials. ACM Trans. Math. Softw. 13(1): 35-57 (1987) - 1986