Guillaume Baudart

发表

Martin Hirzel, Guillaume Baudart, 2019, Encyclopedia of Big Data Technologies.

Sherif Sakr, Emanuele Della Valle, Martin Hirzel, 2018, SIGMOD Rec..

Timothy Bourke, Marc Pouzet, Guillaume Baudart, 2017, 2017 Forum on Specification and Design Languages (FDL).

Parikshit Ram, Martin Hirzel, Avraham Shinnar, 2020, ArXiv.

Timothy Bourke, Albert Benveniste, Guillaume Baudart, 2015, EMSOFT 2015.

Martin Hirzel, Louis Mandel, Guillaume Baudart, 2018, ArXiv.

Louis Mandel, Erik Wittern, Alan Cha, 2019, ICSOC.

Timothy Bourke, Guillaume Baudart, 2015 .

Marc Pouzet, Louis Mandel, Guillaume Baudart, 2013, FARM '13.

Louis Mandel, Erik Wittern, Alan Cha, 2020, ESEC/SIGSOFT FSE.

Martin Hirzel, Louis Mandel, Avraham Shinnar, 2018, ArXiv.

Marc Pouzet, Florent Jacquemard, Louis Mandel, 2013, 2013 Proceedings of the International Conference on Embedded Software (EMSOFT).

Marc Pouzet, Eric Atkinson, Louis Mandel, 2019, PLDI.

Olivier Tardieu, Louis Mandel, Mandana Vaziri, 2018, REBLS@SPLASH.

Timothy Bourke, Marc Pouzet, Guillaume Baudart, 2017, FDL.

Guillaume Baudart, Guillaume Baudart, 2017 .

Timothy Bourke, Albert Benveniste, Guillaume Baudart, 2016, ACM Trans. Embed. Comput. Syst..

Marc Pouzet, Eric Atkinson, Louis Mandel, 2020 .

Martin Hirzel, Peter D. Kirchner, Guillaume Baudart, 2020, ArXiv.

Julian Dolby, Martin Hirzel, Evelyn Duesterwald, 2018, Onward!.

Martin Hirzel, Louis Mandel, Avraham Shinnar, 2019, MAPL@PLDI.

Marc Pouzet, Eric Atkinson, Louis Mandel, 2020 .

Martin Hirzel, Jérôme Siméon, Louis Mandel, 2018, REBLS@SPLASH.

Timothy Bourke, Marc Pouzet, Guillaume Baudart, 2016, FMCAD.

Martin Hirzel, Louis Mandel, Avraham Shinnar, 2018, ArXiv.

Malik Magdon-Ismail, Martin Hirzel, Jim Laredo, 2021, 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE).

Guillaume Baudart, Louis Mandel, 2021, ArXiv.

Eric Atkinson, Michael Carbin, Guillaume Baudart, 2021, Proc. ACM Program. Lang..