Publications HAL

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, 2016, 32 (17), pp.i781 - i789. ⟨10.1093/bioinformatics/btw471⟩
Accès au texte intégral et bibtex
https://hal.science/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, 2016, 26 (4), pp.294-317. ⟨10.1002/stvr.1598⟩
Accès au bibtex
BibTex
titre
Descripteur sémantique local contraint basé sur un descripteur RNC diversifié
auteur
Youssef Tamaazousti, Hervé Le Borgne, Adrian Popescu, Etienne Gadeski, Alexandru Ginsca, Céline Hudelot
article
Traitement du Signal, 2016
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, Hervé Le Borgne, Céline Hudelot
article
ICMR '16 Proceedings of the 2016 ACM on International Conference on Multimedia Retrieval Pages 63-70, Jun 2016, New York, United States. pp.63-70, ⟨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. ⟨10.1109/ISCC.2016.7543717⟩
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://cea.hal.science/cea-01302826/file/ISORC-2016.pdf BibTex
titre
Cut branches before looking for bugs: Sound verification on relaxed slices
auteur
J.-C. Léchenet, N. Kosmatov, P. Le Gall
article
International Conference on Fundamental Approaches to Software Engineering, Apr 2016, Eindhoven, Netherlands. pp.179-196, ⟨10.1007/978-3-662-49665-7_11⟩
Accès au texte intégral et bibtex
https://cea.hal.science/cea-01808894/file/Lechenet2016.pdf BibTex
titre
Coq a dit : fromage tranché ne peut cacher ses trous *
auteur
Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall
article
Vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA 2016), Jan 2016, Saint-Malo, France
Accès au texte intégral et bibtex
https://hal.science/hal-01333605/file/lechenet.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, 2015, 34 (5), pp.575 - 600. ⟨10.3166/TSI.34.575-600⟩
Accès au texte intégral et bibtex
https://hal.science/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, 2015, 599, p.4-33. ⟨10.1016/j.tcs.2015.05.018⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01250521/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, 2015, 90, pp.53-77. ⟨10.1016/j.peva.2015.04.003⟩
Accès au texte intégral et bibtex
https://inria.hal.science/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, 2015, 47 (3), 40 p. ⟨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, 2015, ⟨10.1007/s10009-015-0370-5⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01852397/file/stttSMC13_PBal_CR_HAL.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://cea.hal.science/cea-01810689/file/ICTSS15-Rev-BGLP.pdf BibTex
titre
Quelques liens entre la morphologie mathématique et l'analyse formelle de concepts
auteur
Jamal Atif, Isabelle Bloch, Céline Hudelot
article
24ème Conférence sur la Logique Floue et ses Applications, LFA 2015, Nov 2015, Poitiers, France. pp.299-308
Accès au bibtex
BibTex

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
Accès au texte intégral et bibtex
https://inria.hal.science/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] Laboratoire MAS - CentraleSupelec. 2015
Accès au texte intégral et bibtex
https://hal.science/hal-01191890/file/RI-ICTSS15-BGLP.pdf BibTex

2014

Journal articles

titre
Fuzzy ontology alignment using background knowledge
auteur
Konstantin Todorov, Céline Hudelot, Adrian Popescu, Peter Geibel
article
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 2014, 22 (1), pp.75-112. ⟨10.1142/S0218488514500044⟩
Accès au bibtex
BibTex

Conference papers

titre
Security Weaknesses Detection by Symbolic Analysis of Scenarios
auteur
Boutheïna Bannour, Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Gabriel Pedroza
article
2014 21st Asia-Pacific Software Engineering Conference (APSEC), Dec 2014, Jeju, South Korea. ⟨10.1109/APSEC.2014.61⟩
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.science/hal-01819841/file/icfem14.pdf BibTex
titre
Formal Analysis of the Wnt/β-catenin through Statistical Model Checking
auteur
Paolo Ballarini, Emmanuelle Gallet, Pascale Le Gall, Matthieu Manceny
article
6th International Symposium, ISoLA 2014, Tiziana Margaria, Bernhard Steffen, Oct 2014, Corfu, Greece
Accès au bibtex
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.science/hal-01819866/file/isola14.pdf BibTex
titre
ALC(F) A New Description Logic for Spatial Reasoning in Images
auteur
Céline Hudelot, Jamal Atif, Isabelle Bloch
article
13th European Conference on Computer Vision (ECCV), Sep 2014, Zurich, Switzerland. ⟨10.1007/978-3-319-16181-5_26⟩
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. ⟨10.1007/978-3-319-09108-2_18⟩
Accès au bibtex
BibTex
titre
Designing Sequence Diagram Models for Robustness to Attacks
auteur
Boutheïna Bannour, Boutheina Bannour, Jose Pablo 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, United States. ⟨10.1109/ICSTW.2014.50⟩
Accès au bibtex
BibTex

