L'institut
FEMTO-ST
Département DISC
Jean-Michel Hufflen
Maître de Conférences en Informatique (27e section)
Informatique théorique, langages de programmation, langages de balisage, génie logiciel
Département DISC
Équipe VESONTIO
Équipe VESONTIO
UFR ST
- Courriel :
- jmhuffle [at] femto-st.fr
03.81.66.66.52
- Addresse :
-
DISC - UFR-ST (Campus La Bouloie)
Bât C - 16 route de Gray CS11809
25030 BESANCON cedex
Publications de Jean-Michel HUFFLEN
2023 (1)
- inproceedings - Implementing Escape Continuations in C
17th Workshop on Computational Logic and Applications (CLA 2023) / Kraków, Poland (2023)
Hufflen, Jean-Michelbibtex@inproceedings{1445e8c1-03eb-4714-b3c7-38b84c51625b, title = {Implementing Escape Continuations in C}, author = {Hufflen, Jean-Michel}, year = {2023}, address = {Krak\'ow, Poland}, booktitle = {17th Workshop on Computational Logic and Applications (CLA 2023)}, editor = {}, month = {dec} }
2017 (1)
- inproceedings - Checking Properties along Multiple Reconfiguration Paths for Component-Based Systems
14th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA 2017) / Uppsala, Sweden (Volume 245, Series Electronic Proceedings in Theoretical Computer Science (EPTCS), 2017, Pages pages 52 - 66)
Hufflen, Jean-Michelressource | doi | bibtex@inproceedings{5bed0ebd-561b-45bd-bcb0-7f51c73152f9, title = {Checking Properties along Multiple Reconfiguration Paths for Component-Based Systems}, author = {Hufflen, Jean-Michel}, year = {2017}, address = {Uppsala, Sweden}, booktitle = {14th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA 2017)}, month = {apr}, pages = {52 - 66}, url = {https://publiweb.femto-st.fr/tntnet/entries/13843/documents/author/data}, volume = {245}, doi = {10.4204/EPTCS.245.5}, series = {Electronic Proceedings in Theoretical Computer Science (EPTCS)} }
2015 (1)
- inproceedings - Using Model-Checking Techniques for Component-Based Systems with Reconfigurations
12th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA 2015) / London, United Kingdom (Volume 178, Series Electronic Proceedings in Theoretical Computer Science (EPTCS), 2015, Pages pages 33 - 46)
Hufflen, Jean-Michelressource | doi | bibtex@inproceedings{hufflen15:ip, title = {Using Model-Checking Techniques for Component-Based Systems with Reconfigurations}, author = {Hufflen, Jean-Michel}, year = {2015}, address = {London, United Kingdom}, booktitle = {12th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA 2015)}, editor = {Bara Buhnova and Lucia Happe and Jan Kofroň}, month = {apr}, pages = {33 - 46}, url = {http://dx.doi.org/10.4204/EPTCS.178.4}, volume = {178}, doi = {10.4204/EPTCS.178.4}, series = {Electronic Proceedings in Theoretical Computer Science (EPTCS)} }
2014 (1)
- inproceedings - 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, Series Lecture Notes in Computer Science (LNCS), 2014, Pages pages 196--214)
Hufflen, Jean-Michelressource | doi | bibtex@inproceedings{hufflen14:ip, title = {A Framework for Handling Non-Functional Properties within a Component-Based Approach}, author = {Hufflen, Jean-Michel}, year = {2014}, address = {Nanchang, China}, booktitle = {FACS 2013, 10th Int. Symposium on Formal Aspects of Component Software, Revised Selected Papers}, editor = {Fiadeiro, Jos\'e Luiz and Liu, Zhiming and Xue, Jinyun}, month = {jul}, pages = {196--214}, url = {http://dx.doi.org/10.1007/978-3-319-07602-7_13}, volume = {8348}, doi = {10.1007/978-3-319-07602-7_13}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }
2010 (5)
- article - 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 - inproceedings - Introduction to XQuery and XPath Full Text
BachoTeX 2010 Conference (2010, Pages pages 25--28)
Hufflen, Jean-Michelressource | bibtex@inproceedings{hufflen10b:oip, title = {Introduction to XQuery and XPath Full Text}, author = {Hufflen, Jean-Michel}, year = {2010}, booktitle = {BachoTeX 2010 Conference}, editor = {Tomasz Przechlewski and Karl Berry and Gaby Gic-Grusza and Ewa Kolsar and Jerzy B. Ludwichowski}, month = {apr}, pages = {25--28}, url = {https://publiweb.femto-st.fr/tntnet/entries/21/documents/author/data} } - inproceedings - Recycling Previous Documents for Distance Education
csedu 2010 / Valencia, Spain (Volume 1, 2010, Pages pages 469--472)
Hufflen, Jean-Michelressource | bibtex@inproceedings{hufflen10a:oip, title = {Recycling Previous Documents for Distance Education}, author = {Hufflen, Jean-Michel}, year = {2010}, address = {Valencia, Spain}, booktitle = {csedu 2010}, month = {apr}, pages = {469--472}, url = {https://publiweb.femto-st.fr/tntnet/entries/505/documents/author/data}, volume = {1} } - inproceedings - When Typography Meets Programming
BachoTeX 2010 Conference (2010, Pages pages 29--32)
Hufflen, Jean-Michelressource | bibtex@inproceedings{hufflen10c:oip, title = {When Typography Meets Programming}, author = {Hufflen, Jean-Michel}, year = {2010}, booktitle = {BachoTeX 2010 Conference}, editor = {Tomasz Przechlewski and Karl Berry and Gaby Gic-Grusza and Ewa Kolsar and Jerzy B. Ludwichowski}, month = {apr}, pages = {29--32}, url = {https://publiweb.femto-st.fr/tntnet/entries/506/documents/author/data} } - inproceedings - Using mlBibTeX to Populate Open Archives
BachoTeX 2010 Conference (2010, Pages pages 45--48)
Hufflen, Jean-Michelressource | bibtex@inproceedings{hufflen10d:oip, title = {Using mlBibTeX to Populate Open Archives}, author = {Hufflen, Jean-Michel}, year = {2010}, booktitle = {BachoTeX 2010 Conference}, editor = {Tomasz Przechlewski and Karl Berry and Gaby Gic-Grusza and Ewa Kolsar and Jerzy B. Ludwichowski}, month = {apr}, pages = {45--48}, url = {https://publiweb.femto-st.fr/tntnet/entries/507/documents/author/data} }
2009 (8)
- article - Processing Computed Texts
ArsTeXnica (Volume 8, oct 2009, Pages :102 - 109)
Hufflen, Jean-Michel - inproceedings - A Framework for Managing Components Using Non-Functional Properties
keod 2009 / Funchal, Madeira, Portugal (2009, Pages pages 460--463)
Hufflen, Jean-Michelressource | bibtex@inproceedings{hufflen09:oip, title = {A Framework for Managing Components Using Non-Functional Properties}, author = {Hufflen, Jean-Michel}, year = {2009}, address = {Funchal, Madeira, Portugal}, booktitle = {keod 2009}, month = {oct}, pages = {460--463}, url = {https://publiweb.femto-st.fr/tntnet/entries/498/documents/author/data} } - article - Introducing New French-Speaking Users to LaTeX Quickly and Convincingly
maps (Volume 39, aug 2009, Pages :99 - 104)
Aebischer, Anne-Marie | Aebischer, Bruno | Hufflen, Jean-Michel | Pétiard, François - article - Using TeX's Language within a Course about Functional Programming
maps (Volume 39, aug 2009, Pages :92 - 98)
Hufflen, Jean-Michel - article - Managing Languages within mlBibTeX
TUGboat (Volume 30, Issue (1), jul 2009, Pages :49 - 57)
Hufflen, Jean-Michel - inproceedings - Introduction to XQuery
BachoTeX 2009 Conference / Bachotek, Poland (2009, Pages pages 17--25)
Hufflen, Jean-Michelressource | bibtex@inproceedings{hufflen09a:oip, title = {Introduction to XQuery}, author = {Hufflen, Jean-Michel}, year = {2009}, address = {Bachotek, Poland}, booktitle = {BachoTeX 2009 Conference}, editor = {Tomasz Przechlewski and Karl Berry and Jerzy B. Ludwichowski}, month = {apr}, pages = {17--25}, url = {https://publiweb.femto-st.fr/tntnet/entries/499/documents/author/data} } - inproceedings - How mlBibTeX's Documentation Is Organised
BachoTeX 2009 Conference / Bachotek, Poland (2009, Pages pages 26--30)
Hufflen, Jean-Michelressource | bibtex@inproceedings{hufflen09b:oip, title = {How mlBibTeX's Documentation Is Organised}, author = {Hufflen, Jean-Michel}, year = {2009}, address = {Bachotek, Poland}, booktitle = {BachoTeX 2009 Conference}, editor = {Tomasz Przechlewski and Karl Berry and Jerzy B. Ludwichowski}, month = {apr}, pages = {26--30}, url = {https://publiweb.femto-st.fr/tntnet/entries/500/documents/author/data} } - inproceedings - Multidirectional Typesetting in xsl-fo
BachoTeX 2009 Conference / Bachotek, Poland (2009, Pages pages 37--40)
Hufflen, Jean-Michelressource | bibtex@inproceedings{hufflen09c:oip, title = {Multidirectional Typesetting in xsl-fo}, author = {Hufflen, Jean-Michel}, year = {2009}, address = {Bachotek, Poland}, booktitle = {BachoTeX 2009 Conference}, editor = {Tomasz Przechlewski and Karl Berry and Jerzy B. Ludwichowski}, month = {apr}, pages = {37--40}, url = {https://publiweb.femto-st.fr/tntnet/entries/501/documents/author/data} }
2008 (7)
- article - Passer de LaTeX à xsl-fo
Cahiers GUTemberg (Volume 51, oct 2008, Pages :77 - 99)
Hufflen, Jean-Michel - article - Specifying Translated Works in Bibliographies
ArsTeXnica (Volume 6, oct 2008, Pages :93 - 97)
Hufflen, Jean-Michel - article - Languages for Bibliography Styles
TUGboat (Volume 2008, Issue (3), jul 2008, Pages :401 - 412)
Hufflen, Jean-Michel - article - Extending mlBibTeX to Asian Languages: Some Directions
The Asian Journal of TeX (Volume 2, Issue (1), apr 2008, Pages :35 - 42)
Hufflen, Jean-Michel - inproceedings - Revisiting Lexicographic Order Relations on Person Names
BachoTeX 2008 Conference / Bachotek, Poland (2008, Pages pages 82--90)
Hufflen, Jean-Michelressource | bibtex@inproceedings{hufflen08b:oip, title = {Revisiting Lexicographic Order Relations on Person Names}, author = {Hufflen, Jean-Michel}, year = {2008}, address = {Bachotek, Poland}, booktitle = {BachoTeX 2008 Conference}, month = {apr}, pages = {82--90}, url = {https://publiweb.femto-st.fr/tntnet/entries/20/documents/author/data} } - inproceedings - xslt 2.0 vs xslt 1.0
BachoTeX 2008 Conference / Bachotek, Poland (2008, Pages pages 67--77)
Hufflen, Jean-Michelressource | bibtex@inproceedings{hufflen08a:oip, title = {xslt 2.0 vs xslt 1.0}, author = {Hufflen, Jean-Michel}, year = {2008}, address = {Bachotek, Poland}, booktitle = {BachoTeX 2008 Conference}, month = {apr}, pages = {67--77}, url = {https://publiweb.femto-st.fr/tntnet/entries/490/documents/author/data} } - inproceedings - Asian TeX-like typeset engines
BachoTeX 2008 Conference / Bachotek, Poland (2008, Pages pages 129--131)
Hufflen, Jean-Michelressource | bibtex@inproceedings{hufflen08c:oip, title = {Asian TeX-like typeset engines}, author = {Hufflen, Jean-Michel}, year = {2008}, address = {Bachotek, Poland}, booktitle = {BachoTeX 2008 Conference}, month = {apr}, pages = {129--131}, url = {https://publiweb.femto-st.fr/tntnet/entries/491/documents/author/data} }
2007 (5)
- article - Guidelines for Bibliographical Citations in LaTeX
ArsTeXnica (Volume 4, oct 2007, Pages :103 - 110)
Hufflen, Jean-Michel - inproceedings - Implementing Language-Dependent Lexicographic Orders in pgScheme
Proc. of the 8th Workshop on Scheme and Functional Programming / Freiburg, Germany (Volume DIUL--RT--0701, Series University Laval, Technical Report, 2007, Pages pages 139--144)
Hufflen, Jean-Michelressource | bibtex@inproceedings{hufflen07:oip, title = {Implementing Language-Dependent Lexicographic Orders in pgScheme}, author = {Hufflen, Jean-Michel}, year = {2007}, address = {Freiburg, Germany}, booktitle = {Proc. of the 8th Workshop on Scheme and Functional Programming}, editor = {Danny Dub\'e}, month = {sep}, pages = {139--144}, url = {https://publiweb.femto-st.fr/tntnet/entries/682/documents/author/data}, volume = {DIUL--RT--0701}, series = {University Laval, Technical Report} } - article - Managing Order Relations in mlBibTeX
TUGboat (Volume 29, Issue (1), 2007, Pages :101 - 108)
Hufflen, Jean-Michel - article - Introducing LaTeX users to xsl-fo
TUGboat (Volume 29, Issue (1), 2007, Pages :118 - 124)
Hufflen, Jean-Michel - article - mlBibTeX: Reporting the Experience
TUGboat (Volume 29, Issue (1), 2007, Pages :157 - 162)
Hufflen, Jean-Michel
2006 (8)
- article - Names in BibTeX and mlBibTeX
TUGboat (Volume 27, Issue (2), nov 2006, Pages :243 - 253)
Hufflen, Jean-Michel - article - mlBibTeX Architecture
ArsTeXnica (Volume 2, oct 2006, Pages :54 - 59)
Hufflen, Jean-Michel - inproceedings - 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-Michelressource | bibtex@inproceedings{hufflen06d:oip, title = {Implementing a variant of XSLT in pgScheme}, author = {Hufflen, Jean-Michel}, year = {2006}, address = {Budapest, Hungary}, booktitle = {IFL'06, 18th Int. Symposium on Implementation and Application of Functional Languages}, month = {sep}, pages = {484--491}, url = {https://publiweb.femto-st.fr/tntnet/entries/469/documents/author/data} } - article - mlBibTeX Meets ConTeXt
TUGboat (Volume 27, Issue (1), jul 2006, Pages :76 - 82)
Hufflen, Jean-Michel - article - Writing Structured and Semantics-Oriented Documents: TeX vs XML
Biuletyn GUST (Volume 23, apr 2006, Pages :104 - 108)
Hufflen, Jean-Michel - article - Advanced Techniques in XSLT
Biuletyn GUST (Volume 23, apr 2006, Pages :69 - 75)
Hufflen, Jean-Michel - article - BibTeX, mlBibTeX and Bibliography Styles
Biuletyn GUST (Volume 23, apr 2006, Pages :76--80)
Hufflen, Jean-Michel - unpublished - Sprachen in mlBibTeX (mar 2006)
Hufflen, Jean-Michelbibtex@unpublished{hufflen06:onp, title = {Sprachen in mlBibTeX}, author = {Hufflen, Jean-Michel}, year = {2006}, month = {mar} }
2003 (2)
- article - European Bibliography Styles and mlBibTeX
TUGboat (Volume 24, Issue (3), jun 2003, Pages :489 - 498)
Hufflen, Jean-Michel - inproceedings - Mixing Two Bibliography Style Languages
Workshop on Language Descriptions, Tools and Applications (LDTA 2003) / Warsaw, Poland (Publisher : Elsevier, Volume 82, Issue 3, 2003, Pages pages 628 - 642)
Hufflen, Jean-Micheldoi | bibtex@inproceedings{hufflen03b:oip, title = {Mixing Two Bibliography Style Languages}, author = {Hufflen, Jean-Michel}, year = {2003}, address = {Warsaw, Poland}, booktitle = {Workshop on Language Descriptions, Tools and Applications (LDTA 2003)}, editor = {hufflen03b:oip-editor.pdf}, month = {apr}, number = {3}, pages = {628 - 642}, volume = {82}, doi = {10.1016/S1571-0661(05)82632-5}, journal = {Electronic Notes in Theoretical Computer Science (ENTCS)}, publisher = {Elsevier} }
2002 (1)
- inproceedings - Lessons from a Bibliography Programs Reimplementation
2nd Workshop on Language Descriptions, Tools and Applications (LDTA 2002) / Grenoble, France (Volume 65, Issue 3, 2002, Pages pages 124 - 138)
Hufflen, Jean-Micheldoi | bibtex@inproceedings{hufflen02a:oip, title = {Lessons from a Bibliography Programs Reimplementation}, author = {Hufflen, Jean-Michel}, year = {2002}, address = {Grenoble, France}, booktitle = {2nd Workshop on Language Descriptions, Tools and Applications (LDTA 2002)}, editor = {hufflen02a:oip-editor.pdf}, month = {apr}, number = {3}, pages = {124 - 138}, volume = {65}, doi = {10.1016/S1571-0661(04)80431-6}, journal = {Electronic Notes in Theoretical Computer Science (ENTCS)} }









