Research departments

Home > Research > AS2M > Presentation > directory

AS2M directory


Return to the list

Jean-Michel Hufflen

Equipe VESONTIO

DISC
Group : VESONTIO
UFC - UFR ST

Maître de Conférences

  • Tel. : 03.81.66.66.52
  • Email : jmhuffle@femto-st.fr
  • Address : 16 route de Gray CS11809 25030 BESANCON cedex

My PhD focused on algebraic specifications. Then I worked on applying specifications to spatial applications. I also paerticipated in an ESPRIT project, which aimed to improve specifications' ergonomy.

I have been Assistant Professor since 1994, and now a member of the research team VESONTIO. I am presently working on component-based archioectures, especially reconfigurable software architectures. My recent publications are included into FACS 2013 and ETAPS 2015 (workshop FESCA).

Besides, I am involved within teams working around TeX. In particular, I am the author of the MlBibTeX program, which aims to replace BibTeX.

I am currently teaching Functional Programming, XML, and Ruby. I also help students who would like to do some training periods in English-speaking countries. I placed students in England, Scotland, and Australia.

You can find here my publication list. If you want to obtain a copy of one of them and you can not obtain it otherwise, please contact me

Publication list :

Category article
2010
  • Assemblage des composants digne de confiance : de l'ingénierie des besoins aux spécifications formelles
    Génie Logiciel (Volume 95, dec 2010, Pages :13--18)
    Chouali, Samir | Dormoy, Julien | Hammad, Ahmed | Hufflen, Jean-Michel | Mouelhi, Sebti | Kouchnarenko, Olga | Mountassir, Hassan | Tatibouet, Bruno
    bibtex
2009
  • Processing Computed Texts
    ArsTeXnica (Volume 8, oct 2009, Pages :102--109)
    Hufflen, Jean-Michel
    bibtex
  • Introducing New French-Speaking Users to LaTeX Quickly and Convincingly
    maps (Volume 39, aug 2009, Pages :99--104)
    Hufflen, Jean-Michel | Aebischer, Anne-Marie | Aebischer, Bruno | Pétiard, François
    bibtex
  • Managing Languages within mlBibTeX
    TUGboat (Volume 30, Issue (1), jul 2009, Pages :49--57)
    Hufflen, Jean-Michel
    bibtex
  • Using TeX's Language within a Course about Functional Programming
    maps (Volume 39, aug 2009, Pages :92--98)
    Hufflen, Jean-Michel
    bibtex
2008
  • Languages for Bibliography Styles
    TUGboat (Volume 2008, Issue (3), jul 2008, Pages :401--412)
    Hufflen, Jean-Michel
    bibtex
  • Extending mlBibTeX to Asian Languages: Some Directions
    The Asian Journal of TeX (Volume 2, Issue (1), apr 2008, Pages :35--42)
    Hufflen, Jean-Michel
    bibtex
  • Passer de LaTeX à xsl-fo
    Cahiers GUTemberg (Volume 51, oct 2008, Pages :77-99)
    Hufflen, Jean-Michel
    pdf | bibtex
  • Specifying Translated Works in Bibliographies
    ArsTeXnica (Volume 6, oct 2008, Pages :93--97)
    Hufflen, Jean-Michel
    bibtex
2007
  • Managing Order Relations in mlBibTeX
    TUGboat (Volume 29, Issue (1), 2007, Pages :101--108)
    Hufflen, Jean-Michel
    bibtex
  • Guidelines for Bibliographical Citations in LaTeX
    ArsTeXnica (Volume 4, oct 2007, Pages :103--110)
    Hufflen, Jean-Michel
    bibtex
  • Introducing LaTeX users to xsl-fo
    TUGboat (Volume 29, Issue (1), 2007, Pages :118--124)
    Hufflen, Jean-Michel
    bibtex
  • mlBibTeX: Reporting the Experience
    TUGboat (Volume 29, Issue (1), 2007, Pages :157--162)
    Hufflen, Jean-Michel
    bibtex
2006
  • mlBibTeX Meets ConTeXt
    TUGboat (Volume 27, Issue (1), jul 2006, Pages :76--82)
    Hufflen, Jean-Michel
    bibtex
  • Names in BibTeX and mlBibTeX
    TUGboat (Volume 27, Issue (2), nov 2006, Pages :243--253)
    Hufflen, Jean-Michel
    bibtex
  • Writing Structured and Semantics-Oriented Documents: TeX vs XML
    Biuletyn GUST (Volume 23, apr 2006, Pages :104--108)
    Hufflen, Jean-Michel
    bibtex
  • Advanced Techniques in XSLT
    Biuletyn GUST (Volume 23, apr 2006, Pages :69--75)
    Hufflen, Jean-Michel
    bibtex
  • BibTeX, mlBibTeX and Bibliography Styles
    Biuletyn GUST (Volume 23, apr 2006, Pages :76--80)
    Hufflen, Jean-Michel
    bibtex
  • mlBibTeX Architecture
    ArsTeXnica (Volume 2, oct 2006, Pages :54--59)
    Hufflen, Jean-Michel
    bibtex
