Search the dblp DataBase

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]