Hubert Garavel    home         cv        publications      talks      academic     editorship     music     photos

Editorial Responsibilities

Journals

2012-now: member of the Editorial Board of STTT (Springer International Journal on Software Tools for Technology Transfer).

1995-1998: member of the Editorial Board of TSI (Technique et Science Informatiques), the main computer science journal published in French.

Co-editor of several journal special issues:

Hubert Garavel and John Hatcliff. International Journal on Software Tools for Technology Transfer (STTT), special section on Tools and Algorithms for the Construction and Analysis of Systems, vol. 8, num. 1, February 2006.

Hubert Garavel and John Hatcliff. Theoretical Computer Science (TCS), special issue on Tools and Algorithms for the Construction and Analysis of Systems, vol. 354, num. 2, March 2006.

Hubert Garavel, Stefania Gnesi, and Ina Schieferdecker. Science of Computer Programming (SCICO), special issue on Formal Methods for Industrially Critical Systems, vol. 46, num. 3, 2003.

Hubert Garavel, Roland Groz, and Guy Leduc. Réseaux et protocoles. Technique et Science Informatiques, vol. 18, num. 6, June 1999.

Hubert Garavel, Roland Groz, and Claude Jard. Méthodes formelles : validation de systèmes critiques (1). Technique et Science Informatiques, vol. 16, num. 6, June 1997.

Hubert Garavel, Roland Groz, and Claude Jard. Méthodes formelles : validation de systèmes critiques (2). Technique et Science Informatiques, vol. 16, num. 9, November 1997.

Conferences and Workshops

Boards and Steering Committees:

Member of the Board of FMF (Forum Méthodes Formelles) from 2013 to 2018.

Member of the Board of FMICS (ERCIM Working Group on Formal Methods for Industrial Critical Systems) since 2002.

Member of the Steering Committee of MARS (Models for Formal Analysis of Real Systems) since 2015.

Member of the Model Board of MCC (Model Checking Contest) since 2014.

Member of the Steering Committee of PDMC (International Workshops on Parallel and Distributed Methods in VerifiCation) until 2012.

Member of the Steering Committee of TTC (Transformation Tool Contest) since 2021.

Program committee co-chair for international conferences and workshops:

Co-chair with Ansgar Fehnker of MARS'2020 (4th Workshop on Models for Formal Analysis of Real Systems), Dublin, Ireland, April 26, 2020.

Co-chair with John Hatcliff of TACAS'2003 (8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems), Warsaw, Poland, April 5-13, 2003.

Co-chair with Rance Cleaveland of FMICS'2002 (7th International ERCIM Workshop on Formal Methods for Industrial Critical Systems), Málaga, Spain, July 12-13, 2002.

Tool chair of TACAS'2002 (7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems), Grenoble, France, April 8-12, 2002.

Program committee member for international conferences and workshops:

SEFM'2024 (22nd International Conference on Software Engineering and Formal Methods), Aveiro, Portugal, November 4-8, 2024

SEFM'2023 (21st International Conference on Software Engineering and Formal Methods), Eindhoven, The Netherlands, November 6-10, 2023.

FMICS'2023 (28th International Conference on Formal Methods for Industrial Critical Systems), Antwerp, Belgium, September 20-22, 2023.

FMICS'2022 (27th International Conference on Formal Methods for Industrial Critical Systems), Warsaw, Poland, September 14-16, 2022.

FORTE'2022 (42nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems), Lucca, Italy, June 13-17, 2022.

MARS'2022 (5th Workshop on Models for Formal Analysis of Real Systems), Munich, Germany, April 2-3, 2022.

appFM'2021 (1st International Workshop on Applicable Formal Methods) Beijing, China, November 20-26, 2021.

FMICS'2021 (26th International Conference on Formal Methods for Industrial Critical Systems), Paris, France, August 23-24, 2021.

CTS'2021 16th IFAC Symposium on Control in Transportation Systems, Lille, France, June 8-10, 2021.

FMICS'2019 (24th International Conference on Formal Methods for Industrial Critical Systems), Amsterdam, The Netherlands, August 30-31, 2019.

FVPS'2018 (Formal Verification of Physical Systems), Hagenberg, Austria, August 17, 2018.

SEFM'2017 (15th International Conference on Software Engineering and Formal Methods), Trento, Italy, September 6-10, 2017.

MARS'2017 (2nd Workshop on Models for Formal Analysis of Real Systems), Uppsala, Sweden, April 29, 2017.

HILT'2016 (ACM SIGAda's High Integrity Language Technology), Pittsburgh, Pennsylvania (USA), October 6-7, 2016.

