Publications HAL de laurent,Cabaret;marc, aiguier; Pascale,Le gall; Céline,hudelot; paolo, ballarini

2019

Conference papers

titre
MetAcsl: Specification and Verification of High-Level Properties
auteur
Virgile Robles, Nikolai Kosmatov, Virgile Prévosto, Louis Rilling, Pascale Le Gall
article
TACAS 2019, Apr 2019, Prague, Czech Republic
Accès au texte intégral et bibtex
https://hal-cea.archives-ouvertes.fr/cea-02019790/file/main.pdf BibTex

2018

Journal articles

titre
Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction
auteur
Marc Aiguier, Jamal Atif, Isabelle Bloch, Ramon Pino Perez
article
International Journal of Approximate Reasoning, Elsevier, 2018, 102, pp.1 - 20. 〈10.1016/j.ijar.2018.07.014〉
Accès au bibtex
BibTex
titre
Parallel Light Speed Labeling: an efficient connected component algorithm for labeling and analysis on multi-core processors
auteur
Laurent Cabaret, Lionel Lacassagne, Daniel Etiemble
article
Journal of Real-Time Image Processing, Springer Verlag, 2018, 15 (1), pp.173-196. 〈http://link.springer.com/article/10.1007/s11554-016-0574-2〉. 〈10.1007/s11554-016-0574-2〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01361188/file/jrtip_2016_final_draft.pdf BibTex
titre
Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics
auteur
Marc Aiguier, Jamal Atif, Isabelle Bloch, Céline Hudelot
article
Artificial Intelligence, Elsevier, 2018, 256, pp.160 - 180. 〈10.1016/j.artint.2017.12.002〉
Accès au bibtex
BibTex

Conference papers

titre
A new Direct Connected Component Labeling and Analysis Algorithms for GPUs
auteur
Arthur Hennequin, Lionel Lacassagne, Laurent Cabaret, Quentin Meunier
article
DASIP, Oct 2018, Porto, Portugal
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01923784/file/dasip2018_final.pdf BibTex
titre
Static and Dynamic Verification of Relational Properties on Self-Composed C Code
auteur
Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prévosto, Guillaume Petiot
article
Tests and Proofs - TAP, Jun 2018, Toulouse, France
Accès au texte intégral et bibtex
https://hal-cea.archives-ouvertes.fr/cea-01835470/file/main.pdf BibTex
titre
RPP : Preuve automatique de propriétés relationnelles par Self-Composition
auteur
Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prévosto
article
Approches Formelles pour l'Assistance au Développement de Logiciels - AFADL, Jun 2018, Grenoble, France
Accès au texte intégral et bibtex
https://hal-cea.archives-ouvertes.fr/cea-01835491/file/rpp.pdf BibTex

Directions of work or proceedings

titre
Computer performance engineering : 15th European workshop, EPEW 2018, Paris, France, October 29-30, 2018, proceedings
auteur
Rena Bakshi, Paolo Ballarini, Benoit Barbot, Hind Castel-Taleb, Anne Remke
article
Springer, pp.265, 2018, Part of the Lecture Notes in Computer Science book series (LNCS, volume 11178), 978-3-030-02226-6
Accès au bibtex
BibTex

Preprints, Working Papers, ...

titre
A Fuzzy Close Algorithm for Mining Fuzzy Association Rules
auteur
Régis Pierrard, Jean-Philippe Poli, Céline Hudelot
article
2018
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01698352/file/fuzzy-close-algorithm.pdf BibTex

2017

Journal articles

titre
Vision-language integration using constrained local semantic features
auteur
Youssef Tamaazousti, Herve Le Borgne, Adrian Popescu, Etienne Gadeski, Alexandru Ginsca, Celine Hudelot
article
Computer Vision and Image Understanding, Elsevier, 2017, 163, pp.41-57. 〈10.1016/j.cviu.2017.05.017〉
Accès au bibtex
BibTex
titre
DoS detection in WSNs: Energy-efficient methods for selecting monitoring nodes
auteur
Quentin Monnet, Lynda Mokdad, Paolo Ballarini, Youcef Hammal, Jalel Ben-Othman
article
Concurrency and Computation: Practice and Experience, Wiley, 2017
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01860370/file/masterConcCompVersionRevisee2016_hal.pdf BibTex
titre
DoS detection in WSNs: Energy-efficient methods for selecting monitoring nodes.
auteur
Quentin Monnet, Lynda Mokdad, Paolo Ballarini, Youcef Hammal, Jalel Ben Othman
article
Concurrency and Computation: Practice and Experience, Wiley, In press
Accès au bibtex
BibTex

Conference papers

titre
Distanceless Label Propagation: an Efficient Direct Connected Component Labeling Algorithm for GPUs
auteur
Laurent Cabaret, Lionel Lacassagne, Daniel Etiemble
article
IPTA2017 - International Conference on Image Processing Theory, Tools and Applications, Nov 2017, Montreal, Canada
Accès au texte intégral et bibtex
https://hal-centralesupelec.archives-ouvertes.fr/hal-01656756/file/IPTA_79.pdf BibTex
titre
Analysis of Timed Properties Using the Jump-Diffusion Approximation
auteur
Paolo Ballarini, Marco Beccuti, Enrico Bibbona, Andras Horvath, Roberta Sirovich, Jeremy Sproston
article
European Workshop on Performance Engineering, Sep 2017, Berlin, Germany
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01817472/file/main.pdf BibTex
titre
MuCaLe-Net: Multi categorical-Level networks to generate more discriminating features
auteur
Y. Tamaazousti, H. Le Borgne, Celine Hudelot
article
2017 IEEE Conference on Computer Vision and Pattern Recognition (CVPR), Jul 2017, Honolulu, HI, United States. Institute of Electrical and Electronics Engineers Inc., 2017-January, pp.5282-5291, 2017, 〈10.1109/CVPR.2017.561〉
Accès au bibtex
BibTex
titre
Symbolic execution of transition systems with function summaries
auteur
Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prévosto
article
11th International Conference on Tests & Proofs, Jul 2017, Marburg, Germany
Accès au texte intégral et bibtex
https://hal-cea.archives-ouvertes.fr/cea-01810693/file/TAP17-Rev-BGLP.pdf BibTex
titre
Geometric Modeling: Consistency Preservation Using Two-Layered Variable Substitutions
auteur
Thomas Bellet, Agnès Arnould, Hakim Belhaouari, Pascale Le Gall
article
Graph Transformation: 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Jul 2017, Marburg, Germany
Accès au bibtex
BibTex

