 | 2008 |
|---|
| 7 |       | Ambar A. Gadkari,
Anand Yeolekar,
J. Suresh,
S. Ramesh,
Swarup Mohalik,
K. C. Shashidhar:
AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems.
CAV 2008: 204-208 |
| 6 | | Swarup Mohalik,
A. C. Rajeev,
Manoj G. Dixit,
S. Ramesh,
P. Vijay Suman,
Paritosh K. Pandya,
Shengbing Jiang:
Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts.
DAC 2008: 296-299 |
| 2007 |
|---|
| 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.
Distributed and Parallel Databases 21(2-3): 145-165 (2007) |
| 2003 |
|---|
| 4 | | Swarup Mohalik,
Igor Walukiewicz:
Distributed Games.
FSTTCS 2003: 338-351 |
| 1998 |
|---|
| 3 | | Swarup Mohalik,
Ramaswamy Ramanujam:
A Presentation of Regular Languages in the Assumption - Commitment Framework.
ACSD 1998: 250- |
| 1997 |
|---|
| 2 | | Qiwen Xu,
Swarup Mohalik:
Compositional Reasoning Using the Assumption-Commitment Paradigm.
COMPOS 1997: 565-583 |
| 1 | | Swarup Mohalik,
Ramaswamy Ramanujam:
Assumption-Commitment in Automata.
FSTTCS 1997: 153-168 |