SEFM'2016 (14th International Conference on Software Engineering and Formal Methods), Vienna, Austria, July 4-8, 2016.

MARS'2015 (1st Workshop on Models for Formal Analysis of Real Systems), Suva, Fiji, November 23, 2015.

SEFM'2015 (13th International Conference on Software Engineering and Formal Methods), York, United Kingdom, September 7-11, 2015.

DCDS'2015 (5th IFAC Workshop on Dependable Control of Discrete Systems), Cauncun, Mexico, May 27-29, 2015.

TACAS'2015 (21th International Conference on Tools and Algorithms for the Construction and Analysis of Systems), London, United Kingdom, April 11-19, 2015.

SEFM'2014 (12th International Conference on Software Engineering and Formal Methods), Grenoble, France, September 1-5, 2014.

DCDS'2013 (4th IFAC Workshop on Dependable Control of Discrete Systems), York, United Kindom, September 4-6, 2013.

TOPCASED Days, Toulouse, France, February 2-4, 2011.

DCDS'2011 (3rd International Workshop on Dependable Control of Discrete Systems), Saarbrücken, Germany, June 15-17, 2011.

TBFM'2010 (Workshop on Tool Building in Formal Methods - in conjunction with the 2nd International ABZ Conference), Orford, Quebec, Canada, February 22, 2010.

FMICS'2010 (15th International Workshop on Formal Methods for Industrial Critical Systems), Antwerp, Belgium, September 20-21, 2010.

IFM'2010 (8th International Conference on Integrated Formal Methods), Nancy, France, October 11-14, 2010.

FMICS'2009 (14th International Workshop on Formal Methods for Industrial Critical Systems), Eindhoven, The Netherlands, November 2-3, 2009.

TACAS'2007 (13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems), Porto, Portugal, March 24-April 1st, 2007.

FORTE'2007 (27th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems), Tallinn, Estonia, June 26-29, 2007.

TACAS'2006 (12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems), Vienna, Austria, March 25-April 2, 2006.

PDMC'2006 (5th International Workshop on Parallel and Distributed Methods in VerifiCation), Bonn, Germany, August 26-27, 2006.

FORTE'2006 (26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems), Paris, France, September 26-29, 2006.

PDMC'2005 (4th International Workshop on Parallel and Distributed Methods in VerifiCation), Lisbon, Portugal, July 10, 2005.

SoftMC'2005 (3rd International Workshop on Software Model Checking), Edinburgh, Scotland, UK, July 11, 2005.

PDMC'2004 (3rd International Workshop on Parallel and Distributed Methods in VerifiCation), London, United Kingdom, September 4, 2004.

PDMC'2003 (2nd International Workshop on Parallel and Distributed Model Checking), Boulder, Colorado, USA, July 14, 2003.

TACAS'2002 (8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems), Grenoble, France, April 8-12, 2002.

PDMC'2002 (Workshop on Parallel and Distributed Model Checking), Brno, Czech Republic, August 19, 2002.

FORTE'2002 (Formal Techniques for Networked and Distributed Systems), Rice University, Houston, Texas, USA, November 11-14, 2002.

TACAS'2001 (7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems), Genova, Italy, 2-6 April, 2001.

SoftMC'2001 (Workshop on Software Model Checking), Paris, France, July 23, 2001.

FMICS'2000 (5th International ERCIM Workshop on Formal Methods for Industrial Critical Systems), Berlin, Germany, April 3-4, 2000.

CFIP'2000 (Colloque Francophone sur l'Ingénierie des Protocoles), Toulouse, France, October 17-20, 2000.

TACAS'99 (5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems), Amsterdam, The Netherlands, March 22-26, 1999.

CFIP'99 (Colloque Francophone sur l'Ingénierie des Protocoles), Nancy, France, April 26-29, 1999.

ARTS'99 (5th International AMAST Workshop on Real-Time and Probabilistic Systems), Bamberg, Germany, May 26-28, 1999.

FMICS'99 (4th International ERCIM Workshop on Formal Methods for Industrial Critical Systems), Trento, Italy, July 11-12, 1999.

ARTS'97 (4th AMAST Workshop on Real-Time Systems, Concurrent, and Distributed Software), Palma de Mallorca, Mallorca, May 21-23, 1997.

COST 247 2nd International Workshop on Applied Formal Methods in System Design, Zagreb, Croatia, June 18-19, 1997.

COST 247 1st International Workshop on Applied Formal Methods in System Design, Maribor, Slovenia, June 17-19, 1996.



Version 1.54 - Date 2024/08/20 11:43:46