Vangalur S. Alagar Home Page Coauthor index DBLP Vis pubzone.org

Vasu S. Alagar

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKaiyu Wan, Mubarak Mohammad, Vasu S. Alagar: A Formal Model of Business Application Integration from Web Services (Position Paper). SOFSEM 2009: 656-667
2008
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMubarak Mohammad, Vasu S. Alagar: TADL - An Architecture Description Language for Trustworthy Component-Based Systems. ECSA 2008: 290-297
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKaiyu Wan, Vasu S. Alagar: A Context-Aware Trust Model for Service-Oriented Multi-Agent Systems. ICSOC Workshops 2008: 221-236
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlga Ormandjieva, Vangalur S. Alagar, Mao Zheng: Early quality monitoring in the development of real-time reactive systems. Journal of Systems and Software 81(10): 1738-1753 (2008)
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMao Zheng, Vasu S. Alagar, Olga Ormandjieva: Automated generation of test suites from formal specifications of real-time reactive systems. Journal of Systems and Software 81(2): 286-304 (2008)
2007
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKaiyu Wan, Vasu S. Alagar, Zongyuan Yang: A Context-Based Analysis of Intrusion Detection for Policy Violation. CIS 2007: 692-696
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVasu S. Alagar, Mubarak Mohammad: Specification and verification of trustworthy component-based real-time reactive systems. SAVCBS 2007: 89-93
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKaiyu Wan, Vasu S. Alagar, Zongyuan Yang: Trustable Ad Hoc Networks of Agent Societies. SNPD (3) 2007: 994-1000
2006
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKaiyu Wan, Vasu S. Alagar: Security Contexts in Autonomic Systems. CIS 2006: 806-816
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKaiyu Wan, Vasu S. Alagar: A Component-Based Architecture for Multi-Agent Systems. IAT 2006: 452-459
2005
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMao Zheng, Vangalur S. Alagar: Conformance Testing of BDI Properties in Agent-based Software Systems. APSEC 2005: 457-464
59no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMubarak Sami, Olga Ormandjieva, Vangalur S. Alagar: A Visualization Tool for Reactive Systems Simulation. Automation, Control, and Information Technology 2005: 65-70
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVasu S. Alagar, Mao Zheng: A Software Architecture for Multi-agent Systems. CIS (1) 2005: 303-312
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKaiyu Wan, Vasu S. Alagar: An Intensional Programming Approach to Multi-agent Coordination in a Distributed Network of Agents. DALT 2005: 205-222
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKaiyu Wan, Vasu S. Alagar, Joey Paquet: An Architecture for Developing Context-Aware Systems. MRC 2005: 48-61
55no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMubarak Sami, Olga Ormandjieva, Vangalur S. Alagar: A Visualization Tool for Reactive Systems Simulation. MSV 2005: 156-164
54no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKaiyu Wan, Vasu S. Alagar, Joey Paquet: Lucx: Lucid Enriched with Context. PLC 2005: 48-56
2004
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVasu S. Alagar, Joey Paquet, Kaiyu Wan: Intensional Programming for Agent Communication. DALT 2004: 239-255
52no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVangalur S. Alagar, Olga Ormandjieva: Reliability Assessment of E-Commerce Applications. ICETE (2) 2004: 30-37
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKaiyu Wan, Vasu S. Alagar, Joey Paquet: Real Time Reactive Programming in Lucid Enriched with Contexts. ICTAC 2004: 387-402
2003
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVangalur S. Alagar, M. Chen, Olga Ormandjieva, Mao Zheng: Automated Test Generation from Object-Oriented Specifications of Real-Time Reactive Systems. APSEC 2003: 406-414
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVangalur S. Alagar, D. Muthiayen: A Rigorous Approach to Modeling Autonomous Traffic Control Systems. ISADS 2003: 193-
48no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaola Bertolotti, Ombretta Gaggi, Maria Luisa Sapino, Vangalur S. Alagar: A Compositional Approach to Multimedia Document Dynamics. Multimedia Information Systems 2003: 1-12
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVangalur S. Alagar, Olga Ormandjieva, Mao Zheng: Incremental Testing for Self-Evolving Timed Systems. QSIC 2003: 12-19
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVangalur 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 45(11): 743-761 (2003)
2002
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVangalur S. Alagar, Olga Ormandjieva: Reliability Assessment of WEB Applications. COMPSAC 2002: 405-414
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVangalur S. Alagar, Ralf Lämmel: Three-Tiered Specification of Micro-architectures. ICFEM 2002: 92-97
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVangalur S. Alagar, Kasilingam Periyasamy: Specification and Verification of Secure Business Transaction Systems. SOFSEM 2002: 240-252
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVasu S. Alagar, Ralf Lämmel: Three-Tiered Specification of Micro-Architectures CoRR cs.SE/0205052: (2002)
2001
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVangalur S. Alagar, Mao Zheng: A Rigorous Method for Testing Real-Time Reactive Systems. APSEC 2001: 213-220
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVangalur S. Alagar, Zheng Xi: A Rigorous Approach to Modeling and Analyzing E-Commerce Architectures. FME 2001: 173-196
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVangalur S. Alagar, Qiaoyun Li, Olga Ormandjieva: Assessment of Maintainability in Object-Oriented Software. TOOLS (39) 2001: 194-206
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVangalur S. Alagar, Kasilingam Periyasamy: BTOZ: A Formal Specification Language for Formalizing Business Transactions. TOOLS (39) 2001: 240-252
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKasilingam Periyasamy, Vangalur S. Alagar: A rigorous method for test templates generation from object-oriented specifications. Softw. Test., Verif. Reliab. 11(1): 3-37 (2001)
2000
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVangalur S. Alagar, Olga Ormandjieva, Mao Zheng: Managing Complexity in Real-Time Reactive Systems. ICECCS 2000: 12-24
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVangalur S. Alagar, D. Muthiayen: Towards a mechanical verification of real-time reactive systems modeled in UML. RTCSA 2000: 245-254
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLD. 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: 491-497
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVangalur S. Alagar, L. Zhang: Automatic code generation for real-time reactive systems in TROMLAB environment. RTCSA 2000: 503-510
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVangalur S. Alagar, Olga Ormandjieva, Mao Zheng: Specification-Based Testing for Real-Time Reactive Systems. TOOLS (34) 2000: 25-36
1999
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKasilingam Periyasamy, Vangalur S. Alagar, D. Muthiayen: Verification and Validation Techniques of Object-Oriented Software Systems. TOOLS (30) 1999: 413-
1998
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKasilingam Periyasamy, Vangalur S. Alagar: Adding Real-Time Filters to Object-Oriented Specification of Time Critical Systems. WIFT 1998: 28-39
1997
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKasilingam Periyasamy, Vangalur S. Alagar: Extending Object-Z for Specifying Real-Time Systems. TOOLS (23) 1997: 163-175
1996
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVangalur S. Alagar, D. Muthiayen, Ramesh Achuthan: Animating Real-Time Reactive Systems. ICECCS 1996: 181-188
1995
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVangalur S. Alagar, Maurice Nivat: Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings Springer 1995
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRamesh Achuthan, Vangalur S. Alagar, Thiruvengadam Radhakrishnan: TROM - An Object Model for Reactive System Development. ASIAN 1995: 350-364
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVangalur S. Alagar, Fereidoon Sadri, Joseph N. Said: Semantics of an Extended Relational Model for Managing Uncertain Information. CIKM 1995: 234-240
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVangalur S. Alagar, Fereidoon Sadri, Joseph N. Said: An Extended Relational Model for Managing Uncertain Information. DEXA Workshop 1995: 257-266
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRamesh Achuthan, Vangalur S. Alagar, Thiruvengadam Radhakrishnan: An object-oriented modeling of real-time robotic assembly system. ICECCS 1995: 310-
1994
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVangalur 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 Springer 1994
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRamesh Achuthan, Vangalur S. Alagar, Thiruvengadam Radhakrishnan: An Object-Oriented Framework for Specifying Reactive Systems. COODBSE 1994: 114-133
1993
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVangalur 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 Springer 1993
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVangalur 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
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVangalur S. Alagar, Pankaj Goyal, P. S. Nair, Fereidoon Sadri: Permutation dependency in datalog programs. Inf. Sci. 68(3): 207-223 (1993)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKasilingam Periyasamy, Vangalur S. Alagar, Tien D. Bui: A formal framework for design and verification of robotic agents. Journal of Intelligent and Robotic Systems 8(2): 173-200 (1993)
1992
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVangalur S. Alagar: Modeling Time in Information Systems. Formal Methods in Databases and Software Engineering 1992: 80-95
1991
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVangalur S. Alagar, Greetha Ramanathan: Functional Specification and Proof of Correctness for Time Dependent Behaviour of Reactive Systems. Formal Asp. Comput. 3(3): 253-283 (1991)
1990
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVangalur S. Alagar: Range Equations and Range Matrices: a Study in Statistical Database Security. AUSCRYPT 1990: 360-385
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVangalur S. Alagar, Tien D. Bui, Kasilingam Periyasamy: Semantic CSG trees for finite element analysis. Computer-Aided Design 22(4): 194-198 (1990)
1988
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVangalur 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
1986
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMai Thanh, Vangalur S. Alagar, T. D. Bui: Optimal Expected-Time Algorithms for Merging. J. Algorithms 7(3): 341-357 (1986)
1985
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAsish Mukhopadhyay, Vangalur S. Alagar: Exact Computation of the Characteristic Polynomial of an Integer Matrix. AAECC 1985: 316-324
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVangalur S. Alagar, Mai Thanh: Fast Polynominal Decomposition Algorithms. European Conference on Computer Algebra (2) 1985: 150-153
1984
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Grogono, Vangalur S. Alagar: An Environment for High-level Program Development. Fachtagung über Programmiersprachen 1984: 144-155
1983
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVangalur S. Alagar, T. D. Bui, Mai Thanh: Efficient Algorithms for Merging. BIT 23(4): 410-428 (1983)
1982
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid K. Probst, Vangalur S. Alagar: An Adaptive Hybrid Algorithm for Multiplying Dense Polynomials. EUROCAM 1982: 16-23
1981
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVangalur S. Alagar, Bernard Blanchard, David Glaser: Effective inference control mechanisms for securing statistical databases. AFIPS National Computer Conference 1981: 443-452
1980
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVangalur S. Alagar: Algorithms for processing partial match queries using word fragments. Inf. Syst. 5(4): 323-332 (1980)
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid K. Probst, Vangalur S. Alagar: Corrigendum: A Family of Algorithms for Powering Sparse Polynomials. SIAM J. Comput. 9(2): 439 (1980)
1979
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid K. Probst, Vangalur S. Alagar: A Family of Algorithms for Powering Sparse Polynomials. SIAM J. Comput. 8(4): 626-644 (1979)
1977
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVangalur S. Alagar, David K. Probst: Binomial-Expansion Algorithms for Copmuting Integer Powers of Sparse Polynomials. International Computing Symposium 1977: 395-402