Book sections

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
Testing Software and Systems , 9447), pp.35-51, 2014, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-25945-1_3⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01470156/file/385214_1_En_3_Chapter.pdf 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, 2013, pp.1--19. ⟨10.1109/TSMC.2013.2280440⟩
Accès au bibtex
BibTex
titre
POMAR: Compression of progressive oriented meshes accessible randomly
auteur
Adrien Maglo, Ian Grimstead, Céline Hudelot
article
Computers and Graphics, 2013, 37 (6), pp.743-752. ⟨10.1016/j.cag.2013.05.005⟩
Accès au bibtex
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, 2013, 27 (1), pp.11-37. ⟨10.3166/ria.27.11-37⟩
Accès au texte intégral et bibtex
https://centralesupelec.hal.science/hal-00812952/file/RIA-Hichem.pdf BibTex
titre
Multimedia ontology matching by using visual and textual modalities
auteur
Nicolas James, Céline Hudelot, Konstantin Todorov
article
Multimedia Tools and Applications, 2013, 62 (2), pp.401-425. ⟨10.1007/s11042-011-0912-0⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00824573/file/Multimedia_Ontology_Matching_by_Using_Visual_and_T.pdf BibTex
titre
Coding of tag models
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, 2013, 27 (1), pp.39-63. ⟨10.3166/ria.27.39-63⟩
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, 2013, 6 (4), pp.420-436. ⟨10.1002/sec⟩
Accès au texte intégral et bibtex
https://hal.science/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, 2013, pp.1-32. ⟨10.1007/s11042-013-1491-z⟩
Accès au bibtex
BibTex

Conference papers

titre
An implementation relation and test framework for timed distributed systems
auteur
Christophe Gaston, Robert M. 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://cea.hal.science/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. pp.142-162, ⟨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, ⟨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
10th International Conference on Quantitative Evaluation of Systems (QUEST 2013), Aug 2013, Buenos Aires, Argentina. pp.355-371, ⟨10.1007/978-3-642-40196-1_30⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01852445/file/80540334.pdf 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. pp.355-371, ⟨10.1007/978-3-642-40196-1_30⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00915026/file/80540334%20copy.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
Application and Theory of Petri Nets and Concurrency, Jun 2013, Milan, Italy. ⟨10.1007/978-3-642-38697-8_7⟩
Accès au texte intégral et bibtex
https://hal.science/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. pp.28--43, ⟨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. pp.49-56, ⟨10.1145/2461466.2461476⟩
Accès au bibtex
BibTex

Book sections

titre
Symbolic Execution-Based Techniques for Conformance Testing
auteur
C. Gaston, P. Le Gall, N. Rapin, A. Touil
article
Model‐Driven Engineering for Distributed Real‐Time Systems: MARTE Modeling, Model Transformations and their Usages, John Wiley and Sons, pp.73-103, 2013, 9781848211155. ⟨10.1002/9781118558096.ch4⟩
Accès au bibtex
BibTex

2012

Journal articles

titre
Progressive Compression of Manifold Polygon Meshes
auteur
Adrien Maglo, Clement Courbet, Pierre Alliez, Céline Hudelot
article
Computers and Graphics, 2012, Shape Modeling International (SMI) Conference 2012, 36 (5), pp.349-359
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00758024/file/SMI12.pdf BibTex

Conference papers

