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

2020

Journal articles

titre
Learning more universal representations for transfer-learning
auteur
Youssef Tamaazousti, Hervé Le Borgne, Céline Hudelot, Mohamed-El-Amine Seddik, Mohamed Tamaazousti
article
IEEE Transactions on Pattern Analysis and Machine Intelligence, 2020, 42 (9), pp.2212-2224. ⟨10.1109/TPAMI.2019.2913857⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04314530/file/tamaazousti_preprint_pami.pdf BibTex
titre
Cosmos: Evolution of a Statistical Model Checking Platform
auteur
Paolo Ballarini, Benoît Barbot
article
ACM SIGMETRICS Performance Evaluation Review, 2020, Lecture Notes in Computer Science, 12229 (4), pp.420-439. ⟨10.1145/3543146.3543161⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04030219/file/Cosmos_TOSME_2021-1%20%281%29.pdf BibTex
titre
Revisiting semantics of interactions for trace validity analysis
auteur
Erwan Mahe, Christophe Gaston, Pascale Le Gall
article
Lecture Notes in Computer Science, 2020, 12076, pp.482-501. ⟨10.1007/978-3-030-45234-6_24⟩
Accès au texte intégral et bibtex
https://cea.hal.science/cea-04224596/file/fase2020_hal_cea.pdf BibTex

Conference papers

titre
Robust Domain Adaptation: Representations, Weights and Inductive Bias
auteur
Victor Bouvier, Philippe Very, Clément Chastagnol, Myriam Tami, Céline Hudelot
article
ECML 2020, Sep 2020, Gand ( virtuel ), Belgium. ⟨10.1007/978-3-030-67658-2_21⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03050623/file/Robust-Domain-adaptation-representations-weights-inductive-bias.pdf BibTex
titre
Autoregressive Unsupervised Image Segmentation
auteur
Yassine Ouali, Céline Hudelot, Myriam Tami
article
ECCV 2020, Aug 2020, Glasgow (on line), United Kingdom. ⟨10.1007/978-3-030-58571-6_9⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03050599/file/123520137.pdf BibTex
titre
Petri Nets Validation of Markovian Models of Emergency Department Arrivals
auteur
Paolo Ballarini, Davide Duma, Andras Horváth, Roberto Aringhieri
article
Application and Theory of Petri Nets and Concurrenc, Jun 2020, Paris, France. pp.219-238, ⟨10.1007/978-3-030-51831-8_11⟩
Accès au bibtex
BibTex
titre
Semi-Supervised Semantic Segmentation with Cross-Consistency Training
auteur
Yassine Ouali, Céline Hudelot, Myriam Tami
article
CVPR 2020, Jun 2020, Seattle (virtual), United States. ⟨10.1109/CVPR42600.2020.01269⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03049937/file/Ouali_Semi-Supervised_Semantic_Segmentation_With_Cross-Consistency_Training_CVPR_2020_paper.pdf BibTex
titre
Exploring IoT Trickle-Based Dissemination Using Timed Model-Checking and Symbolic Execution
auteur
Boutheina Bannour, Arnault Lapitre, Pascale Le Gall
article
International Conference on Network Systems (NETYS), Jun 2020, Marrachech, Morocco. pp.94-111, ⟨10.1007/978-3-030-67087-0_7⟩
Accès au texte intégral et bibtex
https://cea.hal.science/cea-04486240/file/netys2020_Exploring_IoT_Trickle_Dissemination_Timed_Model_checking_and_Symbex.pdf BibTex
titre
Controlling generative models with continuous factors of variations
auteur
Antoine Plumerault, Hervé Le Borgne, Céline Hudelot
article
ICLR 2020 - Eighth International Conference on Learning Representations, Apr 2020, Addis Abeba (Virtual event), Ethiopia
Accès au texte intégral et bibtex
https://hal.science/hal-04314572/file/1524_controlling_generative_models_-Original%20Pdf.pdf BibTex
titre
Active learning for imbalanced datasets
auteur
Umang Aggarwal, Adrian Popescu, Céline Hudelot
article
WACV 2020 - IEEE Winter Conference on Applications of Computer Vision, Mar 2020, Snowmass, United States. pp.1417-1426, ⟨10.1109/WACV45572.2020.9093475⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04342293/file/AL_WACV__final__Camera_ready_.pdf BibTex
titre
SIMD-based Exact Parallel Fuzzy Dilation Operator for Fast Computing of Fuzzy Spatial Relations
auteur
Régis Pierrard, Laurent Cabaret, Jean-Philippe Poli, Céline Hudelot
article
WPMVP 2020 Workshop on Programming Models for SIMD/Vector Processing, Feb 2020, San Diego, United States. ⟨10.1145/3380479.3380482⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02517053/file/PPOPP2020__HAL_.pdf BibTex
titre
Représentations lexicales pour la détection non supervisée d'événements dans un flux de tweets : étude sur des corpus français et anglais
auteur
Béatrice Mazoyer, Nicolas Hervé, Céline Hudelot, Julia Cage
article
Extraction et Gestion des connaissances, EGC 2020, Jan 2020, Bruxelles, Belgique
Accès au texte intégral et bibtex
https://centralesupelec.hal.science/hal-02432990/file/EGC_2020.pdf BibTex
titre
A French Corpus for Event Detection on Twitter
auteur
Béatrice Mazoyer, Julia Cagé, Nicolas Hervé, Céline Hudelot
article
Twelfth Language Resources and Evaluation Conference, 2020, Marseille, France. pp.6220-6227
Accès au texte intégral et bibtex
https://sciencespo.hal.science/hal-03947820/file/2020_mazoyer_cage_herve_hudelot_a_french_corpus_for_event_detection_on_twitter.pdf BibTex