Coauthor Index

1Ramesh Achuthan [19] [21] [23] [26] [28] [46]
2Sabine Bergler [22]
3Paola Bertolotti [48]
4Bernard Blanchard [5]
5Tien D. Bui (T. D. Bui) [7] [11] [13] [17]
6M. Chen [50]
7Fangqing Dong [19] [22]
8Ombretta Gaggi [48]
9David Glaser [5]
10Pankaj Goyal [18]
11Peter Grogono [8]
12M. Haydar [46]
13Ferhat Khendek [34]
14Laks V. S. Lakshmanan (V. S. Lakshmanan) [20]
15Ralf Lämmel (Ralf Laemmel, Ralf Lammel) [42] [44]
16Qiaoyun Li [39]
17Mubarak Mohammad [64] [69] [70]
18Asish Mukhopadhyay [10]
19D. Muthiayen [28] [31] [34] [35] [46] [49]
20P. S. Nair [18]
21Maurice Nivat [27]
22Olga Ormandjieva [32] [36] [39] [45] [46] [47] [50] [52] [55] [59] [66] [67]
23Joey Paquet [51] [53] [54] [56]
24Kasilingam Periyasamy [13] [17] [29] [30] [31] [37] [38] [43]
25David K. Probst [1] [2] [3] [6]
26Thiruvengadam Radhakrishnan [21] [23] [26]
27Greetha Ramanathan [12] [15]
28Fereidoon Sadri [18] [20] [24] [25]
29Joseph N. Said [24] [25]
30Mubarak Sami [55] [59]
31Maria Luisa Sapino [48]
32A. Sefidcon [34]
33Mai Thanh [7] [9] [11]
34Kaiyu Wan [51] [53] [54] [56] [57] [61] [62] [63] [65] [68] [70]
35Zheng Xi [40]
36Zongyuan Yang [63] [65]
37L. Zhang [33]
38Mao Zheng [32] [36] [41] [46] [47] [50] [58] [60] [66] [67]

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)