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
-
- 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
-
- 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
-
- 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
-
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
-
- 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
-
- 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
-
- 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
-
- 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
-
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
-
- 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
-
- 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
-
- 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
-
- 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
-
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
-
- 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
-
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
-
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
-
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
-
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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
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
-
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
-
- 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
-
- 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
-
- 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
-
- 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, 2013, 27 (1), pp.39-63. ⟨10.3166/ria.27.39-63⟩
- Accès au 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
-
- 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
-
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
-
- 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
-
- 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
-
- 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 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
-
- 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
-
- 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
-
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
-
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
-
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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
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
-
- 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
-
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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
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
-
- 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
-
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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
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
-
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
-
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
-
- 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
-
- 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
-
- 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
-
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
-
- 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
-
- 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
-
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
-
- 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
-
- 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
-
- 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
-
- 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
-
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
-
- 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
-
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
-
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
-
- 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
-
- 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
-
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
-
- 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
-