|
||
---|---|---|
hal-01716143v1
Article dans une revue
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
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-01192720v1
Communication dans un congrès
Role Framework to Support Collaborative Virtual Prototyping of System of Systems WETICE 2015, IEEE, Jun 2015, Larnaca, Cyprus |
||
hal-00771748v1
Communication dans un congrès
Relationships in Variability Modeling Approaches: A Survey and Classification 5ème journée Lignes de Produits, Nov 2012, Villeneuve d'Ascq, France |
||
hal-01203701v1
Communication dans un congrès
Context-Aware Verification of a Cruise-Control System MEDI 2014, Sep 2015, Larnaca, Cyprus. pp.53-64, ⟨10.1007/978-3-319-11587-0_7⟩ |
||
hal-01206522v1
Communication dans un congrès
Approche pour la Vérification Formelle de Propriétés : Application au Développement Industriel de Logiciels Embarqués JDIM’14, Jun 2014, Mostaganem, Algeria |
||
hal-00777127v1
Communication dans un congrès
Subpixel image registration for coherent change detection between two high resolution sonar passes ICoURS'12, Oct 2012, Brest, France |
||
hal-00771758v1
Communication dans un congrès
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
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
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
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
An Automated Transformation Approach for Requirement Specification Conf ITQM’16, Aug 2016, Séoul, South Korea |
||
hal-01867638v1
Communication dans un congrès
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
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-02303250v1
Communication dans un congrès
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
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-02441878v1
Communication dans un congrès
Automatic Verification of BPMN Models 10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France |
||
hal-00998533v1
Article dans une revue
Model-Driven Toolset for Embedded Reconfigurable Cores: Flexible Prototyping and Software-like Debugging Science of Computer Programming, Elsevier, 2014, pp.1. ⟨10.1016/j.scico.2014.02.015⟩ ![]() |
||
hal-01158161v1
Chapitre d'ouvrage
Optimal Path Planning for Information based Localization Advanced Computational Methods for Knowledge Engineering, 282, Springer, pp.377-388, 2014, Advanced Computational Methods for Knowledge Engineering, 978-3-319-06568-7. ⟨10.1007/978-3-319-06569-4_28⟩ |
||
hal-00635969v1
Chapitre d'ouvrage
Model integration for formal qualification of timing-aware software data acquisition components Model Driven Engineering for Distributed Real-Times and Embedded Systems, ISTE, pp.167-200, 2010 |
||
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-00926818v1
Article dans une revue
Fusion Fourier descriptors from the EM, International Journal of Computer and Information Technology, 2013, 2 (4) |
||
hal-02304760v1
Chapitre d'ouvrage
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-00925170v1
Article dans une revue
Segmentation des images sonar latéral assurant l'invariance en rasance Traitement du Signal, Lavoisier, 2013, 30 (3-4-5/2013), pp.119-148. ⟨10.3166/TS.30.119-148⟩ |
||
hal-01089392v1
Direction d'ouvrage, Proceedings, Dossier
Preface to the special issue on advances in Smalltalk based systems France. 96 (1), pp.1-3, 2014, Science of Computer Programming, ⟨10.1016/j.scico.2014.07.004⟩ ![]() |
||
hal-00862485v1
Chapitre d'ouvrage
Modélisation de l'étude de cas avec MARTE Hermes. Modélisation et analyse de systèmes embarqués, Lavoisier, pp.161-178, 2013, SEE, 978-2-7462-3900-5 |
||
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-00738735v1
Article dans une revue
Improving Model Checking with Context Modelling Advances in Software Engineering, 2012, 2012, pp.ID 547157. ⟨10.1155/2012/547157⟩ ![]() |
||
hal-00676423v1
Chapitre d'ouvrage
Context Aware Model-Checking for Embedded Software Embedded Systems - Theory and Design Methodology, InTech, ISBN: 978-953-51-0167-3 p. 167-184, 2012 |
||
hal-00782810v1
Direction d'ouvrage, Proceedings, Dossier
International workshop on smalltalk technologies 2011 special issue (Journal of Software: Practice and Experience) Wiley, pp.91, 2014, ⟨10.1002/spe.2172⟩ ![]() |
||
|