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


hal-01716143v1  Article dans une revue
Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov. Distributed algorithm to fight the state explosion problem
INDERSCIENCE International Journal of Internet Technology and Secured Transactions., Inderscience Enterprises, 2018, 8 (3), pp.398 - 411. ⟨10.1504/IJITST.2018.10014833⟩
...
hal-02303242v1  Article dans une revue
Ahcène Bounceur, Bezoui Madani, Mohammad Hammoudeh, Loïc Lagadec, Reinhardt Euler. Finding the polygon hull of a network without conditions on the starting vertex
Transactions on emerging telecommunications technologies, Wiley-Blackwell, In press, pp.e3696. ⟨10.1002/ett.3696⟩
hal-00518532v1  Article dans une revue
F. Brucker, Christophe Osswald. Hypercycles and dissimilarities
Journal of Classification, Springer Verlag, 2009, pp.Non renseigne
hal-00518771v1  Article dans une revue
Arnaud Coatanhay, J.-M. Conoir. Scattering Near a Plane Interface Using a Generalized Method of Images Approach
Journal of Computational Acoustics, World Scientific Publishing, 2004, pp.Non renseigne
hal-00518509v1  Article dans une revue
Samuel Grosdidier, Alexandre Baussard, Ali Khenchaf. HFSW Radar model: Simulation and measurement
IEEE Transactions on Geoscience and Remote Sensing, Institute of Electrical and Electronics Engineers, 2010, 48 (9), pp.3539-3549
...
inria-00261891v1  Communication dans un congrès
Pierre-Antoine Gédouin, Cédric Join, Emmanuel Delaleau, Jean-Matthieu Bourgeot, Shabnam Arbab-Chirani et al.  Model-free control of shape memory alloys antagonistic actuators
17th IFAC World Congress, Jul 2008, Seoul, South Korea. pp.CDROM
...
inria-00424933v2  Communication dans un congrès
Pierre-Antoine Gédouin, Cédric Join, Emmanuel Delaleau, Jean-Matthieu Bourgeot, Shabnam Arbab-Chirani et al.  A new control strategy for shape memory alloys actuators
8th European Symposium on Martensitic Transformations, Sep 2009, Prague, Czech Republic. pp.CDROM
...
inria-00563941v1  Article dans une revue
Pierre-Antoine Gédouin, Emmanuel Delaleau, Jean-Matthieu Bourgeot, Cédric Join, Shabnam Arbab-Chirani et al.  Experimental comparison of classical pid and model-free control: position control of a shape memory alloy active spring
Control Engineering Practice, Elsevier, 2011, 19 (5), pp.433-441. ⟨10.1016/j.conengprac.2011.01.005⟩
hal-00771748v1  Communication dans un congrès
Stephen Creff, Joël Champeau. Relationships in Variability Modeling Approaches: A Survey and Classification
5ème journée Lignes de Produits, Nov 2012, Villeneuve d'Ascq, France
hal-01206069v1  Communication dans un congrès
Bourdon Benoit, Descours Quentin, Drouot Bastien, Olivier Reynet, Thibault Viravau. SWARMON—Real-Time Localization System
International Robotic Sailing Conference, Aug 2015, Åland, Finland. ⟨10.1007/978-3-319-23335-2⟩
hal-01206527v1  Communication dans un congrès
Philippe Dhaussy. Formal Validation with Model-Checking Techniques
ICNTC'2012, Dec 2012, Chlef, Algérie
...
hal-00771758v1  Communication dans un congrès
Jean-Christophe Le Lann, Joël Champeau, Papa Issa Diallo, Pierre-Laurent Lagalaye. From system-level models to heterogeneous embedded systems
RITF 2012 - Recherche et Innovation pour les Transports du Futur, Nov 2012, Paris, France. pp.XX
hal-01864787v1  Communication dans un congrès
Obeid Fadi, Philippe Dhaussy. Model-checking for Secured Component Implementation.
17th International Conference on Security and Management (SAM’18), Jul 2018, Las Vegas, United States
hal-01864790v1  Communication dans un congrès
Obeid Fadi, Philippe Dhaussy. Secure Communication Protocol: Application to Large Number of Distributed Sensors
17th International Conference on Security and Management (SAM’18), Jul 2018, Las Vegas, United States
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-01864825v1  Communication dans un congrès
Amel Benabbou, Safia Nait Bahloul, Philippe Dhaussy. An Automated Transformation Approach for Requirement Specification
Conf ITQM’16, Aug 2016, Séoul, South Korea
hal-01867638v1  Communication dans un congrès
Jean-Christophe Le Lann, Théotime Bollengier, Mohamad Najem, Loïc Lagadec. An Integrated Toolchain for Overlay-centric System-on-chip
13th International Symposium on Reconfigurable Communication-centric Systems-on-Chip 2018 (ReCoSoC 2018), Jul 2018, Lille, France. ⟨10.1109/ReCoSoC.2018.8449388⟩
...
hal-01867767v1  Communication dans un congrès
Ahmad Hani El Fawal, Ali Mansour, M. Najem, Frederic Le Roy, Denis Le Jeune. CTMC modeling for M2M/H2H coexistence in a NB-IoT Adaptive eNodeB
11th IEEE International Conference on Internet of Things (iThings-2018), Jul 2018, Halifax, Canada
...
hal-00517466v1  Communication dans un congrès
Martin Monperrus, Antoine Beugnard, Joël Champeau. A Definition of Abstraction Level for Metamodels
7th IEEE Workshop on Model-Based Development for Computer Based systems, 2009, San Francisco, United States. ⟨10.1109/ECBS.2009.41⟩
...
tel-01505280v2  Thèse
Seifallah Ben Saad. Conception d'un algorithme de coordination hybride de groupes de robots sous-marins communicants. Application : acquisition optique systématique et détaillée des fonds marins
Système multi-agents [cs.MA]. Université de Bretagne occidentale - Brest, 2016. Français. ⟨NNT : 2016BRES0052⟩
...
hal-02303250v1  Communication dans un congrès
Nabil Kadjouh, Ahcène Bounceur, Abdelkamel Tari, Reinhardt Euler, Loïc Lagadec et al.  Temperature-based models of batteries for the simulation of Wireless Sensor Networks
3rd International Conferenceon on Future Networks and Distributed Systems, Jul 2019, Paris, France. pp.1-6, ⟨10.1145/3341325.3342013⟩
hal-02439264v1  Communication dans un congrès
Ghattas Akkad, R. Ayoubi, Ali Mansour, B. Elhassan. Hardware Architecture for a Bit-Serial Odd-Even Transposition Sort Network with On-The-Fly Compare and Swap
7th International Workshop Applications in Electronics Pervading Industry, Environment & Society (ApplePies 2019), Sep 2019, Pisa, Italy
hal-00541450v1  Communication dans un congrès
Denis Aulagnier, Hervé Le Gall, Joël Champeau. FPGA development with UML/MDA
Workshop CEPA2, 2005, Bruxelles, Belgium. pp.Non renseigné
...
hal-02441878v1  Communication dans un congrès
Mihal Brumbulli, Emmanuel Gaudin, Ciprian Teodorov. Automatic Verification of BPMN Models
10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France