 |
 |
 |
|
|
||
|---|---|---|
| tel-00008413v2
Theses
Génération automatique de distributions/ordonnancements temps réel, fiables et tolérants aux fautes Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 2004. Français |
||
| hal-01352700v2
Reports
L'originalité des œuvres logicielles [Rapport de recherche] RR-8945, Inria Bordeaux Sud-Ouest; Université de bordeaux. 2016, pp.13 |
||
| tel-02405839v1
Habilitation à diriger des recherches
About some Metamorphoses of Computer Programs Programming Languages [cs.PL]. Université Paris Diderot, 2019 |
||
| tel-01078911v1
Theses
Extraction and Analysis of Knowledge for Automatic Software Repair Software Engineering [cs.SE]. Université Lille 1, 2014. English |
||
| tel-00340864v1
Theses
Langages dédiés au développement de services de communications Réseaux et télécommunications [cs.NI]. Université Sciences et Technologies - Bordeaux I, 2008. Français |
||
| hal-02293809v1
Journal articles
Management of local multi-sensors applied to SHM and long term infrared monitoring: Cloud2IR implementation Quantitative InfraRed Thermography Journal, Taylor and Francis, 2019, 16 (1), pp.55-73. ⟨10.1080/17686733.2018.1519752⟩ |
||
| inria-00615060v1
Journal articles
Analyzing 3D images of the brain NeuroImage, Elsevier, 1996, 4 (3), ⟨10.1006/nimg.1996.0048⟩ |
||
| tel-01297400v1
Theses
Mining Software Engineering Data for Useful Knowledge Machine Learning [stat.ML]. Université de Lille, 2014. English |
||
| hal-03104504v1
Journal articles
Drivers’ Warning Application Through Image Notifications on the FM Radio Broadcasting Infrastructure IEEE Access, IEEE, 2021, 9, pp.13553 - 13572. ⟨10.1109/ACCESS.2021.3050669⟩  |
||
| hal-00758607v1
Conference papers
Game Developers Need Lua AiR ICEC 2012 - 11th International Confernece on Entertainment Computing, Sep 2012, Bremen, Germany. pp.530-535, ⟨10.1007/978-3-642-33542-6_69⟩ |
||
| hal-01192692v1
Conference papers
Towards a Green and Sustainable Software Concurrent Engineering 2015, Jul 2015, Delf, Netherlands. pp.471-480 |
||
| hal-00759206v1
Conference papers
IEEE-1788 standardization of interval arithmetic: work in progress (a personal view) IFIP Working Group 2.5 on Numerical Software, Jul 2012, Santander, Spain |
||
| hal-01550358v1
Conference papers
À la recherche de la souveraineté numérique École d'été Defense Security Cyber, Forum Montesquieu, université de Bordeaux; IdEx de l'université de Bordeaux, Jun 2017, Bordeaux, France |
||
| hal-01097389v1
Conference papers
Composing Message Translators and Inferring their Data Types using Tree Automata FASE 2015 : 18th International Conference on Fundamental Approaches to Software Engineering, Apr 2015, London, United Kingdom. pp.35-50, ⟨10.1007/978-3-662-46675-9_3⟩ |
||
| hal-01580582v1
Conference papers
Code Staging in GNU Guix 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE’17), Oct 2017, Vancouver, Canada. ⟨10.1145/3136040.3136045⟩ |
||
| hal-01700565v1
Journal articles
La liberté à l'ère numérique Politeia - Les Cahiers de l'Association Française des Auditeurs de l'Académie Internationale de Droit constitutionnel, Association française des auditeurs de l'Académie internationale de droit constitutionnel, 2017, Les métamorphoses des droits fondamentaux à l'ère du numérique, 31, pp.161-172 |
||
| inria-00583673v1
Journal articles
Structured and flexible gray-box composition using invasive distributed patterns IADIS International Journal on Computer Science and Information Systems, Iadis Press, 2011, 1, 6, pp.13 |
||
| hal-01857736v1
Conference papers
Assistive Computing: a Human-Centered Approach to Developing Computing Support for Cognition the 40th International Conference Software Engineering (ICSE), May 2018, Gothenburg, France. ⟨10.1145/3183428.3183431⟩ |
||
| hal-01252985v1
Conference papers
Automating Resource Selection and Configuration in Inter-clouds through a Software Product Line Method 8th International Conference on Cloud Computing (CLOUD), 2015 IEEE , Jul 2015, New York City, United States. pp 726 - 733, ⟨10.1109/CLOUD.2015.101⟩ |
||
| hal-00692569v1
Journal articles
Efficient Retrieval and Ranking of Undesired Package Cycles in Large Software Systems The Journal of Object Technology, Chair of Software Engineering, 2012, 11 (1), pp.N/A. ⟨10.5381/jot.2012.11.1.a4⟩ |
||
| hal-01330861v1
Reports
Prequel: A Patch-Like Query Language for Commit History Search [Research Report] RR-8918, Inria Paris. 2016 |
||
| tel-01419298v2
Theses
A framework for rigorous development of distributed components : formalisation and tools Other [cs.OH]. Université Côte d'Azur, 2016. English. ⟨NNT : 2016AZUR4077⟩ |
||
| hal-01397079v1
Journal articles
Vidjil: A Web Platform for Analysis of High-Throughput Repertoire Sequencing PLoS ONE, Public Library of Science, 2016, 11 (11), ⟨10.1371/journal.pone.0166126⟩ |
||
| hal-01240036v1
Conference papers
Are These Bugs Really "Normal"? MSR 2015 - The 12th Working Conference on Mining Software Repositories, May 2015, Florence, Italy |
||
| hal-01323446v1
Conference papers
Using Machine Learning to Infer Constraints for Product Lines Software Product Line Conference (SPLC), Sep 2016, Beijing, China. ⟨10.1145/2934466.2934472⟩ |
||
| hal-01290465v1
Journal articles
Reliable Self-deployment of Distributed Cloud Applications Software: Practice and Experience, Wiley, 2017, 47 (1), pp.3-20. ⟨10.1002/spe.2400⟩ |
||
| inria-00211158v3
Reports
Combining a Software Component Model and a Workflow Language into a Component Model with Spatial and Temporal Compositions [Research Report] RR-6421, INRIA. 2008, pp.23 |
||
| inria-00475603v1
Conference papers
OpenMASK: an Open-Source platform for Virtual Reality IEEE VR workshop on Software Engineering and Architectures for Realtime Interactive Systems (SEARIS), Mar 2008, Reno, United States |
||
| inria-00135239v1
Conference papers
GCP: Gossip-based Code Propagation for Large-scale Mobile Wireless Sensor Network EuroSys 2007, Second conference of the European Chapter of ACM SIGOPS, European Chapter of ACM SIGOPS, Mar 2007, Lisboa/Portugal |
||
| dumas-00725213v1
Master thesis
Vérification probabiliste de résultats d'analyse statique Informatique et langage [cs.CL]. 2012 |
||
|
|
||