Accéder directement au contenu Accéder directement à la navigation
  1. Recherche


hal-01090466v1  Chapitre d'ouvrage
Nader Khammassi, Jean-Christophe Le Lann. XPU: A C++ Metaprogramming Approach to Ease Parallelism Expression: Parallelization Methodology, Internal Design and Practical Application
Parallel Programming: Practical Aspects, Models and Current Limitations, NOVA publishers, pp.175-198, 2014, 978-1-60741-263-2
...
hal-00926183v1  Communication dans un congrès
Ali Mansour, Isabelle Leblond, Denis Hamad, Luis Felipe Artigas. Wireless Sensor Networks for Ecosystem Monitoring & Port Surveillance
2nd Symposium on Wireless Sensor and Cellular Networks 2013 (WSCN 2013), Dec 2013, Jeddah, Saudi Arabia
hal-00518870v1  Communication dans un congrès
Felix Totir, Emanuel Radoi, Cornel Ioana, André Quinquis. Wavelet Decomposition Based Discriminant Parameters for Image Classification
IEEE International Conference Communications, 2002, Bucarest, Romania. pp.Non renseigne
hal-02924177v1  Communication dans un congrès
Viet-Dung Nguyen, Huy Phan, Ali Mansour, Arnaud Coatanhay. VoglerNet: multiple knife-edge diffraction using deep neural network
2020 14th European Conference on Antennas and Propagation (EuCAP), Mar 2020, Copenhagen, France. pp.1-5, ⟨10.23919/EuCAP48036.2020.9135548⟩
hal-01371484v1  Communication dans un congrès
Dominique Monnet, Luc Jaulin, Jordan Ninin, Alexandre Chapoutot, Julien Alexandre Dit Sandretto. Viability kernel computation based on interval methods
Small Workshop on Interval Methods, Jun 2015, Prague, Czech Republic
...
hal-02433749v1  Communication dans un congrès
Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy. Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach
22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2019, 2019, Munich, Germany. pp.161-171, ⟨10.1109/MODELS.2019.000-5⟩
hal-00518738v1  Communication dans un congrès
Felix Totir, Emanuel Radoi, André Quinquis. Validation of complex naval target models using superresolution imagery methods
IEEE OCEANS`05 EUROPE, 2005, Brest, France. pp.Non renseigne
hal-01864805v1  Communication dans un congrès
Obeid Fadi, Philippe Dhaussy. Validation formelle d’architecture logicielle basée sur des patrons de sécurité
17e journées AFADL 2018, Approches Formelles dans l’Assistance au Développement de Logiciel, Jun 2018, Grenoble, France
hal-02304760v1  Chapitre d'ouvrage
Ahmad Hani El Fawal, Ali Mansour, Mohamad Najem. V2V Influence on M2M and H2H Traffics During Emergency Scenarios
Global Advancements in Connected and Intelligent Mobility: Emerging Research and Opportunities, IGI Global, pp.93-134, 2019, 9781522590194. ⟨10.4018/978-1-5225-9019-4.ch003⟩
hal-01780556v1  Communication dans un congrès
Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov. Using Parallel and Distributed Reachability in Model Checking
Recent Advancement in Computer, Communication and Computational Sciences (RACCCS-2017), Sep 2017, Ajmer, India. pp.143-154, ⟨10.1007/978-981-10-7386-1_12⟩
...
hal-00354356v1  Communication dans un congrès
Ali Koudri, Denis Aulagnier, Didier Vojtisek, Philippe Soulard, Christophe Moy et al.  Using MARTE in a Co-Design Methodology
MARTE UML profile workshop co-located with DATE'08, Mar 2008, Munich, Germany. 6 p
hal-01887948v1  Communication dans un congrès
Valentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Teodorov, Philippe Dhaussy. Unified LTL Verification and Embedded Execution of UML Models
21st International Conference on Model Driven Engineering Languages and Systems (MODELS), Oct 2018, Copenhague, Denmark
...
hal-01707169v1  Article dans une revue
Muhammad Ammad-Uddin, Ali Mansour, Denis Le Jeune, Mohammad Ayaz, El-Hadi M. Aggoune. UAV-Assisted Dynamic Clustering of Wireless Sensor Networks for Crop Health Monitoring
Sensors, MDPI, 2018, 18 (2), pp.555. ⟨10.3390/s18020555⟩
hal-03127356v1  Communication dans un congrès
Ghattas Akkad, Ali Mansour, Bachar Elhassan, Elie Inaty, Rafic Ayoubi. Two Stages Parallel LMS Structure: A Pipelined Hardware Architecture
2020 28th European Signal Processing Conference (EUSIPCO), Jan 2021, Amsterdam, Netherlands. pp.2363-2367, ⟨10.23919/Eusipco47968.2020.9287770⟩
hal-00518842v1  Communication dans un congrès
Emanuel Radoi, André Quinquis, P. Saulais. Two Methods for Simulating Non-Gaussian Highly Correlated Sea Clutter Maps
OCEANS 2003, 2003, San Diego, United States. pp.Non renseigne
hal-03109596v1  Communication dans un congrès
Abdelmalek Toumi, Jean-Christophe Cexus, Khenchaf Ali, Antoine Tartivel. Transfer learning on CNN architectures for ship classification on SAR images
Sea Tech Week - Session Remote Sensing, Oct 2020, Brest, France
hal-01472914v1  Communication dans un congrès
Weiqing Zhang, Vincent Leilde, Birger Moller-Pedersen, Christophe Guychard, Joël Champeau. Towards Tool Integration through Artifacts and Roles
Asia-Pacific Software Engineering Conference, 2012, Hong Kong, China. pp.603-613, ⟨10.1109/APSEC.2012.45 ·⟩
hal-01585318v1  Communication dans un congrès
Valentin Besnard, Matthias Brun, Philippe Dhaussy, Frédéric Jouault, David Olivier et al.  Towards one Model Interpreter for Both Design and Deployment
3rd International Workshop on Executable Modeling (EXE 2017), Sep 2017, Austin, United States
hal-01326351v1  Article dans une revue
Nadia Menad, Philippe Dhaussy, Zoé Drey, Rachida Mekki. TOWARDS A TRANSFORMATION APPROACH OF TIMED UML MARTE SPECIFICATIONS FOR OBSERVER-BASED FORMAL VERIFICATION
Computing and Informatics, Slovak University Press, Bratislava, 2016, 35, pp.1001-1031
...
hal-00690923v1  Communication dans un congrès
Hanh Nhi Tran, Christian Percebois. Towards a Rule-level Verification Framework for Property-Preserving Graph Transformations
ICST (International Conference on Software Testing, Verification and Validation) Workshop on Verification and validation Of model Transformations (VOLT), Apr 2012, Montreal, Canada
...
hal-02502411v1  Article dans une revue
Raúl Mazo, Carlos Andrés Jaramillo, Paola Vallejo, Jhon Medina. Towards a new template for the specification of requirements in semi-structured natural language
Journal of Software Engineering Research and Development, Brazilian Computer Society, 2020, 8, pp.3. ⟨10.5753/jserd.2020.473⟩
...
hal-01087442v1  Communication dans un congrès
Julien Deantoni, Papa Issa Diallo, Ciprian Teodorov, Joël Champeau, Benoit Combemale. Towards a Meta-Language for the Concurrency Concern in DSLs
Design, Automation and Test in Europe Conference and Exhibition (DATE), Mar 2015, Grenoble, France
...
hal-02513256v1  Communication dans un congrès
Jean-Christophe Le Lann, Hannah Badier, Florent Kermarrec. Towards a Hardware DSL Ecosystem: RubyRTL and Friends
OSDA'2020 Open Source Hardware Design, colocated with DATE'20, Mar 2020, Grenoble, France