Filter your results
- 474
- 351
- 8
- 473
- 314
- 12
- 9
- 7
- 6
- 4
- 3
- 2
- 2
- 1
- 8
- 832
- 56
- 24
- 6
- 5
- 2
- 1
- 3
- 52
- 52
- 61
- 89
- 98
- 69
- 94
- 74
- 37
- 29
- 30
- 26
- 34
- 25
- 20
- 14
- 18
- 3
- 1
- 1
- 1
- 2
- 779
- 54
- 822
- 110
- 101
- 18
- 9
- 8
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 105
- 78
- 53
- 48
- 43
- 41
- 39
- 36
- 35
- 33
- 33
- 32
- 32
- 32
- 29
- 29
- 28
- 27
- 27
- 24
- 22
- 22
- 21
- 21
- 21
- 21
- 21
- 20
- 19
- 19
- 19
- 19
- 18
- 17
- 17
- 15
- 15
- 15
- 14
- 14
- 14
- 13
- 13
- 13
- 12
- 12
- 12
- 11
- 11
- 11
- 11
- 11
- 11
- 11
- 10
- 10
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
|
Actors with stretchable access patternsIntegration, 2019, 66, pp.44-59. ⟨10.1016/j.vlsi.2019.01.001⟩
Journal articles
hal-02392508v1
|
||
|
A New Green Prospective of Non-orthogonal Multiple Access (NOMA) for 5GInformation, 2020, 11 (2), pp.89 (31). ⟨10.3390/info11020089⟩
Journal articles
hal-03221876v1
|
||
|
Tool Support for Refactoring Manual Tests13th International Conference on Software Testing, Verification and Validation, Oct 2020, Porto, Portugal
Conference papers
hal-03221903v1
|
||
Claytronics: an Instance of Programmable MatterDagstuhl Seminar, Jul 2016, Wadern, Germany
Conference papers
hal-03221911v1
|
|||
Technologie Smartesting CertifyIt pour le test dirigé par les modèles - Applications aux composants de sécurité, cartes à puces et e-transactionsForum Méthodes Formelles, Jun 2015, Toulouse, France
Conference papers
hal-03221916v1
|
|||
Système Pair-à-Pair du Positionnement intérieur basé sur le réseaux wifiAtelier du Collegium international SMYLE, Mar 2017, Neuchatel, Switzerland
Conference papers
hal-03221924v1
|
|||
Compatibility Control of Asynchronous Communicating Systems with Unbounded BuffersInternational Workshop on Petri Nets and Software Engineering, Jun 2017, Zaragoza, Spain
Conference papers
hal-02963346v1
|
|||
Uniform Circle Formation by Asynchronous Robots: A Fully-Distributed ApproachInternational Conference on Computer Communications and Networks, Jul 2017, Vancouver, Canada
Conference papers
hal-02963397v1
|
|||
Multiagent Hybrid Architecture for Collaborative Exchanges between Communicating Vehicles in an Urban ContextInternational Conference on Ambient Systems, Networks and Technologies, May 2016, Madrid, Spain
Conference papers
hal-02963421v1
|
|||
|
Normalized blind STDM watermarking scheme for images and PDF documents robust against fixed gain attackMultimedia Tools and Applications, 2020, 79 (3-4), pp.1887 - 1919. ⟨10.1007/s11042-019-08242-4⟩
Journal articles
hal-03221885v1
|
||
Solving {MBMS RRM} problem by metaheuristicsInternational Symposium on Personal, Indoor and Mobile Radio Communications, Sep 2014, Washington, United States
Conference papers
hal-03221888v1
|
|||
Nanonetwork Minimum Energy codingInternational Conference on Ubiquitous Intelligence and Computing, Dec 2014, Bali, Indonesia
Conference papers
hal-03221891v1
|
|||
Performance evaluation of P2P and Cloud computing applicationsSimulation of Distributed Computer Systems Users Days, Jun 2012, Valpré, Ecully, France
Conference papers
hal-03223580v1
|
|||
|
Development of an Adaptive Videoconferencing Framework for Collaborative TelemedicineInternational Conference On Computer Supported Cooperative Work in Design, Apr 2017, Wellington, New Zealand
Conference papers
hal-02991559v1
|
||
Temperature control of an SThM micro-probe with an heat source estimator and a lock-in measurementInternational Conference on Thermal, Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Microsystems, Apr 2016, Montpellier, France
Conference papers
hal-02991857v1
|
|||
|
PROLISEAN: A New Security Protocol for Programmable MatterACM Transactions on Internet Technology, 2021, 21 (1), pp.22. ⟨10.1145/3432250⟩
Journal articles
hal-03186562v1
|
||
|
GAPCoD: A Generic Assembly Planner by Constrained DisassemblyInternational Conference on Autonomous Agents and Multiagent Systems, May 2020, Auckland, New Zealand
Conference papers
hal-03186610v1
|
||
|
Linear Distributed Clustering Algorithm for Modular Robots Based Programmable MatterRSJ International Conference on Intelligent Robots and Systems, Oct 2020, Las Vegas, United States
Conference papers
hal-03186611v1
|
||
Approches algébriques pour la mise en oeuvre des systèmes à base d’objets connectésJournée du GT ARC (Automatique et Réseaux de Communication), Apr 2018, Paris, France
Conference papers
hal-02991585v1
|
|||
|
Robust IoT time series classification with data compression and deep learningNeurocomputing / EEG Neurocomputing, 2020, 398, pp.222 - 234
Journal articles
hal-02993833v1
|
||
|
DistLog: A distributed logging scheme for IoT forensicAd Hoc Networks, 2020, 98, pp.102061 (16)
Journal articles
hal-02993834v1
|
||
|
Efficient Distributed Average Consensus in Wireless Sensor NetworksComputer Communications, 2020, 150, pp.115 - 121. ⟨10.1016/j.comcom.2019.11.006⟩
Journal articles
hal-02993848v1
|
||
|
Enhanced Clustering Approach for Traffic Regulation in Directional Antennas based NanonetworksAnnual Symposium on Applied Computing, Mar 2020, Brno, Czech Republic
Conference papers
hal-02993850v1
|
||
|
A Wearable LoRa-Based Emergency System for Remote Safety MonitoringInternational Wireless Communications and Mobile Computing Conference, Jun 2020, Limassol, Cyprus
Conference papers
hal-02993852v1
|
||
|
From Linear Temporal Logic Properties to Rewrite PropositionsIJCAR 2012, 6th Int. Joint Conf. on Automated Reasoning, Jan 2012, United Kingdom. pp.316-331
Conference papers
hal-00956586v1
|
||
|
Tabu-NG : hybridation de programmation par contraintes et recherche locale pour la résolution de CSPGénie logiciel [cs.SE]. Université de Technologie de Belfort-Montbeliard, 2010. Français. ⟨NNT : 2010BELF0153⟩
Theses
tel-00607503v1
|
||
|
Experiments in the use of tau-simulations for the components-verification of real-time systemsSAVCBS'06, Specification and Verification of Component-Based Systems, 2006, United States. pp.33--40
Conference papers
hal-00561443v1
|
||
|
An {I/O} Automata-based Approach to Verify Component Compatibility: Application to the {CyCab} CarFESCA'08, Formal {F}oundations of {E}mbedded {S}oftware and {C}omponent-based {S}oftware {A}rchitectures, 2008, Hungary. pp.3--13
Conference papers
hal-00563290v1
|
||
|
Test Generation Based on Abstraction and Test Purposes to Complement Structural TestsA-MOST'10, 6th int. Workshop on Advances in Model Based Testing, in conjunction with ICST'10, 2010, France. pp.54--61
Conference papers
hal-00563306v1
|
||
Requirements for the description of a component in order to use in a component based approach -- Livrable TACOS L2-1.02007
Other publications
hal-00181250v1
|