Mots-clés

Nombre de documents

46

David Janin


How to synchronize, mix, combine, transform temporal media streams as varied as sounds, animations, melodies, videos, while ignoring their nature ? By providing a consistent and robust mathematical modeling, we aim at simplifying the design of interactive timed multimedia application. Polymorphic, this approach could also improve the interoperability between the existing tools. In addition, this research project deals with the modeling of timed and interactive applications in a quite unusual mathematical framework: inverse monoid theory. Its application to the modeling of computer systems could also lead, thanks to its richness, to a better formalization of incremental,  hierarchical and multi-scale design methods for these interactive systems.

Peut-on synchroniser, mixer, combiner, coordonner, transformer des flux media temporisés de natures diverses tels que des sons, des animations, des mélodies, des vidéos, tout en faisant abstraction de leur nature ? En offrant une modélisation uniforme et mathématiquement robuste, nous cherchons d'abord à simplifier l'accès à l'outil informatique aux créateurs d'applications multimédia temporisés et interactives. Transversale, cette approche pourrait aussi améliorer l'intéropérabilité entre les outils existants. Au delà, ce projet de recherche traite de la structuration logique des applications temporisées et interactives dans un cadre mathématique jusqu'alors peu exploité: la théorie des monoïdes inversifs. Particulièrement riche, son application à modélisation des systèmes informatiques pourrait aussi conduire à une meilleur formalisation des méthodes de conception incrémentale, hiérarchique et multi-échelle de ces systèmes interactifs.


Article dans une revue11 documents

  • Anne Dicky, David Janin. Two-way automata and regular languages of overlapping tiles. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2015, 142, pp.1-33. <10.3233/FI-2015-1280>. <hal-00717572v3>
  • David Janin. On labeled birooted tree languages: algebras, automata and logic. Journal of Information and Computation, Elsevier, 2015, 243, pp.222 - 248. <http://www.sciencedirect.com/science/article/pii/S0890540114001680>. <10.1016/j.ic.2014.12.016>. <hal-00982538>
  • Achim Blumensath, David Janin. A syntactic congruence for languages of birooted trees. Semigroup Forum, Springer Verlag, 2014, 91 (3), pp.675-698. <10.1007/s00233-014-9677-x>. <hal-00947972>
  • Julien Bernet, David Janin. Une étude des jeux distribués. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2013, 32 (9-10), pp.1007-1041. <hal-00658601v2>
  • David Janin. Vers une modélisation combinatoire des structures rythmiques simples de la musique. Revue Francophone d'Informatique Musicale, 2012, 2, http://revues.mshparisnord.org/rfim/index.php?id=222. <hal-00608295v3>
  • Florent Berthaut, David Janin, Benjamin Martin. Advanced Synchronization of Audio or Symbolic Musical Patterns: An Algebraic Approach. International Journal of Semantic Computing, World Scientific, 2012, 6 (4), pp.409-427. <10.1142/S1793351X12400132>. <hal-00794196>
  • Anuj Dawar, David Janin. The monadic theory of finite representations of infinite words. Information Processing Letters, Elsevier, 2007, 103, pp.94-101. <hal-00306381>
  • David Janin, Giacomo Lenzi. On the relationship between monadic and weak monadic second order logic on arbitrary trees, with applications to the mu-calculus. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2004, 61 (3-4), pp.247--265. <hal-00659987>
  • Julien Bernet, David Janin, Igor Walukiewicz. Permissive strategies : from parity games to safety games. RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), EDP Sciences, 2002, 36, pp.251--275. <hal-00306411>
  • Julien Bernet, David Janin, Igor Walukiewicz. Permissive strategies: from parity games to safety games. RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), EDP Sciences, 2002, 36, pp.261-275. <hal-00659985>
  • David Janin, Giacomo Lenzi. On the logical definability of topologically closed recognizable languages of infinite trees. Computing and Informatics, Slovak University Press, Bratislava, 2002, 21, pp.185--203. <hal-00659986>

