|
||
---|---|---|
hal-03151936v1
Article dans une revue
Distributed Competitive Decision Making Using Multi-Armed Bandit Algorithms Wireless Personal Communications, Springer Verlag, In press, ⟨10.1007/s11277-020-08064-w⟩ |
||
hal-03127383v1
Communication dans un congrès
Managing Single or Multi-Users Channel Allocation for the Priority Cognitive Access 2020 28th European Signal Processing Conference (EUSIPCO), Jan 2021, Amsterdam, Netherlands. pp.1722-1726, ⟨10.23919/Eusipco47968.2020.9287628⟩ |
||
hal-03002104v1
Article dans une revue
Dynamic decision-making process in the opportunistic spectrum access Advances in Science, Technology and Engineering Systems Journal, Advances in Science Technology and Engineering Systems Journal (ASTESJ), 2020, 5 (4), pp.223-233. ⟨10.25046/aj050428⟩ |
||
hal-02924010v1
Article dans une revue
Distributed algorithm under cooperative or competitive priority users in cognitive networks EURASIP Journal on Wireless Communications and Networking, SpringerOpen, 2020, 2020 (2020:145), ⟨10.1186/s13638-020-01738-w⟩ |
||
hal-02515020v1
Chapitre d'ouvrage
Using Parallel and Distributed Reachability in Model Checking Ambient Communications and Computer Systems, pp.143-154, 2018, ⟨10.1007/978-981-10-7386-1_12⟩ |
||
hal-01172103v1
Article dans une revue
TBES: Template-Based Exploration and Synthesis of Heterogeneous Multiprocessor Architectures on FPGA ACM Transactions on Embedded Computing Systems (TECS), ACM, 2016, 15 (1), pp.9 |
||
hal-02434617v1
Communication dans un congrès
On-in: An on-node and in-node based mechanism for big data collection in large-scale sensor networks 27th European Signal Processing Conference, EUSIPCO 2019, Sep 2019, Coruna, Spain. ⟨10.23919/EUSIPCO.2019.8902628⟩ |
||
hal-02433746v1
Communication dans un congrès
Adaptive Strategy and Decision Making Model for Sensing-Based Network Applications 19th International Symposium on Communications and Information Technologies, ISCIT 2019, 2019, Ho Chi Minh, Vietnam. pp.96-101, ⟨10.1109/ISCIT.2019.8905211⟩ |
||
hal-02418325v1
Communication dans un congrès
All-Powerful Learning Algorithm for the Priority Access in Cognitive Network 27th European Signal Processing Conference (EUSIPCO), Sep 2019, A Coruna, Spain. pp.1-5, ⟨10.23919/EUSIPCO.2019.8903016⟩ |
||
hal-02418297v1
Communication dans un congrès
Distributed Algorithm to Learn OSA Channels Availability and Enhance the Transmission Rate of Secondary Users 19th International Symposium on Communications and Information Technologies, ISCIT 2019, Sep 2019, Ho Chi Minh City, Vietnam. pp.356-360, ⟨10.1109/ISCIT.2019.8905171⟩ |
||
hal-02295954v1
Communication dans un congrès
Product Line Configuration Meets Process Mining CENTERIS, Oct 2019, Sousse, Tunisia. pp.199-210, ⟨10.1016/j.procs.2019.12.173⟩ |
||
hal-01961429v1
Communication dans un congrès
Dynamic imaging of a gravity wave caused by laser-induced breakdown in a fluid waveguide using acoustic waves Acoustics '17 173rd Meeting of the Acoustical Society of America and the 8th Forum Acusticum, Jun 2017, Boston, United States. pp.3589-3589 |
||
hal-01330663v1
Article dans une revue
Extraction of sandy bedforms features through geodesic morphometry Geomorphology, Elsevier, 2016, 268, pp.82-97 |
||
hal-01899591v1
Communication dans un congrès
Opportunistic Spectrum Access in Cognitive Radio for Tactical Network 2nd European Conference on Electrical Engineering & Computer Scienc (EECS 2018), Dec 2018, Bern, Switzerland. ⟨10.1109/eecs.2018.00116⟩ |
||
hal-01579213v1
Communication dans un congrès
Interlaboratory comparisons of radar cross section measurements by the “GTi”, criteria suggestions EUCAP, Mar 2017, Paris, France. ⟨10.23919/EuCAP.2017.7928289⟩ |
||
hal-01559688v1
Communication dans un congrès
A Diagnosis Framework for Critical Systems Verification 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, Sep 2017, Trente, Italy. Short Papers 1-6 |
||
hal-01203649v1
Communication dans un congrès
KriQL: a query language for the diagnosis of transition systems 15th International Workshop on Automated Verification of Critical Systems - AVOCS'15, Sep 2015, Edimburgh, United Kingdom. pp.151-165 |
||
hal-01405912v1
Communication dans un congrès
Overlay Architectures For FPGA Resource Virtualization GDR SOC SIP, Jun 2016, Nantes, France |
||
hal-01406604v1
Communication dans un congrès
Model-based Diagnosis Patterns for Model Checking PAME 2016, Oct 2016, St Malo, France. pp.7-12 |
||
hal-01406641v1
Communication dans un congrès
CaRDIN: An Agile Environment for EdgeComputing on Reconfigurable Sensor Networks 3rd IEEE International Conference on Computational Science and Computational Intelligence (CSCI 2016), Dec 2016, Las Vegas, United States |
||
hal-01406141v1
Communication dans un congrès
Modélisation et réalisation d’un système de reconnaissance de cibles radar Journée URAC 2016 , Nov 2015, Rabat, Morocco |
||
hal-01405890v1
Communication dans un congrès
Overlay Architectures for Heterogeneous FPGA Cluster Management. DASIP 2016, Oct 2016, Rennes, France |
||
hal-01405860v1
Communication dans un congrès
ZeFF : Une plateforme pour l’intégration d’architectures overlay dans le Cloud COMPAS 2016, Jul 2016, Lorient, France |
||
hal-01405531v1
Article dans une revue
A Unified Design Flow to Automatically Generate On-Chip Monitors during High-Level Synthesis of Hardware Accelerators IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, IEEE, 2017, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 36 (3), pp.384-397. ⟨10.1109/TCAD.2016.2587278⟩ |
||
hal-01373327v1
Article dans une revue
Sequential and Parallel Algorithms for the State Space Exploration Cybernetics and Information Technologies, 2016, 16 (1), ⟨10.1515/cait-2016-0001⟩ ![]() |
||
hal-01373317v1
Article dans une revue
A Parallel Algorithm for the State Space Exploration Scalable Computing : Practice and Experience, West University of Timisoara, 2016, Scalable Computing: Practice and Experience, 17 (2), pp.129-141. ⟨10.12694/scpe.v17i2.1161⟩ ![]() |
||
hal-01326340v1
Communication dans un congrès
Validation formelle d’implantation de patrons de sécurité : Application aux SCADA AFADL 2016, Jun 2016, Besançon, France |
||
hal-01326333v1
Communication dans un congrès
Formalisation d’une Approche Compositionnelle de Patrons de Propriétés AFADL 2016, i, Jun 2016, Besançon, France |
||
hal-01298895v1
Communication dans un congrès
Towards Distributed Solution to the State Explosion Problem INDIA 2016, Jan 2016, Vishakapatnam, India. ⟨10.1007/978-81-322-2755-7_56⟩ |
||
hal-01298704v1
Communication dans un congrès
A High-level Formalism to Elaborate Context for a Context-aware Verification Approach ICIST 2016, Mar 2016, Barcelone, Spain |
||
|