Preprints, Working Papers, ...

titre
An Overview of Deep Semi-Supervised Learning
auteur
Yassine Ouali, Céline Hudelot, Myriam Tami
article
2020
Accès au texte intégral et bibtex
https://hal.science/hal-04327849/file/2006.05278.pdf BibTex

2019

Journal articles

titre
Logical Dual Concepts based on Mathematical Morphology in Stratified Institutions
auteur
Marc Aiguier, Isabelle Bloch
article
Journal of Applied Non-Classical Logics, 2019, 29 (4), pp.392-429. ⟨10.1080/11663081.2019.1668678⟩
Accès au bibtex
BibTex

Conference papers

titre
Tame your annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties
auteur
Virgile Robles, Nikolai Kosmatov, Virgile Prévosto, Louis Rilling, Pascale Le Gall
article
International Conference on Tests and Proofs (TAP), Oct 2019, Porto, Portugal. ⟨10.1007/978-3-030-31157-5_11⟩
Accès au texte intégral et bibtex
https://cea.hal.science/cea-02301892/file/main.pdf BibTex
titre
A New Approach for Explainable Multiple Organ Annotation with Few Data
auteur
Régis Pierrard, Jean-Philippe Poli, Céline Hudelot
article
IJCAI 2019 Workshop on Explainable Artificial Intelligence (XAI), Aug 2019, Macao, Macau SAR China
Accès au texte intégral et bibtex
https://hal.science/hal-02418480/file/articleMacao.pdf BibTex
titre
Learning Fuzzy Relations from Few Data for Explainable Semantic Annotation
auteur
Régis Pierrard, Jean-Philippe Poli, Céline Hudelot
article
Rencontres des Jeunes Chercheurs en Intelligence Artificielle 2019, Toulouse Institute of Computer Science Research (IRIT), and the French AI Society (AFIA), Jul 2019, Toulouse, France. pp.18-26
Accès au texte intégral et bibtex
https://hal.science/hal-02160290/file/rjcia2019-03.pdf BibTex
titre
Réduire les biais dans la collecte de tweets
auteur
Béatrice Mazoyer, Nicolas Hervé, Céline Hudelot, Julia Cage
article
Journée DAHLIA : "Informatique et Humanités numériques : quelles problématiques pour quels domaines ?", Jun 2019, Nantes, France
Accès au texte intégral et bibtex
https://centralesupelec.hal.science/hal-02339757/file/BMazoyer-Dahlia.pdf BibTex
titre
Behavioral Models and Scenario Selection for Testing IoT Trickle-Based Lossy Multicast Networks
auteur
Ngo Minh Thang Nguyen, Boutheina Bannour, Arnault Lapitre, Pascale Le Gall
article
2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Apr 2019, Xi'an, China. pp.168-175, ⟨10.1109/ICSTW.2019.00047⟩
Accès au bibtex
BibTex
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. ⟨10.1007/978-3-030-17462-0_22⟩
Accès au texte intégral et bibtex
https://cea.hal.science/cea-02019790/file/main.pdf BibTex
titre
Performance modelling of access control mechanisms for local and vehicular wireless networks
auteur
Paolo Ballarini, Benoît Barbot, Nicolas Vasselin
article
12th EAI International Conference on Pervasive Computing Technologies for Healthcare, Mar 2019, Palma, Spain. pp.111-118
Accès au texte intégral et bibtex
https://hal.science/hal-02131725/file/1901.04285.pdf BibTex
titre
From Structuring Elements to Structuring Neighborhood Systems
auteur
Alexandre Goy, Marc Aiguier, Isabelle Bloch
article
14th International Symposium on Mathematical Morphology (ISMM), 2019, Saarbr\"ucken, Germany. pp.16-28, ⟨10.1007/978-3-030-20867-7_2⟩
Accès au bibtex
BibTex

