Vangalur S. Alagar

Nematollaah Shiri

Proceedings of the Context-Aware Systems and Applications, and Nature of Computation and Communication, 2019

2018

A Critical Analysis of the V-Model of Big Data.

[BibT_eX]

[DOI]

Alaa Alsaig

Vangular Alagar

Proceedings of the 17th IEEE International Conference On Trust, 2018

Context-Based Security and Privacy for Healthcare IoT.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Smart Internet of Things (SmartIoT), 2018

Resource-aware Service-oriented Approach for Elderly Healthcare.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Systems and Informatics, 2018

Formal Context Representation and Calculus for Context-Aware Computing.

[BibT_eX]

[DOI]

Ammar Alsaig

Nematollaah Shiri

Proceedings of the Context-Aware Systems and Applications, and Nature of Computation and Communication, 2018

Foundational Issues on Big Data Science and Engineering.

[BibT_eX]

[DOI]

Alaa Alsaig

Vangular Alagar

Proceedings of the 2018 IEEE 16th Intl Conf on Dependable, 2018

2017

A user-centric semantic-based algorithm for ranking services: design and analysis.

[BibT_eX]

[DOI]

Serv. Oriented Comput. Appl., 2017

Modeling Resource-centric Services for Service Adaptation in Cyber Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Research in Adaptive and Convergent Systems, 2017

Elderly Health Care - Security and Privacy Issue.

[BibT_eX]

[DOI]

Peter Oyikanmi

Proceedings of the Data Science, 2017

Analyzing healthcare big data for patient satisfaction.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Natural Computation, 2017

Privacy and security for patient-centric elderly health care.

[BibT_eX]

[DOI]

Kasi Periyasamy

Proceedings of the 19th IEEE International Conference on e-Health Networking, 2017

Dependable Design for Elderly Health Care.

[BibT_eX]

[DOI]

Kasi Periyasamy

Proceedings of the 2017 Federated Conference on Computer Science and Information Systems, 2017

2016

Dependable Traffic Control Strategies for Urban and Freeway Networks.

[BibT_eX]

[DOI]

Nhat Nguyen

Mob. Networks Appl., 2016

Characteristics and classification of big data in health care sector.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Natural Computation, 2016

Risk and Vulnerability Analysis of Critical Infrastructure.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computing Methodologies - 12th International Conference, 2016

2015

Context-Aware Trust-Based Management of Vehicular Ad-Hoc Networks (VANETs).

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE 12th Intl Conf on Ubiquitous Intelligence and Computing and 2015 IEEE 12th Intl Conf on Autonomic and Trusted Computing and 2015 IEEE 15th Intl Conf on Scalable Computing and Communications and Its Associated Workshops (UIC-ATC-ScalCom), 2015

Dependable Healthcare Service Automation: A Holistic Approach.

[BibT_eX]

[DOI]

Proceedings of the Advanced Intelligent Computing Theories and Applications, 2015

A Context-Aware Healthcare Architecture for the Elderly.

[BibT_eX]

[DOI]

Tolulope Peter Oyekanmi

Nhat Nguyen

Proceedings of the Context-Aware Systems and Applications - 4th International Conference, 2015

Context-aware, knowledge-intensive, and patient-centric Mobile Health Care Model.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Fuzzy Systems and Knowledge Discovery, 2015

Service integration in the Internet of Things.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Computer Science, 2015

2014

Context-Aware Security Solutions for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Mob. Networks Appl., 2014

Context-Aware Systems and Applications.

[BibT_eX]

[DOI]

Emil Vassev

Mob. Networks Appl., 2014

Advances in Mathematical Methods for Image and Signal Processing.

[BibT_eX]

[DOI]

J. Appl. Math., 2014

A Context-dependent Service Model.

[BibT_eX]

[DOI]

Vangular Alagar

EAI Endorsed Trans. Context aware Syst. Appl., 2014

A Framework for Developing Context-aware Systems.

[BibT_eX]

[DOI]

Sofian Alsalman Hnaide

EAI Endorsed Trans. Context aware Syst. Appl., 2014

Integrating Trust and Economic Theories with Knowledge Science for Dependable Service Automation.

[BibT_eX]

[DOI]

Proceedings of the Security and Trust Management - 10th International Workshop, 2014

An approach to designing an autonomic network of traffic managers.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Connected Vehicles and Expo, 2014

Synthesizing data-to-wisdom hierarchy for developing smart systems.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Fuzzy Systems and Knowledge Discovery, 2014

Achieving Dependability of Cyber Physical Systems with Autonomic Covering.

[BibT_eX]

[DOI]

Proceedings of the IEEE 12th International Conference on Dependable, 2014

