Your search returned the following 12 documents:

12. Model checking mobile ambients
    Witold Charatonik, Silvano Dal Zilio, Andrew Donald Gordon, Supratik Mukhopadhyay, and Jean-Marc Talbot
    Theoretical Computer Science 308 (1-3): 277-331, 2003
    
11. An Algebraic Framework for Abstract Model Checking
    Supratik Mukhopadhyay and Andreas Podelski
    In: Abstraction, reformulation, and approximation : 5th International Symposium, SARA 2002, Montreal, 2002, 152-169
    
10. Compositional Termination Analysis of Symbolic Forward Analysis
    Witold Charatonik, Supratik Mukhopadhyay, and Andreas Podelski
    In: Verification, Model Checking, and Abstract Interpretation. Third International Workshop, VMCAI 2002, Venice, Italy, 2002, 109-125
    
9. Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP
   Witold Charatonik, Supratik Mukhopadhyay, and Andreas Podelski
   In: Logic Programming. 18th International Conference, ICLP 2002, Copenhagen, Denmark, 2002, 115-129
   
8. A Uniform Constraint-based Framework for the Verification of Infinite State Systems
   Supratik Mukhopadhyay
   Doctoral dissertation, Universität des Saarlandes, 2001
   [PS: Download: thesis.ps]
   
7. Accurate Widenings and Boundedness Properties of Timed Systems
   Supratik Mukhopadhyay and Andreas Podelski
   In: Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, Novosibirsk, Russia, 1st-6th July, 2001, 2001, 79-94
   
6. Constraint Database Models Characterizing Timed Bisimilarity
   Supratik Mukhopadhyay and Andreas Podelski
   In: Proceedings of the 3rd International Symposium on Practical Aspects of Declarative Languages, Las Vegas, USA, March, 8 - March, 11, 2001, 245-258
   [PS: Download: mainsub.ps]
   
5. Model Checking for Communication Protocols
   Pablo Argon, Giorgio Delzanno, Supratik Mukhopadhyay, and Andreas Podelski
   In: Proceedings of the 28th Annual Conference on Current Trends in Theory and Practice of Informatics (SOFSEM-2001), Piestany, Slovak Republic, November 24 -- December 1, 2001, 2001, 160-170. Note: To appear.
   
4. The Complexity of Model Checking Mobile Ambients
   Witold Charatonik, Silvano Dal Zilio, Andrew Donald Gordon, Supratik Mukhopadhyay, and Jean-Marc Talbot
   Microsoft Research, Microsoft Corporation, Redmond, MSR-TR-2001-03, Technical Report
   
3. The Complexity of Model Checking Mobile Ambients
   Witold Charatonik, Silvano Dal Zilio, Andrew Donald Gordon, Supratik Mukhopadhyay, and Jean-Marc Talbot
   In: Foundations of Software Science and Computation Structures. Proceedings of the 4th International Conference (FOSSACS-01). Held as Part of the Joint European Conferences on Theory and Practice of Software (ETAPS-01), Genova, Italy, April,2 -- April,8, 2001, 152-167
   
2. Beyond Region Graphs: Symbolic Forward Analysis of Timed Automata
   Supratik Mukhopadhyay and Andreas Podelski
   In: Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS-99), Chennai, India, December,13 - December, 15, 1999, 232-244
   [PS: Download: beyond.ps]
   
1. Model Checking for Timed Logic Processes
   Supratik Mukhopadhyay and Andreas Podelski
   In: Proceedings of the 1st International Conference on Computational Logic, Imperial College, London, UK, 24-28 July, 2000, 2000, 598-612