Auteurs
Corpus
Hal
Racine
Corpus
Checkpoint
Hal
Racine
Hal
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Corpus (Hal)

Index « Auteurs » - entrée « Fabien Peureux »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Fabien Palomares < Fabien Peureux < Fabien Torre  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 16.
Ident.Authors (with country if any)Title
000519 (2015) Jean-Marie Gauthier ; Fabrice Bouquet ; Fabien Peureux ; Hammed AhmadA SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing
000F40 (2013-07-01) Fabrice Ambert ; Fabrice Bouquet ; Jonathan Lasalle ; Bruno Legeard ; Fabien PeureuxApplying a Def-Use Approach on Signal Exchange to Implement SysML Model-Based Testing
000F41 (2012-11-18) Fabrice Ambert ; Fabrice Bouquet ; Jonathan Lasalle ; Bruno Legeard ; Fabien PeureuxApplying an MBT Toolchain to Automotive Embedded Systems: Case Study Reports
001158 (2011-07-17) Jonathan Lasalle ; Fabien Peureux ; Jérôme GuilletAutomatic test concretization to supply end-to-end MBT for automotive mecatronic systems
001861 (2015-08-25) Hadrien Bride ; Olga Kouchnarenko ; Fabien PeureuxConstraint Solving for Verifying Modal Specifications of Workflow Nets with Data
001C39 (2011-06-20) Jonathan Lasalle ; Fabien Peureux ; Frédéric FondementDevelopment of an automated MBT toolchain from UML/SysML models
001E69 (2014-12) Alexandre Vernotte ; Frédéric Dadeau ; Franck Lebeau ; Bruno Legeard ; Fabien Peureux ; François PiatEfficient Detection of Multi-step Cross-Site Scripting Vulnerabilities
002670 (2011-03-21) Frédéric Dadeau ; Fabien PeureuxGrey-Box Testing and Verification of Java/JML
003260 (2014) Fabrice Bouquet ; Fabien Peureux ; Fabrice AmbertModel-Based Testing for Functional and Security Test Generation
004977 (2011) Jonathan Lasalle ; Fabrice Bouquet ; Bruno Legeard ; Fabien PeureuxSysML to UML model transformation for test generation purpose
004A62 (2011-09) Frédéric Dadeau ; Fabien Peureux ; Bruno Legeard ; Régis Tissot ; Jacques Julliand ; Pierre-Alain Masson ; Fabrice BouquetTest Generation using Symbolic Animation of Models
004D69 (2015) Jean-Marie Gauthier ; Fabrice Bouquet ; Ahmed Hammad ; Fabien PeureuxTooled Process for Early Validation of SysML Models using Modelica Simulation
004F46 (2012-04-02) Jean-Marie Gauthier ; Fabrice Bouquet ; Ahmed Hammad ; Fabien PeureuxTransformation of SysML structure diagrams to VHDL-AMS
005254 (2013-02-19) Jean-Marie Gauthier ; Fabrice Bouquet ; Ahmed Hammad ; Fabien PeureuxVerification and Validation of Meta-Model Based Transformation from SysML to VHDL-AMS
005270 (2014-09-09) Hadrien Bride ; Olga Kouchnarenko ; Fabien PeureuxVerifying Modal Workflow Specifications Using Constraint Solving
006C40 (2010) Frédéric Fondement ; P-A. Muller ; Brice Wittmann ; Fabrice Ambert ; Fabrice Bouquet ; Jonathan Lasalle ; Emilie Oudot ; Fabien Peureux ; Bruno Legeard ; M. Alter ; C. ScherrerVETESS : IDM, Test et SysML

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Corpus

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i -k "Fabien Peureux" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i  \
                -Sk "Fabien Peureux" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Corpus/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Corpus
   |type=    indexItem
   |index=    Author.i
   |clé=    Fabien Peureux
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022