Recherche - ENSTA Bretagne

		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-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-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-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-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-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-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-01373317v1 Article dans une revue Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov. 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-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-01156518v1 Communication dans un congrès Jean-Philippe Schneider, Joël Champeau, Ciprian Teodorov, Eric Senn, Loic Lagadec et al. A Role Language to Interpret Multi-Formalism System of Systems Models Syscon 2015, IEEE, Apr 2015, Vancouver, Canada
	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-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-01006697v1 Communication dans un congrès Philippe Dhaussy, Ciprian Teodorov. Context-aware Veri cation of a Landing Gear System ABZ 2014, Jun 2014, Toulouse, France. pp.52-65
	hal-01203701v1 Communication dans un congrès Ciprian Teodorov, Luka Leroux, Philippe Dhaussy. 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-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-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-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
	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-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-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-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-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-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-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-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⟩
	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-01203649v1 Communication dans un congrès Khaoula Es-Salhi, Siham Rim Boudaoud, Ciprian Teodorov, Zoé Drey, Vincent Ribaud. KriQL: a query language for the diagnosis of transition systems 15th International Workshop on Automated Verification of Critical Systems - AVOCS'15, Sep 2015, Edimburgh, United Kingdom. pp.151-165
	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-01289454v1 Communication dans un congrès S Heim, Xavier Dumas, E Bonnafous, Philippe Dhaussy, C Teodorov et al. Model Checking of SCADE Designed Systems 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France
	hal-00782814v1 Article dans une revue Ciprian Teodorov, Loïc Lagadec. Model-driven physical-design automation for FPGAs: fast prototyping and legacy reuse Software: Practice and Experience, Wiley, 2013, 44 (4), pp.455-482. ⟨10.1002/spe.2190⟩
	tel-02515931v1 Thèse Ciprian Teodorov. Model-Driven Physical-Design for Future Nanoscale Architectures Emerging Technologies [cs.ET]. Université de Bretagne Occidentale (UBO), Brest, 2011. English
	hal-00998533v1 Article dans une revue Loïc Lagadec, Ciprian Teodorov, Jean-Christophe Le Lann, Damien Picard, Erwan Fabiani. 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-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-01060601v2 Rapport Julien Deantoni, Papa Issa Diallo, Joël Champeau, Benoit Combemale, Ciprian Teodorov. Operational Semantics of the Model of Concurrency and Communication Language [Research Report] RR-8584, INRIA. 2014, pp.23
	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-01373287v1 Article dans une revue Ciprian Teodorov, Luka Le Roux, Zoé Drey, Philippe Dhaussy. 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-01179474v1 Pré-publication, Document de travail Sebastián Tleye, Ciprian Teodorov, Erwan Fabiani, Loïc Lagadec. Phadeo : un environnement pour FPGA virtuel 2015
	hal-02515359v1 Chapitre d'ouvrage Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov. Proposed Algorithms to the State Explosion Problem Aynur Unal; Malaya Nayak; Durgesh Kumar Mishra; Dharm Singh; Joshi Amit. Smart Trends in Information Technology and Computer Communications. First International Conference, SmartCom 2016, Jaipur, India, August 6–7, 2016, Revised Selected Papers, 628, Springer, pp.211-217, 2016, Communications in Computer and Information Science book series (CCIS), 978-981-10-3433-6 (eBook); 978-981-10-3432-9 (Softcover). ⟨10.1007/978-981-10-3433-6_26⟩
	hal-01373327v1 Article dans une revue Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov. Sequential and Parallel Algorithms for the State Space Exploration Cybernetics and Information Technologies, 2016, 16 (1), ⟨10.1515/cait-2016-0001⟩
	hal-01119571v1 Communication dans un congrès Vincent Ribaud, Ciprian Teodorov, Zoé Drey, Luka Leroux, Philippe Dhaussy. Techniques and Challenges for Trace Processing from a Model-Checking Perspective International Joint Conferences on Computer, Information, Systems Sciences, & Engineering - CISSE 2014, University of Bridgeport, Dec 2014, Bridgeport, United States
	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-01090362v1 Communication dans un congrès Jean-Philippe Schneider, Ciprian Teodorov, Eric Senn, Joël Champeau. Towards a Dynamic Infrastructure for Playing withSystems of Systems ECSA 2014, Aug 2014, Vienne, Austria
	hal-01087442v1 Communication dans un congrès Julien Deantoni, Papa Issa Diallo, Ciprian Teodorov, Joël Champeau, Benoit Combemale. Towards a Meta-Language for the Concurrency Concern in DSLs Design, Automation and Test in Europe Conference and Exhibition (DATE), Mar 2015, Grenoble, France
	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-01006656v1 Article dans une revue Frédéric Jouault, Ciprian Teodorov, Jérôme Delatour, Luka Le Roux, Philippe Dhaussy. Transformation de modèles UML vers Fiacre, via les langages intermédiaires tUML et ABCD Génie logiciel, C & S, 2014, 109
	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-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-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-01006676v1 Article dans une revue Philippe Dhaussy, Luka Le Roux, Ciprian Teodorov. Vérification formelle de propriétés : Application de l'outil OBP au cas d'étude CCS Génie logiciel, C & S, 2014, 109
	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⟩
		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