Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Emmanuelle Encrenaz-Tiphène
@article{DBLP:journals/iacr/HuME24,
author = {Xunyue Hu and
Quentin L. Meunier and
Emmanuelle Encrenaz},
title = {Blind-Folded: Simple Power Analysis Attacks using Data with a Single
Trace and no Training},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {589},
year = {2024},
url = {https://eprint.iacr.org/2024/589},
timestamp = {Wed, 24 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/HuME24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jce/OuahmaMHE19,
author = {In{\`{e}}s Ben El Ouahma and
Quentin L. Meunier and
Karine Heydemann and
Emmanuelle Encrenaz},
title = {Side-channel robustness analysis of masked assembly codes using a
symbolic approach},
journal = {J. Cryptogr. Eng.},
volume = {9},
number = {3},
pages = {231--242},
year = {2019},
url = {https://doi.org/10.1007/s13389-019-00205-7},
doi = {10.1007/S13389-019-00205-7},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jce/OuahmaMHE19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1803-10323,
author = {Quentin L. Meunier and
Yann Thierry{-}Mieg and
Emmanuelle Encrenaz},
editor = {John P. Gallagher and
Rob van Glabbeek and
Wendelin Serwe},
title = {Modeling a Cache Coherence Protocol with the Guarded Action Language},
booktitle = {Proceedings Third Workshop on Models for Formal Analysis of Real Systems
and Sixth International Workshop on Verification and Program Transformation,
MARS/VPT@ETAPS 2018, Thessaloniki, Greece, 20th April 2018},
series = {{EPTCS}},
volume = {268},
pages = {88--103},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.268.3},
doi = {10.4204/EPTCS.268.3},
timestamp = {Tue, 08 Oct 2019 13:24:16 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-10323.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ches/OuahmaMHE17,
author = {In{\`{e}}s Ben El Ouahma and
Quentin L. Meunier and
Karine Heydemann and
Emmanuelle Encrenaz},
editor = {Ulrich K{\"{u}}hne and
Jean{-}Luc Danger and
Sylvain Guilley},
title = {Symbolic Approach for Side-Channel Resistance Analysis of Masked Assembly
Codes},
booktitle = {{PROOFS} 2017, 6th International Workshop on Security Proofs for Embedded
Systems, Taipei, Taiwan, September 29th, 2017},
series = {EPiC Series in Computing},
volume = {49},
pages = {17--32},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/hhnf},
doi = {10.29007/HHNF},
timestamp = {Tue, 30 Nov 2021 10:30:08 +0100},
biburl = {https://dblp.org/rec/conf/ches/OuahmaMHE17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cardis/GoubetHEK15,
author = {Lucien Goubet and
Karine Heydemann and
Emmanuelle Encrenaz and
Ronald De Keulenaer},
editor = {Naofumi Homma and
Marcel Medwed},
title = {Efficient Design and Evaluation of Countermeasures against Fault Attacks
Using Formal Verification},
booktitle = {Smart Card Research and Advanced Applications - 14th International
Conference, {CARDIS} 2015, Bochum, Germany, November 4-6, 2015. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9514},
pages = {177--192},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-31271-2\_11},
doi = {10.1007/978-3-319-31271-2\_11},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/cardis/GoubetHEK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jce/MoroHER14,
author = {Nicolas Moro and
Karine Heydemann and
Emmanuelle Encrenaz and
Bruno Robisson},
title = {Formal verification of a software countermeasure against instruction
skip attacks},
journal = {J. Cryptogr. Eng.},
volume = {4},
number = {3},
pages = {145--156},
year = {2014},
url = {https://doi.org/10.1007/s13389-014-0077-7},
doi = {10.1007/S13389-014-0077-7},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jce/MoroHER14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/host/MoroHDRE14,
author = {Nicolas Moro and
Karine Heydemann and
Amine Dehbaoui and
Bruno Robisson and
Emmanuelle Encrenaz},
title = {Experimental evaluation of two software countermeasures against fault
attacks},
booktitle = {2014 {IEEE} International Symposium on Hardware-Oriented Security
and Trust, {HOST} 2014, Arlington, VA, USA, May 6-7, 2014},
pages = {112--117},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/HST.2014.6855580},
doi = {10.1109/HST.2014.6855580},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/host/MoroHDRE14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mtv/MalburgEF14,
author = {Jan Malburg and
Emmanuelle Encrenaz{-}Tiph{\`{e}}ne and
G{\"{o}}rschwin Fey},
title = {Mutation Based Feature Localization},
booktitle = {15th International Microprocessor Test and Verification Workshop,
{MTV} 2014, Austin, TX, USA, December 15-16, 2014},
pages = {49--54},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/MTV.2014.14},
doi = {10.1109/MTV.2014.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mtv/MalburgEF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/AlwiE14,
author = {Syed Hussein Syed Alwi and
Emmanuelle Encrenaz},
title = {FSM-based properties and abstraction of components},
booktitle = {25nd {IEEE} International Symposium on Rapid System Prototyping, {RSP}
2014, New Delhi, India, October 16-17, 2014},
pages = {37--43},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/RSP.2014.6966690},
doi = {10.1109/RSP.2014.6966690},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/rsp/AlwiE14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MoroDHRE14,
author = {Nicolas Moro and
Amine Dehbaoui and
Karine Heydemann and
Bruno Robisson and
Emmanuelle Encrenaz},
title = {Electromagnetic fault injection: towards a fault model on a 32-bit
microcontroller},
journal = {CoRR},
volume = {abs/1402.6421},
year = {2014},
url = {http://arxiv.org/abs/1402.6421},
eprinttype = {arXiv},
eprint = {1402.6421},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MoroDHRE14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MoroHER14,
author = {Nicolas Moro and
Karine Heydemann and
Emmanuelle Encrenaz and
Bruno Robisson},
title = {Formal verification of a software countermeasure against instruction
skip attacks},
journal = {CoRR},
volume = {abs/1402.6461},
year = {2014},
url = {http://arxiv.org/abs/1402.6461},
eprinttype = {arXiv},
eprint = {1402.6461},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MoroHER14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MoroHDRE14,
author = {Nicolas Moro and
Karine Heydemann and
Amine Dehbaoui and
Bruno Robisson and
Emmanuelle Encrenaz},
title = {Experimental evaluation of two software countermeasures against fault
attacks},
journal = {CoRR},
volume = {abs/1407.6019},
year = {2014},
url = {http://arxiv.org/abs/1407.6019},
eprinttype = {arXiv},
eprint = {1407.6019},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MoroHDRE14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/PlouviezEW13,
author = {Geoffrey Plouviez and
Emmanuelle Encrenaz and
Franck Wajsb{\"{u}}rt},
editor = {Dieter an Mey and
Michael Alexander and
Paolo Bientinesi and
Mario Cannataro and
Carsten Clauss and
Alexandru Costan and
Gabor Kecskemeti and
Christine Morin and
Laura Ricci and
Julio Sahuquillo and
Martin Schulz and
Vittorio Scarano and
Stephen L. Scott and
Josef Weidendorfer},
title = {A Formally Verified Static Hypervisor with Hardware Support for a
Many-Core Chip},
booktitle = {Euro-Par 2013: Parallel Processing Workshops - BigDataCloud, DIHC,
FedICI, HeteroPar, HiBB, LSDVE, MHPC, OMHI, PADABS, PROPER, Resilience,
ROME, and {UCHPC} 2013, Aachen, Germany, August 26-27, 2013. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8374},
pages = {801--811},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-54420-0\_78},
doi = {10.1007/978-3-642-54420-0\_78},
timestamp = {Wed, 19 Feb 2020 14:52:57 +0100},
biburl = {https://dblp.org/rec/conf/europar/PlouviezEW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/GrimmE13,
author = {Christoph Grimm and
Emmanuelle Encrenaz},
title = {Verification of heterogeneous systems: Theory and industrial experiences},
booktitle = {Proceedings of the 2013 Forum on specification and Design Languages,
{FDL} 2013, Paris, France, September 24-26, 2013},
pages = {1},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6646626/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fdl/GrimmE13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/MokraniAE13,
author = {Hocine Mokrani and
Rab{\'{e}}a Ameur{-}Boulifa and
Emmanuelle Encrenaz{-}Tiph{\`{e}}ne},
title = {Assisting refinement in System-on-Chip design},
booktitle = {Proceedings of the 2013 Forum on specification and Design Languages,
{FDL} 2013, Paris, France, September 24-26, 2013},
pages = {1--6},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6646624/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fdl/MokraniAE13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdtc/MoroDHRE13,
author = {Nicolas Moro and
Amine Dehbaoui and
Karine Heydemann and
Bruno Robisson and
Emmanuelle Encrenaz},
editor = {Wieland Fischer and
J{\"{o}}rn{-}Marc Schmidt},
title = {Electromagnetic Fault Injection: Towards a Fault Model on a 32-bit
Microcontroller},
booktitle = {2013 Workshop on Fault Diagnosis and Tolerance in Cryptography, Los
Alamitos, CA, USA, August 20, 2013},
pages = {77--88},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/FDTC.2013.9},
doi = {10.1109/FDTC.2013.9},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdtc/MoroDHRE13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/HeydemannMER13,
author = {Karine Heydemann and
Nicolas Moro and
Emmanuelle Encrenaz and
Bruno Robisson},
title = {Formal verification of a software countermeasure against instruction
skip attacks},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {679},
year = {2013},
url = {http://eprint.iacr.org/2013/679},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/HeydemannMER13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/AlwiBE12a,
author = {Syed Hussein Syed Alwi and
C{\'{e}}cile Braunstein and
Emmanuelle Encrenaz},
editor = {Jan Haase},
title = {Efficient Refinement Strategy Exploiting Component Properties in a
{CEGAR} Process},
booktitle = {Models, Methods, and Tools for Complex Chip Design - Selected Contributions
from {FDL} 2012},
series = {Lecture Notes in Electrical Engineering},
volume = {265},
pages = {17--36},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-319-01418-0\_2},
doi = {10.1007/978-3-319-01418-0\_2},
timestamp = {Sun, 02 Oct 2022 16:01:15 +0200},
biburl = {https://dblp.org/rec/conf/fdl/AlwiBE12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/AlwiBE12,
author = {Syed Hussein Syed Alwi and
C{\'{e}}cile Braunstein and
Emmanuelle Encrenaz},
title = {An efficient refinement strategy exploiting component properties in
a cegar process},
booktitle = {Proceeding of the 2012 Forum on Specification and Design Languages,
Vienna, Austria, September 18-20, 2012},
pages = {27--34},
publisher = {{IEEE}},
year = {2012},
url = {https://ieeexplore.ieee.org/document/6336979/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fdl/AlwiBE12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BaarirBEIMPY11,
author = {Souheib Baarir and
C{\'{e}}cile Braunstein and
Emmanuelle Encrenaz and
Jean{-}Michel Ili{\'{e}} and
Isabelle Mounier and
Denis Poitrenaud and
Sana Youn{\`{e}}s},
title = {Feasibility analysis for robustness quantification by symbolic model
checking},
journal = {Formal Methods Syst. Des.},
volume = {39},
number = {2},
pages = {165--184},
year = {2011},
url = {https://doi.org/10.1007/s10703-011-0121-5},
doi = {10.1007/S10703-011-0121-5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/BaarirBEIMPY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BeaudenonET10,
author = {Vincent Beaudenon and
Emmanuelle Encrenaz and
Sami Taktak},
title = {Data decision diagrams for Promela systems analysis},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {12},
number = {5},
pages = {337--352},
year = {2010},
url = {https://doi.org/10.1007/s10009-010-0135-0},
doi = {10.1007/S10009-010-0135-0},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BeaudenonET10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/BaraBCLER10,
author = {Abdelrezzak Bara and
Pirouz Bazargan{-}Sabet and
Remy Chevallier and
Dominique Le D{\^{u}} and
Emmanuelle Encrenaz and
Patricia Renault},
editor = {Adam Morawiec and
Jinnie Hinderscheit},
title = {Formal Verification of Timed {VHDL} Programs},
booktitle = {Proceedings of the 2010 Forum on specification {\&} Design Languages,
{FDL} 2010, September 14-16, 2010, Southampton, {UK}},
pages = {80--85},
publisher = {ECSI, Electronic Chips {\&} Systems design Initiative},
year = {2010},
timestamp = {Fri, 15 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/BaraBCLER10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/TaktakED10,
author = {Sami Taktak and
Emmanuelle Encrenaz and
Jean Lou Desbarbieux},
editor = {Marco Danelutto and
Julien Bourgeois and
Tom Gross},
title = {A Polynomial Algorithm to Prove Deadlock-Freeness of Wormhole Networks},
booktitle = {Proceedings of the 18th Euromicro Conference on Parallel, Distributed
and Network-based Processing, {PDP} 2010, Pisa, Italy, February 17-19,
2010},
pages = {121--128},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/PDP.2010.19},
doi = {10.1109/PDP.2010.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdp/TaktakED10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/ChevallierEFX09,
author = {Remy Chevallier and
Emmanuelle Encrenaz{-}Tiph{\`{e}}ne and
Laurent Fribourg and
Weiwen Xu},
title = {Timed verification of the generic architecture of a memory circuit
using parametric timed automata},
journal = {Formal Methods Syst. Des.},
volume = {34},
number = {1},
pages = {59--81},
year = {2009},
url = {https://doi.org/10.1007/s10703-008-0061-x},
doi = {10.1007/S10703-008-0061-X},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/ChevallierEFX09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/AndreCFE09,
author = {{\'{E}}tienne Andr{\'{e}} and
Thomas Chatain and
Laurent Fribourg and
Emmanuelle Encrenaz},
title = {An Inverse Method for Parametric Timed Automata},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {5},
pages = {819--836},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006905},
doi = {10.1142/S0129054109006905},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/AndreCFE09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dft/BaarirBCEILMPP09,
author = {Souheib Baarir and
C{\'{e}}cile Braunstein and
Renaud Clavel and
Emmanuelle Encrenaz and
Jean{-}Michel Ili{\'{e}} and
R{\'{e}}gis Leveugle and
Isabelle Mounier and
Laurence Pierre and
Denis Poitrenaud},
editor = {Dimitris Gizopoulos and
Susumu Horiguchi and
Spyros Tragoudas and
Mohammad Tehranipoor},
title = {Complementary Formal Approaches for Dependability Analysis},
booktitle = {24th {IEEE} International Symposium on Defect and Fault Tolerance
in {VLSI} Systems, {DFT} 2009, Chicago, Illinois, USA, October 7-9,
2009},
pages = {331--339},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/DFT.2009.21},
doi = {10.1109/DFT.2009.21},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dft/BaarirBCEILMPP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EncrenazF09,
author = {Emmanuelle Encrenaz and
Alain Finkel},
editor = {Peter Habermehl and
Tom{\'{a}}s Vojnar},
title = {Automatic Verification of Counter Systems With Ranking Function},
booktitle = {Joint Proceedings of the 8th, 9th, and 10th International Workshops
on Verification of Infinite-State Systems, {INFINITY} 2006 / 2007
/ 2008, Bonn, Germany, August 26, 2006 / Lisbon, Portugal, September
8, 2007 / Toronto, Canada, August 23, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {239},
pages = {85--103},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.05.032},
doi = {10.1016/J.ENTCS.2009.05.032},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/EncrenazF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/TaktakDE08,
author = {Sami Taktak and
Jean Lou Desbarbieux and
Emmanuelle Encrenaz},
title = {A tool for automatic detection of deadlock in wormhole networks on
chip},
journal = {{ACM} Trans. Design Autom. Electr. Syst.},
volume = {13},
number = {1},
pages = {6:1--6:22},
year = {2008},
url = {https://doi.org/10.1145/1297666.1297672},
doi = {10.1145/1297666.1297672},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/todaes/TaktakDE08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AndreCFE08,
author = {{\'{E}}tienne Andr{\'{e}} and
Thomas Chatain and
Laurent Fribourg and
Emmanuelle Encrenaz},
editor = {Vesa Halava and
Igor Potapov},
title = {An Inverse Method for Parametric Timed Automata},
booktitle = {Proceedings of the Second Workshop on Reachability Problems in Computational
Models, {RP} 2008, Liverpool, UK, September 15-17, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {223},
pages = {29--46},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.029},
doi = {10.1016/J.ENTCS.2008.12.029},
timestamp = {Fri, 17 Feb 2023 11:00:38 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AndreCFE08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BraunsteinE07,
author = {C{\'{e}}cile Braunstein and
Emmanuelle Encrenaz},
title = {CTL-property Transformations along an Incremental Design Process},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {9},
number = {1},
pages = {77--88},
year = {2007},
url = {https://doi.org/10.1007/s10009-006-0007-9},
doi = {10.1007/S10009-006-0007-9},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BraunsteinE07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/BraunsteinE07,
author = {C{\'{e}}cile Braunstein and
Emmanuelle Encrenaz},
editor = {Twan Basten and
Gabriel Juh{\'{a}}s and
Sandeep K. Shukla},
title = {Using {CTL} formulae as component abstraction in a design and verification
flow},
booktitle = {Seventh International Conference on Application of Concurrency to
System Design {(ACSD} 2007), 10-13 July 2007, Bratislava, Slovak Republic},
pages = {80--89},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ACSD.2007.76},
doi = {10.1109/ACSD.2007.76},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/BraunsteinE07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/ChevallierEFX06,
author = {Remy Chevallier and
Emmanuelle Encrenaz{-}Tiph{\`{e}}ne and
Laurent Fribourg and
Weiwen Xu},
editor = {Eugene Asarin and
Patricia Bouyer},
title = {Verification of the Generic Architecture of a Memory Circuit Using
Parametric Timed Automata},
booktitle = {Formal Modeling and Analysis of Timed Systems, 4th International Conference,
{FORMATS} 2006, Paris, France, September 25-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4202},
pages = {113--127},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11867340\_9},
doi = {10.1007/11867340\_9},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/ChevallierEFX06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/TaktakED06,
author = {Sami Taktak and
Emmanuelle Encrenaz and
Jean Lou Desbarbieux},
title = {A Tool for Automatic Detection of Deadlock in Wormhole Networks on
Chip},
booktitle = {Eleventh Annual {IEEE} International High-Level Design Validation
and Test Workshop 2006, Monterey, CA, USA, Nov 9-10, 2006},
pages = {203--210},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/HLDVT.2006.319992},
doi = {10.1109/HLDVT.2006.319992},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hldvt/TaktakED06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/BraunsteinE06,
author = {C{\'{e}}cile Braunstein and
Emmanuelle Encrenaz},
title = {Formalizing the Incremental Design and Verification Process of a Pipelined
Protocol Converter},
booktitle = {17th {IEEE} International Workshop on Rapid System Prototyping {(RSP}
2006), 14-16 June 2006, Chania, Crete, Greece},
pages = {103--109},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/RSP.2006.19},
doi = {10.1109/RSP.2006.19},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rsp/BraunsteinE06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EncrenazF08,
author = {Emmanuelle Encrenaz and
Laurent Fribourg},
editor = {Catuscia Palamidessi and
Frank Valencia},
title = {Time Separation of Events: An Inverse Method},
booktitle = {Proceedings of the {LIX} Colloquium on Emerging Trends in Concurrency
Theory, {LIX} 2006, Paris, France, November 13-15, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {209},
pages = {135--148},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2008.04.008},
doi = {10.1016/J.ENTCS.2008.04.008},
timestamp = {Mon, 13 Feb 2023 14:19:55 +0100},
biburl = {https://dblp.org/rec/journals/entcs/EncrenazF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BraunsteinE05,
author = {C{\'{e}}cile Braunstein and
Emmanuelle Encrenaz},
editor = {Michael Huth},
title = {CTL-Property Transformations Along an Incremental Design Process},
booktitle = {Proceedings of the Fouth International Workshop on Automated Verification
of Critical Systems, AVoCS 2004, London, UK, September 4, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {128},
number = {6},
pages = {263--278},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.04.016},
doi = {10.1016/J.ENTCS.2005.04.016},
timestamp = {Mon, 11 Sep 2023 15:43:49 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BraunsteinE05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/BeaudenonED03,
author = {Vincent Beaudenon and
Emmanuelle Encrenaz and
Jean Lou Desbarbieux},
title = {Design Validation of {ZCSP} with {SPIN}},
booktitle = {3rd International Conference on Application of Concurrency to System
Design {(ACSD} 2003), 18-20 June 2003, Guimaraes, Portugal},
pages = {102--110},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/CSD.2003.1207704},
doi = {10.1109/CSD.2003.1207704},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/BeaudenonED03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/RouxE03,
author = {C{\'{e}}dric Roux and
Emmanuelle Encrenaz},
editor = {Daniel Geist and
Enrico Tronci},
title = {{CTL} May Be Ambiguous When Model Checking Moore Machines},
booktitle = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
Italy, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2860},
pages = {164--169},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39724-3\_16},
doi = {10.1007/978-3-540-39724-3\_16},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/charme/RouxE03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/CouvreurEPPW02,
author = {Jean{-}Michel Couvreur and
Emmanuelle Encrenaz and
Emmanuel Paviot{-}Adet and
Denis Poitrenaud and
Pierre{-}Andr{\'{e}} Wacrenier},
editor = {Javier Esparza and
Charles Lakos},
title = {Data Decision Diagrams for Petri Net Analysis},
booktitle = {Applications and Theory of Petri Nets 2002, 23rd International Conference,
{ICATPN} 2002, Adelaide, Australia, June 24-30, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2360},
pages = {101--120},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-48068-4\_8},
doi = {10.1007/3-540-48068-4\_8},
timestamp = {Fri, 09 Apr 2021 18:41:09 +0200},
biburl = {https://dblp.org/rec/conf/apn/CouvreurEPPW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cata/Rahim-SarwaryEMB98,
author = {Fahim Rahim{-}Sarwary and
Emmanuelle Encrenaz and
Michel Minoux and
Rajesh K. Bawa},
editor = {Narayan C. Debnath},
title = {Modular model checking of {VLSI} designs described in {VHDL}},
booktitle = {Computers and Their Applications (CATA-98), Proceedings of the {ISCA}
13th International Conference, Honolulu, Hawaii, USA, March 25-27,
1998},
pages = {368--371},
publisher = {{ISCA}},
year = {1998},
timestamp = {Mon, 09 Aug 2021 16:27:18 +0200},
biburl = {https://dblp.org/rec/conf/cata/Rahim-SarwaryEMB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BawaE96,
author = {Rajesh K. Bawa and
Emmanuelle Encrenaz},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {A Tool for Translation of {VHDL} Descriptions into a Formal Model
and its Application to Formal Verification and Synthesis},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International
Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1135},
pages = {471--474},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61648-9\_59},
doi = {10.1007/3-540-61648-9\_59},
timestamp = {Tue, 31 Aug 2021 12:07:12 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/BawaE96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/Encrenaz95,
author = {Emmanuelle Encrenaz},
editor = {Paolo Camurati and
Hans Eveking},
title = {A Symbolic Relation for a Subset of VHDL'87 Descriptions and its Application
to Symbolic Model Checking},
booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
Advanced Research Working Conference, {CHARME} '95, Frankfurt/Main,
Germany, October 2-4, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {987},
pages = {328--342},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60385-9\_20},
doi = {10.1007/3-540-60385-9\_20},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/charme/Encrenaz95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