2013

Publishing and discovering context-dependent services.

[BibT_eX]

[DOI]

Hum. centric Comput. Inf. Sci., 2013

Intelligent Graphical User Interface for Managing Resource Knowledge in Cyber Physical Systems.

[BibT_eX]

[DOI]

Bai Wei

Proceedings of the Knowledge Science, Engineering and Management, 2013

Storing and Managing Context and Context History.

[BibT_eX]

[DOI]

Proceedings of the Context-Aware Systems and Applications, 2013

Integrating Context-Awareness and Trustworthiness in IoT Descriptions.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE International Conference on Green Computing and Communications (GreenCom) and IEEE Internet of Things (iThings) and IEEE Cyber, 2013

A Resource-Centric Architecture for Service-Oriented Cyber Physical System.

[BibT_eX]

[DOI]

Proceedings of the Grid and Pervasive Computing - 8th International Conference, 2013

2012

A component-based development process for trustworthy systems.

[BibT_eX]

[DOI]

J. Softw. Evol. Process., 2012

A Context-Aware Multi-Agent Systems Architecture for Adaptation of Autonomic Systems.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Information Processing VI, 2012

2011

Specification of Software Systems, Second Edition.

[BibT_eX]

[DOI]

Texts in Computer Science, Springer, ISBN: 978-0-85729-277-3, 2011

A formal approach for the specification and verification of trustworthy component-based systems.

[BibT_eX]

[DOI]

J. Syst. Softw., 2011

Specification and Verification of Context-dependent Services

[BibT_eX]

[DOI]

Proceedings of the Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems, 2011

Dependable Context-Sensitive Services in Cyber Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE 10th International Conference on Trust, 2011

Managing and Delivering Trustworthy Context-Dependent Services.

[BibT_eX]

[DOI]

Proceedings of the IEEE 8th International Conference on e-Business Engineering, 2011

Adaptable Discovery and Ranking of Context-Dependent Services.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE Asia-Pacific Services Computing Conference, 2011

An Architecture for Managing and Delivering Trustworthy Context-Dependent Services.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Services Computing, 2011

2010

The Role of Concept, Context, and Component for Dependable Software Development.

[BibT_eX]

[DOI]

Proceedings of the Formal Concept Analysis, 8th International Conference, 2010

2009

A Formal Model of Business Application Integration from Web Services (Position Paper).

[BibT_eX]

[DOI]

Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009

2008

Automated generation of test suites from formal specifications of real-time reactive systems.

[BibT_eX]

[DOI]

J. Syst. Softw., 2008

Early quality monitoring in the development of real-time reactive systems.

[BibT_eX]

[DOI]

J. Syst. Softw., 2008

An Intensional Functional Model of Trust.

[BibT_eX]

[DOI]

Proceedings of the Trust Management II, 2008

A Context-Aware Trust Model for Service-Oriented Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - ICSOC 2008 Workshops, 2008

TADL - An Architecture Description Language for Trustworthy Component-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture, Second European Conference, 2008

2007

Trustable Ad Hoc Networks of Agent Societies.

[BibT_eX]

[DOI]

Zongyuan Yang

Proceedings of the 8th ACIS International Conference on Software Engineering, 2007

Specification and verification of trustworthy component-based real-time reactive systems.

[BibT_eX]

[DOI]

Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, 2007

Context Based Enforcement of Authorization for Privacy and Security in Identity Management.

[BibT_eX]

[DOI]

Proceedings of the Policies and Research in Identity Management, 2007

A Context-Based Analysis of Intrusion Detection for Policy Violation.

[BibT_eX]

[DOI]

Zongyuan Yang

Proceedings of the Computational Intelligence and Security, International Conference, 2007

2006

A Component-Based Architecture for Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2006

Security Contexts in Autonomic Systems.

[BibT_eX]

[DOI]

Proceedings of the Computational Intelligence and Security, International Conference, 2006

2005

Lucx: Lucid Enriched with Context.

[BibT_eX]

Proceedings of The 2005 International Conference on Programming Languages and Compilers, 2005

A Visualization Tool for Reactive Systems Simulation.

[BibT_eX]

Mubarak Sami

Proceedings of The 2005 International Conference on Modeling, 2005

An Architecture for Developing Context-Aware Systems.

[BibT_eX]

[DOI]

Proceedings of the Modeling and Retrieval of Context, Second International Workshop, 2005

An Intensional Programming Approach to Multi-agent Coordination in a Distributed Network of Agents.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies III, 2005

A Software Architecture for Multi-agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Computational Intelligence and Security, International Conference, 2005

Conformance Testing of BDI Properties in Agent-based Software Systems.

[BibT_eX]

