Recherche - ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne Accéder directement au contenu

Filtrer vos résultats

50 Résultats
hal_authIdPerson_i : 9871

Proposed Algorithms to the State Explosion Problem

Lamia Allal , Ghalem Belalem , Philippe Dhaussy , Ciprian Teodorov
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⟩
Chapitre d'ouvrage hal-02515359v1

Data Management Mechanisms for Internet of Things: A position paper

Ousmane Diallo , Philippe Dhaussy , Ciprian Teodorov
CSCI 2019, The American Council on Science and Education, Dec 2019, Las Vegas, United States. pp.61, ⟨10.1109/CSCI49370.2019⟩
Communication dans un congrès hal-02515160v1

Asserting causal properties in High Level Synthesis

Erwan Fabiani , Loïc Lagadec , Mohamed Ben Hammouda , Ciprian Teodorov
2017 IEEE 2nd International Verification and Security Workshop (IVSW), Jul 2017, Thessaloniki, Greece
Communication dans un congrès hal-01623030v1

Environment-driven reachability for timed systems

Ciprian Teodorov , Philippe Dhaussy , Luka Le Roux
International Journal on Software Tools for Technology Transfer, 2017, 19 (2), pp.229-245. ⟨10.1007/s10009-015-0401-2⟩
Article dans une revue hal-01373335v1

Embedded UML Model Execution to Bridge the Gap Between Design and Runtime

Valentin Besnard , Matthias Brun , Frédéric Jouault , Ciprian Teodorov , Philippe Dhaussy
MDE@DeRun 2018 : First International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems, Jun 2018, Toulouse, France
Communication dans un congrès hal-01802247v1
Image document

Model Checking of SCADE Designed Systems

S Heim , Xavier Dumas , E Bonnafous , Philippe Dhaussy , C Teodorov , et al.
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France
Communication dans un congrès hal-01289454v1

Practical multiverse debugging through user-defined reductions

Matthias Pasquier , Ciprian Teodorov , Frédéric Jouault , Matthias Brun , Luka Le Roux , et al.
MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, Oct 2022, Montreal Quebec Canada, Canada. pp.87-97, ⟨10.1145/3550355.3552447⟩
Communication dans un congrès hal-03891589v1

A Role Language to Interpret Multi-Formalism System of Systems Models

Jean-Philippe Schneider , Joël Champeau , Ciprian Teodorov , Eric Senn , Loic Lagadec
Syscon 2015, IEEE, Apr 2015, Vancouver, Canada
Communication dans un congrès hal-01156518v1
Image document

Phadeo : un environnement pour FPGA virtuel

Sebastián Tleye , Ciprian Teodorov , Erwan Fabiani , Loic Lagadec
2015
Pré-publication, Document de travail hal-01179474v1

Dolmen: FPGA Swarm for Safety and Liveness Verification

Emilien Fournier , Ciprian Teodorov , Loïc Lagadec
2022 Design, Automation & Test in Europe Conference & Exhibition (DATE), Mar 2022, Antwerp, Belgium. pp.1425-1430, ⟨10.23919/DATE54114.2022.9774528⟩
Communication dans un congrès hal-03708237v1
Image document

Partially Bounded Context-Aware Verification

Luka Le Roux , Ciprian Teodorov
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⟩
Communication dans un congrès hal-02434620v1

Designing, Animating, and Verifying Partial UML Models

Frédéric Jouault , Valentin Besnard , Théo Le Calvar , Ciprian Teodorov , Matthias Brun , et al.
23rd International Conference on Model Driven Engineering Languages and Systems (MODELS 2020), Oct 2020, Virtual event, Canada. pp.211-217, ⟨10.1145/3365438.3410967⟩
Communication dans un congrès hal-02931876v1
Image document

Model-Driven Physical-Design for Future Nanoscale Architectures

Ciprian Teodorov
Emerging Technologies [cs.ET]. Université de Bretagne Occidentale (UBO), Brest, 2011. English. ⟨NNT : ⟩
Thèse tel-02515931v1

Model-Driven Toolset for Embedded Reconfigurable Cores: Flexible Prototyping and Software-like Debugging

Loic Lagadec , Ciprian Teodorov , Jean-Christophe Le Lann , Damien Picard , Erwan Fabiani
Science of Computer Programming, 2014, pp.1. ⟨10.1016/j.scico.2014.02.015⟩
Article dans une revue hal-00998533v1

Distributed algorithm to fight the state explosion problem

Lamia Allal , Ghalem Belalem , Philippe Dhaussy , Ciprian Teodorov
INDERSCIENCE International Journal of Internet Technology and Secured Transactions., 2018, 8 (3), pp.398 - 411. ⟨10.1504/IJITST.2018.10014833⟩
Article dans une revue hal-01716143v1
Image document

A Domain-specific Modeling Framework for Attack Surface Modeling

