Publications HAL de Vincent ALBERT du labo/EPI LAAS

2018

Conference papers

titre
Mise en œuvre d'un simulateur DEVS utilisant des réseaux de Petri temporisés sur FPGA
auteur
Clément Foucher, Vincent Albert
article
MOSIM 2018, Jun 2018, Toulouse, France
Accès au texte intégral et bibtex
https://laas.hal.science/hal-01824727/file/mosim_simulateur_DEVS_FPGA.pdf BibTex
titre
Ingénierie dirigée par les modèles : du modèle au circuit logique en utilisant la génération automatique de code avec la plateforme Project DEVS
auteur
Clément Foucher, Vincent Albert
article
Colloque 2018 du GDR SOC², Jun 2018, Paris, France
Accès au texte intégral et bibtex
https://laas.hal.science/hal-02103309/file/GDR_SOC_IDM_Foucher_Albert.pdf BibTex
titre
Simulation distribuée hétérogène de réseaux de Petri DEVS
auteur
Clément Foucher, Vincent Albert
article
Journées DEVS Francophones, Apr 2018, Cargèse, France
Accès au texte intégral et bibtex
https://laas.hal.science/hal-01726195/file/jdf_2018_vfinale.pdf BibTex

2017

Conference papers

titre
Applying the Model-Driven Architecture Approach to Dynamic Structure Applications
auteur
Min Zhu, Clément Foucher, Vincent Albert, Alexandre Nketsa
article
31st European Simulation and Modelling Conference (ESM 2017), Oct 2017, Lisbon, Portugal. 8p
Accès au texte intégral et bibtex
https://laas.hal.science/hal-01635791/file/PAR_03-Manuscript.pdf BibTex
titre
Formal Framework for Discrete-Event Simulation
auteur
Vincent Albert, Clément Foucher
article
20th IFAC World Congress, Jul 2017, Toulouse, France. pp.5812-5817, ⟨10.1016/j.ifacol.2017.08.535⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01562929/file/Albert_Foucher_IFAC_2017.pdf BibTex

2016

Journal articles

titre
A New Specification-based Qualitative Metric for Simulation Model Validity
auteur
Damien Foures, Vincent Albert, Alexandre Nketsa
article
Simulation Modelling Practice and Theory, 2016, 66, pp.1-15. ⟨10.1016/j.simpat.2016.03.002⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-01816611/file/A%20New%20Specification-based%20Qualitative%20Metric%20for%20Simulatio%E2%80%A6.pdf BibTex

Conference papers

titre
Quantifying Fidelity for Timed Transition Systems
auteur
Sangeeth Saagar Ponnusamy, Vincent Albert, Patrice Thebault
article
6th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2016), Jul 2016, Lisbonne, Portugal
Accès au texte intégral et bibtex
https://laas.hal.science/hal-01912574/file/Quantifying%20Fidelity%20for%20Timed%20Transition%20Systems.pdf BibTex
titre
Codage de CDEVS et de PDEVS en réseau de Petri temporisé
auteur
Vincent Albert, Sangeeth Saagar Ponnusamy
article
JDF 2016 - Les Journées DEVS Francophones, Apr 2016, Cargèse, France. 9p
Accès au texte intégral et bibtex
https://laas.hal.science/hal-01912563/file/JDF2016_paper_8.pdf BibTex
titre
Simulation Fidelity Distance: A Game-Theoretic Framework
auteur
Sangeeth Saagar Ponnusamy, Vincent Albert, Patrice Thebault
article
SpringSim Spring Simulation Conference, Apr 2016, Pasadena, United States. ⟨10.23919/TMS.2016.7918815⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-01912556/file/SpringSim_2016_Ponnusamy_Albert_Thebault.pdf BibTex
titre
Towards an Ontology-Driven Framework for Simulation Model Development
auteur
Sangeeth Saagar Ponnusamy, Patrice Thebault, Vincent Albert
article
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France. 11p
Accès au texte intégral et bibtex
https://hal.science/hal-01291993/file/paper_73.pdf BibTex
titre
Consistent Behavioral Abstractions of Experimental Frame
auteur
Sangeeth Saagar Ponnusamy, Vincent Albert, Patrice Thebault
article
AIAA SciTech 2016, Jan 2016, San Diego, United States. 11p
Accès au texte intégral et bibtex
https://laas.hal.science/hal-01912553/file/AIAA_2015_Consistent%20Behavioral%20Abstractions%20of%20Experimental%20Frame_Ponnusamy_Albert_Thebault.pdf BibTex

2015

Conference papers