[DOI]

Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

Ensuring service availability for media handling in mobile ad-hoc networks.

[BibT_eX]

[DOI]

Proceedings of the 2005 International Conference on Active Media Technology, 2005

2004

Real Time Reactive Programming in Lucid Enriched with Contexts.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2004

Reliability Assessment of E-Commerce Applications.

[BibT_eX]

Proceedings of the ICETE 2004, 2004

Intensional Programming for Agent Communication.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies II, 2004

2003

A rigorous approach for constructing self-evolving real-time reactive systems.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2003

Incremental Testing for Self-Evolving Timed Systems.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Quality Software (QSIC 2003), 2003

A Compositional Approach to Multimedia Document Dynamics.

[BibT_eX]

Proceedings of the MIS 2003, 9th International Workshop on Multimedia Information Systems, 2003

A Rigorous Approach to Modeling Autonomous Traffic Control Systems.

[BibT_eX]

[DOI]

Proceedings of the 6th International Symposium on Autonomous Decentralized Systems (ISADS 2003), 2003

Automated Test Generation from Object-Oriented Specifications of Real-Time Reactive Systems.

[BibT_eX]

[DOI]

Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003

2002

Specification and Verification of Secure Business Transaction Systems.

[BibT_eX]

[DOI]

Proceedings of the SOFSEM 2002: Theory and Practice of Informatics, 2002

Three-Tiered Specification of Micro-architectures.

[BibT_eX]

[DOI]

Ralf Lämmel

Proceedings of the Formal Methods and Software Engineering, 2002

Reliability Assessment of WEB Applications.

[BibT_eX]

[DOI]

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001

A rigorous method for test templates generation from object-oriented specifications.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2001

BTOZ: A Formal Specification Language for Formalizing Business Transactions.

[BibT_eX]

[DOI]

Proceedings of the 39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems, 2001

Assessment of Maintainability in Object-Oriented Software.

[BibT_eX]

[DOI]

Qiaoyun Li

Proceedings of the 39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems, 2001

A Rigorous Approach to Modeling and Analyzing E-Commerce Architectures.

[BibT_eX]

[DOI]

Zheng Xi

Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

A Rigorous Method for Testing Real-Time Reactive Systems.

[BibT_eX]

[DOI]

Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

2000

Specification-Based Testing for Real-Time Reactive Systems.

[BibT_eX]

[DOI]

Proceedings of the TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July, 2000

An approach to a synthesis of formal and visual description techniques for the development of real-time reactive systems.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 2000

Automatic code generation for real-time reactive systems in TROMLAB environment.

[BibT_eX]

[DOI]

L. Zhang

Proceedings of the 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 2000

Towards a mechanical verification of real-time reactive systems modeled in UML.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 2000

Managing Complexity in Real-Time Reactive Systems.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Engineering of Complex Computer Systems (ICECCS 2000), 2000

1999

Verification and Validation Techniques of Object-Oriented Software Systems.

[BibT_eX]

[DOI]

Proceedings of the TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software, 1999

1998

Specification of Software Systems.

[BibT_eX]

[DOI]

Graduate Texts in Computer Science, Springer, ISBN: 978-1-4757-2920-7, 1998

Adding Real-Time Filters to Object-Oriented Specification of Time Critical Systems.

[BibT_eX]

[DOI]

Proceedings of the 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), 1998

1997

Extending Object-Z for Specifying Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the TOOLS 1997: 23rd International Conference on Technology of Object-Oriented Languages and Systems, July 28, 1997

1996

Animating Real-Time Reactive Systems.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 1996

1995

An object-oriented modeling of real-time robotic assembly system.

[BibT_eX]

[DOI]

Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), 1995

An Extended Relational Model for Managing Uncertain Information.

[BibT_eX]

Fereidoon Sadri

Joseph N. Said

Proceedings of the 6th Int. Conf. and Workshop on Database and Expert Systems Applications, 1995

Semantics of an Extended Relational Model for Managing Uncertain Information.

[BibT_eX]

[DOI]

Fereidoon Sadri

Joseph N. Said

Proceedings of the CIKM '95, Proceedings of the 1995 International Conference on Information and Knowledge Management, November 28, 1995

TROM - An Object Model for Reactive System Development.

[BibT_eX]

[DOI]

Proceedings of the Algorithms, 1995

1994

(In)completeness in specifications.

[BibT_eX]

[DOI]

D. Kourkopoulos

Inf. Softw. Technol., 1994

An Object-Oriented Framework for Specifying Reactive Systems.

[BibT_eX]

Proceedings of the Object-Oriented Technology for Database and Software Systems, 1994

1993

A formal framework for design and verification of robotic agents.