Tithnara Nicolas Sun , Bastien Drouot , Fahad R Golra , Joël Champeau , Sylvain Guerin , et al.
ICISSP 2020 : 6th International Conference on Information Systems Security and Privacy, Feb 2020, Valetta, Malta. pp.341 - 348, ⟨10.5220/0008916203410348⟩
Communication dans un congrès hal-02502387v1

Unified LTL Verification and Embedded Execution of UML Models

Valentin Besnard , Matthias Brun , Frédéric Jouault , Ciprian Teodorov , Philippe Dhaussy
21st International Conference on Model Driven Engineering Languages and Systems (MODELS), Oct 2018, Copenhague, Denmark
Communication dans un congrès hal-01887948v1

Vérification formelle de propriétés : Application de l'outil OBP au cas d'étude CCS

Philippe Dhaussy , Luka Le Roux , Ciprian Teodorov
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2014, 109
Article dans une revue hal-01006676v1

Transformation de modèles UML vers Fiacre, via les langages intermédiaires tUML et ABCD

Frédéric Jouault , Ciprian Teodorov , Jérôme Delatour , Luka Le Roux , Philippe Dhaussy
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2014, 109
Article dans une revue hal-01006656v1
Image document

KriQL: a query language for the diagnosis of transition systems

Khaoula Es-Salhi , Siham Rim Boudaoud , Ciprian Teodorov , Zoé Drey , Vincent Ribaud
15th International Workshop on Automated Verification of Critical Systems - AVOCS'15, Sep 2015, Edimburgh, United Kingdom. pp.151-165
Communication dans un congrès hal-01203649v1
Image document

Techniques and Challenges for Trace Processing from a Model-Checking Perspective

Vincent Ribaud , Ciprian Teodorov , Zoé Drey , Luka Leroux , Philippe Dhaussy
International Joint Conferences on Computer, Information, Systems Sciences, & Engineering - CISSE 2014, University of Bridgeport, Dec 2014, Bridgeport, United States
Communication dans un congrès hal-01119571v1

A Model Checkable UML Soccer Player

Valentin Besnard , Ciprian Teodorov , Frédéric Jouault , Matthias Brun , Philippe Dhaussy
3rd Workshop on Model-Driven Engineering Tools, Sep 2019, Munich, Germany
Communication dans un congrès hal-02375996v1
Image document

A Problem-Oriented Approach to Critical System Design and Diagnosis Support

Vincent Leilde , Vincent Ribaud , Ciprian Teodorov , Philippe Dhaussy
1st International Workshop on Modeling, Verification and Testing of Dependable Critical Systems (DETECT 2018), Oct 2018, Marrakesh, Morocco
Communication dans un congrès hal-01933792v1

Modular Deployment of UML Models for V&V Activities and Embedded Execution

Valentin Besnard , Frédéric Jouault , Matthias Brun , Ciprian Teodorov , Philippe Dhaussy
MoDeVVa, Oct 2020, Virtual Event, Canada. ⟨10.1145/3417990.3419227⟩
Communication dans un congrès hal-02929122v1

Context-aware Veri cation of a Landing Gear System

Philippe Dhaussy , Ciprian Teodorov
ABZ 2014, Jun 2014, Toulouse, France. pp.52-65
Communication dans un congrès hal-01006697v1

Towards one Model Interpreter for Both Design and Deployment

Valentin Besnard , Matthias Brun , Philippe Dhaussy , Frédéric Jouault , David Olivier , et al.
3rd International Workshop on Executable Modeling (EXE 2017), Sep 2017, Austin, United States
Communication dans un congrès hal-01585318v1

Unified verification and monitoring of executable UML specifications. A transformation-free approach

Valentin Besnard , Ciprian Teodorov , Frédéric Jouault , Matthias Brun , Philippe Dhaussy
Software and Systems Modeling, 2021, ⟨10.1007/s10270-021-00923-9⟩
Article dans une revue hal-03463358v1

Prototyping FPGA through overlays

Theotime Bollengier , Loïc Lagadec , Ciprian Teodorov
2021 IEEE International Workshop on Rapid System Prototyping (RSP), Oct 2021, Paris, France. pp.15-21, ⟨10.1109/RSP53691.2021.9806222⟩
Communication dans un congrès hal-03761788v1
Image document

Domain-oriented Verification Management

Vincent Leilde , Vincent Ribaud , Ciprian Teodorov , Philippe Dhaussy
8th International Conference on Model and Data Engineering (MEDI 2018), Oct 2018, Marrakesh, Morocco. pp.30-39
Communication dans un congrès hal-01933794v1

Context-Aware Verification of a Cruise-Control System

Ciprian Teodorov , Luka Leroux , Philippe Dhaussy
MEDI 2014, Sep 2015, Larnaca, Cyprus. pp.53-64, ⟨10.1007/978-3-319-11587-0_7⟩
Communication dans un congrès hal-01203701v1