Publications de l'équipe Méthodes Formelles pour l'année 2012

Années: 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2013

  1. G. Puppis, S. Staworko, and C. Riveros. Bounded repairability for regular tree languages. In International Conference on Database Theory (ICDT), pages 155-168, 2012.
  2. V. Diekert and A. Muscholl. On distributed monitoring of asynchronous systems. In Logic, Language, Information and Computation - 19th International Workshop, WoLLIC 2012, 2012.
  3. M. Mosbah, T. Morsellino, and C. Aguerre. Debugging the execution of distributed algorithms over anonymous networks. In Information Visualization, IEEE, pages 464 - 470. IEEE Computer science, 2012.
  4. B. Bollig, P. Gastin, B. Monmege, and M. Zeitoun. A probabilistic kleene theorem. In M. Mukund and S. Chakraborty, editors, Proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis (ATVA'12), pages 400-415. Springer, 2012.
  5. M. Moortgat and R. Moot. Proofs nets and the categorial flow of information. In A. Baltag, D. Grossi, A. Marcoci, B. Rodenhäuser, and S. Smets, editors, Logic and Interactive Rationality. Institute of Logic Language and Computation, 2012.
  6. A. Lefeuvre, R. Moot, and C. Retoré. Traitement automatique d'un corpus de récits de voyages pyrénéens : Analyse syntaxique, sémantique et pragmatique dans le cadre de la théorie des types. In 3e Congrès Mondial de Linguistique Française, 2012.
  7. A. Lefeuvre, R. Moot, C. Retoré, and N.-F. Sandillon-Rezer. Traitement automatique sur corpus de récits de voyages pyrénéens : Une analyse syntaxique, sémantique et temporelle. In ATALA/AFCP, editor, JEP-TALN-RECITAL 2012, volume 2 TALN, 2012.
  8. S. Pinisetty, Y. Falcone, T. Jéron, H. Marchand, A. Rollet, and O. L. Nguena Timo. Runtime enforcement of timed properties. In 3rd International Conference on Runtime Verification, volume 7687 of LNCS, page 2290244. Springer, 2012.
  9. M.-P. Béal, J.-M. Champarnaud, J.-P. Dubernard, H. Jeanne, and S. Lombardy. Decidability of geometricity of regular languages. In H.-C. Yen and O. H. Ibarra, editors, 16th International Conference, DLT 2012, volume 7410, pages 62-72. Springer, 2012.
  10. S. Lombardy and J. Sakarovitch. The removal of weighted epsilon-transitions. In N. Moreira and R. Reis, editors, 17th International Conference, CIAA 2012, volume 7381, pages 345-352. Springer, 2012.
  11. S. Lombardy and A. Amarni. Factor and subsequence kernels and signatures of rational languages. In N. Moreira and R. Reis, editors, 17th International Conference, CIAA 2012, volume 7381, pages 313-320. Springer, 2012.
  12. C. Aguerre, T. Morsellino, and M. Mosbah. Debugging the execution of distributed algorithms over anonymous networks. In 2012 16th International Conference on Information Visualisation, pages 464-470, 2012.
  13. F. Herbreteau, B. Srivathsan, and I. Walukiewicz. Better abstractions for timed automata. In LICS - 27th Annual ACM/IEEE Symposium on Logic in Computer Science - 2012, pages 375-384. IEEE, 2012.
  14. F. Berthaut, D. Janin, and B. Martin. Advanced synchronization of audio or symbolic musical patterns: An algebraic approach. In Sixth IEEE International Conference on Semantic Computing, pages 202-209, 2012.
  15. C. Aguerre, T. Morsellino, and M. Mosbah. Fully-distributed debugging and visualization of distributed systems in anonymous networks. In R. S. L. P. Richard, M. Kraus and J. Braz, editors, 7th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, pages 764-767. INSTICC, 2012.
  16. I. Durand. Object enumeration. In 5th European Lisp Symposium, pages 43-57, 2012.
  17. A. Heußner, T. Le Gall, and G. Sutre. Mcscm: A general framework for the verification of communicating machines. In C. Flanagan and B. König, editors, 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), volume 7214 of Lecture Notes in Computer Science, pages 487-484. Springer Verlag, 2012.
  18. F. Bassino, C. Nicaud, and P. Weil. Generic properties of random subgroups of a free group for general distributions. In 23rd International Meeting on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms (AofA'12), volume AQ of Discrete Mathematics and Theoretical Computer Science, pages 155-166, 2012.
  19. D. Janin. A lazy real-time system architecture for interactive music. In T. Dutoit, T. Todoroff, and N. d'Alessandro, editors, JIM 2012, pages 133-139, 2012.
  20. J. Leroux. Vector addition systems reachability problem (a simpler solution). In A. Voronkov, editor, The Alan Turing Centenary Conference, volume 10 of EPiC Series, pages 214-228. Andrei Voronkov, 2012.
  21. D. Janin. Quasi-recognizable vs mso definable languages of one-dimensional overlapping tiles. In V. S. Branislav Rovan and P. Widmayer, editors, 37th International Symposium on Mathematical Foundations of Computer Science, volume 7464, pages 516-528. Springer-Verlag, 2012.
  22. A. Benzakour, S. Maabout, M. Mosbah, and M. Sistiaga. Uncertainty interval temporal sequences extraction. In 6th Int. Conf. on Information Systems, Technology and Management (ICISTM), number 285 in Com. Comp. Info. Science (CCIS), pages 259-270. Springer, 2012.
  23. A. Benzakour, S. Maabout, M. Mosbah, and M. Sistiaga. Extraction de séquences fréquentes avec intervalles d'incertitude. In Conférence Internationale Francophone sur l'Extraction et la Gestion de Connaissance (EGC), RNTI (Revue des nouvelles technologies de l'information), page 12 pages. Hermann, 2012.
  24. E. Garnaud, S. Maabout, and M. Mosbah. Using functional dependencies for reducing the size of a data cube. In Springer, editor, International Symposium on Foundations of Information and Knowledge Systems, LNCS 7153, pages 145-164, 2012.
  25. G. Puppis, C. Riveros, and S. Staworko. Bounded repairability for regular tree languages. In International Conference on Database Theory (ICDT), pages 155-168. ACM, 2012.
  26. N. Fijalkow, H. Gimbert, and Y. Oualhadj. Deciding the value 1 problem of probabilistic leaktight automata. In Logic in Computer Science (LICS), 2012 27th Annual IEEE Symposium on, pages 295-304, 2012.
  27. H. Straubing and P. Weil. An introduction to finite automata and their connection to logic. In P. S. Deepak D'Souza, editor, Modern applications of automata theory, pages 3-43. World Scientific, 2012.
  28. R. Moot and C. Retoré. The Logic of Categorial Grammars: A Deductive Account of Natural Language Syntax and Semantics. Springer, 2012.
  29. B. Courcelle and J. Engelfriet. Graph structure and monadic second-order logic. A language-theoretic approach. Cambridge University Press, 2012.
  30. R. Moot and C. Retoré. The logic of categorial grammars. Springer Verlag, 2012.
  31. P. Acharya, T. Luongo, J. Matz, S. Schmidt, G.-Y. Chuang, I. Georgiev, P. Kessler, Y. Yang, P. Chames, L. Martin, J. Mascola, and P. Kwong. Structural definition of a novel cd4-induced epitope that is targeted by a single-headed immunoglobulin to effect broad and potent hiv neutralization. Retrovirology, 9(Suppl 2), 2012.
  32. J. Matz, P. Kessler, J. Bouchet, O. Combes, D. Baty, L. Martin, S. Benichou, and P. Chames. Straightforward selection of broadly neutralizing single-domain antibodies targeting the conserved cd4 and co-receptor binding sites of hiv-1 gp120. Retrovirology, 9(Suppl 2), 2012.
  33. F. Herbreteau, B. Srivathsan, and I. Walukiewicz. Efficient emptiness check for timed büchi automata (extended version). Formal Methods in System Design, 40(2):122-146, 2012.
  34. S. Salva and A. Rollet. A pragmatic approach for testing stateless and stateful web service robustness. Studia Informatica Universalis, 10(2):139-179, 2012.
  35. F. Berthaut, D. Janin, and B. Martin. Advanced synchronization of audio or symbolic musical patterns: An algebraic approach. International Journal of Semantic Computing, 6(4):409-427, 2012.
  36. A. Heußner, J. Leroux, A. Muscholl, and G. Sutre. Reachability analysis of communicating pushdown systems. Logical Methods in Computer Science, 8(3:23):1-20, 2012.
  37. R. Moot. Wide-coverage semantics for spatio-temporal reasoning. Traitement Automatique des Langues, pages 1-28, 2012.
  38. A. Lefeuvre and N. Vinogradova. Hétérogénéité et extraction d'information factuelle dans un corpus de récits de voyage. Langages, 3(187), 2012.
  39. R. Bonnet, A. Finkel, J. Leroux, and M. Zeitoun. Model checking vector addition systems with one zero-test. Logical Methods in Computer Science, 8(2):11, 2012.
  40. A. Akhavi, I. Klimann, S. Lombardy, J. Mairesse, and M. Picantin. On the finiteness problem for automaton (semi)groups. International Journal of Algebra and Computation, 22(6031):1250052.1-1250052.26, 2012.
  41. J.-M. Couvreur, D. Poitrenaud, and P. Weil. Branching processes of general petri nets. Fundamenta Informaticae, 120:1-28, 2012.
  42. C. Retoré. Variable types for meaning assembly: a logical syntax for generic noun phrases introduced by "most". Recherches linguistiques de Vincennes, 41:83-102, 2012.
  43. E. Garnaud, S. Maabout, and M. Mosbah. Les dépendances fonctionnelles pour la sélection de vues dans les cubes de données. Journal of Decision Systems, 21(1):71-91, 2012.
  44. V. Diekert, M. Kufleitner, and P. Weil. Star-free languages are church-rosser congruential. Theoretical Computer Science, 454:129-135, 2012.
  45. D. Janin. Vers une modélisation combinatoire des structures rythmiques simples de la musique. Revue Francophone d'Informatique Musicale, 2, 2012.
  46. M. Kufleitner and P. Weil. On logical hierarchies within fo2-definable languages. Logical Methods in Computer Science, 8(3:11):1-30, 2012.
  47. B. Courcelle. On the model-checking of monadic second-order formulas with edge set quantifications. Discrete Applied Mathematics, 160:866-887, 2012.

Années: 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2013

Page mise à jour le 21/08/2017 à 08:38