Accéder directement au contenu Accéder directement à la navigation


hal-01716143v1  Article dans une revue
Lamia AllalGhalem BelalemPhilippe DhaussyCiprian 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 BounceurBezoui MadaniMohammad HammoudehLoïc LagadecReinhardt 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. BruckerChristophe Osswald. Hypercycles and dissimilarities
Journal of Classification, Springer Verlag, 2009, pp.Non renseigne
hal-00518771v1  Article dans une revue
Arnaud CoatanhayJ.-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 GrosdidierAlexandre BaussardAli 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édouinCédric JoinEmmanuel DelaleauJean-Matthieu BourgeotShabnam 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édouinCédric JoinEmmanuel DelaleauJean-Matthieu BourgeotShabnam 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
hal-00771748v1  Communication dans un congrès
Stephen CreffJoë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 BenoitDescours QuentinDrouot BastienOlivier ReynetThibault 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 LannJoël ChampeauPapa Issa DialloPierre-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 FadiPhilippe 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 FadiPhilippe 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 FadiPhilippe 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 BenabbouSafia Nait BahloulPhilippe 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 LannThéotime BollengierMohamad NajemLoï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 FawalAli MansourM. NajemFrederic Le RoyDenis 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 MonperrusAntoine BeugnardJoë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⟩
...
hal-02303250v1  Communication dans un congrès
Nabil KadjouhAhcène BounceurAbdelkamel TariReinhardt EulerLoï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 AkkadR. AyoubiAli MansourB. 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 AulagnierHervé Le GallJoël Champeau. FPGA development with UML/MDA
Workshop CEPA2, 2005, Bruxelles, Belgium. pp.Non renseigné
...
hal-02441878v1  Communication dans un congrès
Mihal BrumbulliEmmanuel GaudinCiprian Teodorov. Automatic Verification of BPMN Models
10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France