 |
|
|
||
|---|---|---|
|
hal-01246025v1
Communication dans un congrès
Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux. Tooled Process for Early Validation of SysML Models using Modelica Simulation Mehdi Dastani; Marjan Sirjani. 6th Fundamentals of Software Engineering (FSEN), 2015, Tehran, Iran. Springer, Lecture Notes in Computer Science, LNCS-9392, pp.230-237, 2015, Fundamentals of Software Engineering. <10.1007/978-3-319-24644-4_16> |
||
|
hal-01246022v1
Chapitre d'ouvrage
Fabrice Bouquet, David Sheeren, Nicolas Becu, Benoit Gaudou, Christophe Lang et al. Formalismes de description des modèles agent Simulation spatiale ~AÂ base d'agents avec NetLogo, partie 1, ISTE, pp.37--72, 2015 |
||
|
hal-01246023v1
Chapitre d'ouvrage
Fabrice Bouquet, Sébastien Chipeaux, Christophe Lang, Nicolas Marilleau, Jean-Marc Nicod et al. Introduction à l'approche agent Simulation spatiale à base d'agents avec NetLogo, partie 1, ISTE, pp.15--36, 2015 |
||
|
hal-01246024v1
Communication dans un congrès
Jean-Marie Gauthier, Fabrice Bouquet, Fabien Peureux, Hammed Ahmad. A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing ICFEM'15, 17th Int. Conf. on Formal Engineering Methods, 2015, Paris, France. Springer, 9407, pp.134--152, 2015 |
||
|
hal-01093442v1
Chapitre d'ouvrage
Fabrice Bouquet, Fabien Peureux, Fabrice Ambert. Model-Based Testing for Functional and Security Test Generation Alessandro Aldini; Javier Lopez; Fabio Martinelli. Foundations of Security Analysis and Design VII, 8604, Springer International Publishing, pp.33, 2014, LNCS, 978-3-319-10081-4. <10.1007/978-3-319-10082-1_1> |
||
|
hal-01093461v1
Article dans une revue
Jérome Cantenot, Fabrice Ambert, Fabrice Bouquet. Test generation with SMT solvers in Model Based Testing Journal of Software Testing, Verification, and Reliability, John Wiley & Sons, 2014, 24 (7), pp.33. <10.1002/stvr.1537> |
||
|
hal-01093474v1
Communication dans un congrès
Ahmed Hammad, Fabrice Bouquet, Jean-Marie Gauthier, Dominique Gendreau. Modeling and simulation of modular complex system: Application to air-jet conveyor Advanced Intelligent Mechatronics (AIM), Jul 2014, Besançon, France. IEEE, pp.6, 2014, AIM 2014, IEEE/ASME Int. Conf. on Advanced Intelligent Mechatronics. <http://dx.doi.org/10.1109/AIM.2014.6878244>. <10.1109/AIM.2014.6878244> |
||
|
hal-01093493v1
Communication dans un congrès
Elizabeta Fourneret, Jérome Cantenot, Fabrice Bouquet, Bruno Legeard, Julien Botella. SeTGaM: Generalized Technique for Regression Testing Based on UML/OCL Models Software Security and Reliability (SERE), Jun 2014, San Francisco, CA, France. pp.19, 2014, Software Security and Reliability (SERE), 2014 Eighth International Conference on. <10.1109/SERE.2014.28> |
||
|
hal-01061900v1
Rapport
Ivan Enderlin, Fabrice Bouquet, Frédéric Dadeau, Alain Giorgetti. Praspel: Contract-Driven Testing for PHP using Realistic Domains [Research Report] RR-8592, INRIA. 2014, pp.39 |
||
|
hal-00909202v1
Communication dans un congrès
Ivan Enderlin, Alain Giorgetti, Fabrice Bouquet. A Constraint Solver for PHP Arrays ICSTW - Sixth International IEEE Conference on Software Testing, Verification and Validation Workshops - 2013, Mar 2013, Luxembourg, Luxembourg. IEEE, pp.218-223, 2013, <10.1109/ICSTW.2013.80> |
||
|
hal-00913739v1
Communication dans un congrès
Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux. Verification and Validation of Meta-Model Based Transformation from SysML to VHDL-AMS MODELSWARD 2013, 1st Int. Conf. on Model-Driven Engineering and Software Development, Feb 2013, Barcelona, Spain. pp.123--128, 2013 |
||
|
hal-00762072v1
Communication dans un congrès
Fabrice Ambert, Fabrice Bouquet, Jonathan Lasalle, Bruno Legeard, Fabien Peureux. Applying an MBT Toolchain to Automotive Embedded Systems: Case Study Reports VALID'12 - 4th International Conference on Advances in System Testing and Validation Lifecycle - 2012, Nov 2012, Lisbon, Portugal. pp.139--144, 2012 |
||
|
hal-00762079v1
Communication dans un congrès
Elizabeta Fourneret, Fabrice Bouquet, Martin Ochoa, Jan Jürjens, Sven Wenzel. Vérification et Test pour des systèmes évolutifs AFADL'12, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, Jan 2012, Grenoble, France. pp.150--164, 2012 |
||
|
hal-00762089v1
Communication dans un congrès
Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux. Transformation of SysML structure diagrams to VHDL-AMS Bourgeois, Julien and de Labachelerie, Michel. dMEMS - 2nd Workshop on design, control and software implementation for distributed MEMS - 2012, Apr 2012, Besançon, France. IEEE CPS, 2012 Second Workshop on Design, Control and Software Implementation for Distributed MEMS (dMEMS), pp.74-81, 2012, <10.1109/dMEMS.2012.12> |
||
|
hal-00751321v1
Communication dans un congrès
Ivan Enderlin, Frédéric Dadeau, Alain Giorgetti, Fabrice Bouquet. Grammar-Based Testing using Realistic Domains in PHP IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST), 2012, Apr 2012, Montreal, Canada. IEEE Computer Society, pp.509-518, 2012, IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST), 2012. <10.1109/ICST.2012.136> |
||
|
hal-00913694v1
Communication dans un congrès
Fabrice Ambert, Fabrice Bouquet, Jonathan Lasalle, Bruno Legeard, Fabien Peureux. Applying a Def-Use Approach on Signal Exchange to Implement SysML Model-Based Testing ECMFA'13, 9-th European Conference on Modelling Foundations and Applications, Jul 2013, Montpellier, France. Springer, 7949, pp.134--151, 2013, Lecture Notes in Computer Science. <10.1007/978-3-642-39013-5_10> |
||
|
hal-00762068v1
Article dans une revue
Lionel Droz-Bartholet, Jean-Christophe Lapayre, Fabrice Bouquet, Eric Garcia, Alexander Heinisch. Ramos: Concurrent Writing and Reconfiguration for Collaborative Systems Journal of Parallel and Distributed Computing, Elsevier, 2012, 72 (5), pp.637--649. <10.1016/j.jpdc.2012.02.012> |
||
|
|
||