2005
  • MlBibTeX in Scheme (First Part)
    Biuletyn GUST (Volume 22, apr 2005, Pages :17--22)
    Hufflen, Jean-Michel
    bibtex
  • TeX's Language within the History of Programming Languages
    Biuletyn GUST (Volume 22, apr 2005, Pages :23--32)
    Hufflen, Jean-Michel
    bibtex
2004
  • A Tour around MlBibTeX and Its Implementation(s)
    Biuletyn GUST (Volume 20, apr 2004, Pages :21--28)
    Hufflen, Jean-Michel
    bibtex
  • Making mlBibTeX Fit for a Particular Language. Example of the Polish Language
    Biuletyn GUST (Volume 21, dec 2004, Pages :14--26)
    Hufflen, Jean-Michel
    bibtex
2003
  • European Bibliography Styles and mlBibTeX
    TUGboat (Volume 24, Issue (3), jun 2003, Pages :489--498)
    Hufflen, Jean-Michel
    bibtex
  • Mes diverses périodes avec LaTeX
    Cahiers GUTemberg (Volume 42, jul 2003, Pages :38--60)
    Hufflen, Jean-Michel
    bibtex
  • mlBibTeX's Version 1.3
    TUGboat (Volume 24, Issue (2), jul 2003, Pages :249--262)
    Hufflen, Jean-Michel
    bibtex
2001
  • Vers une extension multilingue de BibTeX
    Cahiers GUTemberg (Volume 39, may 2001, Pages :127--142)
    Hufflen, Jean-Michel
    bibtex
2000
  • Typographie : les conventions, la tradition, les goûts, ... et LaTeX
    Cahiers GUTemberg (Volume 35-36, may 2000, Pages :169--214)
    Hufflen, Jean-Michel
    bibtex
Category inproceedings
2017
  • Checking Properties along Multiple Reconfiguration Paths for Component-Based Systems
    Proceedings International Workshop on Formal Engineering approaches to Software Components and Architectures / Uppsala, Sweden (2017, Pages pages 52 - 66)
    Hufflen, Jean-Michel
    bibtex
2015
  • Using Model-Checking Techniques for Component-Based Systems with Reconfigurations
    FESCA'2015, 12th Int. Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS / London, United Kingdom (Volume 178, 2015, Pages pages 33--46)
    Hufflen, Jean-Michel
    doi | bibtex
2014
  • A Framework for Handling Non-Functional Properties within a Component-Based Approach
    FACS 2013, 10th Int. Symposium on Formal Aspects of Component Software, Revised Selected Papers / Nanchang, China (Publisher : Springer, Volume 8348, 2014, Pages pages 196--214)
    Hufflen, Jean-Michel
    doi | bibtex
2010
  • Introduction to XQuery and XPath Full Text
    BachoTeX 2010 Conference (2010, Pages pages 25--28)
    Hufflen, Jean-Michel
    bibtex
  • Recycling Previous Documents for Distance Education
    csedu 2010 / Valencia, Spain (Volume 1, 2010, Pages pages 469--472)
    Hufflen, Jean-Michel
    bibtex
  • When Typography Meets Programming
    BachoTeX 2010 Conference (2010, Pages pages 29--32)
    Hufflen, Jean-Michel
    bibtex
  • Using mlBibTeX to Populate Open Archives
    BachoTeX 2010 Conference (2010, Pages pages 45--48)
    Hufflen, Jean-Michel
    bibtex
2009
  • A Framework for Managing Components Using Non-Functional Properties
    keod 2009 / Funchal, Madeira, Portugal (2009, Pages pages 460--463)
    Hufflen, Jean-Michel
    bibtex
  • Introduction to XQuery
    BachoTeX 2009 Conference / Bachotek, Poland (2009, Pages pages 17--25)
    Hufflen, Jean-Michel
    bibtex
  • How mlBibTeX's Documentation Is Organised
    BachoTeX 2009 Conference / Bachotek, Poland (2009, Pages pages 26--30)
    Hufflen, Jean-Michel
    bibtex
  • Multidirectional Typesetting in xsl-fo
    BachoTeX 2009 Conference / Bachotek, Poland (2009, Pages pages 37--40)
    Hufflen, Jean-Michel
    bibtex
