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 48 documents Exporter XML-TEI BibTeX EndNote CSV PDF RTF Export avancé... Syndication RSS ATOM
	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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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⟩
	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-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-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-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-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-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-01179474v1 Pré-publication, Document de travail Sebastián Tleye, Ciprian Teodorov, Erwan Fabiani, Loïc Lagadec. Phadeo : un environnement pour FPGA virtuel 2015
	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-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-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-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-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⟩
	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 48 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