|
||
---|---|---|
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-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-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-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-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-01006656v1
Article dans une revue
Transformation de modèles UML vers Fiacre, via les langages intermédiaires tUML et ABCD Génie logiciel, C & S, 2014, 109 |
||
hal-01373287v1
Article dans une revue
Past-Free[ze] reachability analysis: reaching further with DAG-directed exhaustive state-space analysis Journal of Software Testing, Verification, and Reliability, John Wiley & Sons, 2016, ⟨10.1002/stvr.1611⟩ ![]() |
||
hal-01802247v1
Communication dans un congrès
Embedded UML Model Execution to Bridge the Gap Between Design and Runtime MDE@DeRun 2018 : First International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems, Jun 2018, Toulouse, France |
||
hal-02501870v1
Chapitre d'ouvrage
DoTRo: A New Dominating Tree Routing Algorithm for Efficient and Fault-Tolerant Leader Election in WSNs and IoT Networks Renault É., Boumerdassi S., Bouzefrane S. (eds). Mobile, Secure, and Programmable Networking. MSPN 2018, 11005, Springer, Cham, pp.42-53, 2019, Lecture Notes in Computer Science, 978-3-030-03100-8. ⟨10.1007/978-3-030-03101-5_5⟩ |
||
hal-02375996v1
Communication dans un congrès
A Model Checkable UML Soccer Player 3rd Workshop on Model-Driven Engineering Tools, Sep 2019, Munich, Germany |
||
hal-02929122v1
Communication dans un congrès
Modular Deployment of UML Models for V&V Activities and Embedded Execution MoDeVVa, Oct 2020, Virtual Event, Canada. ⟨10.1145/3417990.3419227⟩ |
||
hal-01756186v1
Communication dans un congrès
Does Process Assessment Drive Process Learning? The Case of a Bachelor Capstone Project 2017 IEEE 30th Conference on Software Engineering Education and Training (CSEE&T), Nov 2017, Savannah, France. ⟨10.1109/CSEET.2017.39⟩ |
||
hal-01933792v1
Communication dans un congrès
A Problem-Oriented Approach to Critical System Design and Diagnosis Support 1st International Workshop on Modeling, Verification and Testing of Dependable Critical Systems (DETECT 2018), Oct 2018, Marrakesh, Morocco |
||
hal-01780556v1
Communication dans un congrès
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-02502483v1
Communication dans un congrès
Hacia una nueva plantilla para la especificación de requisitos en lenguaje natural semi-estructurado Requirements Engineering Track (RET) of CIbSE, 2019, Habana, Cuba |
||
hal-01585318v1
Communication dans un congrès
Towards one Model Interpreter for Both Design and Deployment 3rd International Workshop on Executable Modeling (EXE 2017), Sep 2017, Austin, United States |
||
hal-01595789v1
Communication dans un congrès
PAnTHErS: A Prototyping and Analysis Tool for Homomorphic Encryption Schemes SECRYPT: 14th International Conference on Security and Cryptography, Jul 2017, Madrid, Spain |
||
hal-01698582v1
Communication dans un congrès
Relating Student, Teacher and Third-Party Assessments in a Bachelor Capstone Project International Conference on Software Process Improvement and Capability Determination, SPICE 2017, Oct 2017, Palma de Mallorca, Spain. pp.499-506 |
||
hal-01829227v1
Communication dans un congrès
Detecting Gaps and Voids in WSNs and IoT Networks: the Minimum x-Coordinate based Method International Conference on Future Networks and Distr buted Systems (ICFNDS), Jun 2018, Amman, Jordan. ⟨10.1145/3231053.3231090⟩ |
||
hal-02303247v2
Communication dans un congrès
A New Leader Election Algorithm based on the WBS Algorithm Dedicated to Smart-cities 3rd International Conference on Future Networks and Distributed Systems (ICFNDS '19), Jul 2019, Paris, France. pp.1-5, ⟨10.1145/3341325.3342014⟩ |
||
hal-01804280v1
Communication dans un congrès
A new dominating tree routing algorithm for efficient leader election in IoT networks 15th IEEE Annual Consumer Communications & Networking Conference (CCNC), Jan 2018, Las Vegas, United States. ⟨10.1109/CCNC.2018.8319292⟩ |
||
hal-02434620v1
Communication dans un congrès
Partially Bounded Context-Aware Verification 17th International Conference on Software Engineering and Formal Methods, SEFM 2019, Sep 2019, Oslo, Norway. pp.532-548, ⟨10.1007/978-3-030-30446-1_28⟩ |
||
hal-02553261v1
Communication dans un congrès
Designing a combined personal communicator and data entry terminal for disaster relief & remote operations IEEE Global Humanitarian Technology Conference (GHTC), Oct 2019, Seattle, WA, United States |
||
hal-02433749v1
Communication dans un congrès
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-02924096v1
Article dans une revue
Comparando dos estrategias de aprendizaje activo para enseñar Scrum en un curso introductorio de ingeniería de software Ingeniare : Revista Chilena de Ingeniería, Universidad de Tarapacá, 2020, 28 (1), pp.83-94. ⟨10.4067/S0718-33052020000100083⟩ ![]() |
||
|