Book sections

titre
Reachability Design Through Approximate Bayesian Computation
auteur
Mahmoud Bentriou, Paolo Ballarini, Paul-Henry Cournède
article
Computational Methods in Systems Biology, pp.207-223, 2019, ⟨10.1007/978-3-030-31304-3_11⟩
Accès au bibtex
BibTex

Books

titre
Testing Software and Systems
auteur
Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall
article
Springer International Publishing, LNCS-11812, 2019, Lecture Notes in Computer Science, 978-3-030-31279-4. ⟨10.1007/978-3-030-31280-0⟩
Accès au bibtex
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, 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, 2018, 15 (1), pp.173-196. ⟨10.1007/s11554-016-0574-2⟩
Accès au texte intégral et bibtex
https://hal.science/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, 2018, 256, pp.160 - 180. ⟨10.1016/j.artint.2017.12.002⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01823450/file/Belief_Revision.pdf 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
2018 Conference on Design and Architectures for Signal and Image Processing (DASIP), Oct 2018, Porto, Portugal. ⟨10.1109/dasip.2018.8596835⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01923784/file/dasip2018_final.pdf BibTex
titre
Analysis of business process specifications with OpenAltarica
auteur
Paolo Ballarini, Michel Batteux, Leo Chartier, Antoine Rauzy
article
2018 IEEE International Systems Engineering Symposium (ISSE), Oct 2018, Rome, Italy. ⟨10.1109/syseng.2018.8544458⟩
Accès au bibtex
BibTex
titre
Learning finer-class networks for universal representations
auteur
Julien Girard, Youssef Tamaazousti, Hervé Le Borgne, Céline Hudelot
article
BMVC 2018 - the 29th British Machine Vision Conference, Sep 2018, Newcastle, United Kingdom. ⟨10.48550/arXiv.1810.02126⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04315371/file/1021.pdf BibTex
titre
Learning Fuzzy Relations and Properties for Explainable Artificial Intelligence
auteur
Régis Pierrard, Jean-Philippe Poli, Céline Hudelot
article
2018 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), Jul 2018, Rio de Janeiro, Brazil. ⟨10.1109/FUZZ-IEEE.2018.8491538⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02425453/file/articleRio.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://cea.hal.science/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://cea.hal.science/cea-01835491/file/rpp.pdf BibTex
titre
A Fuzzy Close Algorithm for Mining Fuzzy Association Rules
auteur
Régis Pierrard, Jean-Philippe Poli, Céline Hudelot
article
17th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2018), Jun 2018, Cadiz, Spain. pp.88-99, ⟨10.1007/978-3-319-91476-3_8⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01698352/file/fuzzy-close-algorithm.pdf BibTex
titre
Dual Logic Concepts based on Mathematical Morphology in Stratified Institutions: Applications to Spatial Reasoning
auteur
Marc Aiguier, Isabelle Bloch
article
World Congress and School on Universal Logic (UNILOG 2018), Jun 2018, Vichy, France
Accès au bibtex
BibTex
titre
Fast Computation of Arbitrary Control Dependencies
auteur
Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall
article
FASE 2018 International Conference on Fundamental Approaches to Software Engineering, Apr 2018, Thessaloniki, Greece. pp.207-224, ⟨10.1007/978-3-319-89363-1_12⟩
Accès au bibtex
BibTex
titre
Real-time collection of reliable and representative tweets datasets related to news events
auteur
Béatrice Mazoyer, Julia Cage, Céline Hudelot, Marie-Luce Viaud
article
First International Workshop on Analysis of Broad Dynamic Topics over Social Media (BroDyn 2018) co-located with the 40th European Conference on Information Retrieval (ECIR 2018), Mar 2018, Grenoble, France
Accès au texte intégral et bibtex
https://centralesupelec.hal.science/hal-02321957/file/BroDyn_Workshop_Mazoyer.pdf BibTex

