Database Entry Point
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template, generated: 6:41, 23 October 2019

Search the publication database

  . Return

Your search returned the following 12 documents:

  1. Witold Charatonik, Silvano Dal Zilio, Andrew Donald Gordon, Supratik Mukhopadhyay, and Jean-Marc Talbot
    Model checking mobile ambients
    Theoretical Computer Science 308 (1-3): 277-331, 2003
  2. Supratik Mukhopadhyay and Andreas Podelski
    An Algebraic Framework for Abstract Model Checking
    In: Abstraction, reformulation, and approximation : 5th International Symposium, SARA 2002, Montreal, 2002, 152-169
  3. Witold Charatonik, Supratik Mukhopadhyay, and Andreas Podelski
    Compositional Termination Analysis of Symbolic Forward Analysis
    In: Verification, Model Checking, and Abstract Interpretation. Third International Workshop, VMCAI 2002, Venice, Italy, 2002, 109-125
  4. Witold Charatonik, Supratik Mukhopadhyay, and Andreas Podelski
    Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP
    In: Logic Programming. 18th International Conference, ICLP 2002, Copenhagen, Denmark, 2002, 115-129
  5. Supratik Mukhopadhyay
    A Uniform Constraint-based Framework for the Verification of Infinite State Systems
    Doctoral dissertation, Universit├Ąt des Saarlandes, 2001
    [PS: Download: thesis.ps]
  6. Supratik Mukhopadhyay and Andreas Podelski
    Accurate Widenings and Boundedness Properties of Timed Systems
    In: Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, Novosibirsk, Russia, 1st-6th July, 2001, 2001, 79-94
  7. Supratik Mukhopadhyay and Andreas Podelski
    Constraint Database Models Characterizing Timed Bisimilarity
    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]
  8. Pablo Argon, Giorgio Delzanno, Supratik Mukhopadhyay, and Andreas Podelski
    Model Checking for Communication Protocols
    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.
  9. Witold Charatonik, Silvano Dal Zilio, Andrew Donald Gordon, Supratik Mukhopadhyay, and Jean-Marc Talbot
    The Complexity of Model Checking Mobile Ambients
    Microsoft Research, Microsoft Corporation, Redmond, MSR-TR-2001-03, Technical Report
  10. Witold Charatonik, Silvano Dal Zilio, Andrew Donald Gordon, Supratik Mukhopadhyay, and Jean-Marc Talbot
    The Complexity of Model Checking Mobile Ambients
    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
  11. Supratik Mukhopadhyay and Andreas Podelski
    Beyond Region Graphs: Symbolic Forward Analysis of Timed Automata
    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]
  12. Supratik Mukhopadhyay and Andreas Podelski
    Model Checking for Timed Logic Processes
    In: Proceedings of the 1st International Conference on Computational Logic, Imperial College, London, UK, 24-28 July, 2000, 2000, 598-612