[BibT_eX]

[DOI]

Tien D. Bui

J. Intell. Robotic Syst., 1993

Permutation dependency in datalog programs.

[BibT_eX]

[DOI]

Inf. Sci., 1993

Completeness in Statechart Models for Reactive Systems.

[BibT_eX]

Fangqing Dong

Proceedings of the Incompleteness and Uncertainty in Information Systems, 1993

1992

A methodology for deriving an object-oriented design from functional specifications.

[BibT_eX]

[DOI]

Softw. Eng. J., 1992

Transformation of a semi-formal specification to VDM.

[BibT_eX]

[DOI]

J. D'Almeida

Proceedings of the Seventh Knowledge-Based Software Engineering Conference, 1992

Modeling Time in Information Systems.

[BibT_eX]

Proceedings of the Formal Methods in Databases and Software Engineering, 1992

1991

Functional Specification and Proof of Correctness for Time Dependent Behaviour of Reactive Systems.

[BibT_eX]

[DOI]

Greetha Ramanathan

Formal Aspects Comput., 1991

Integrated Magic Set Method: a Rule Rewrite Scheme for Optimising Linear Datalog Programs.

[BibT_eX]

Comput. J., 1991

1990

Semantic CSG trees for finite element analysis.

[BibT_eX]

[DOI]

Tien D. Bui

Comput. Aided Des., 1990

Range Equations and Range Matrices: a Study in Statistical Database Security.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology, 1990

1989

Fundamentals of computing - theory and practice.

[BibT_eX]

Prentice Hall, ISBN: 978-0-13-335324-2, 1989

1988

Bigeodetic graphs.

[BibT_eX]

[DOI]

N. Srinivasan

Jaroslav Opatrny

Graphs Comb., 1988

Formal Environment and Tools Description for the Analysis of Real Time Concurrent Systems.

[BibT_eX]

Greetha Ramanathan

Proceedings of the Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 1988

1987

A fast, low-space algorithm for multiplying dense multivariate polynomials.

[BibT_eX]

[DOI]

ACM Trans. Math. Softw., 1987

1986

Optimal Expected-Time Algorithms for Merging.

[BibT_eX]

[DOI]

Mai Thanh

Tien Dai Bui

J. Algorithms, 1986

A human approach to the technological challenges in data security.

[BibT_eX]

[DOI]

Comput. Secur., 1986

1985

Algorithmic motion planning in robotics: Coordinated motion of several disks amidst polygonal obstacles.

[BibT_eX]

[DOI]

Greetha Ramanathan

Proceedings of the 1985 IEEE International Conference on Robotics and Automation, 1985

Fast Polynominal Decomposition Algorithms.

[BibT_eX]

[DOI]

Mai Thanh

Proceedings of the EUROCAL '85, 1985

Exact Computation of the Characteristic Polynomial of an Integer Matrix.

[BibT_eX]

[DOI]

Asish Mukhopadhyay

Proceedings of the Algebraic Algorithms and Error-Correcting Codes, 1985

1984

An Environment for High-level Program Development.

[BibT_eX]

[DOI]

Peter Grogono

Proceedings of the Programmiersprachen und Programmentwicklung, 1984

1983

Efficient Algorithms for Merging.

[BibT_eX]

[DOI]

Tien Dai Bui

Mai Thanh

BIT, 1983

1982

An Adaptive Hybrid Algorithm for Multiplying Dense Polynomials.

[BibT_eX]

[DOI]

Proceedings of the Computer Algebra, 1982

1981

Algorithms for Detecting M-Dimensional Objects in N-Dimensional Spaces.

[BibT_eX]

[DOI]

Larry H. Thiel

IEEE Trans. Pattern Anal. Mach. Intell., 1981

Effective inference control mechanisms for securing statistical databases.

[BibT_eX]

[DOI]

Bernard Blanchard

David Glaser

Proceedings of the American Federation of Information Processing Societies: 1981 National Computer Conference, 1981

1980

Corrigendum: A Family of Algorithms for Powering Sparse Polynomials.

[BibT_eX]

[DOI]

SIAM J. Comput., 1980

Algorithms for processing partial match queries using word fragments.

[BibT_eX]

[DOI]

Inf. Syst., 1980

1979

A Family of Algorithms for Powering Sparse Polynomials.

[BibT_eX]

[DOI]

SIAM J. Comput., 1979

Partial match retrieval for non-uniform query distributions.

[BibT_eX]

[DOI]

C. Soockan

Proceedings of the 1979 International Workshop on Managing Requirements Knowledge, 1979

1977

Binomial-Expansion Algorithms for Copmuting Integer Powers of Sparse Polynomials.

[BibT_eX]