titre
Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing
auteur
Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall
article
24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. pp.119-135, ⟨10.1007/978-3-642-34691-0_10⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01482398/file/978-3-642-34691-0_10_Chapter.pdf 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
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
Accès au texte intégral et bibtex
https://hal.science/hal-00832096/file/cmsb12.pdf BibTex
titre
Quantitative Verification of WiMAX Traffic Shaping Solutions
auteur
Paolo Ballarini, Jalel Ben-Othman, Lynda Mokdad
article
7th international symposium on Intelligent Systems Techniques for Ad hoc and Wireless Sensor Networks, Aug 2012, Niagara Falls, Canada. pp.1026-1031, ⟨10.1016/j.procs.2012.06.142⟩
Accès au bibtex
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
Accès au texte intégral et bibtex
https://hal.science/hal-00656491/file/rfia2012_submission_18.pdf BibTex
titre
Prise en compte de l'imperfection des tags pour la classification sémantique d'images
auteur
Amel Znaidia, Hervé Le Borgne, Céline Hudelot, Adrian Popescu
article
RFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle), Jan 2012, Lyon, France. pp.978-2-9539515-2-3
Accès au texte intégral et bibtex
https://hal.science/hal-00656498/file/rfia2012_submission_46.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
Accès au texte intégral et bibtex
https://hal.science/hal-00656489/file/rfia2012_submission_15.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
Accès au texte intégral et bibtex
https://hal.science/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, ⟨10.1007/978-3-642-27355-1_4⟩
Accès au texte intégral et bibtex
https://centralesupelec.hal.science/hal-00740144/file/MMM12.pdf 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. pp.349-359
Accès au bibtex
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, Hong Kong SAR China. pp.article n° 38
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. pp.205-212
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
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, 2011, 5 (1), pp.263-288
Accès au texte intégral et bibtex
https://centralesupelec.hal.science/hal-00782867/file/maclr.pdf BibTex
titre
Taylor Prediction for Mesh Geometry Compression
auteur
Clement Courbet, Céline Hudelot
article
Computer Graphics Forum, 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
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
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, ⟨10.1109/CBMI.2011.5972547⟩
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. pp.538-547
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
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
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
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

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, 2010, 45 (4), pp.437-473
Accès au texte intégral et bibtex
https://centralesupelec.hal.science/hal-00782871/file/JAR.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, 2010, 4 (1), 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. pp.257 - 267, ⟨10.1109/SEFM.2010.30⟩
Accès au bibtex
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
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. pp.497 - 502, ⟨10.3233/978-1-60750-606-5-497⟩
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, ⟨10.1109/FUZZY.2010.5584354⟩
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. pp.95-110, ⟨10.1007/978-3-642-23017-2_7⟩
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
Accès au bibtex
BibTex

Poster communications

titre
Visualisation scientifique distante de maillages 3D progressifs avec le format X3D
auteur
Adrien Maglo, Guillaume Lavoué, Céline 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, 2009, 2 (1), pp.47-62
Accès au texte intégral et bibtex
https://centralesupelec.hal.science/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. pp.217 - 222, ⟨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
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. pp.1311-1318, ⟨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, 2008, 127 (2), pp.79-88
Accès au texte intégral et bibtex
https://hal.science/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, 2008, Les relations spatiales : de la modélisation à la mise en oeuvre, 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, 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. pp.147-161, ⟨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. pp.184-199, ⟨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
Bioinformatics and Computational Biology (BICoB), Apr 2008, New Orleans, United States. pp.270-281, ⟨10.1007/978-3-642-00727-9_26⟩
Accès au texte intégral et bibtex
https://centralesupelec.hal.science/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, ⟨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
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.science/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
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, 2007, 5 (2B), pp.627-640
Accès au bibtex
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.science/hal-00348154/file/Poudret-ECCS07.pdf 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. pp.144-159, ⟨10.1007/978-3-540-75698-9_10⟩
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
Accès au texte intégral et bibtex
https://hal.science/hal-00348152/file/Poudret-LATA07.pdf BibTex

2006

Conference papers

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. pp.364--379, ⟨10.1007/11813040_25⟩
Accès au texte intégral et bibtex
https://hal.science/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. pp.1--18
Accès au bibtex
BibTex