Mots-clés

Nombre de documents

29

Damien Pous


Article dans une revue4 documents

  • Jurriaan Rot, Filippo Bonchi, Marcello Bonsangue, Damien Pous, Jan Rutten, et al.. Enhanced coalgebraic bisimulation. Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2015, <10.1017/S0960129515000523>. <hal-01288960>
  • Filippo Bonchi, Damien Pous. Hacking nondeterminism with induction and coinduction. . Communications- ACM, Association for Computing Machinery, 2015, 58 (2), pp.87-95. <10.1145/2713167>. <hal-01284907>
  • Tom Hirschowitz, Damien Pous. Innocent strategies as presheaves and interactive equivalences for CCS (expanded version). Scientific Annals of Computer Science, Alexandru Ioan Cuza University Publishing House, 2012, 22 (1), pp.147-199. <10.7561/SACS.2012.1.147>. <hal-00555144v3>
  • Damien Pous. Using Bisimulation Proof Techniques for the Analysis of Distributed Algorithms. Theoretical Computer Science, Elsevier, 2008, 402 (2-3), pp.199-220. <10.1016/j.tcs.2008.04.035>. <ensl-00149964v3>

Communication dans un congrès23 documents

  • Paul Brunet, Damien Pous. Petri automata for Kleene allegories. Logic in Computer Science, Jul 2015, Kyoto, Japan. IEEE, pp.68-79, 2015, <http://lics.rwth-aachen.de/lics15/>. <10.1109/LICS.2015.17>. <hal-01073936v3>
  • Paul Brunet, Damien Pous. Decidability of Identity-free Relational Kleene Lattices. David Baelde; Jade Alglave. Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France. Actes des Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), <http://jfla.inria.fr/2015>. <hal-01099137>
  • Damien Pous. Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests. POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2015, Mumbai, India. 2015. <hal-01021497v2>
  • Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot. Lax Bialgebras and Up-To Techniques for Weak Bisimulations. 26th International Conference on Concurrency Theory (CONCUR), Sep 2015, Madrid, Spain. 2015, Leibniz International Proceedings in Informatics (LIPIcs). <10.4230/LIPIcs.CONCUR.2015.240>. <hal-01285299>
  • Damien Pous. Coinductive techniques, from automata to coalgebra. Programming Languages Mentoring Workshop, Jan 2015, Mumbai, India. <10.1145/2792434.2792440>. <hal-01288791>
  • Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous. Formal verification in Coq of program properties involving the global state effect. JFLA 2014 - Journées Francophones des Langages Applicatifs, Jan 2014, Fréjus, France. pp.1-17, 2014. <hal-00869230v2>
  • Damien Pous, Alan Schmitt. De la KAM avec un Processus d'Ordre Supérieur. JFLAs 2014, Jan 2014, Fréjus, France. pp.1-12, 2014, Actes des 25èmes Journées Francophones des Langages Applicatifs. <hal-00966097v2>
  • Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot. Coinduction up to in a fibrational setting. CSL-LICS, Jul 2014, Vienne, Austria. ACM, pp.1-12, 2014, <10.1145/2603088.2603149>. <hal-00936488v2>
  • Paul Brunet, Damien Pous. Kleene Algebra with Converse. RAMiCS, Apr 2014, Marienstatt im Westerwald, Germany. Springer, 8428, pp.101-118, 2014, LNCS. <hal-00938235>
  • Jean-Marie Madiot, Damien Pous, Davide Sangiorgi. Bisimulations up-to: beyond first-order transition systems. CONCUR, Sep 2014, Rome, Italy. 2014, <10.1007/978-3-662-44584-6_8>. <hal-00990859>
  • Filippo Bonchi, Damien Pous. Checking NFA equivalence with bisimulations up to congruence. Principle of Programming Languages (POPL), Jan 2013, Roma, Italy. ACM, pp.457-468, 2013, <10.1145/2429069.2429124>. <hal-00639716v5>
  • Damien Pous. Coalgebraic Up-to Techniques. CALCO, Sep 2013, Warsaw, Poland. Springer, 8089, 2013, LNCS. <10.1007/978-3-642-40206-7_4>. <hal-00966075>
  • Damien Pous. Kleene Algebra with Tests and Coq Tools for While Programs. Interactive Theorem Proving 2013, Jul 2013, Rennes, France. Springer, 7998, pp.180-196, 2013, LNCS. <10.1007/978-3-642-39634-2_15>. <hal-00785969>
  • Fabienne Boyer, Olivier Gruber, Damien Pous. Robust reconfigurations of component assemblies. ICSE '13 - International Conference on Software Engineering, May 2013, San Francisco, United States. IEEE/ACM, pp.13-22, 2013, <http://dl.acm.org/citation.cfm?id=2486791>. <hal-00966078>
  • Filippo Bonchi, Georgiana Caltais, Damien Pous, Alexandra Silva. Brzozowski's and Up-To Algorithms for Must Testing. 11th Asian Symposium on Programming Languages and Systems (APLAS), Dec 2013, Melbourne, Australia. Springer, 8301, pp.1-16, 2013, LNCS. <10.1007/978-3-319-03542-0_1>. <hal-00966072>
  • Tom Hirschowitz, Damien Pous. Innocent strategies as presheaves and interactive equivalences for CCS. ICE, Jun 2011, Reykjavik, Iceland. 59, pp.2-24, 2011, EPTCS. <10.4204/EPTCS.59.2>. <hal-00616648>
  • Thomas Braibant, Damien Pous. Tactics for Reasoning modulo AC in Coq. Certified Proofs and Programs, 2011, Taiwan. pp167-182, 2011, <10.1007/978-3-642-25379-9_14>. <hal-00484871v4>
  • Damien Pous. Untyping Typed Algebraic Structures and Colouring Proof Nets of Cyclic Linear Logic. Computer Science Logic, Aug 2010, Czech Republic. Springer, 6247, pp.484-498, 2010, LNCS. <10.1007/978-3-642-15205-4_37>. <hal-00421158v4>
  • Daniel Hirschkoff, Damien Pous. On Bisimilarity and Substitution in Presence of Replication. ICALP, Jul 2010, Bordeaux, France. Springer, 6199, pp.454-465, 2010, LNCS. <10.1007/978-3-642-14162-1_38>. <hal-00375604v4>
  • Thomas Braibant, Damien Pous. Deciding Kleene Algebras in Coq. ITP, Aug 2010, Edinburgh, United Kingdom. Springer, 6172, pp.163-178, 2010, LNCS. <10.1007/978-3-642-14052-5_13>. <hal-00383070v5>
  • Daniel Hirschkoff, Aurélien Pardon, Tom Hirschowitz, Samuel Hym, Damien Pous. Encapsulation and Dynamic Modularity in the Pi-Calculus. PLACES 2008, 2008, Oslo, Norway. Elsevier, 241, pp.85 - 100, 2009, Electronic Notes in Theoretical Computer Science. <10.1016/j.entcs.2009.06.005>. <hal-00400159>
  • Damien Pous. Complete Lattices and Up-to Techniques. Zhong Shao. 5th Asian Symposium on Programming Languages and Systems, Singapore, Singapore. Springer Berlin / Heidelberg, pp.351-366, 2007, volume 4807 of Lecture Notes in Computer Science. <10.1007/978-3-540-76637-7_24>. <ensl-00155308v2>
  • Daniel Hirschkoff, Tom Hirschowitz, Damien Pous, Alan Schmitt, Jean-Bernard Stefani. Component-Oriented Programming with Sharing: Containment is not Ownership. Generative Programming and Component Engineering (GPCE), 2005, Tallinn, Estonia. Springer, 3676, pp.389-404, 2005, Lecture Notes in Computer Science. <10.1007/11561347_26>. <hal-00310126>

Chapitre d'ouvrage1 document

  • Damien Pous, Davide Sangiorgi. Enhancements of the bisimulation proof method. Davide Sangiorgi and Jan Rutten. Advanced Topics in Bisimulation and Coinduction, Cambridge University Press, 2012. <hal-00909391>

Rapport1 document

  • Paul Brunet, Damien Pous. Decidability of Identity-free Relational Kleene Lattices. 2014. <hal-01073932>