| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Mubarak Mohammad, Vangalur S. Alagar |
A formal approach for the specification and verification of trustworthy component-based systems.  |
Journal of Systems and Software  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Naseem Ibrahim, Vangalur S. Alagar, Mubarak Mohammad |
Specification and Verification of Context-dependent Services |
WWV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Naseem Ibrahim, Mubarak Mohammad, Vangalur S. Alagar |
An Architecture for Managing and Delivering Trustworthy Context-Dependent Services. |
IEEE SCC |
2011 |
DBLP DOI BibTeX RDF |
Formal modeling of Services, SOA, Context, Service Composition |
| 1 | Naseem Ibrahim, Mubarak Mohammad, Vangalur S. Alagar |
Adaptable Discovery and Ranking of Context-Dependent Services. |
APSCC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Naseem Ibrahim, Vangalur S. Alagar, Mubarak Mohammad |
Managing and Delivering Trustworthy Context-Dependent Services. |
ICEBE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasu S. Alagar, Mubarak Mohammad, Kaiyu Wan |
The Role of Concept, Context, and Component for Dependable Software Development. |
ICFCA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kaiyu Wan, Mubarak Mohammad, Vasu S. Alagar |
A Formal Model of Business Application Integration from Web Services (Position Paper). |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Olga Ormandjieva, Vangalur S. Alagar, Mao Zheng |
Early quality monitoring in the development of real-time reactive systems. |
Journal of Systems and Software |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mao Zheng, Vasu S. Alagar, Olga Ormandjieva |
Automated generation of test suites from formal specifications of real-time reactive systems. |
Journal of Systems and Software |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mubarak Mohammad, Vasu S. Alagar |
TADL - An Architecture Description Language for Trustworthy Component-Based Systems. |
ECSA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kaiyu Wan, Vasu S. Alagar |
A Context-Aware Trust Model for Service-Oriented Multi-Agent Systems. |
ICSOC Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kaiyu Wan, Vasu S. Alagar, Zongyuan Yang |
Trustable Ad Hoc Networks of Agent Societies. |
SNPD |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Kaiyu Wan, Vasu S. Alagar, Zongyuan Yang |
A Context-Based Analysis of Intrusion Detection for Policy Violation. |
CIS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasu S. Alagar, Mubarak Mohammad |
Specification and verification of trustworthy component-based real-time reactive systems. |
SAVCBS |
2007 |
DBLP DOI BibTeX RDF |
components, trustworthiness, real-time reactive systems |
| 1 | Kaiyu Wan, Vasu S. Alagar |
A Component-Based Architecture for Multi-Agent Systems. |
IAT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Kaiyu Wan, Vasu S. Alagar |
Security Contexts in Autonomic Systems. |
CIS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mao Zheng, Vangalur S. Alagar |
Conformance Testing of BDI Properties in Agent-based Software Systems. |
APSEC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mubarak Sami, Olga Ormandjieva, Vangalur S. Alagar |
A Visualization Tool for Reactive Systems Simulation. |
MSV |
2005 |
DBLP BibTeX RDF |
|
| 1 | Mubarak Sami, Olga Ormandjieva, Vangalur S. Alagar |
A Visualization Tool for Reactive Systems Simulation. |
Automation, Control, and Information Technology |
2005 |
DBLP BibTeX RDF |
|
| 1 | Kaiyu Wan, Vasu S. Alagar, Joey Paquet |
An Architecture for Developing Context-Aware Systems. |
MRC |
2005 |
DBLP DOI BibTeX RDF |
context-awareness, context, components, co-design |
| 1 | Kaiyu Wan, Vasu S. Alagar |
An Intensional Programming Approach to Multi-agent Coordination in a Distributed Network of Agents. |
DALT |
2005 |
DBLP DOI BibTeX RDF |
coordinated transactions, Intensional Programming Language, coordination constructs, Multi-agent systems |
| 1 | Vasu S. Alagar, Mao Zheng |
A Software Architecture for Multi-agent Systems. |
CIS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Kaiyu Wan, Vasu S. Alagar, Joey Paquet |
Lucx: Lucid Enriched with Context. |
PLC |
2005 |
DBLP BibTeX RDF |
|
| 1 | Vangalur S. Alagar, Olga Ormandjieva |
Reliability Assessment of E-Commerce Applications. |
ICETE |
2004 |
DBLP BibTeX RDF |
|
| 1 | Kaiyu Wan, Vasu S. Alagar, Joey Paquet |
Real Time Reactive Programming in Lucid Enriched with Contexts. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
Real-time reactive programming, contexts, formal verification, intensional programming |
| 1 | Vasu S. Alagar, Joey Paquet, Kaiyu Wan |
Intensional Programming for Agent Communication. |
DALT |
2004 |
DBLP DOI BibTeX RDF |
KQML performatives, Context, Agent Communication Language, FIPA, Intensional Programming, Lucid |
| 1 | Vangalur S. Alagar, Ramesh Achuthan, M. Haydar, D. Muthiayen, Olga Ormandjieva, Mao Zheng |
A rigorous approach for constructing self-evolving real-time reactive systems. |
Information & Software Technology |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Bertolotti, Ombretta Gaggi, Maria Luisa Sapino, Vangalur S. Alagar |
A Compositional Approach to Multimedia Document Dynamics. |
Multimedia Information Systems |
2003 |
DBLP BibTeX RDF |
|
| 1 | Vangalur S. Alagar, M. Chen, Olga Ormandjieva, Mao Zheng |
Automated Test Generation from Object-Oriented Specifications of Real-Time Reactive Systems. |
APSEC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Vangalur S. Alagar, Olga Ormandjieva, Mao Zheng |
Incremental Testing for Self-Evolving Timed Systems. |
QSIC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Vangalur S. Alagar, D. Muthiayen |
A Rigorous Approach to Modeling Autonomous Traffic Control Systems. |
ISADS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Vangalur S. Alagar, Ralf Lämmel |
Three-Tiered Specification of Micro-architectures. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
UML, interaction, formal methods, frameworks, design patterns, reuse, evolution, object-oriented design, micro-architectures |
| 1 | Vangalur S. Alagar, Olga Ormandjieva |
Reliability Assessment of WEB Applications. |
COMPSAC |
2002 |
DBLP DOI BibTeX RDF |
Markov model, software measurement, reliability prediction |
| 1 | Vangalur S. Alagar, Kasilingam Periyasamy |
Specification and Verification of Secure Business Transaction Systems. |
SOFSEM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasu S. Alagar, Ralf Lämmel |
Three-Tiered Specification of Micro-Architectures |
CoRR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Kasilingam Periyasamy, Vangalur S. Alagar |
A rigorous method for test templates generation from object-oriented specifications. |
Softw. Test., Verif. Reliab. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Vangalur S. Alagar, Mao Zheng |
A Rigorous Method for Testing Real-Time Reactive Systems. |
APSEC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Vangalur S. Alagar, Qiaoyun Li, Olga Ormandjieva |
Assessment of Maintainability in Object-Oriented Software. |
TOOLS |
2001 |
DBLP DOI BibTeX RDF |
design complexity measurement, software maintenance, information theory, object-oriented software, software maintainability |
| 1 | Vangalur S. Alagar, Kasilingam Periyasamy |
BTOZ: A Formal Specification Language for Formalizing Business Transactions. |
TOOLS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Vangalur S. Alagar, Zheng Xi |
A Rigorous Approach to Modeling and Analyzing E-Commerce Architectures. |
FME |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Vangalur S. Alagar, Olga Ormandjieva, Mao Zheng |
Specification-Based Testing for Real-Time Reactive Systems. |
TOOLS |
2000 |
DBLP DOI BibTeX RDF |
complexity, information theory, software measurement, Real-time reactive systems |
| 1 | Vangalur S. Alagar, L. Zhang |
Automatic code generation for real-time reactive systems in TROMLAB environment. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
TROMLAB environment, rigorous framework, railroad crossing problem, benchmark example, generic real time Java libraries, Java code, Java, real-time systems, program compilers, automatic programming, software libraries, automatic code generation, real time reactive systems, implementation model |
| 1 | Vangalur S. Alagar, D. Muthiayen |
Towards a mechanical verification of real-time reactive systems modeled in UML. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
Prototype Verification System, real-time systems, UML, Unified Modeling Language, formal specification, object-oriented programming, program verification, specification languages, PVS, notation, safety-critical applications, mechanical verification, real-time reactive systems, design analysis, object-based systems |
| 1 | D. Muthiayen, Vangalur S. Alagar, Ferhat Khendek, A. Sefidcon |
An approach to a synthesis of formal and visual description techniques for the development of real-time reactive systems. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
visual description techniques, real time reactive systems development, unified notation, user level modeling, implementation level, object oriented notation, Timed Reactive Object Model, TROM, semantic basis, mechanical translations, real-time systems, UML, object-oriented programming, program verification, specification languages, SDL, formal description techniques, program interpreters, abstraction levels, real time reactive systems, large scale applications, design analysis, object based systems |
| 1 | Vangalur S. Alagar, Olga Ormandjieva, Mao Zheng |
Managing Complexity in Real-Time Reactive Systems. |
ICECCS |
2000 |
DBLP DOI BibTeX RDF |
complexity management, complexity categories, rigorous development, TROMLAB, rigorous framework, real-time systems, process model, software measurement, real time reactive systems, measurement methods |
| 1 | Kasilingam Periyasamy, Vangalur S. Alagar, D. Muthiayen |
Verification and Validation Techniques of Object-Oriented Software Systems. |
TOOLS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Kasilingam Periyasamy, Vangalur S. Alagar |
Adding Real-Time Filters to Object-Oriented Specification of Time Critical Systems. |
WIFT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Kasilingam Periyasamy, Vangalur S. Alagar |
Extending Object-Z for Specifying Real-Time Systems. |
TOOLS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Vangalur S. Alagar, D. Muthiayen, Ramesh Achuthan |
Animating Real-Time Reactive Systems. |
ICECCS |
1996 |
DBLP DOI BibTeX RDF |
Formal Methods, Animation, Process Model, Object-Oriented Modeling, Software Requirements Specification, Real-Time Reactive Systems |
| 1 | Vangalur S. Alagar, Maurice Nivat (eds.) |
Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings |
AMAST |
1995 |
DBLP BibTeX RDF |
|
| 1 | Ramesh Achuthan, Vangalur S. Alagar, Thiruvengadam Radhakrishnan |
TROM - An Object Model for Reactive System Development. |
ASIAN |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramesh Achuthan, Vangalur S. Alagar, Thiruvengadam Radhakrishnan |
An object-oriented modeling of real-time robotic assembly system. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
maintenance engineering, industrial manipulators, real-time robotic assembly system, object-oriented-formal modeling, independent components, modular components, real-time systems, formal verification, formal verification, validation, system design, object-oriented methods, system model, manipulators, assembling, reusable components, system requirements, system maintenance, control system CAD, control engineering |
| 1 | Vangalur S. Alagar, Fereidoon Sadri, Joseph N. Said |
Semantics of an Extended Relational Model for Managing Uncertain Information. |
CIKM |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Vangalur S. Alagar, Fereidoon Sadri, Joseph N. Said |
An Extended Relational Model for Managing Uncertain Information. |
DEXA Workshops |
1995 |
DBLP BibTeX RDF |
|
| 1 | Ramesh Achuthan, Vangalur S. Alagar, Thiruvengadam Radhakrishnan |
An Object-Oriented Framework for Specifying Reactive Systems. |
COODBSE |
1994 |
DBLP BibTeX RDF |
|
| 1 | Vangalur S. Alagar, Sabine Bergler, Fangqing Dong (eds.) |
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 |
1994 |
DBLP BibTeX RDF |
|
| 1 | Kasilingam Periyasamy, Vangalur S. Alagar, Tien D. Bui |
A formal framework for design and verification of robotic agents. |
Journal of Intelligent and Robotic Systems |
1993 |
DBLP DOI BibTeX RDF |
verification, Formal specification, intelligent systems, VDM, robot kinematics |
| 1 | Vangalur S. Alagar, Pankaj Goyal, P. S. Nair, Fereidoon Sadri |
Permutation dependency in datalog programs. |
Inf. Sci. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Vangalur S. Alagar, Laks V. S. Lakshmanan, Fereidoon Sadri (eds.) |
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 |
1993 |
DBLP BibTeX RDF |
|
| 1 | Vangalur S. Alagar, Fangqing Dong, Ramesh Achuthan |
Completeness in Statechart Models for Reactive Systems. |
SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems |
1993 |
DBLP BibTeX RDF |
|
| 1 | Vangalur S. Alagar |
Modeling Time in Information Systems. |
Formal Methods in Databases and Software Engineering |
1992 |
DBLP BibTeX RDF |
|
| 1 | Vangalur S. Alagar, Greetha Ramanathan |
Functional Specification and Proof of Correctness for Time Dependent Behaviour of Reactive Systems. |
Formal Asp. Comput. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Vangalur S. Alagar, Tien D. Bui, Kasilingam Periyasamy |
Semantic CSG trees for finite element analysis. |
Computer-Aided Design |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Vangalur S. Alagar |
Range Equations and Range Matrices: a Study in Statistical Database Security. |
AUSCRYPT |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Vangalur S. Alagar |
Fundamentals of computing - theory and practice. |
|
1989 |
RDF |
|
| 1 | N. Srinivasan, Jaroslav Opatrny, Vangalur S. Alagar |
Bigeodetic graphs. |
Graphs and Combinatorics |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Vangalur S. Alagar, David K. Probst |
A fast, low-space algorithm for multiplying dense multivariate polynomials. |
ACM Trans. Math. Softw. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Mai Thanh, Vangalur S. Alagar, T. D. Bui |
Optimal Expected-Time Algorithms for Merging. |
J. Algorithms |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Asish Mukhopadhyay, Vangalur S. Alagar |
Exact Computation of the Characteristic Polynomial of an Integer Matrix. |
AAECC |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Vangalur S. Alagar, Mai Thanh |
Fast Polynominal Decomposition Algorithms. |
European Conference on Computer Algebra |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Grogono, Vangalur S. Alagar |
An Environment for High-level Program Development. |
Fachtagung über Programmiersprachen |
1984 |
DBLP BibTeX RDF |
|
| 1 | Vangalur S. Alagar, T. D. Bui, Mai Thanh |
Efficient Algorithms for Merging. |
BIT |
1983 |
DBLP BibTeX RDF |
|
| 1 | David K. Probst, Vangalur S. Alagar |
An Adaptive Hybrid Algorithm for Multiplying Dense Polynomials. |
EUROCAM |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Vangalur S. Alagar, Bernard Blanchard, David Glaser |
Effective inference control mechanisms for securing statistical databases. |
AFIPS National Computer Conference |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Vangalur S. Alagar |
Algorithms for processing partial match queries using word fragments. |
Inf. Syst. |
1980 |
DBLP DOI BibTeX RDF |
|
| 1 | David K. Probst, Vangalur S. Alagar |
Corrigendum: A Family of Algorithms for Powering Sparse Polynomials. |
SIAM J. Comput. |
1980 |
DBLP DOI BibTeX RDF |
|
| 1 | David K. Probst, Vangalur S. Alagar |
A Family of Algorithms for Powering Sparse Polynomials. |
SIAM J. Comput. |
1979 |
DBLP DOI BibTeX RDF |
|
| 1 | Vangalur S. Alagar, David K. Probst |
Binomial-Expansion Algorithms for Copmuting Integer Powers of Sparse Polynomials. |
International Computing Symposium |
1977 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")