Skip to Main content Skip to Navigation


...
hal-00743981v1  Journal articles
Yliès FalconeJean-Claude FernandezThierry JéronHervé MarchandLaurent Mounier. More testable properties
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2012, 14 (4), pp.407-437. ⟨10.1007/s10009-011-0220-z⟩
hal-00953590v1  Conference papers
Yliès FalconeJean-Claude FernandezLaurent Mounier. Enforcement Monitoring wrt. the Safety-Progress Classification of Properties
24th Annual ACM Symposium on Applied Computing - Software Verification and Testing Track (SAC 2009), 2009, Unknown, pp.593-600, ⟨10.1145/1529282.1529408⟩
hal-00860801v1  Conference papers
Sofia BekrarChaouki BekrarRoland GrozLaurent Mounier. Finding Software Vulnerabilities by Smart Fuzzing
ICST2011 - IEEE 4th International Conference on Software Testing, Verification and Validation, Mar 2011, Berlin, Germany. pp.427-430, ⟨10.1109/ICST.2011.48⟩
...
hal-00190393v1  Conference papers
Hamid ChaachouaJean-François NicaudAlain BronnerDenis Bouhineau. APLUSIX, A learning environment for algebra, actual use and benefits
ICME 10 : 10th International Congress on Mathematical Education, July 4-11, 2004, 2004, Copenhagen, Denmark. pp.8
...
hal-00190301v1  Conference papers
Denis BouhineauStéphane Channac. La programmation logique par contraintes pour l'aide à l'enseignant
Third International Conference on Intelligent Tutoring Systems ITS'96, 1996, Montréal, Canada. pp.333-342
...
hal-00982716v1  Conference papers
Damien PellierHumbert Fiorino. Coordinated exploration for labyrinthine environments with application to the Pursuit-Evasion problem
Workshop on Cooperative Robotics (IROS), 2002, Lausanne, Switzerland. pp.50-58
...
hal-00982723v1  Conference papers
Damien PellierHumbert Fiorino. Approche multi-agent pour l'exploration coordonnée d'un environnement labyrinthique 2D
Journées Francophones sur l'Intelligence Artificielle Distribuée et Systèmes Multi-Agents, 2002, Lille, France
...
hal-00491706v1  Conference papers
Jean-Loup FlorensAnnie LucianiClaude CadozBenoît ChanclouArash Habibi. Modèles physiques, images et sons : processus de synchronisation et de simulation
4ème Journées de l'Association Française d'Informatique Graphique, Nov 1996, Dijon, France. pp.80-93
...
hal-02949916v1  Conference papers
Mohammed Foughali. A Two-Step Hybrid Approach for Verifying Real-Time Robotic Systems
2020 IEEE 26th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Aug 2020, Gangnueng (virtual conference), South Korea. pp.1-10, ⟨10.1109/RTCSA50079.2020.9203687⟩
...
tel-02554125v2  Theses
Rémy Boutonnet. Modular analysis of numerical properties by abstract interpretation
Data Structures and Algorithms [cs.DS]. Université Grenoble Alpes [2020-..], 2020. English. ⟨NNT : 2020GRALM004⟩
hal-00382843v1  Conference papers
Shadi AbrasStéphane PloixSylvie PestyMireille Jacomino. A multi-agent home automation system dedicated to power management : Anticipation mechanism
First Electrical Engineering Conference, Jun 2007, Aleppo, Syria. pp.1-10
...
hal-01392526v1  Conference papers
Sopheap SengSethserey SamViet-Bac LeBrigitte BigiLaurent Besacier. Which unit for acoustic and language modeling for Khmer Automatic Speech Recognition?
International Workshop on Spoken Languages Technologies for Under-resourced languages, 2008, Hanoi, Vietnam. pp.33-38
...
hal-01393605v1  Conference papers
Sopheap SengLaurent BesacierBrigitte BigiEric Castelli. Multiple Text Segmentation for Statistical Language Modeling
Interspeech, Sep 2009, Brighton, United Kingdom. pp.2663-2666
...
hal-00390852v1  Conference papers
Najeh HajlaouiChristian Boitet. Portage linguistique de l'arabe et vers l'arabe
Infol@ngues III : Informatique et langues, Feb 2009, Tunisie. 10 p
hal-00382838v1  Conference papers
Shadi AbrasStéphane PloixSylvie PestyMireille Jacomino. A multi-agent home automation approach for power management
1st IFAC Workshop on Convergence of Information Technologies and Control Methods with Power Plants and Power Systems, Jul 2007, Cluj-Napoca, Romania. pp.93-98
...
tel-02988031v1  Theses
Benjamin Farinier. Decision procedures for vulnerability analysis
Performance [cs.PF]. Université Grenoble Alpes [2020-..], 2020. English. ⟨NNT : 2020GRALM013⟩
...
tel-02964621v1  Theses
Xiao Xu. Generalisation of Alternating Automata over Infinite Alphabets
Computer Arithmetic. Université Grenoble Alpes [2020-..], 2020. English. ⟨NNT : 2020GRALM007⟩
hal-00637246v1  Journal articles
Shadi AbrasSylvie PestyStéphane PloixMireille Jacomino. Une approche multi-agent pour la gestion de l'énergie dans l'habitat
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2010, 24 (5), pp.649-671
...
hal-01392533v1  Conference papers
Viet-Bac LeSopheap SengLaurent BesacierBrigitte Bigi. Word/sub-word lattices decomposition and combination for speech recognition
IEEE International conference on Acoustics, Speech and Signal Processing, 2008, Las Vegas, United States. pp.4321 - 4324, ⟨10.1109/ICASSP.2008.4518611⟩
...
hal-01392538v1  Conference papers
Sopheap SengSethserey SamLaurent BesacierBrigitte BigiEric Castelli '. First Broadcast News Transcription System for Khmer Language
Sixth International Conference on Language Resources and Evaluation, 2008, Marrakech, Morocco. pp.2658-2661
...
hal-00000840v1  Conference papers
Fabien GaucherErwan JahierFlorence MaraninchiBertrand Jeannet. Automatic State Reaching for Debugging Reactive Programs
the Fifth International Workshop on Automated Debugging (AADEBUG 2003), Sep 2003, Ghent, France