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

Filtrer vos résultats

50 Résultats
authFullName_s : Ciprian Teodorov
Page :
triés par

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

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

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

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

 Valentin Besnard , Ciprian Teodorov , Frédéric Jouault , Matthias Brun , Philippe Dhaussy et al.
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

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
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

Unified LTL Verification and Embedded Execution of UML Models

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

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

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 et al.
Science of Computer Programming, 2014, pp.1. ⟨10.1016/j.scico.2014.02.015⟩
Article dans une revue hal-00998533v1
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
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

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

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

Carnac: Algorithm Variability for Fast Swarm Verification on FPGA

 Emilien Fournier , Ciprian Teodorov , Loïc Lagadec
2021 31st International Conference on Field-Programmable Logic and Applications (FPL), Aug 2021, Dresden, Germany. pp.185-189, ⟨10.1109/FPL53798.2021.00038⟩
Communication dans un congrès hal-03550389v1

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

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

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

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

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

 Valentin Besnard , Matthias Brun , Frédéric Jouault , Ciprian Teodorov , Philippe Dhaussy et al.
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

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

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

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
Image document

KriQL: a query language for the diagnosis of transition systems

 Khaoula Es-Salhi , Siham Rim Boudaoud , Ciprian Teodorov , Zoé Drey , Vincent Ribaud et al.
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 et al.
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 et al.
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

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 et al.
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2014, 109
Article dans une revue hal-01006656v1

A Parallel Algorithm for the State Space Exploration

 Lamia Allal , Ghalem Belalem , Philippe Dhaussy , Ciprian Teodorov
Scalable Computing : Practice and Experience, 2016, Scalable Computing: Practice and Experience, 17 (2), pp.129-141. ⟨10.12694/scpe.v17i2.1161⟩
Article dans une revue hal-01373317v1

From OCL-based model static analysis to quick fixes

 Frédéric Jouault , Maxime Méré , Matthias Brun , Théo Le Calvar , Matthias Pasquier et al.
21st International Workshop on OCL and Textual Modeling / MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, Oct 2022, Montreal (Canada), Canada. pp.889-893, ⟨10.1145/3550356.3561562⟩
Communication dans un congrès hal-03937212v1
Page :