Reports

titre
Constraint-preserving labeled graph transformations for topology-based geometric modeling
auteur
Thomas Bellet, Agnès Arnould, Pascale Le Gall
article
[Research Report] XLIM. 2017
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01476860/file/tcs_ebd-var.pdf BibTex
titre
Geometric modeling: consistency preservation using two-layered variable substitutions (extended version)
auteur
Thomas Bellet, Agnès Arnould, Hakim Belhaouari, Pascale Le Gall
article
[Research Report] Xlim UMR CNRS 7252; CentraleSupélec, Université Paris-Saclay. 2017
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01509832/file/document_etendu.pdf BibTex

2016

Journal articles

titre
Bayesian parameter estimation for the Wnt pathway: an infinite mixture models approach
auteur
Konstantinos Koutroumpas, Paolo Ballarini, Irene Votsi, Paul-Henry Cournède
article
Bioinformatics, Oxford University Press (OUP), 2016, 32 (17), pp.i781 - i789. 〈https://academic.oup.com/bioinformatics/article/32/17/i781/2450800/Bayesian-parameter-estimation-for-the-Wnt-pathway〉. 〈10.1093/bioinformatics/btw471〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01817488/file/mainHALversion.pdf BibTex
titre
Exhaustive test sets for algebraic specification correctness
auteur
Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet
article
Journal of Software Testing, Verification, and Reliability, John Wiley & Sons, 2016, 26 (4), pp.294-317. 〈http://onlinelibrary.wiley.com/doi/10.1002/stvr.1598/abstract〉. 〈10.1002/stvr.1598 〉
Accès au bibtex
BibTex
titre
Some relationships between fuzzy sets, mathematical morphology, rough sets, F-transforms, and formal concept analysis
auteur
Jamal Atif, Isabelle Bloch, Céline Hudelot
article
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 2016, 24 (Suppl. 2), 〈10.1142/S0218488516400080〉
Accès au bibtex
BibTex

Conference papers

titre
Diverse concept-level features for multi-object classification
auteur
Y. Tamaazousti, H. Le Borgne, Celine Hudelot
article
ICMR '16 Proceedings of the 2016 ACM on International Conference on Multimedia Retrieval Pages 63-70, Jun 2016, New York, United States. Association for Computing Machinery, Inc, pp.63-70, 2016, 〈10.1145/2911996.2912013〉
Accès au bibtex
BibTex
titre
Stochastic models for IEEE 802.11p
auteur
Lynda Mokdad, Jalel Ben-Othman, Paolo Ballarini
article
IEEE Symposium on Computers and Communications (ISCC'16), Jun 2016, Messina, Italy
Accès au bibtex
BibTex
titre
Timed-model-based Method for Security Analysis and Testing of Smart Grid Systems
auteur
Gabriel Pedroza, Pascale Le Gall, Christophe Gaston, Fabrice Bersey
article
19th International Symposium on Real-Time Distributed Computing (ISORC) 2016, May 2016, York, United Kingdom. 〈10.1109/isorc.2016.15 〉
Accès au texte intégral et bibtex
https://hal-cea.archives-ouvertes.fr/cea-01302826/file/ISORC-2016.pdf BibTex
titre
A new SIMD iterative connected component labeling algorithm
auteur
Lionel Lacassagne, Laurent Cabaret, Daniel Etiemble, Farouk Hebbache, Andrea Petreto
article
Principles and Practice of Parallel Programming / WVMVP, Mar 2016, Barcelone, Spain. WPMVP '16 Proceedings of the 3rd Workshop on Programming Models for SIMD/Vector Processing 〈http://conf.researchr.org/home/ppopp-2016〉. 〈10.1145/2870650.2870652〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01361101/file/PPoPP_WPMVP_2016_SIMD_labeling.pdf BibTex
titre
Coq a dit : fromage tranché ne peut cacher ses trous *
auteur
Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall
article
Julien Signoles. Vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA 2016), Jan 2016, Saint-Malo, France. 27es Journées Francophones des Langages Applicatifs, 2016
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01333605/file/lechenet.pdf BibTex

Theses

titre
Algorithmes d'étiquetage en composantes connexes efficaces pour architectures hautes performances
auteur
Laurent Cabaret
article
Vision par ordinateur et reconnaissance de formes [cs.CV]. Université Paris-Saclay, 2016. Français. 〈NNT : 2016SACLS299〉
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01597903/file/76304_CABARET_2016_diffusion.pdf BibTex

2015

Journal articles

titre
Étude de réseaux de Thomas par validation de propriétés LTL pour Pseudomonas aeruginosa
auteur
Emmanuelle Gallet, Matthieu Manceny, Pascale Le Gall, Paolo Ballarini
article
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2015, 34 (5), pp.575 - 600. 〈10.3166/TSI.34.575-600〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01819818/file/TSI_GMLB_15_HAL.pdf BibTex
titre
Applications of an expressive statistical model checking approach to the analysis of genetic circuits
auteur
Paolo Ballarini, Marie Duflot
article
Theoretical Computer Science, Elsevier, 2015
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01852430/file/TCS_CMSB12_rev2.pdf BibTex
titre
HASL: A new approach for performance evaluation and model checking from concepts to experimentation
auteur
Paolo Ballarini, Benoît Barbot, Marie Duflot, Serge Haddad, Nihal Pekergin
article
Performance Evaluation, Elsevier, 2015, 90, pp.53-77. 〈10.1016/j.peva.2015.04.003〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01221815/file/main.pdf BibTex
titre
3D Mesh Compression: Survey, Comparisons, and Emerging Trends
auteur
Adrien Maglo, Guillaume Lavoué, Florent Dupont, Céline Hudelot
article
ACM Computing Surveys, Association for Computing Machinery, 2015, 47 (3), pp.44:1-44:41. 〈10.1145/2693443〉
Accès au bibtex
BibTex
titre
Analysing oscillatory trends of discrete-state stochastic processes through HASL statistical model checking
auteur
Paolo Ballarini
article
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2015
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01852397/file/stttSMC13_PBal_CR_HAL.pdf BibTex
titre
Applications of an expressive statistical model checking approach to the analysis of genetic circuits
auteur
Paolo Ballarini, Marie Duflot
article
Theoretical Computer Science, Elsevier, 2015, 599, pp.30. 〈10.1016/j.tcs.2015.05.018〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01250521/file/TCS_CMSB12.pdf BibTex

