Heam, Pierre-Cyrille: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A polynomial time algorithm to compute the Abelian kernel of a finite monoid

Manuel Delgado, Pierre-Cyrille Héam

Journal:

Semigroup Forum

Year:

2003

Language:

english

File:

PDF, 170 KB

english, 2003

2

On the Use of Uniform Random Generation of Automata for Testing

Frédéric Dadeau, Jocelyn Levrey, Pierre-Cyrille Héam

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 909 KB

english, 2009

3

Component Simulation-based Substitutivity Managing QoS Aspects

Pierre-Cyrille Héam, Olga Kouchnarenko, Jérôme Voinot

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 337 KB

english, 2010

4

Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives

Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 375 KB

english, 2009

5

Component simulation-based substitutivity managing QoS and composition issues

Pierre-Cyrille Héam, Olga Kouchnarenko, Jérôme Voinot

Journal:

Science of Computer Programming

Year:

2010

Language:

english

File:

PDF, 663 KB

english, 2010

6

Parametric random generation of deterministic tree automata

Pierre-Cyrille Héam, Cyril Nicaud, Sylvain Schmitz

Journal:

Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 577 KB

english, 2010

7

Loops and overloops for Tree-Walking Automata

Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko

Journal:

Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 368 KB

english, 2012

8

[IEEE 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation (ICST) - Berlin, Germany (2011.03.21-2011.03.25)] 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation - Mutation-Based Test Generation from Security Protocols in HLPSL

Dadeau, Frédéric, Héam, Pierre-Cyrille, Kheddam, Rafik

Year:

2011

Language:

english

File:

PDF, 369 KB

english, 2011

9

[IEEE 2013 IEEE 6th International Conference On Software Testing, Verification and Validation Workshops (ICSTW) - Luxembourg, Luxembourg (2013.03.18-2013.03.22)] 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops - Random Grammar-Based Testing for Covering All Non-terminals

Dreyfus, Alois, Heam, Pierre-Cyrille, Kouchnarenko, Olga

Year:

2013

Language:

english

File:

PDF, 227 KB

english, 2013

10

[IEEE 2010 IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW) - Paris, France (2010.04.6-2010.04.10)] 2010 Third International Conference on Software Testing, Verification, and Validation Workshops - Model-Based Testing Using Symbolic Animation and Machine Learning

Bué, Pierre-Christophe, Dadeau, Frédéric, Héam, Pierre-Cyrille

Year:

2010

Language:

english

File:

PDF, 416 KB

english, 2010

11

[IEEE 2013 Ninth International Conference on Intelligent Information Hiding and Multimedia Signal Processing (IIH-MSP) - Beijing, China (2013.10.16-2013.10.18)] 2013 Ninth International Conference on Intelligent Information Hiding and Multimedia Signal Processing - A Cryptographic Approach for Steganography

Bahi, Jacques M., Guyeux, Christophe, Heam, Pierre-Cyrille

Year:

2013

Language:

english

File:

PDF, 243 KB

english, 2013

12

HANDLING NON LEFT-LINEAR RULES WHEN COMPLETING TREE AUTOMATA

BOICHUT, YOHAN, COURBIS, ROMEO, HEAM, PIERRE-CYRILLE, KOUCHNARENKO, OLGA

Journal:

International Journal of Foundations of Computer Science

Year:

2009

Language:

english

File:

PDF, 244 KB

english, 2009

13

Efficient and cryptographically secure generation of chaotic pseudorandom numbers on GPU

Guyeux, Christophe, Couturier, Raphaël, Héam, Pierre-Cyrille, Bahi, Jacques M.

Journal:

The Journal of Supercomputing

Year:

2015

Language:

english

File:

PDF, 620 KB

english, 2015

14

[IEEE 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Graz, Austria (2015.4.13-2015.4.17)] 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Covering both stack and states while testing push-down systems

Heam, Pierre-Cyrille, M'Hemdi, Hana

Year:

2015

Language:

english

File:

PDF, 254 KB

english, 2015

15

A random testing approach using pushdown automata

Dreyfus, Aloïs, Héam, Pierre-Cyrille, Kouchnarenko, Olga, Masson, Catherine

Journal:

Software Testing, Verification and Reliability

Year:

2014

Language:

english

File:

PDF, 2.46 MB

english, 2014

16

Model-based mutation testing from security protocols in HLPSL

Dadeau, Frédéric, Héam, Pierre-Cyrille, Kheddam, Rafik, Maatoug, Ghazi, Rusinowitch, Michael

Journal:

Software Testing, Verification and Reliability

Year:

2015

Language:

english

File:

PDF, 3.20 MB

english, 2015

17

Random Walk in a N-Cube Without Hamiltonian Cycle to Chaotic Pseudorandom Number Generation: Theoretical and Practical Considerations

Contassot-Vivier, Sylvain, Couchot, Jean-François, Guyeux, Christophe, Heam, Pierre-Cyrille

Journal:

International Journal of Bifurcation and Chaos

Year:

2017

Language:

english

File:

PDF, 381 KB

english, 2017

18

[IEEE 2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and IEEE Intl Conference on Embedded and Ubiquitous Computing (EUC) and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES) - Paris, France (2016.8.24-2016.8.26)] 2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and IEEE Intl Conference on Embedded and Ubiquitous Computing (EUC) and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES) - A Model-Based Testing Approach for Security Protocols

Heam, Pierre-Cyrille, Dadeau, Frederic, Kheddam, Rafik, Maatoug, Ghazi, Rusinowitch, Michael

Year:

2016

Language:

english

File:

PDF, 204 KB

english, 2016

19

On Shuffle Ideals

Héam, Pierre-Cyrille

Journal:

RAIRO - Theoretical Informatics and Applications

Year:

2002

Language:

english

File:

PDF, 244 KB

english, 2002

20

Gray Codes Generation Algorithm and Theoretical Evaluation of Random Walks in N-Cubes

Contassot-Vivier, Sylvain, Couchot, Jean-François, Héam, Pierre-Cyrille

Journal:

Year:

2018

Language:

english

File:

PDF, 480 KB

english, 2018

21

[IEEE 2018 International Conference on High Performance Computing & Simulation (HPCS) - Orleans (2018.7.16-2018.7.20)] 2018 International Conference on High Performance Computing & Simulation (HPCS) - A Markov Chain Monte Carlo Approach to Cost Matrix Generation for Scheduling Performance Evaluation

Canon, Louis-Claude, El Sayah, Mohamad, Heam, Pierre-Cyrille

Year:

2018

Language:

english

File:

PDF, 619 KB

english, 2018

22

[IEEE 2019 International Conference on High Performance Computing & Simulation (HPCS) - Dublin, Ireland (2019.7.15-2019.7.19)] 2019 International Conference on High Performance Computing & Simulation (HPCS) - Fast and robust PRNGs based on jumps in N-cubes for simulation, but not exclusively for that.

Contassot-Vivier, Sylvain, Couchot, Jean-Francois, Bakiri, Mohammed, Heam, Pierre-Cyrille

Year:

2019

File:

PDF, 409 KB

2019