titre
A META-MODEL FOR CONSISTENT & AUTOMATIC SIMULATION MODEL SELECTION
auteur
Sangeeth Saagar Ponnusamy, Vincent Albert, Patrice Thebault
article
ESM 29th European Simulation and Modelling Conference, Oct 2015, Leicester, United Kingdom
Accès au texte intégral et bibtex
https://laas.hal.science/hal-01912572/file/ESM_2015_A_Meta-Model_for_Consistent_%26_Automatic_Model_Selection_Ponnusamy_Vincent_Thebault.pdf BibTex
titre
A MULTIMODAL APPROACH TO SIMULATION FIDELITY
auteur
Patrice Thebault, Sangeeth Saagar Ponnusamy, Vincent Albert
article
I3M 12th International Multidisciplinary Modeling & Simulation Multiconference, Sep 2015, Bergeggi, Italy. 8p
Accès au texte intégral et bibtex
https://laas.hal.science/hal-01912569/file/MAS_2015_Thebault_Ponnusamy_Albert_MultiModal%20Approach%20to%20Simulation%20Fidelity.pdf BibTex
titre
ProDEVS : an Event-Driven Modeling and Simulation Tool for Hybrid Systems using State Machines
auteur
Le-Hung Vu, Damien Foures, Vincent Albert
article
Simutools 2015 Eighth EAI International Conference on Simulation Tools and Techniques, EAI, Aug 2015, ATHENES, Greece. pp.29-37
Accès au texte intégral et bibtex
https://hal.science/hal-01293018/file/ProDEVS_an_Event-Driven_Modeling_and_Simulation_Tool_authors_version.pdf BibTex

2014

Conference papers

titre
A simulation fidelity assessment framework
auteur
Sangeeth Saagar Ponnusamy, Vincent Albert, Patrice Thebault
article
International Conference on Simulation and Modeling Methodologies, Technologies and Applications ( SIMULTECH 2014), Aug 2014, Vienne, Austria. pp.463-471
Accès au texte intégral et bibtex
https://laas.hal.science/hal-01912540/file/SIMULTECH_2014_Position%20Paper_133_CR_Ponnusamy_Albert_Thebault.pdf BibTex
titre
Modeling & simulation framework for the inclusion of simulation objectives by abstraction
auteur
Sangeeth Saagar Ponnusamy, Vincent Albert, Patrice Thebault
article
International Conference on Simulation and Modeling Methodologies, Technologies and Applications ( SIMULTECH 2014), Aug 2014, Vienne, Austria. pp.385-394
Accès au texte intégral et bibtex
https://laas.hal.science/hal-01912545/file/SIMULTECH_2014_Regular%20Paper_77_CR_Ponnusamy_Albert_Thebault.pdf BibTex

2013

Conference papers

titre
Simulation validation using the compatibility between Simulation Model and Experimental Frame
auteur
Damien Foures, Vincent Albert, Alexandre Nketsa
article
SummerSim'13 ( 45th Summer Simulation Multi-conference 2013), Jul 2013, Toronto, Canada. pp.75
Accès au texte intégral et bibtex
https://hal.science/hal-00868406/file/SummerSim_DFOURES-finalverison.pdf BibTex

2012

Conference papers

titre
FROM SEQUENCE DIAGRAMS UML 2.x TO FD-DEVS BY MODEL TRANSFORMATION
auteur
Roberto Pasqua, Damien Foures, Vincent Albert, Alexandre Nketsa
article
European Simulation and Modelling Conference, Oct 2012, Essen, Germany. pp.37-43 N° 12481
Accès au texte intégral et bibtex
https://hal.science/hal-00781084/file/paper_transfo_sequence2devs.pdf BibTex
titre
FORMAL COMPATIBILITY OF EXPERIMENTAL FRAME CONCEPT AND FD-DEVS MODEL
auteur
Damien Foures, Vincent Albert, Alexandre Nketsa
article
9th International Conference on Modeling, Optimization & SIMulation, Jun 2012, Bordeaux, France
Accès au texte intégral et bibtex
https://hal.science/hal-00728676/file/paper_67.pdf BibTex

2011

Conference papers

titre
ACTIVITYDIAGRAM2PETRINET : TRANSFORMATION-BASED MODEL IN ACCORDANCE WITH THE OMG SYSML SPECIFICATIONS
auteur
Damien Foures, Vincent Albert, Jean-Claude Pascal
article
Eurosis, The 2011 European Simulation and Modelling Conference, Oct 2011, Guimaraes, Portugal. p429-p433
Accès au texte intégral et bibtex
https://hal.science/hal-00760783/file/eurosis_Damien.pdf BibTex

2009

Conference papers

titre
Signature Matching Applied to Simulation/Frame Duality
auteur
Alexandre Nketsa, Vincent Albert
article
2009 Fourth International Conference on Systems, Mar 2009, Gosier, France. ⟨10.1109/ICONS.2009.32⟩
Accès au bibtex
BibTex

Theses

titre
Evaluation de la validité de la simulation dans le cadre du développement des systèmes embarqués
auteur
Vincent Albert
article
Informatique [cs]. Université Paul Sabatier - Toulouse III, 2009. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00442449/file/Manuscrit_final_couv.pdf BibTex