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