2008
  • Revisiting Lexicographic Order Relations on Person Names
    BachoTeX 2008 Conference / Bachotek, Poland (2008, Pages pages 82--90)
    Hufflen, Jean-Michel
    bibtex
  • xslt 2.0 vs xslt 1.0
    BachoTeX 2008 Conference / Bachotek, Poland (2008, Pages pages 67--77)
    Hufflen, Jean-Michel
    pdf | bibtex
  • Asian TeX-like typeset engines
    BachoTeX 2008 Conference / Bachotek, Poland (2008, Pages pages 129--131)
    Hufflen, Jean-Michel
    bibtex
2007
  • Implementing Language-Dependent Lexicographic Orders in pgScheme
    Proc. of the 8th Workshop on Scheme and Functional Programming / Freiburg, Germany (Volume DIUL--RT--0701, 2007, Pages pages 139--144)
    Hufflen, Jean-Michel
    bibtex
2006
  • Implementing a variant of XSLT in pgScheme
    IFL'06, 18th Int. Symposium on Implementation and Application of Functional Languages / Budapest, Hungary (2006, Pages pages 484--491)
    Hufflen, Jean-Michel
    bibtex
2005
  • Bibliography Styles Easier with MlBibTeX
    EuroTeX 2005 / Pont-à Mousson, France (2005, Pages pages 179--192)
    Hufflen, Jean-Michel
    bibtex
  • Implementing a Bibliography Processor in Scheme
    Proc. of the 6th Workshop on Scheme and Functional Programming / Tallinn, Estonia (Volume 619, 2005, Pages pages 77--87)
    Hufflen, Jean-Michel
    bibtex
  • mlBibTeX: a Survey
    Proc. GUIT Meeting / Pisa, Italy (2005, Pages pages 171--179)
    Hufflen, Jean-Michel
    bibtex
2004
  • mlBibTeX beyond LaTeX
    TeX, XML, and Digital Typography / Xanthi, Greece (Volume 3130, 2004, Pages pages 203--215)
    Hufflen, Jean-Michel
    bibtex
  • Order Relations and European Languages. Extended Abstract
    WADT 2004 / Barcelona, Spain (2004, Pages pages 53--54)
    Hufflen, Jean-Michel
    bibtex
2003
  • Mixing Two Bibliography Style Languages
    LDTA 2003 / Warsaw, Poland (Publisher : Elsevier, Volume 82.3, 2003)
    Hufflen, Jean-Michel
    bibtex
2002
  • Multilingual Features for Bibliography Programs : from XML to MlBibTeX
    Euro TeX 2002 / Bachotex, Poland (2002, Pages pages 46--59)
    Hufflen, Jean-Michel
    bibtex
  • Lessons from a Bibliography Programs Reimplementation
    LDTA 2002 / Grenoble, France (Volume 65.3, 2002)
    Hufflen, Jean-Michel
    bibtex
  • Using Algebraic Specifications to Formalise Multilingual Features
    WADT'2002 / Frauenchiemsee, Germany (2002)
    Hufflen, Jean-Michel
    bibtex
2001
  • Expressing Anna Constructions in Casl
    WADT'2001 / Genova, Italie (2001)
    Hufflen, Jean-Michel
    bibtex
  • MlBibTeX : a New Implementation of BibTeX
    Proc. of EuroTeX'2001 / Kerkrade, Netherlands (2001, Pages pages 74--94)
    Hufflen, Jean-Michel
    bibtex
1999
  • Presentations with Exceptions as Order-Sorted Presentations
    WADT'99 / Bonas, Italy (1999)
    Hufflen, Jean-Michel
    bibtex
Category misc
2005
  • Introduction to XSLT
    Extended abstract in Biuletyn GUST vol. 22 of an Invited Talk to the BachoTeX 2005 conference (apr 2005)
    Hufflen, Jean-Michel
    bibtex
2002
  • Software rund um MlBibTeX
    (may 2002)
    Hufflen, Jean-Michel
    bibtex
Category unpublished
2006
  • Sprachen in mlBibTeX (mar 2006)
    Hufflen, Jean-Michel
    bibtex
2004
  • mlBibTeX: der Zustand (mar 2004)
    Hufflen, Jean-Michel
    bibtex
  • Beschreibung der mlBibTeX-Implementierung mit pgScheme (oct 2004)
    Hufflen, Jean-Michel
    bibtex
2003
  • Die neue Sprache für mlBibTeX (apr 2003)
    Hufflen, Jean-Michel
    bibtex
  • mlBibTeX kommt (sep 2003)
    Hufflen, Jean-Michel
    bibtex
2002
  • Towards MlBibTeX's Versions 1.2 & 1.3 (nov 2002)
    Hufflen, Jean-Michel
    bibtex
  • Interaktive BibTeX-Programmierung (oct 2002)
    Hufflen, Jean-Michel
    bibtex