Search - Université de Technologie de Belfort-Montbeliard Access content directly

Filter your results

833 Results
Domains : info.info-se
Image document

Actors with stretchable access patterns

Ke Du , Stéphane Domas , Michel Lenczner
Integration, 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 5G

Vishaka Basnayake , Dushantha Nalin K Jayakody , Vishal Sharma , Nikhil Sharma , P Muthuchidambaranathan , et al.
Information, 2020, 11 (2), pp.89 (31). ⟨10.3390/info11020089⟩
Journal articles hal-03221876v1
Image document

Tool Support for Refactoring Manual Tests

Elodie Bernard , Julien Botella , Fabrice Ambert , Bruno Legeard , Mark Utting
13th International Conference on Software Testing, Verification and Validation, Oct 2020, Porto, Portugal
Conference papers hal-03221903v1

Claytronics: an Instance of Programmable Matter

Julien Bourgeois
Dagstuhl 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-transactions

Bruno Legeard
Forum Méthodes Formelles, Jun 2015, Toulouse, France
Conference papers hal-03221916v1

Système Pair-à-Pair du Positionnement intérieur basé sur le réseaux wifi

Issa Abdoua , Philippe Canalda , François Spies
Atelier du Collegium international SMYLE, Mar 2017, Neuchatel, Switzerland
Conference papers hal-03221924v1

Compatibility Control of Asynchronous Communicating Systems with Unbounded Buffers

Djaouida Dahmani , Mohamed Cherif Boukala , Hassan Mountassir , Samir Chouali
International Workshop on Petri Nets and Software Engineering, Jun 2017, Zaragoza, Spain
Conference papers hal-02963346v1

Uniform Circle Formation by Asynchronous Robots: A Fully-Distributed Approach

Shan Jiang , Jiannong Cao , Jia Wang , Milos Stojmenovic , Julien Bourgeois
International 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 Context

Laurent Lucien , Christophe Lang , Nicolas Marilleau , Laurent Philippe
International Conference on Ambient Systems, Networks and Technologies, May 2016, Madrid, Spain
Conference papers hal-02963421v1
Image document

Normalized blind STDM watermarking scheme for images and PDF documents robust against fixed gain attack

Makram Hatoum , Rony Darazi , Jean-François Couchot
Multimedia 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 metaheuristics

Qing Xu , Hakim Mabed , Alexandre Caminada , Frédéric Lassabe
International Symposium on Personal, Indoor and Mobile Radio Communications, Sep 2014, Washington, United States
Conference papers hal-03221888v1

Nanonetwork Minimum Energy coding

Muhammad Agus Zainuddin , Eugen Dedu , Julien Bourgeois
International Conference on Ubiquitous Intelligence and Computing, Dec 2014, Bali, Indonesia
Conference papers hal-03221891v1

Performance evaluation of P2P and Cloud computing applications

Bogdan Cornea , Julien Bourgeois , Vaidy Sunderam
Simulation of Distributed Computer Systems Users Days, Jun 2012, Valpré, Ecully, France
Conference papers hal-03223580v1
Image document

Development of an Adaptive Videoconferencing Framework for Collaborative Telemedicine

Ronnie Muthada Pottayya , Jean-Christophe Lapayre , Eric Garcia
International 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 measurement

Michel Lenczner , Bin Yang , Scott Cogan , Stéphane Domas , Ke Du , et al.
International Conference on Thermal, Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Microsystems, Apr 2016, Montpellier, France
Conference papers hal-02991857v1
Image document

PROLISEAN: A New Security Protocol for Programmable Matter

Edy Hourany , Bachir Habib , Camille Fountaine , Abdallah Makhoul , Benoit Piranda , et al.
ACM Transactions on Internet Technology, 2021, 21 (1), pp.22. ⟨10.1145/3432250⟩
Journal articles hal-03186562v1
Image document

GAPCoD: A Generic Assembly Planner by Constrained Disassembly

Florian Pescher , Benoit Piranda , Nils Napp , Julien Bourgeois
International Conference on Autonomous Agents and Multiagent Systems, May 2020, Auckland, New Zealand
Conference papers hal-03186610v1
Image document

Linear Distributed Clustering Algorithm for Modular Robots Based Programmable Matter

Jad Bassil , Mohamad Moussa , Abdallah Makhoul , Benoit Piranda , Julien Bourgeois
RSJ 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és

Jaafar Gaber , Ugur Tekin
Journée du GT ARC (Automatique et Réseaux de Communication), Apr 2018, Paris, France
Conference papers hal-02991585v1
Image document

Robust IoT time series classification with data compression and deep learning

Joseph Azar , Abdallah Makhoul , Raphael Couturier , Jacques Demerjian
Neurocomputing / EEG Neurocomputing, 2020, 398, pp.222 - 234
Journal articles hal-02993833v1
Image document

DistLog: A distributed logging scheme for IoT forensic

Hassan Noura , Ola Salman , Ali Chehab , Raphael Couturier
Ad Hoc Networks, 2020, 98, pp.102061 (16)
Journal articles hal-02993834v1
Image document

Efficient Distributed Average Consensus in Wireless Sensor Networks

Christophe Guyeux , Mohammed Haddad , Mourad Hakem , Matthieu Lagacherie
Computer Communications, 2020, 150, pp.115 - 121. ⟨10.1016/j.comcom.2019.11.006⟩
Journal articles hal-02993848v1
Image document

Enhanced Clustering Approach for Traffic Regulation in Directional Antennas based Nanonetworks

Lina Aliouat , Hakim Mabed , Julien Bourgeois
Annual Symposium on Applied Computing, Mar 2020, Brno, Czech Republic
Conference papers hal-02993850v1
Image document

A Wearable LoRa-Based Emergency System for Remote Safety Monitoring

Gaby Bou Tayeh , Joseph Azar , Abdallah Makhoul , Christophe Guyeux , Jacques Demerjian
International Wireless Communications and Mobile Computing Conference, Jun 2020, Limassol, Cyprus
Conference papers hal-02993852v1
Image document

From Linear Temporal Logic Properties to Rewrite Propositions

Pierre-Cyrille Héam , Vincent Hugot , Olga Kouchnarenko
IJCAR 2012, 6th Int. Joint Conf. on Automated Reasoning, Jan 2012, United Kingdom. pp.316-331
Conference papers hal-00956586v1
Image document

Tabu-NG : hybridation de programmation par contraintes et recherche locale pour la résolution de CSP

Mohammad Dib
Génie logiciel [cs.SE]. Université de Technologie de Belfort-Montbeliard, 2010. Français. ⟨NNT : 2010BELF0153⟩
Theses tel-00607503v1
Image document

Experiments in the use of tau-simulations for the components-verification of real-time systems

Françoise Bellegarde , Jacques Julliand , Hassan Mountassir , Emilie Oudot
SAVCBS'06, Specification and Verification of Component-Based Systems, 2006, United States. pp.33--40
Conference papers hal-00561443v1
Image document

An {I/O} Automata-based Approach to Verify Component Compatibility: Application to the {CyCab} Car

Samir Chouali , Hassan Mountassir , Sebti Mouelhi
FESCA'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
Image document

Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests

Fabrice Bouquet , Pierre-Christophe Bué , Jacques Julliand , Pierre-Alain Masson
A-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.0

Samir Chouali , Samuel Colin , Ahmed Hammad , Olga Kouchnarenko , Arnaud Lanoix , et al.
2007
Other publications hal-00181250v1