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

Automatic Verification of BPMN Models

Mihal Brumbulli , Emmanuel Gaudin , Ciprian Teodorov
10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France
Communication dans un congrès hal-02441878v1

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

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

Procédé de configuration d'un circuit logique programmable, circuit logique programmable et dispositif pour implémenter le procédé

Loïc Lagadec , Ciprian Teodorov , Jean-Christophe Le Lann , Théotime Bollengier
France, N° de brevet: FR3115134. 2022
Brevet hal-04032489v1

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

Model-driven physical-design automation for FPGAs: fast prototyping and legacy reuse

Ciprian Teodorov , Loic Lagadec
Software: Practice and Experience, 2013, 44 (4), pp.455-482. ⟨10.1002/spe.2190⟩
Article dans une revue istex hal-00782814v1
Image document

Early Validation Framework for Critical and Complex Process-Centric Systems

Fahad Rafique Golra , Joël Champeau , Ciprian Teodorov
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⟩
Communication dans un congrès hal-02149584v1

Menhir: Generic High-Speed FPGA Model-Checker

Émilien Fournier , Ciprian Teodorov , Loïc Lagadec
2020 23rd Euromicro Conference on Digital System Design (DSD), Aug 2020, Kranj, Slovenia. pp.65-72, ⟨10.1109/DSD51259.2020.00022⟩
Communication dans un congrès hal-03028409v1
Image document

G∀min∃: Exploring the Boundary Between Executable Specification Languages and Behavior Analysis Tools

Ciprian Teodorov
Software Engineering [cs.SE]. Université de Bretagne Occidentale (UBO), Brest, 2023
HDR tel-04066483v1
Image document

Security property modeling

Hiba Hnaini , Luka Le Roux , Joël Champeau , Ciprian Teodorov
7th International Conference on Information Systems Security and Privacy, ICISSP 2021, Feb 2021, Vienne - Virtual Online, Austria. pp.694-701, ⟨10.5220/0010388206940701⟩
Communication dans un congrès hal-03188864v1
Image document

A Diagnosis Framework for Critical Systems Verification

Vincent Leilde , Vincent Ribaud , Ciprian Teodorov , Philippe Dhaussy
15th International Conference on Software Engineering and Formal Methods, SEFM 2017, Sep 2017, Trente, Italy. Short Papers 1-6
Communication dans un congrès hal-01559688v1

Sequential and Parallel Algorithms for the State Space Exploration

Lamia Allal , Ghalem Belalem , Philippe Dhaussy , Ciprian Teodorov
Cybernetics and Information Technologies, 2016, 16 (1), ⟨10.1515/cait-2016-0001⟩
Article dans une revue hal-01373327v1

Using Parallel and Distributed Reachability in Model Checking

Lamia Allal , Ghalem Belalem , Philippe Dhaussy , Ciprian Teodorov
Ambient Communications and Computer Systems, pp.143-154, 2018, ⟨10.1007/978-981-10-7386-1_12⟩
Chapitre d'ouvrage hal-02515020v1
Image document

Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach

Valentin Besnard , Ciprian Teodorov , Frédéric Jouault , Matthias Brun , Philippe Dhaussy et al.
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⟩
Communication dans un congrès hal-02433749v1

AnimUML as a UML Modeling and Verification Teaching Tool

Frédéric Jouault , Valentin Sebille , Valentin Besnard , Théo Le Calvar , Ciprian Teodorov et al.
MODELS 2021, Nov 2021, Fukuoka (virtual), Japan. pp.615-619
Communication dans un congrès hal-03408698v1

Towards a Dynamic Infrastructure for Playing withSystems of Systems

Jean-Philippe Schneider , Ciprian Teodorov , Eric Senn , Joël Champeau
ECSA 2014, Aug 2014, Vienne, Austria
Communication dans un congrès hal-01090362v1
Image document

Operational Semantics of the Model of Concurrency and Communication Language

Julien Deantoni , Papa Issa Diallo , Joël Champeau , Benoit Combemale , Ciprian Teodorov et al.
[Research Report] RR-8584, INRIA. 2014, pp.23
Rapport hal-01060601v2
Image document

Towards a Meta-Language for the Concurrency Concern in DSLs

Julien Deantoni , Papa Issa Diallo , Ciprian Teodorov , Joël Champeau , Benoit Combemale et al.
Design, Automation and Test in Europe Conference and Exhibition (DATE), Mar 2015, Grenoble, France
Communication dans un congrès hal-01087442v1

Past-Free[ze] reachability analysis: reaching further with DAG-directed exhaustive state-space analysis

Ciprian Teodorov , Luka Le Roux , Zoé Drey , Philippe Dhaussy
Journal of Software Testing, Verification and Reliability, 2016, ⟨10.1002/stvr.1611⟩
Article dans une revue istex hal-01373287v1
Image document

A new dominating tree routing algorithm for efficient leader election in IoT networks

Ahcène Bounceur , Madani Bezoui , Massinissa Lounis , Reinhardt Euler , Ciprian Teodorov et al.
15th IEEE Annual Consumer Communications & Networking Conference (CCNC), Jan 2018, Las Vegas, United States. ⟨10.1109/CCNC.2018.8319292⟩
Communication dans un congrès hal-01804280v1