Recherche - ENSTA Bretagne

	1 2 Suivant Dernière	Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Merci d'indiquer la raison de votre demande Pour les 49 documents Exporter XML-TEI BibTeX EndNote CSV PDF RTF Export avancé... Syndication RSS ATOM
	hal-03188864v1 Communication dans un congrès Hiba Hnaini, Luka Leroux, Joël Champeau, Ciprian Teodorov. Security property modeling 7th International Conference on Information Systems Security and Privacy, ICISSP 2021, Feb 2021, Vienne - Virtual Online, Austria. pp.694-701
	hal-02929122v1 Communication dans un congrès Valentin Besnard, Frédéric Jouault, Matthias Brun, C Teodorov, Philippe Dhaussy. Modular Deployment of UML Models for V&V Activities and Embedded Execution MoDeVVa, Oct 2020, Virtual Event, Canada. ⟨10.1145/3417990.3419227⟩
	hal-02931876v1 Communication dans un congrès Frédéric Jouault, Valentin Besnard, Théo Le Calvar, Ciprian Teodorov, Matthias Brun et al. Designing, Animating, and Verifying Partial UML Models 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS 2020), Oct 2020, Virtual event, Canada. pp.211-217, ⟨10.1145/3365438.3410967⟩
	hal-03028409v1 Communication dans un congrès Émilien Fournier, Ciprian Teodorov, Loïc Lagadec. Menhir: Generic High-Speed FPGA Model-Checker 2020 23rd Euromicro Conference on Digital System Design (DSD), Aug 2020, Kranj, Slovenia. pp.65-72, ⟨10.1109/DSD51259.2020.00022⟩
	hal-02502387v1 Communication dans un congrès Tithnara Sun, Bastien Drouot, Fahad Rafique Golra, Joël Champeau, Sylvain Guerin et al. A Domain-specific Modeling Framework for Attack Surface Modeling ICISSP 2020 : 6th International Conference on Information Systems Security and Privacy, Feb 2020, Valetta, Malta. pp.341 - 348, ⟨10.5220/0008916203410348⟩
	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
	hal-02924057v1 Article dans une revue Nabil Kadjouh, Ahcène Bounceur, Bezoui Madani, Mohamed Essaid Khanouche, Reinhardt Euler et al. A Dominating Tree Based Leader Election Algorithm for Smart Cities IoT Infrastructure Mobile Networks and Applications, Springer Verlag, 2020, ⟨10.1007/s11036-020-01599-z⟩
	hal-02515160v1 Communication dans un congrès Ousmane Diallo, Philippe Dhaussy, Ciprian Teodorov. Data Management Mechanisms for Internet of Things: A position paper CSCI 2019, The American Council on Science and Education, Dec 2019, Las Vegas, United States. pp.61, ⟨10.1109/CSCI49370.2019⟩
	hal-02434620v1 Communication dans un congrès Luka Le Roux, Ciprian Teodorov. 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-02375996v1 Communication dans un congrès Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy. A Model Checkable UML Soccer Player 3rd Workshop on Model-Driven Engineering Tools, Sep 2019, Munich, Germany
	hal-02303247v2 Communication dans un congrès Nabil Kadjouh, Ahcène Bounceur, Abdelkamel Tari, Loïc Lagadec, Reinhardt Euler et al. 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-02149584v1 Communication dans un congrès Fahad Rafique Golra, Joël Champeau, Ciprian Teodorov. Early Validation Framework for Critical and Complex Process-Centric Systems 20th International Conference (BPMDS 2019) and 24th International Conference (EMMSAD 2019), Jun 2019, Rome, Italy. pp.35-50, ⟨10.1007/978-3-030-20618-5_3⟩
	hal-02501870v1 Chapitre d'ouvrage Ahcène Bounceur, Bezoui Madani, Loïc Lagadec, Reinhardt Euler, Abdelkader Laouid et al. 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-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-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-01933794v1 Communication dans un congrès Vincent Leilde, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy. Domain-oriented Verification Management 8th International Conference on Model and Data Engineering (MEDI 2018), Oct 2018, Marrakesh, Morocco. pp.30-39
	hal-01933792v1 Communication dans un congrès Vincent Leilde, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy. 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-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-01802247v1 Communication dans un congrès Valentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Teodorov, Philippe Dhaussy. 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-01829227v1 Communication dans un congrès Ahcène Bounceur, Bezoui Madani, Loïc Lagadec, Reinhardt Euler, Abdelkader Laouid et al. 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-01829251v1 Communication dans un congrès Ahcène Bounceur, Bezoui Madani, Loïc Lagadec, Reinhardt Euler, Abdelkader Laouid et al. DoTRo: A New Dominating Tree Routing Algorithm for Efficient and Fault-Tolerant Leader Election in WSNs and IoT Networks 4th International Conference on Mobile, Secure and Programmable Networking (MSPN 2018), Jun 2018, Paris, France. pp.42-53
	hal-02515020v1 Chapitre d'ouvrage Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov. 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-01804280v1 Communication dans un congrès Ahcène Bounceur, Bezoui Madani, Massinissa Lounis, Reinhardt Euler, Ciprian Teodorov. 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-01704422v1 Communication dans un congrès Ahcène Bounceur, Olivier Marc, Massinissa Lounis, Julien Soler, Laurent Clavier et al. CupCarbon-Lab: An IoT Emulator IEEE Consumer Communications & Networking Conference, Jan 2018, Las Vegas, United States. ⟨10.1109/CCNC.2018.8319313⟩
	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-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-01559688v1 Communication dans un congrès Vincent Leilde, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy. A Diagnosis Framework for Critical Systems Verification 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, Sep 2017, Trente, Italy. Short Papers 1-6
	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-01623030v1 Communication dans un congrès Erwan Fabiani, Loïc Lagadec, Mohamed Ben Hammouda, Ciprian Teodorov. Asserting causal properties in High Level Synthesis 2017 IEEE 2nd International Verification and Security Workshop (IVSW), Jul 2017, Thessaloniki, Greece
	hal-01373335v1 Article dans une revue Ciprian Teodorov, Philippe Dhaussy, Luka Le Roux. Environment-driven reachability for timed systems International Journal on Software Tools for Technology Transfer, Springer Verlag, 2017, 19 (2), pp.229-245. ⟨10.1007/s10009-015-0401-2⟩
	1 2 Suivant Dernière	Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 49 documents Exporter XML-TEI BibTeX EndNote CSV PDF RTF Export avancé... Syndication RSS ATOM

Type de document Réduire

Auteur Réduire

Domaine Réduire

Laboratoire Réduire

Langue Réduire

Type de dépôt Réduire

Année Réduire