Communication dans un congrès31 documents

  • Bernard Serpette, David Janin. Causalité dans les calculs d'événements. JFLA 2017 - Vingt-huitième Journées Francophones des Langages Applicatifs , Jan 2017, Gourette, France. JFLA 2017. <hal-01403369>
  • Simon Archipoff, David Janin. Structured reactive programming with polymorphic temporal tiles. ACM International Workshop on Functional Art, Music, Modelling, and Design (FARM), 2016, Nara, Japan. <10.1145/2975980.2975984>. <hal-01350525>
  • Simon Archipoff, David Janin. Pour un raffinement spatio-temporel tuilé. JFLA 2016 : Vingt-septièmes Journées Francophones des Langages Applicatifs , Jan 2016, Saint-Malo, France. Journées Francophones des Langages Applicatifs, 2016, <http://jfla.inria.fr>. <hal-01247424>
  • Simon Archipoff, David Janin. Vers une programmation réactive structurée. Journées d’Informatique Musicale (JIM), Mar 2016, Albi, France. Journées d’Informatique Musicale (JIM), <http://jim2016.gmea.net/>. <hal-01326557>
  • Simon Archipoff, Jaime Arias, Edwin Buger, David Janin. Interpolations : écriture de contraintes réactives pour improvisations pianistiques (démo). Journées d'Informatique Musicale (JIM), Mar 2016, Albi, France. Journées d'Informatique Musicale (JIM), 2016, <http://jim2016.gmea.net/>. <hal-01326559>
  • David Janin. Walking automata in free inverse monoids. 42nd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM), Jan 2016, Harrachov, Czech Republic. 2016. <hal-00738793v4>
  • Théis Bazin, David Janin. Flux média tuilés polymorphes: une sémantique opérationnelle en Haskell. 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-01099131>
  • David Janin. Inverse monoids of higher-dimensional strings. 12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015), 2015, Cali, Colombia. Springer, 9399, 2015, Lecture Notes in Computer Science. <hal-01165724v2>
  • David Janin, Myriam Desainte-Catherine. Des signaux aux symphonies : pour une modélisation homogène des objets sonores. Journées d'Informatique Musicale (JIM 2015), May 2015, Montréal, Canada. 2015. <hal-01183097>
  • David Janin. Towards a Higher-Dimensional String Theory for the Modeling of Computerized Systems. 40th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM), Jan 2014, High Tatras, Slovakia. Springer, 8327, pp.7-20, LNCS. <10.1007/978-3-319-04298-5_2>. <hal-00879463>
  • Paul Hudak, David Janin. Tiled Polymorphic Temporal Media. 2nd ACM SIGPLAN international workshop on Functional art, music, modeling & design (FARM), Sep 2014, Gothenburg, Sweden. pp.49-60, 2014, <10.1145/2633638.2633649>. <hal-00955113>
  • Anne Dicky, David Janin. Embedding finite and infinite words into overlapping tiles. A.A. Bulatov and A.M. Shur. Developments in Language Theory (DLT), Aug 2014, Ekaterinburg, Russia. Springer, 8633, pp.339-347, 2014, LNCS. <10.1007/978-3-319-09698-8_30>. <hal-00910002v2>
  • Etienne Dubourg, David Janin. Algebraic tools for the overlapping tile product. 8th International Conference on Language and Automata Theory and Applications (LATA), Mar 2014, Madrid, Spain. springer, 8370, pp.335-346, 2014, LNCS. <hal-00879465>
  • Paul Hudak, David Janin. Programmer avec des tuiles musicales: le T-calcul en Euterpea. Actes des Journées d'informatique Musicale (JIM), 2014, Saint-Denis, France. pp.1-10, 2014. <hal-00978355>
  • David Janin. Overlapping tile automata. A.A. Bulatov and A.M. Shur. The 8th International Computer Science Symposium in Russia (CSR), Jun 2013, Ekaterinburg, Russia. Springer, 7913, pp.431--443, 2013, LNCS. <10.1007/978-3-642-38536-0_37>. <hal-00766261v2>
  • Florent Berthaut, David Janin, Myriam Desainte-Catherine. libTuile : un moteur d'exécution multi-échelle de processus musicaux hiérarchisés. JIM, May 2013, Saint-Denis, France. pp.45-50, 2013. <hal-00790792>
  • Anne Dicky, David Janin. Modélisation algébrique du dîner des philosophes. Modélisation des systèmes réactifs, 2013, France. pp.29--43, 2013, <10.3166/JESA.47>. <hal-00856678>
  • David Janin. Algebras, automata and logic for languages of labeled birooted trees. F. V. Fomin and M. Kwiatkowska and D. Peleg. ICALP, 2013, Riga, Latvia. Springer, 7966, pp.318-329, 2013, LNCS. <10.1007/978-3-642-39212-2_29>. <hal-00784898v2>
  • David Janin. On languages of one-dimensional overlapping tiles. SOFSEM, Jan 2013, Špindlerův Mlýn, Czech Republic. Springer, 7741, pp.244-256, 2013, LNCS. <10.1007/978-3-642-35843-2_22>. <hal-00659202v4>
  • David Janin, Florent Berthaut, Myriam Desainte-Catherine. Multi-scale design of interactive music systems : the libTuiles experiment. Roberto Bresin. SMC 2013, 2013, Stockholm, Sweden. pp.123-129, 2013. <hal-00813313>
  • David Janin, Florent Berthaut, Myriam Desainte-Catherine, Yann Orlarey, Sylvain Salvati. The T-Calculus : towards a structured programing of (musical) time and space. FARM 2013, 2013, Boston, United States. pp.23-34, 2013, <10.1145/2505341.2505347>. <hal-00789189v3>
  • Florent Berthaut, David Janin, Benjamin Martin. Advanced Synchronization of Audio or Symbolic Musical Patterns: An Algebraic Approach. ICSC, Sep 2012, Palermo, Italy. pp.202-209, 2012, <10.1109/ICSC.2012.11>. <hal-00698963v2>
  • David Janin. Quasi-recognizable vs MSO definable languages of one-dimensional overlapping tiles. Branislav Rovan Vladimiro Sassone and Peter Widmayer. MFCS, Aug 2012, Bratislava, Slovakia. Springer, 7464, pp.516-528, 2012, LNCS. <10.1007/978-3-642-32589-2_46>. <hal-00671917v3>
  • David Janin. A Lazy Real-Time System Architecture For Interactive Music. Thierry Dutoit and Todor Todoroff and Nicolas d'Alessandro. JIM 2012, May 2012, Mons, Belgium. pp.133-139, 2012. <hal-00676202v2>
  • Julien Bernet, David Janin. From asynchronous to synchronous specification for distributed program synthesis. SOFSEM, Jan 2008, Slovakia. Springer, 4910, pp.161-173, 2008, LNCS. <hal-00339740>
  • David Janin. On the (high) undecidability of distributed synthesis problems. SOFSEM, Jan 2007, Czech Republic. Jan van Leeuwen, Giuseppe F. Italiano, Wiebe van der Hoek, Christoph Meinel, Harald Sack, Frantisek Plasil, 4362, pp.320--329, 2007, LNCS. <hal-00306387>
  • Julien Bernet, David Janin. On Distributed Program Specification and Synthesis in Architecture with Cycles. Internationnal Conference on Formal Methods for Networked and Distributed Systems (FORTE), Sep 2006, France. Elie Najim, Jean-Francois Pradat-Peyre, Vronique Vigui Donzeau-Gouge, 4229, pp.175-190, 2006. <hal-00306412>
  • Dietmar Berwanger, David Janin. Automata on Directed Graphs : Edge versus Vertex Marking. ICGT, Sep 2006, Brazil. Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg, 4178, pp.46--60, 2006, LNCS. <hal-00306378>
  • Julien Bernet, David Janin. Tree automata and discrete distributed games. Fundamentals of Computation Theory (FCT), Aug 2005, Hungary. Maciej Liskiewicz and Rdiger Reischuk, 3623, pp.540--551, 2005. <hal-00306410>
  • David Janin, Giacomo Lenzi. Relating levels of the mu-calculus hierarchy and levels of the monadic hierachy. LICS, 2001, Boston, United States. IEEE Computer Society, pp.347--356, 2001. <hal-00659988>
  • David Janin, Giacomo Lenzi. On the structure of the monadic logic of the binary tree. MFCS, 1999, Szklarska Poreba, Poland. Springer, 1672, pp.310-320, 1999, LNCS. <hal-00676277>

Rapport4 documents

  • David Janin, Bernard Paul Serpette. Timed Denotational Semantics for Causal Functions over Timed Streams. [Research Report] LaBRI - Laboratoire Bordelais de Recherche en Informatique. 2016. <hal-01402209>
  • David Janin. Free inverse monoids up to rewriting. [Research Report] LaBRI - Laboratoire Bordelais de Recherche en Informatique. 2015. <hal-01182934>
  • Paul Hudak, David Janin. From out-of-time design to in-time production of temporal media. [Research Report] LaBRI - Laboratoire Bordelais de Recherche en Informatique. 2015. <hal-01182995>
  • David Janin. On quasi-inverse monoids (and premorphisms). 2012. <hal-00673123v3>