The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Swarup Mohalik: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Swarup Mohalik, Ramaswamy Ramanujam
    A Presentation of Regular Languages in the Assumption - Commitment Framework. [Citation Graph (0, 0)][DBLP]
    ACSD, 1998, pp:250-0 [Conf]
  2. Qiwen Xu, Swarup Mohalik
    Compositional Reasoning Using the Assumption-Commitment Paradigm. [Citation Graph (0, 0)][DBLP]
    COMPOS, 1997, pp:565-583 [Conf]
  3. Swarup Mohalik, Ramaswamy Ramanujam
    Assumption-Commitment in Automata. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1997, pp:153-168 [Conf]
  4. Swarup Mohalik, Igor Walukiewicz
    Distributed Games. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2003, pp:338-351 [Conf]
  5. Cyril Brignone, Tim Connors, Mehrban Jam, Geoff Lyon, Geetha Manjunath, Alan McReynolds, Swarup Mohalik, Ian Robinson, Craig Sayers, Cosme Sevestre, Jean Tourrilhes, Venugopal Srinivasmurthy
    Real time asset tracking in the data center. [Citation Graph (0, 0)][DBLP]
    Distributed and Parallel Databases, 2007, v:21, n:2-3, pp:145-165 [Journal]

  6. AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems. [Citation Graph (, )][DBLP]


  7. Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002