Books

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), Part of the Lecture Notes in Computer Science book series (LNCS, volume 11178), 978-3-030-02226-6. ⟨10.1007/978-3-030-02227-3⟩
Accès au bibtex
BibTex

2017

Journal articles

titre
Vision-language integration using constrained local semantic features
auteur
Youssef Tamaazousti, Hervé Le Borgne, Adrian Popescu, Etienne Gadeski, Alexandru Ginsca, Céline Hudelot
article
Computer Vision and Image Understanding, 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, 2017, 29 (23), ⟨10.1002/cpe.4266⟩
Accès au texte intégral et bibtex
https://hal.science/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, 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
2017 Seventh International Conference on Image Processing Theory, Tools and Applications (IPTA), Nov 2017, Montreal, QC, Canada. pp.1-6, ⟨10.1109/IPTA.2017.8310147⟩
Accès au texte intégral et bibtex
https://centralesupelec.hal.science/hal-01656756/file/IPTA_79.pdf BibTex
titre
Constraint-Based Oracles for Timed Distributed Systems
auteur
Nassim Benharrat, Christophe Gaston, Robert M. Hierons, Arnault Lapitre, Pascale Le Gall
article
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.276-292, ⟨10.1007/978-3-319-67549-7_17⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01678964/file/449632_1_En_17_Chapter.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.science/hal-01817472/file/main.pdf BibTex
titre
MuCaLe-Net: Multi categorical-Level networks to generate more discriminating features
auteur
Y. Tamaazousti, Hervé Le Borgne, Céline Hudelot
article
2017 IEEE Conference on Computer Vision and Pattern Recognition (CVPR), Jul 2017, Honolulu, HI, United States. pp.5282-5291, ⟨10.1109/CVPR.2017.561⟩
Accès au texte intégral et bibtex
https://cea.hal.science/cea-01841669/file/Tamaazousti_MuCaLe-Net_Multi_Categorical-Level_CVPR_2017_paper.pdf 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://cea.hal.science/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
International Conference on Graph Transformation ICGT 2017, Jul 2017, Marburg, Germany. pp.36-53, ⟨10.1007/978-3-319-61470-0_3⟩
Accès au bibtex
BibTex

Book sections

titre
Integrating Computer Vision Algorithms and Ontologies for Spectator Crowd Behavior Analysis
auteur
Davide Conigliaro, Roberta Ferrario, Céline Hudelot, Daniele Porello
article
Integrating Computer Vision Algorithms and Ontologies for Spectator Crowd Behavior Analysis, Elsevier Inc., pp.297-319, 2017, 9780128092804; 9780128092767. ⟨10.1016/B978-0-12-809276-7.00016-3⟩
Accès au bibtex
BibTex

Reports

titre
Dual Logic Concepts based on Mathematical Morphology in Stratified Institutions: Applications to Spatial Reasoning
auteur
Marc Aiguier, Isabelle Bloch
article
[Research Report] arXiv:1710.05661, arXiv CoRR. 2017
Accès au bibtex
BibTex
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.science/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.science/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, 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
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, ACM, Mar 2016, Barcelone, Spain. ⟨10.1145/2870650.2870652⟩
Accès au texte intégral et bibtex
https://hal.science/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
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

Theses

titre
Efficient Connected Component Labeling Algorithms for High Performance Architectures
auteur
Laurent Cabaret
article
Vision par ordinateur et reconnaissance de formes [cs.CV]. Université Paris Saclay (COmUE), 2016. Français. ⟨NNT : 2016SACLS299⟩
Accès au texte intégral et bibtex
https://theses.hal.science/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, 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
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 2015), Sep 2015, Quebec, Canada. pp.3486-3489, ⟨10.1109/ICIP.2015.7351452⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01243310/file/ICIP15.pdf 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
titre
Belief revision in institutions: a relaxation-based approach
auteur
Marc Aiguier, J. Atif, C. Hudelot, Isabelle Bloch
article
[Research Report] abs/1502.02298, arXiv CoRR. 2015
Accès au bibtex
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, 2014, 24 (1), pp.1-46. ⟨10.7561/sacs.2014.1.1⟩
Accès au texte intégral et bibtex
https://centralesupelec.hal.science/hal-01056530/file/root.pdf BibTex
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
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. pp.6
Accès au texte intégral et bibtex
https://inria.hal.science/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
6th International Symposium, ISoLA 2014, Tiziana Margaria, Bernhard Steffen, Oct 2014, Corfu, Greece
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. ⟨10.1109/dasip.2014.7115641⟩
Accès au texte intégral et bibtex
https://inria.hal.science/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.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

