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

Publications Master Template, generated: 7:24, 17 October 2019

Search the publication database

  . Return

Your search returned the following 23 documents:

  1. Witold Charatonik, Lilia Georgieva, and Patrick Maier
    Bounded Model Checking of Pointer Programs
    In: Computer Science Logic; 19th International Workshop, CSL 2005; 14th Annual Conference of the EACSL, Oxford, UK, 2005, 397-412
  2. 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
  3. Witold Charatonik and Jean-Marc Talbot
    Atomic Set Constraints with Projection
    In: Rewriting Techniques and Applications. 13th International Conference, RTA 2002, Copenhagen, Denmark, 2002, 311-325
  4. 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
  5. 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
  6. Witold Charatonik
    Direktionale Typen in der Logischen Programmierung
    Habilitation thesis, Universität des Saarlandes, 2002
  7. Witold Charatonik, Andrew Donald Gordon, and Jean-Marc Talbot
    Finite-Control Mobile Ambients
    In: Programming languages and systems: 11th European Symposium on Programming, ESOP 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, 2002, 295-313
  8. Witold Charatonik and Roberto Amadio
    On Name Generation and Set-Based Analysis in the Dolev-Yao Model
    In: CONCUR 2002 - Concurrency Theory. 13th International Conference, Brno, Czech Republic, 2002, 499-514
  9. Witold Charatonik and Andreas Podelski
    Set Constraints with Intersection
    Information and Computation 179 (2): 213-229, 2002
  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. 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
  12. Witold Charatonik and Jean-Marc Talbot
    The Decidability of Model Checking Mobile Ambients
    In: Computer science logic (CSL-01) : 15th International Workshop, CSL 2001, Annual Conference of the EACSL, Paris, France, September 10-13, 2001, 2001, 339-354
  13. Witold Charatonik
    Directional Type Checking for Logic Programs: Beyond Discriminative Types
    In: Proceedings of the 8th European Symposium on Programming (ESOP-00), Berlin, Germany, March, 27 - March, 31, 2000, 72-87
  14. Witold Charatonik, Andreas Podelski, and Jean-Marc Talbot
    Paths vs. Trees in Set-based Program Analysis
    In: Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL-00), Boston, Massachusetts, USA, 19-21 January 2000, 2000, 330-337
  15. Andreas Podelski, Witold Charatonik, and Martin Müller
    Set-based Failure Analysis for Logic Programs and Concurrent Constraint Programs
    In: Programming Languages and Systems: Proceedings of the 8th European Symposium on Programming (ESOP-99), Amsterdam, The Netherlands, March, 22nd-26th, 1999, 177-192
  16. Witold Charatonik
    An Undecidable Fragment of the Theory of Set Constraints
    Information Processing Letters 68: 147-151, 1998
  17. Witold Charatonik and Andreas Podelski
    Co-definite Set Constraints
    In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), Tsukuba, Japan, March 30 - April 1, 1998, 1998, 211-225
  18. Witold Charatonik and Andreas Podelski
    Directional Type Inference for Logic Programs
    In: Proceedings of the 5th International Symposium in Static Analysis (SAS-98), Pisa, Italy, September 14-16, 1998, 278-294
  19. Witold Charatonik and Andreas Podelski
    Set-Based Analysis of Reactive Infinite-state Systems
    In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS-98), Lisbon, Portugal, March 28 - April 4, 1998, 358-375
  20. Witold Charatonik
    Set Constraints in Some Equational Theories
    Information and Computation 142: 40-75, 1998
  21. Witold Charatonik, David McAllester, Damian Niwinski, Andreas Podelski, and Igor Walukiewicz
    The Horn Mu-calculus
    In: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS-98), Indianapolis, Indiana, June 21-24, 1998, 58-69
  22. Witold Charatonik and Andreas Podelski
    The Independence Property of a Class of Set Constraints
    In: Principles and Practice of Constraint Programming, Proceedings of the Second International Conference (CP'96), Cambridge, USA, August 19-22, 1996, 76-90
  23. Witold Charatonik and Andreas Podelski
    Set Constraints with Intersection
    In: Proceedings of the Twelfth Annual IEEE Symposium on Logic in Computer Science (LICS-97), Warsaw, Poland, June 29 - July 2, 1997, 362-372