Conference papers

titre
Model-based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts
auteur
Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prévosto
article
The 27th IFIP International Conference on Testing Software and Systems (ICTSS-2015) , Nov 2015, Sharjah and Dubai, United Arab Emirates
Accès au texte intégral et bibtex
https://hal-cea.archives-ouvertes.fr/cea-01810689/file/ICTSS15-Rev-BGLP.pdf BibTex
titre
Parallel light speed labeling: An efficient connected component labeling algorithm for multi-core processors
auteur
Lionel Lacassagne, Laurent Cabaret, Daniel Etiemble
article
IEEE International Conference on Image Processing (ICIP), Sep 2015, Quebec, Canada. IEEE, International Conference on Image Processing, pp.3486-3489, 2015, 〈http://www.icip2015.org/〉. 〈10.1109/ICIP.2015.7351452〉
Accès au bibtex
BibTex

Directions of work or proceedings

titre
Actes des 14e journées sur les Approches Formelles dans l'Assistance au Développement de Logiciels
auteur
Frédéric Dadeau, Pascale Le Gall
article
Dadeau, Frédéric; Le Gall, Pascale. Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2015, Bordeaux, France. pp.88, 2015, 〈http://events.femto-st.fr/afadl-2015〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01155626/file/afadl2015.pdf BibTex

Reports

titre
Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts: a detailed example of vending machine
auteur
Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prévosto
article
[Research Report] ECOLE CENTRALE DE PARIS; CEA-LIST. 2015
Accès au texte intégral et bibtex
https://hal-cea.archives-ouvertes.fr/cea-01810709/file/RI-ICTSS15-BGLP.pdf BibTex
titre
Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts: a detailed example of vending machine
auteur
Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prévosto
article
[Research Report] Laboratoire MAS - CentraleSupelec. 2015
Accès au texte intégral et bibtex
https://hal-ecp.archives-ouvertes.fr/hal-01191890/file/RI-ICTSS15-BGLP.pdf BibTex

2014

Journal articles

titre
A logic for complex computing systems: Properties preservation along integration and abstraction
auteur
Marc Aiguier, Bilal Kanso
article
Scientific Annals of Computer Science, Alexandru Ioan Cuza University Publishing House, 2014, 24 (1), pp.1-46. 〈10.7561/sacs.2014.1.1 〉
Accès au texte intégral et bibtex
https://hal-ecp.archives-ouvertes.fr/hal-01056530/file/root.pdf BibTex
titre
Fuzzy ontology alignment using background knowledge
auteur
Konstantin Todorov, Celine Hudelot, Adrian Popescu, Peter Geibel
article
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, World Scientific Publishing, 2014, 22 (1), pp.75-112. 〈10.1142/S0218488514500044〉
Accès au bibtex
BibTex
titre
A Logic for Complex Computing Systems: Properties Preservation Along Integration and Abstraction
auteur
Marc Aiguier, Bilal Kanso
article
Scientific Annals of Computer Science, Alexandru Ioan Cuza University Publishing House, 2014, 24 (1), pp.1 - 46. 〈10.7561/SACS.2014.1.1〉
Accès au bibtex
BibTex

Conference papers

titre
Security Weaknesses Detection by Symbolic Analysis of Scenarios
auteur
Boutheïna Bannour, Boutheina Bannour, Jose Escobedo, Christophe Gaston, Pascale Le Gall, Gabriel Pedroza
article
2014 21st Asia-Pacific Software Engineering Conference (APSEC), Dec 2014, Jeju, France. IEEE, 〈10.1109/APSEC.2014.61〉
Accès au bibtex
BibTex
titre
An LTL Model Checking Approach for Biological Parameter Inference
auteur
Emmanuelle Gallet, Matthieu Manceny, Pascale Le Gall, Paolo Ballarini
article
Stephan Merz, Jun Pang. 16th International Conference on Formal Engineering Methods, Nov 2014, Luxembourg, Luxembourg. 2014, Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, November 3-5, 2014. Proceedings
Accès au bibtex
BibTex
titre
An LTL Model Checking Approach for Biological Parameter Inference
auteur
E Gallet, M Manceny, P Le Gall, Paolo Ballarini
article
International Conference on Formal Engineering Methods, Nov 2014, Luxembourg, Luxembourg
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01819841/file/icfem14.pdf BibTex
titre
What Is the World's Fastest Connected Component Labeling Algorithm?
auteur
Laurent Cabaret, Lionel Lacassagne
article
SiPS: IEEE International Workshop on Signal Processing Systems, Oct 2014, Belfast, United Kingdom. IEEE, pp.6, 2014, 〈http://www.sips2014.org/〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01094905/file/SIPS2014.pdf BibTex
titre
Formal Analysis of the Wnt/β-catenin through Statistical Model Checking
auteur
Paolo Ballarini, Emmanuelle Gallet, Pascale Le Gall, Matthieu Manceny
article
Tiziana Margaria, Bernhard Steffen. 6th International Symposium, ISoLA 2014, Oct 2014, Corfu, Greece. 2014, Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II
Accès au bibtex
BibTex
titre
A Review of World's Fastest Connected Component Labeling Algorithms: Speed and Energy Estimation
auteur
Laurent Cabaret, Lionel Lacassagne, Louiza Oudni
article
International Conference on Design and Architectures for Signal and Image Processing, Oct 2014, Madrid, Spain. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01081962/file/DASIP14.pdf BibTex
titre
Formal analysis of the Wnt/β-catenin pathway through statistical model checking
auteur
Paolo Ballarini, Emmanuelle Gallet, Pascale Le Gall, Matthieu Manceny
article
International Symposium On Leveraging Applications of Formal Methods, Verification and Validation , Oct 2014, Corfu, Greece
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01819866/file/isola14.pdf BibTex
titre
Jerboa : a graph transformation library for topology-base geometric modeling
auteur
Hakim Belhaouari, Agnès Arnould, Pascale Le Gall, Thomas Bellet
article
Holger Giese, Barbara König. International Conference on Graph Transformations, Jul 2014, York, United Kingdom. Springer, 2014, Graph Transformation - 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings
Accès au bibtex
BibTex
titre
JERBOA: A Graph Transformation Library for Topology-Based Geometric Modeling
auteur
Hakim Belhaouari, Agnès Arnould, Pascale Le Gall, Thomas Bellet
article
7th International Conference on Graph Transformation (ICGT 2014), Jul 2014, York, United Kingdom. Springer, 8571, 2014
Accès au bibtex
BibTex
titre
Designing Sequence Diagram Models for Robustness to Attacks
auteur
Boutheïna Bannour, Boutheina Bannour, Jose Escobedo, Christophe Gaston, Pascale Le Gall, Gabriel Pedroza
article
2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Mar 2014, OH, France. IEEE, 〈10.1109/ICSTW.2014.50〉
Accès au bibtex
BibTex

