Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Joseph E. Urban

◀ ▶ joint publications with Vinitha Hannah Subburaj

> Home > Persons > Joseph E. Urban

Publications

2018
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/fedcsis/SubburajU18a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fedcsis/SubburajU18a
Vinitha Hannah Subburaj, Joseph E. Urban:
Specifying Security Requirements in Multi-agent Systems Using the Descartes-Agent Specification Language and AUML. AITM/ISM@FedCSIS 2018: 93-111
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/fedcsis/SubburajU18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fedcsis/SubburajU18
Vinitha Hannah Subburaj, Joseph E. Urban:
Applying Formal Methods to Specify Security Requirements in Multi-Agent Systems. FedCSIS 2018: 707-714
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/fie/SubburajSU18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fie/SubburajSU18
Vinitha Hannah Subburaj, Anitha Sarah Subburaj, Joseph E. Urban:
Introduction to Computing: Interdisciplinary Course Design. FIE 2018: 1-5
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/irc/SubburajU18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/irc/SubburajU18
Vinitha Hannah Subburaj, Joseph E. Urban:
Descartes-Agent: Verifying Formal Specifications Using the Model Checking Technique. IRC 2018: 392-398
2012
[c58]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/seke/SubburajUS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/SubburajUS12
Vinitha Hannah Subburaj, Joseph E. Urban, Manan R. Shah:
Specification of Safety Critical Systems with Intelligent Software Agent Method. SEKE 2012: 578-581
2011
[c57]
- view
  - electronic edition @ ieee.org
  - no references & citations available
- export record
  dblp key:
  - conf/fedcsis/UrbanSR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fedcsis/UrbanSR11
Joseph E. Urban, Vinitha Hannah Subburaj, Lavanya Ramamoorthy:
Extending the Descartes Specification Language Towards Process Modeling. FedCSIS 2011: 337-340
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/isorc/SubburajU11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isorc/SubburajU11
Vinitha Hannah Subburaj, Joseph E. Urban:
Intelligent Agent Software Development Using AUML and the Descartes Specification Language. ISORC Workshops 2011: 297-305
2010
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/cisis/SubburajU10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cisis/SubburajU10
Vinitha Hannah Subburaj, Joseph E. Urban:
Issues and Challenges in Building a Framework for Reactive Agent Systems. CISIS 2010: 600-605
[c51]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/seke/SubburajU10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/SubburajU10
Vinitha Hannah Subburaj, Joseph E. Urban:
Intelligent Software Agent Design Issues with Extensions to the Descartes Specification Language. SEKE 2010: 668-671

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.