Books

titre
Complex Systems Design & Management
auteur
Marc Aiguier, Frédéric Boulanger, Daniel Krob, Clotilde Marchal
article
Springer International Publishing, 2014, Proceedings of the Fourth International Conference on Complex Systems Design & Management CSD&M 2013, ⟨10.1007/978-3-319-02812-5⟩
Accès au bibtex
BibTex

Proceedings

titre
MMCS, Mathematical Modelling of Complex Systems
auteur
Frédéric Abergel, Marc Aiguier, Damien Challet, Paul-Henry P.-H. Cournède, Gilles Fay, Pauline Godillon-Lafitte
article
47, 2014, ESAIM: Proceedings and Surveys
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, 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
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. ⟨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 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
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. pp.1-10, ⟨10.1109/iceccs.2013.19⟩
Accès au texte intégral et bibtex
https://centralesupelec.hal.science/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
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

Proceedings

titre
Complex Systems Design and Management
auteur
Marc Aiguier, Yves Caseau, Daniel Krob, A Rausy
article
Third International Conference on Complex Systems Design and Management CSD&M 2012, Dec 2012, Singapore, Singapore. 2013, Proceedings of the Third International Conference on Complex Systems Design & Management CSD&M 2012, ⟨10.1007/978-3-642-34404-6⟩
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, 2012, 455, pp.66-97. ⟨10.1016/j.tcs.2011.12.072⟩
Accès au texte intégral et bibtex
https://centralesupelec.hal.science/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, 2012, 218 (16), pp.8039-8055
Accès au texte intégral et bibtex
https://centralesupelec.hal.science/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, 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
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
Accès au texte intégral et bibtex
https://centralesupelec.hal.science/hal-00782889/file/apsec2012_submission_159.pdf BibTex
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
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
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
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
Some General Results About Proof Normalization
auteur
Marc Aiguier, Longuet Delphine
article
Logica Universalis, 2010, 4 (1), pp.1-29. ⟨10.1007/s11787-010-0011-4⟩
Accès au texte intégral et bibtex
https://centralesupelec.hal.science/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, 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
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
Accès au texte intégral et bibtex
https://centralesupelec.hal.science/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
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
Symbolic Execution Techniques Extended to Systems.
auteur
Christophe Gaston, Marc Aiguier, Diane Bahrami, Arnaud Lapitre
article
International Conference on Software Engineering Advances (ICSEA), Sep 2009, Porto, Portugal. pp.78-85, ⟨10.1109/icsea.2009.21⟩
Accès au texte intégral et bibtex
https://centralesupelec.hal.science/hal-00812189/file/ICSEA09.pdf BibTex
titre
Integration Testing from Structured First-Order Specifications via Deduction Modulo.
auteur
Delphine Longuet, Marc Aiguier
article
Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Aug 2009, Kuala Lumpur, Malaysia. pp.261-276, ⟨10.1007/978-3-642-03466-4_17⟩
Accès au texte intégral et bibtex
https://centralesupelec.hal.science/hal-00812193/file/ICTAC09.pdf 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
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

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
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
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

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
Stratified institutions and elementary homomorphisms
auteur
Marc Aiguier, Rǎzvan Diaconescu
article
Information Processing Letters, 2007, 103 (1), pp.5--13. ⟨10.1016/j.ipl.2007.02.005⟩
Accès au bibtex
BibTex
titre
Structures for abstract rewriting
auteur
Marc Aiguier, Diane Bahrami
article
Journal of Automated Reasoning, 2007, 38, pp.303--351. ⟨10.1007/s10817-006-9065-7⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00341965/file/jar07.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, 2007, 5 (2B), pp.627-640
Accès au bibtex
BibTex
titre
An Institution-Independent Proof of the Beth Definability Theorem
auteur
Marc Aiguier, Fabrice Barbier
article
Studia Logica, 2007, 85 (3), pp.333--359
Accès au texte intégral et bibtex
https://hal.science/hal-00341973/file/sl07.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.science/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. 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
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.), ⟨10.1109/ICSEA.2006.261290⟩
Accès au texte intégral et bibtex
https://hal.science/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. 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

Other publications

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