2013

Journal articles

titre
Explanatory reasoning for image understanding using formal concept analysis and description logics
auteur
Jamal Atif, Céline Hudelot, Isabelle Bloch
article
IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans: Systems and Humans, 2013, pp.1--19. 〈10.1109/TSMC.2013.2280440〉
Accès au bibtex
BibTex
titre
Modeling tools for detecting DoS attacks in WSNs
auteur
Paolo Ballarini, Mokdad Lynda, Monnet Quentin
article
Security and communication networks, John Wiley & Sons, Ltd, 2013, 6 (4), pp.420-436. 〈10.1002/sec.630〉
Accès au bibtex
BibTex
titre
Modeling tools for detecting DoS attacks in WSNs
auteur
Paolo Ballarini, Lynda Mokdad, Quentin Monnet
article
Security and communication networks, John Wiley & Sons, Ltd, 2013, 6 (4), pp.420-436. 〈10.1002/sec〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01817483/file/revueFev2012.pdf BibTex
titre
Building and Using Fuzzy Multimedia Ontologies for Semantic Image Annotation
auteur
Hichem Bannour, Céline Hudelot
article
Multimedia Tools and Applications, Springer Verlag, 2013, pp.1-32. 〈10.1007/s11042-013-1491-z 〉
Accès au bibtex
BibTex
titre
Multimedia ontology matching by using visual and textual modalities
auteur
Nicolas James, Céline Hudelot, Konstantin Todorov
article
Multimedia Tools and Applications, Springer Verlag, 2013, 62 (2), pp.401-425. 〈10.1007/s11042-011-0912-0 〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00824573/file/Multimedia_Ontology_Matching_by_Using_Visual_and_T.pdf BibTex
titre
Construction de hiérarchies sémantiques pour l'annotation d'images
auteur
Hichem Bannour, Céline Hudelot
article
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2013, 27 (1), pp.11-37
Accès au bibtex
BibTex
titre
Codage des modèles de tags
auteur
Amel Znaidia, Aymen Shabou, Hervé Le Borgne, Céline Hudelot
article
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2013, 27 (1), pp.39-63. 〈10.3166/ria.27.39-63 〉
Accès au bibtex
BibTex

Conference papers

titre
Results for Compositional Timed Testing
auteur
Boutheïna Bannour, Boutheina Bannour, Christophe Gaston, Marc Aiguier, Arnault Lapitre
article
2013 20th Asia-Pacific Software Engineering Conference (APSEC), Dec 2013, Bangkok, France. IEEE, 〈10.1109/APSEC.2013.81〉
Accès au bibtex
BibTex
titre
An implementation relation and test framework for timed distributed systems
auteur
Christophe Gaston, Robert Hierons, Pascale Le Gall
article
International Conference on Testing Software and Systems, Nov 2013, Istanbul, Turkey
Accès au texte intégral et bibtex
https://hal-cea.archives-ouvertes.fr/cea-01810746/file/ICTSS2013.pdf BibTex
titre
Fuzzy and Cross-Lingual Ontology Matching Mediated by Background Knowledge
auteur
Konstantin Todorov, Céline Hudelot, Peter Geibel
article
URSW: Uncertainty Reasoning for the Semantic Web, Oct 2013, Sydney, NSW, Australia. International Workshop on Uncertainty Reasoning for the Semantic Web, LNCS (8816), pp.142-162, 2014, URSW 2011, URSW 2012, URSW 2013. 〈10.1007/978-3-319-13413-0_8〉
Accès au bibtex
BibTex
titre
A fuzzy extension of explanatory relations based on mathematical morphology
auteur
Jamal Atif, Isabelle Bloch, Felix Distel, Céline Hudelot
article
EUSFLAT 2013, Sep 2013, Milano, Italy. pp.244--351, 2013, 〈10.2991/eusflat.2013.41〉
Accès au bibtex
BibTex
titre
Transient Analysis of Networks of Stochastic Timed Automata using Stochastic State Classes
auteur
Paolo Ballarini, Nathalie Bertrand, Andras Horvath, Marco Paolieri, Enrico Vicario
article
QEST - 10th International Conference on Quantitative Evaluation of Systems, Aug 2013, Buenos Aires, Argentina. Springer, 8054, pp.355-371, 2013, LNCS. 〈10.1007/978-3-642-40196-1_30〉
Accès au bibtex
BibTex
titre
An adequate logic for heterogeneous systems
auteur
Marc Aiguier, Boris Golden, Daniel Krob
article
18th International Conference on Engineering of Complex Computer Systems (ICECCS), Jul 2013, Singapore, Singapore. IEEE Computer Society, pp.1-10, 2013, 〈10.1109/iceccs.2013.19 〉
Accès au texte intégral et bibtex
https://hal-ecp.archives-ouvertes.fr/hal-00812339/file/main.pdf BibTex
titre
Expressing and Computing Passage Time Measures of GSPN Models with HASL
auteur
Elvio Amparore, Paolo Ballarini, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis
article
Springer-Verlag Heidelberg. Application and Theory of Petri Nets and Concurrency, Jun 2013, Milan, Italy. Springer-Verlag Berlin Heidelberg, Lecture Notes in Computer Science. 〈10.1007/978-3-642-38697-8_7〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00848708/file/main.pdf BibTex
titre
Mathematical morphology operators over concept lattices
auteur
Jamal Atif, Isabelle Bloch, Felix Distel, Céline Hudelot
article
ICFCA, May 2013, Dresden, Germany. Springer, LNAI 7880, pp.28--43, 2013, 〈10.1007/978-3-642-38317-5_2 〉
Accès au bibtex
BibTex
titre
Tag completion based on belief theory and neighbor voting
auteur
Amel Znaidia, Hervé Le Borgne, Céline Hudelot
article
3rd ACM conference on International conference on multimedia retrieval, 2013, DALLAS, United States. Proceedings of the 3rd ACM conference on International conference on multimedia retrieval, pp.49-56, 2013, 〈10.1145/2461466.2461476〉
Accès au bibtex
BibTex

