Emmanuelle Encrenaz-Tiphène

发表

Emmanuelle Encrenaz-Tiphène, Souheib Baarir, Régis Leveugle, 2009, 2009 24th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems.
Emmanuelle Encrenaz-Tiphène, Christoph Grimm, 2013, FDL.
Emmanuelle Encrenaz-Tiphène, Jean Lou Desbarbieux, Vincent Beaudenon, 2003, Third International Conference on Application of Concurrency to System Design, 2003. Proceedings..
Quentin L. Meunier, Emmanuelle Encrenaz-Tiphène, Yann Thierry-Mieg, 2018, MARS/VPT@ETAPS.
Inès Ben El Ouahma, Quentin L. Meunier, Karine Heydemann, 2019, Journal of Cryptographic Engineering.
Emmanuelle Encrenaz-Tiphène, Laurent Fribourg, Emmanuelle Encrenaz-Tiphène, 2006, LIX.
Emmanuelle Encrenaz-Tiphène, Syed Hussein Syed Alwi, Emmanuelle Encrenaz-Tiphène, 2014, RSP.
Emmanuelle Encrenaz-Tiphène, Cécile Braunstein, Emmanuelle Encrenaz-Tiphène, 2004, International Journal on Software Tools for Technology Transfer.
Emmanuelle Encrenaz-Tiphène, Cédric Roux, Emmanuelle Encrenaz-Tiphène, 2003, CHARME.
Karine Heydemann, Emmanuelle Encrenaz-Tiphène, Amine Dehbaoui, 2014, 2014 IEEE International Symposium on Hardware-Oriented Security and Trust (HOST).
Emmanuelle Encrenaz-Tiphène, Rabéa Ameur-Boulifa, Hocine Mokrani, 2013, Proceedings of the 2013 Forum on specification and Design Languages (FDL).
Emmanuelle Encrenaz-Tiphène, Souheib Baarir, Denis Poitrenaud, 2011, Formal Methods Syst. Des..
Karine Heydemann, Emmanuelle Encrenaz-Tiphène, Lucien Goubet, 2015, CARDIS.
Emmanuelle Encrenaz-Tiphène, Cécile Braunstein, 2007, Seventh International Conference on Application of Concurrency to System Design (ACSD 2007).
Karine Heydemann, Emmanuelle Encrenaz-Tiphène, Bruno Robisson, 2013, Journal of Cryptographic Engineering.
Emmanuelle Encrenaz-Tiphène, Vincent Beaudenon, Sami Taktak, 2010, International Journal on Software Tools for Technology Transfer.
Emmanuelle Encrenaz-Tiphène, Denis Poitrenaud, Jean-Michel Couvreur, 2002, ICATPN.
Emmanuelle Encrenaz-Tiphène, Jean Lou Desbarbieux, Sami Taktak, 2006, 2006 IEEE International High Level Design Validation and Test Workshop.
Emmanuelle Encrenaz-Tiphène, Laurent Fribourg, Weiwen Xu, 2009, Formal Methods Syst. Des..
Emmanuelle Encrenaz-Tiphène, Jean Lou Desbarbieux, Sami Taktak, 2006, HLDVT.
Emmanuelle Encrenaz-Tiphène, Alain Finkel, Emmanuelle Encrenaz-Tiphène, 2009, INFINITY.
Emmanuelle Encrenaz-Tiphène, Laurent Fribourg, Thomas Chatain, 2008, RP.
Emmanuelle Encrenaz-Tiphène, Pirouz Bazargan-Sabet, Patricia Renault, 2010, FDL.
Emmanuelle Encrenaz-Tiphène, Michel Minoux, Rajesh K. Bawa, 1998, International Conference on Computers and Their Applications.
Emmanuelle Encrenaz-Tiphène, Görschwin Fey, Jan Malburg, 2014, 2014 15th International Microprocessor Test and Verification Workshop.
Emmanuelle Encrenaz-Tiphène, Jean Lou Desbarbieux, Sami Taktak, 2010, 2010 18th Euromicro Conference on Parallel, Distributed and Network-based Processing.
Karine Heydemann, Emmanuelle Encrenaz-Tiphène, Bruno Robisson, 2013, 2013 Workshop on Fault Diagnosis and Tolerance in Cryptography.
Emmanuelle Encrenaz-Tiphène, Cécile Braunstein, 2005, Electron. Notes Theor. Comput. Sci..
Emmanuelle Encrenaz-Tiphène, Laurent Fribourg, Weiwen Xu, 2006, FORMATS.
Emmanuelle Encrenaz-Tiphène, Cécile Braunstein, 2006, Seventeenth IEEE International Workshop on Rapid System Prototyping (RSP'06).
Emmanuelle Encrenaz-Tiphène, Laurent Fribourg, Thomas Chatain, 2008, Electron. Notes Theor. Comput. Sci..
Emmanuelle Encrenaz-Tiphène, Franck Wajsbürt, Geoffrey Plouviez, 2013, Euro-Par Workshops.
Emmanuelle Encrenaz-Tiphène, Cécile Braunstein, Syed Hussein Syed Alwi, 2012, Proceeding of the 2012 Forum on Specification and Design Languages.
Emmanuelle Encrenaz-Tiphène, Emmanuelle Encrenaz-Tiphène, Emmanuelle Encrenaz-Tiphène, 1995, CHARME.