2012

Journal articles

titre
A formal abstract framework for modelling and testing complex software systems
auteur
Marc Aiguier, Frédéric Boulanger, Bilal Kanso
article
Theoretical Computer Science, Elsevier, 2012, 455, pp.66-97. 〈10.1016/j.tcs.2011.12.072〉
Accès au texte intégral et bibtex
https://hal-ecp.archives-ouvertes.fr/hal-00782372/file/root.pdf BibTex
titre
Modeling of Complex Systems II: A minimalist and unified semantics for heterogeneous integrated systems
auteur
Marc Aiguier, Boris Golden, Daniel Krob
article
Applied Mathematics and Computation, Elsevier, 2012, 218 (16), pp.8039-8055
Accès au texte intégral et bibtex
https://hal-ecp.archives-ouvertes.fr/hal-00782859/file/main.pdf BibTex
titre
Progressive Compression of Manifold Polygon Meshes
auteur
Adrien Maglo, Clement Courbet, Pierre Alliez, Céline Hudelot
article
Computers and Graphics, Elsevier, 2012, Shape Modeling International (SMI) Conference 2012, 36 (5), pp.349-359
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00758024/file/SMI12.pdf BibTex

Conference papers

titre
Testing of component-based systems
auteur
Marc Aiguier, Bilal Kanso, Frédéric Boulanger, Christophe Gaston
article
19th Asia-Pacific Software Engineering Conference APSEC'12, Dec 2012, Hong-Kong, Hong Kong SAR China. pp.1-6, 2012
Accès au texte intégral et bibtex
https://hal-ecp.archives-ouvertes.fr/hal-00782889/file/apsec2012_submission_159.pdf BibTex
titre
Testing of component-based systems
auteur
Bilal Kanso, Marc Aiguier, Frédéric Boulanger, Christophe Gaston
article
IEEE Computer Society. 2012 19th Asia-Pacific Software Engineering Conference, Dec 2012, Hong Kong, Hong Kong SAR China. pp.300-305, 2012, 〈10.1109/APSEC.2012.40〉
Accès au bibtex
BibTex
titre
Bag-of-multimedia-words for image classification
auteur
Amel Znaidia, Aymen Shabou, Hervé Le Borgne, Céline Hudelot, Nikos Paragios
article
Proceedings of the 21st International Conference on Pattern Recognition, ICPR 2012, Nov 2012, Tsukuba, Japan. pp.1509-1512, 2012
Accès au bibtex
BibTex
titre
Expressive Statistical Model Checking of Genetic Networks with Delayed Stochastic Dynamics
auteur
Paolo Ballarini, Jarno Makela, Andre Ribeiro
article
Computational Methods in Systems Biology, Oct 2012, United Kingdom. pp.29-48, 2012
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00832096/file/cmsb12.pdf BibTex
titre
Combinaison d'information visuelle, conceptuelle, et contextuelle pour la construction automatique de hiérarchies sémantiques adaptées à l'annotation d'images
auteur
Hichem Bannour, Céline Hudelot
article
RFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle), Jan 2012, Lyon, France. pp.978-2-9539515-2-3, 2012
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00656489/file/rfia2012_submission_15.pdf BibTex
titre
Construction d'une ontologie commune par alignement flou d'ontologies d'un domaine
auteur
Konstantin Todorov, Peter Geibel, Céline Hudelot
article
RFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle), Jan 2012, Lyon, France. pp.978-2-9539515-2-3, 2012
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00656491/file/rfia2012_submission_18.pdf BibTex
titre
JERBOA : un modeleur géométrique à base de règles
auteur
Thomas Bellet, Agnès Arnould, Pascale Le Gall
article
Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), Jan 2012, Grenoble, France. 2012
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00936743/file/afadl-PLG.pdf BibTex
titre
Building Semantic Hierarchies Faithful to Image Semantics
auteur
Hichem Bannour, Céline Hudelot
article
Proceedings of the 18th international conference on Advances in Multimedia Modeling, Jan 2012, Klagenfurt, Austria. pp.4--15, 2012, 〈10.1007/978-3-642-27355-1_4〉
Accès au texte intégral et bibtex
https://hal-ecp.archives-ouvertes.fr/hal-00740144/file/MMM12.pdf BibTex
titre
Multimodal feature generation framework for semantic image classification
auteur
Amel Znaidia, Aymen Shabou, Adrian Popescu, Hervé Le Borgne, Céline Hudelot
article
ICMR '12 Proceedings of the 2nd ACM International Conference on Multimedia Retrieval, 2012, Hong Kong SAR China. pp.article n° 38, 2012
Accès au bibtex
BibTex
titre
Belief Theory for Large-Scale Multi-label Image Classification
auteur
Amel Znaidia, Hervé Le Borgne, Céline Hudelot
article
International Conference on Belief Functions - BELIEF 2012, 2012, Compiègne, France. 164, pp.205-212, 2012
Accès au bibtex
BibTex
titre
Combinaison d'information visuelle, conceptuelle, et contextuelle pour la construction automatique de hiérarchies sémantiques adaptées à l'annotation d'images
auteur
Hichem Bannour, Céline Hudelot
article
RFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle), 2012, Lyon, France. pp.978-2-9539515-2-3, 2012
Accès au bibtex
BibTex
titre
Hierarchical image annotation using semantic hierarchies
auteur
Hichem Bannour, Céline Hudelot
article
CIKM '12 Proceedings of the 21st ACM international conference on Information and knowledge management, 2012, Sheraton, United States. pp.2431-2434, 2012
Accès au bibtex
BibTex
titre
Progressive compression of manifold polygon meshes
auteur
Adrien Maglo, Clement Courbet, Pierre Alliez, Céline Hudelot
article
Shape Modeling International (SMI) Conference 2012, 2012, College station, texas, United States. 36 (5), pp.349-359, 2012
Accès au bibtex
BibTex

2011

Journal articles

titre
Embedding of biological regulatory networks and property preservation
auteur
Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall, Adrien Richard
article
Mathematics in Computer Science, Springer, 2011, 5 (1), pp.263-288
Accès au texte intégral et bibtex
https://hal-ecp.archives-ouvertes.fr/hal-00782867/file/maclr.pdf BibTex
titre
Taylor Prediction for Mesh Geometry Compression
auteur
Clement Courbet, Céline Hudelot
article
Computer Graphics Forum, Wiley, 2011, 30 (1), pp.139-151. 〈10.1111/j.1467-8659.2010.01838.x〉
Accès au bibtex
BibTex

Conference papers

titre
Rule-based transformations for geometric modeling
auteur
Thomas Bellet, Agnès Arnould, Pascale Le Gall
article
6th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2011), Part of ETAPS 2011, Apr 2011, Saarbrücken, Germany. 20p, 2011
Accès au bibtex
BibTex
titre
HASL: An Expressive Language for Statistical Verification of Stochastic Models
auteur
Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin
article
VALUETOOLS’11, 2011, Cachan, France. Proceedings of VALUETOOLS’11
Accès au bibtex
BibTex
titre
Abduction in Description Logics using Formal Concept Analysis and Mathematical Morphology: Application to Image Interpretation
auteur
Jamal Atif, Céline Hudelot, Isabelle Bloch
article
Proceedings of The Eighth International Conference on Concept Lattices and Their Applications,, 2011, Nancy, France. pp.405-408, 2011
Accès au bibtex
BibTex
titre
A Framework for a Fuzzy Matching between Multiple Domain Ontologies
auteur
Konstantin Todorov, Peter Geibel, Céline Hudelot
article
Knowledge-Based and Intelligent Information and Engineering Systems Lecture Notes in Computer Science. Proceedings of KES 2011, 2011, Germany. 6881, pp.538-547, 2011
Accès au bibtex
BibTex
titre
Building A Fuzzy Knowledge Body for Integrating Domain Ontologies
auteur
Konstantin Todorov, Peter Geibel, Céline Hudelot
article
Proceedings of the 7th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2011), 2011, Bonn, Germany. pp.3-14, 2011
Accès au bibtex
BibTex
titre
Cluster-based Random Accessible and Progressive Lossless Compression of Colored Triangular Meshes for Interactive Visualization
auteur
Adrien Maglo, Ian Grimstead, Céline Hudelot
article
Proceedings of Computer Graphics International 2011 conference, 2011, Ottawa, Canada. pp.1-8, 2011
Accès au bibtex
BibTex
titre
Abduction dans les logiques de description : apport de l'analyse formelle de concepts et de la morphologie mathématique
auteur
Jamal Atif, Céline Hudelot, Isabelle Bloch
article
Actes de l'atelier RTE : Représentation et Raisonnement sur le Temps et l'Espace (Atelier RTE 2011), 2011, France
Accès au bibtex
BibTex
titre
Towards Ontologies for Image Interpretation and Annotation
auteur
Hichem Bannour, Céline Hudelot
article
9th International Workshop on Content-Based Multimedia Indexing - CBMI 2011, 2011, Madrid, Spain. pp.211 - 216, 2011, 〈10.1109/CBMI.2011.5972547〉
Accès au bibtex
BibTex

2010

Journal articles

titre
Proof-Guided Test Selection from First-Order Specifications with Equality
auteur
Delphine Longuet, Marc Aiguier, Pascale Le Gall
article
Journal of Automated Reasoning, Springer Verlag, 2010, 45 (4), pp.437-473
Accès au texte intégral et bibtex
https://hal-ecp.archives-ouvertes.fr/hal-00782871/file/JAR.pdf BibTex
titre
Some General Results About Proof Normalization
auteur
Marc Aiguier, Longuet Delphine
article
Logica Universalis, Springer Verlag, 2010, 4 (1), pp.1-29. 〈10.1007/s11787-010-0011-4〉
Accès au texte intégral et bibtex
https://hal-ecp.archives-ouvertes.fr/hal-00782857/file/Logica-Universalis10.pdf BibTex
titre
Transformations de graphes pour les opérations topologiques en modélisation géométrique
auteur
Mathieu Poudret, Thomas Bellet, Agnès Arnould, Pascale Le Gall
article
Revue Electronique Francophone d'Informatique Graphique, Association Française d'Informatique Graphique, 2010, 4 (1), http://www.irit.fr/REFIG/index.php/refig/article/view/77. 〈http://www.irit.fr/REFIG/index.php/refig/article/view/77〉
Accès au bibtex
BibTex

Conference papers

titre
Testing web service orchestrators in context : a symbolic approach
auteur
Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana Rosa Cavalli
article
SEFM 2010 : 8th IEEE International Conference on Software Engineering and Formal Methods, Sep 2010, Pisa, Italy. IEEE, Proceedings SEFM 2010 : 8th IEEE International Conference on Software Engineering and Formal Methods, pp.257 - 267, 2010, 〈10.1109/SEFM.2010.30〉
Accès au bibtex
BibTex
titre
Testing of Abstract Components
auteur
Bilal Kanso, Marc Aiguier, Frédéric Boulanger, Assia Touil
article
ICTAC 2010 - International Conference on Theoretical Aspect of Computing., Sep 2010, Brazil. pp.184-198, 2010
Accès au texte intégral et bibtex
https://hal-ecp.archives-ouvertes.fr/hal-00782893/file/main.pdf BibTex
titre
Designing a Topological Modeler Kernel: A Rule-Based Approach
auteur
Thomas Bellet, Mathieu Poudret, Agnès Arnould, Laurent Fuchs, Pascale Le Gall
article
Shape Modeling International (SMI'10), Jun 2010, Aix-en-Provence, France. 2010
Accès au bibtex
BibTex
titre
Ontology matching for the semantic annotation of images
auteur
Nicolas James, Konstantin Todorov, Céline Hudelot
article
Fuzzy Systems (FUZZ), 2010 IEEE International Conference on, 2010, Barcelona, Spain. pp.1 - 8, 2010, 〈10.1109/FUZZY.2010.5584354〉
Accès au bibtex
BibTex
titre
Remote scientific visualization of progressive 3D meshes with X3D
auteur
Adrien Maglo, Guillaume Lavoué, Céline Hudelot, Ho Lee, Christophe Mouton, Florent Dupont
article
Web3D '10 Proceedings of the 15th International Conference on Web 3D Technology, 2010, Los Angeles, United States. pp.109-116, 2010
Accès au bibtex
BibTex
titre
Integrating Bipolar Fuzzy Mathematical Morphology in Description Logics for Spatial Reasoning
auteur
Céline Hudelot, Jamal Atif, Isabelle Bloch
article
Frontiers in Artificial Intelligence and Applications, Proceedings of ECAI 2010, 2010, Lisbon, Portugal. 215, pp.497 - 502, 2010, 〈10.3233/978-1-60750-606-5-497〉
Accès au bibtex
BibTex
titre
Combining Visual and Textual Modalities for Multimedia Ontology Matching
auteur
Nicolas James, Konstantin Todorov, Céline Hudelot
article
Semantic Multimedia -Lecture Notes in Computer Science proceedings of 5th International Conference on Semantic and Digital Media technologies (SAMT 2010), 2010, Saarbruken, Germany. 6725, pp.95-110, 2011, 〈10.1007/978-3-642-23017-2_7〉
Accès au bibtex
BibTex

Poster communications

titre
Visualisation scientifique distante de maillages 3D progressifs avec le format X3D
auteur
Adrien Maglo, Guillaume Lavoué, Celine Hudelot, Ho Lee, Christophe Mouton, Florent Dupont
article
Journée visu 2010, Oct 2010, EDF, Clamart, France. 2010
Accès au bibtex
BibTex

2009

Journal articles

titre
Complex software systems : Formalization and Applications
auteur
Marc Aiguier, Pascale Le Gall, Mbarka Mabrouki
article
International Journal On Advances in Software, IARIA, 2009, 2 (1), pp.47-62
Accès au texte intégral et bibtex
https://hal-ecp.archives-ouvertes.fr/hal-00782879/file/aiguier_al-complex-software.pdf BibTex

Conference papers

titre
Observability and controllability issues in conformance testing of Web service compositions
auteur
Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana Rosa Cavalli
article
TESTCOM/FATES 2009 : 21st IFIP International Conference on Testing of Communicating Systems and 9th International Workshop on Formal Approaches to Testing of Software, Nov 2009, Eindhoven, Netherlands. Springer, Proceedings TESTCOM/FATES 2009 : 21st IFIP International Conference on Testing of Communicating Systems and 9th International Workshop on Formal Approaches to Testing of Software, 5826/2009, pp.217 - 222, 2009, 〈10.1007/978-3-642-05031-2_15〉
Accès au bibtex
BibTex
titre
Transformations de graphes pour les opérations topologiques en modélisation géométrique
auteur
Mathieu Poudret, Thomas Bellet, Agnès Arnould, Pascale Le Gall
article
22es Journées de l'Association Francophone d'Informatique Graphique, chapitre français d'Eurographics (AFIG 2009), Nov 2009, Arles, France
Accès au bibtex
BibTex
titre
Symbolic Execution Techniques Extended to Systems.
auteur
Christophe Gaston, Marc Aiguier, Diane Bahrami, Arnaud Lapitre
article
Kenneth Boness, João M. Fernandes, Jon G. Hall, Ricardo Jorge Machado, Roy Oberhauser. International Conference on Software Engineering Advances (ICSEA), Sep 2009, Porto, Portugal. IEEE Computer Society, pp.78-85, 2009, 〈10.1109/icsea.2009.21 〉
Accès au texte intégral et bibtex
https://hal-ecp.archives-ouvertes.fr/hal-00812189/file/ICSEA09.pdf BibTex
titre
Integration Testing from Structured First-Order Specifications via Deduction Modulo.
auteur
Delphine Longuet, Marc Aiguier
article
Martin Leucker, Carroll Morgan. Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Aug 2009, Kuala Lumpur, Malaysia. Springer-Verlag, 5684, pp.261-276, 2009, LNCS. 〈10.1007/978-3-642-03466-4_17 〉
Accès au texte intégral et bibtex
https://hal-ecp.archives-ouvertes.fr/hal-00812193/file/ICTAC09.pdf BibTex
titre
Towards Semantic Image Annotation With Keyword Disambiguation Using Semantic And Visual Knowledge
auteur
Nicolas James, Céline Hudelot
article
CIAM workshop, IJCAI conference, 2009, Pasadena, United States
Accès au bibtex
BibTex
titre
Random Accessible Hierarchical Mesh Compression for Interactive Visualization
auteur
Clement Courbet, Céline Hudelot
article
Computer Graphics Forum- Proceedings of Eurographics Symposium on Geometry Processing 2009, 2009, Berlin, Germany. 28 (5), pp.1311-1318, 2009, 〈10.1111/j.1467-8659.2009.01508.x〉
Accès au bibtex
BibTex

2008

Journal articles

titre
Topology-based Abstraction of Complex Biologiical Systems: Application to the Golgi Apparatus
auteur
Mathieu Poudret, Agnès Arnould, Jean-Paul Comet, Pascale Le Gall, Philippe Meseure, François Képès
article
Theorie in den Biowissenschaften / Theory in Biosciences, Springer Verlag, 2008, 127 (2), pp.79-88
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00352003/file/poudret_TB.pdf BibTex
titre
FSRO : une ontologie de relations spatiales floues pour l'inteprétation d'images
auteur
Céline Hudelot, Jamal Atif, Isabelle Bloch
article
Revue des Nouvelles Technologies de l'Information-les Relations Spatiales : de la Modélisation à la mise en oeuvre, 2008, RNTI-E-14, pp.53-84
Accès au bibtex
BibTex
titre
Fuzzy Spatial Relation Ontology for Image Interpretation
auteur
Céline Hudelot, Jamal Atif, Isabelle Bloch
article
Fuzzy Sets and Systems, Elsevier, 2008, 159 (15), pp.1929-1951
Accès au bibtex
BibTex

Conference papers

titre
Graph Transformation for Topology Modelling.
auteur
Mathieu Poudret, Agnès Arnould, Jean-Paul Comet, Pascale Le Gall
article
 4th International Conference on Graph Transformation (ICGT'08), Sep 2008, Leicester, United Kingdom. Springer, 5214, pp.147-161, 2008, Lecture Notes in Computer Science. 〈10.1007/978-3-540-87405-8_11〉
Accès au bibtex
BibTex
titre
Testing of Software and Communicating Systems
auteur
Alain Faivre, Christophe Gaston, Pascale Le Gall, Assia Touil
article
20th IFIP TC/WG 6.1 International Conference, TestCom 2008 - 8 th International Workshop, TATES 2008, Jun 2008, Tokyo, Japan. Springer Berlin / Heidelberg, 5047/2008, pp.184-199, 2008, 〈10.1007/978-3-540-68524-1〉
Accès au bibtex
BibTex
titre
Spatial Information and Boolean Genetic Regulatory Networks.
auteur
Matthieu Manceny, Marc Aiguier, Pascale Le Gall, Joan Hérisson, Ivan Junier, François Képès
article
Sanguthevar Rajasekaran. Bioinformatics and Computational Biology (BICoB), Apr 2008, New Orleans, United States. Springer-Verlag, 5462, pp.270-281, 2009, LNCS. 〈10.1007/978-3-642-00727-9_26 〉
Accès au texte intégral et bibtex
https://hal-ecp.archives-ouvertes.fr/hal-00812184/file/grn.pdf BibTex
titre
Generation of All-Paths Unit Test with Function Calls
auteur
Patricia Mouy, Bruno Marre, Nicky Williams, Pascale Le Gall
article
First International Conference on Software Testing, Verification, and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, 2008, Lillehammer, Norway. pp.32--41, 2008, 〈10.1109/ICST.2008.35〉
Accès au bibtex
BibTex
titre
Intégration de la morphologie mathématique floue dans une logique de description pour le raisonnement spatial
auteur
Céline Hudelot, Jamal Atif, Isabelle Bloch
article
Actes des Rencontres francophones sur la Logique Floue et ses Applications, 2008, Lens, France. pp.336-343, 2008
Accès au bibtex
BibTex

Book sections

titre
Testing data types implementations from algebraic specifications
auteur
Marie-Claude Gaudel, Pascale Le Gall
article
R. Hierons, J. Bowen, and M. Harman. Formal Methods and Testing, Springer-Verlag, pp.209--239, 2008, Lecture Notes in Computer Science, 〈10.1007/978-3-540-78917-8_7〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00270574/file/surveyTestTAA3.pdf BibTex
titre
Toward a computer-aided methodology for topology-based simulation of the Golgi apparatus
auteur
Mathieu Poudret, Jean-Paul Comet, Pascale Le Gall, François Képès, Agnès Arnould, Philippe Meseure, Jean-Marc Verbavatz, Alain Rambourg
article
Proc. of the Lille Spring school on Modelling and simulation of biological processes in the context of genomics, EDP SCIENCES, pp.89--104, 2008
Accès au bibtex
BibTex

2007

Journal articles

titre
Stratified institutions and elementary homomorphisms
auteur
Marc Aiguier, Rǎzvan Diaconescu
article
Information Processing Letters, Elsevier, 2007, 103 (1), pp.5--13. 〈10.1016/j.ipl.2007.02.005〉
Accès au bibtex
BibTex
titre
An Institution-Independent Proof of the Beth Definability Theorem
auteur
Marc Aiguier, Fabrice Barbier
article
Studia Logica, Springer Verlag (Germany), 2007, 85 (3), pp.333--359
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00341973/file/sl07.pdf BibTex
titre
Symbolic modeling of genetic regulatory networks
auteur
Daniel Mateus, Jean-Pierre Gallois, Jean-Paul Comet, Pascale Le Gall
article
Journal of Bioinformatics and Computational Biology, World Scientific Publishing, 2007, 5 (2B), pp.627-640
Accès au bibtex
BibTex
titre
Structures for abstract rewriting
auteur
Marc Aiguier, Diane Bahrami
article
Journal of Automated Reasoning, Springer Verlag, 2007, 38, pp.303--351. 〈10.1007/s10817-006-9065-7〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00341965/file/jar07.pdf BibTex

Conference papers

titre
Exploring Topological Modelling to Discriminate Models of Golgi Apparatus Dynamics
auteur
Mathieu Poudret, Jean-Paul Comet, Pascale Le Gall, François Képès, Agnès Arnould, Philippe Meseure
article
European Conference on Complex Systems (ECCS), Oct 2007, Dresde, Germany
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00348154/file/Poudret-ECCS07.pdf BibTex
titre
Specification-Based Testing for CoCasl's Modal Specifications
auteur
Delphine Longuet, Marc Aiguier
article
International Conference on Algebra and Coalgebra in Computer Science, Aug 2007, Bergen, Norway
Accès au bibtex
BibTex
titre
Test Selection Criteria for Modal Specifications of Reactive Systems
auteur
Marc Aiguier, Delphine Longuet
article
IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, Jun 2007, Shanghai, China
Accès au bibtex
BibTex
titre
Test selection criteria for quantifier-free first-order specifications
auteur
Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet
article
2nd IPM International Symposium on Fundamentals of Software Engineering (FSEN 2007), Apr 2007, Tehran, Iran. Springer, 4767, pp.144-159, 2007, Lecture Notes in Computer Science
Accès au bibtex
BibTex
titre
Topology-based Geometric Modelling for Biological Cellular Processes
auteur
Mathieu Poudret, Jean-Paul Comet, Pascale Le Gall, Agnès Arnould, Philippe Meseure
article
International Conference on Language and Automata Theory and Applications, Mar 2007, Tarragone, Spain. pp.497-508, 2007
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00348152/file/Poudret-LATA07.pdf BibTex

2006

Conference papers

titre
Automatic generation of functional programs from CASL specifications
auteur
Agnès Arnould, Marc Aiguier, Laurent Fuchs, Thibaud Brunet
article
International Conference on Software Engineering Advances (ICSEA 2006), Oct 2006, Tahiti, French Polynesia. (elec. proc.), 2006, 〈10.1109/ICSEA.2006.261290〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00341983/file/icsea06.pdf BibTex
titre
Feature specification and static analysis for interaction resolution
auteur
Marc Aiguier, Karim Berkani, Pascale Le Gall
article
14th International Symposium on Formal Methods (FM 2006), Aug 2006, Hamilton, Canada. 4085, pp.364--379, 2006, Lecture Notes in Computer Science. 〈10.1007/11813040_25〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00341977/file/fm06.pdf BibTex
titre
Symbolic execution techniques for test purpose definition
auteur
Christophe Gaston, Pascale Le Gall, Nicolas Rapin, Assia Touil
article
Proceedings of the 18th international conference on Testing of Communicating Systems (TestCom), 2006, United States. 3964, pp.1--18, 2006, Lecture Notes in Computer Science
Accès au bibtex
BibTex

Other publications

titre
A note on Robinson consistency lemma
auteur
Marc Aiguier, Pierre-Yves Schobbens
article
A note on Robinson consistency lemma. 2006, pp.13
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00341982/file/main.pdf BibTex