Ciprian Teodorov
                                    74 
                                    
                            Documents
                                
         Affiliations actuelles 
        
                                                                                                - École Nationale Supérieure de Techniques Avancées (ENSTA)
 - Equipe Processes for Safe and Secure Software and Systems (Lab-STICC_P4S)
 
Publications
Publications
        
            Secure by design Systems on ChipCyber on Board, Naval-Group, May 2025, Hyères, France, France 
                 Communication dans un congrès
                    
        
        
            
                
                    hal-05077279
                                            v1
                                    
            
        
     | 
|
        
            Integrating Model Checking into a Live Modeling EnvironmentSLE '25: 18th ACM SIGPLAN International Conference on Software Language Engineering, Jun 2025, Koblenz, Germany. pp.128-133, ⟨10.1145/3732771.3742718⟩ 
                 Communication dans un congrès
                    
        
        
            
                
                    hal-05267247
                                            v1
                                    
            
        
     | 
|
| 
        
                             | 
        
        
            Secured-by-design systems-on-chip: a MBSE ApproachRapid System Prototyping, Sep 2023, Hambourg, Germany. ⟨10.1145/3625223.3649277⟩ 
                 Communication dans un congrès
                    
        
        
            
                
                    hal-04373771
                                            v1
                                    
            
        
     | 
        
            Temporal Breakpoints for Multiverse DebuggingSoftware Language Engineering 2023, Oct 2023, Lisbonne, Portugal 
                 Communication dans un congrès
                    
        
        
            
                
                    hal-04234632
                                            v1
                                    
            
        
     | 
|
        
            Débogage Multivers de Modèles UMLAFADL, Jun 2023, Rennes, France 
                 Communication dans un congrès
                    
        
        
            
                
                    hal-04234535
                                            v1
                                    
            
        
     | 
|
        
            Debugging Paxos in the UML MultiverseMODELS-C/MoDeVVa, Oct 2023, Västerås, Sweden 
                 Communication dans un congrès
                    
        
        
            
                
                    hal-04234688
                                            v1
                                    
            
        
     | 
|
        
            Génération de correctifs pour les modèles partiels d'AnimUMLIHM/GL-IHM, 2023, Troyes, France 
                 Communication dans un congrès
                    
        
        
            
                
                    hal-04234501
                                            v1
                                    
            
        
     | 
|
        
            Dolmen: FPGA Swarm for Safety and Liveness Verification2022 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-03708237
                                            v1
                                    
            
        
     | 
|
        
            Practical multiverse debugging through user-defined reductionsMODELS '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-03891589
                                            v1
                                    
            
        
     | 
|
| 
        
                             | 
        
        
            Smart Home Model Verification with AnimUMLSTAF 2022 Workshop MESS’22: International workshop on MDE for Smart IoT Systems, Jul 2022, Nantes, France 
                 Communication dans un congrès
                    
        
        
            
                
                    hal-04234889
                                            v1
                                    
            
        
     | 
        
            From OCL-based model static analysis to quick fixes21st 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-03937212
                                            v1
                                    
            
        
     | 
|
        
            Prototyping FPGA through overlays2021 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-03761788
                                            v1
                                    
            
        
     | 
|
        
            Carnac: Algorithm Variability for Fast Swarm Verification on FPGA2021 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-03550389
                                            v1
                                    
            
        
     | 
|
| 
        
                             | 
        
        
            Security property modeling7th 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-03188864
                                            v1
                                    
            
        
     | 
        
            AnimUML as a UML Modeling and Verification Teaching ToolMODELS 2021, Nov 2021, Fukuoka (virtual), Japan. pp.615-619 
                 Communication dans un congrès
                    
        
        
            
                
                    hal-03408698
                                            v1
                                    
            
        
     | 
|
        
            Modular Deployment of UML Models for V&V Activities and Embedded ExecutionMoDeVVa, Oct 2020, Virtual Event, Canada. ⟨10.1145/3417990.3419227⟩ 
                 Communication dans un congrès
                    
        
        
            
                
                    hal-02929122
                                            v1
                                    
            
        
     | 
|
        
            Designing, Animating, and Verifying Partial UML Models23rd 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-02931876
                                            v1
                                    
            
        
     | 
|
| 
        
                             | 
        
        
            A Domain-specific Modeling Framework for Attack Surface ModelingICISSP 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-02502387
                                            v1
                                    
            
        
     | 
| 
        
                             | 
        
        
            Automatic Verification of BPMN Models10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France 
                 Communication dans un congrès
                    
        
        
            
                
                    hal-02441878
                                            v1
                                    
            
        
     | 
        
            Menhir: Generic High-Speed FPGA Model-Checker2020 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-03028409
                                            v1
                                    
            
        
     | 
|
        
            Data Management Mechanisms for Internet of Things: A position paperCSCI 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-02515160
                                            v1
                                    
            
        
     | 
|
| 
        
                             | 
        
        
            Partially Bounded Context-Aware Verification17th 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-02434620
                                            v1
                                    
            
        
     | 
        
            EMI : Un Interpréteur de Modèles Embarqué pour l’Exécution et la Vérification de Modèles UML18 ème journées sur les Approches Formelles dans l’Assistance au Développement de Logiciels, Jun 2019, Toulouse, France. pp.101-104 
                 Communication dans un congrès
                    
        
        
            
                
                    hal-02375948
                                            v1
                                    
            
        
     | 
|
        
            A Model Checkable UML Soccer Player3rd Workshop on Model-Driven Engineering Tools, Sep 2019, Munich, Germany 
                 Communication dans un congrès
                    
        
        
            
                
                    hal-02375996
                                            v1
                                    
            
        
     | 
|
| 
        
                             | 
        
        
            Early Validation Framework for Critical and Complex Process-Centric Systems20th 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-02149584
                                            v1
                                    
            
        
     | 
| 
        
                             | 
        
        
            Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach22nd 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-02433749
                                            v1
                                    
            
        
     | 
        
            Embedded UML Model Execution to Bridge the Gap Between Design and RuntimeMDE@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-01802247
                                            v1
                                    
            
        
     | 
|
        
            Unified LTL Verification and Embedded Execution of UML Models21st International Conference on Model Driven Engineering Languages and Systems (MODELS), Oct 2018, Copenhague, Denmark 
                 Communication dans un congrès
                    
        
        
            
                
                    hal-01887948
                                            v1
                                    
            
        
     | 
|
| 
        
                             | 
        
        
            A Problem-Oriented Approach to Critical System Design and Diagnosis Support1st International Workshop on Modeling, Verification and Testing of Dependable Critical Systems (DETECT 2018), Oct 2018, Marrakesh, Morocco 
                 Communication dans un congrès
                    
        
        
            
                
                    hal-01933792
                                            v1
                                    
            
        
     | 
| 
        
                             | 
        
        
            Domain-oriented Verification Management8th International Conference on Model and Data Engineering (MEDI 2018), Oct 2018, Marrakesh, Morocco. pp.30-39 
                 Communication dans un congrès
                    
        
        
            
                
                    hal-01933794
                                            v1
                                    
            
        
     | 
        
            Using Parallel and Distributed Reachability in Model CheckingRecent Advancement in Computer, Communication and Computational Sciences (RACCCS-2017), Sep 2017, Ajmer, India. pp.143-154, ⟨10.1007/978-981-10-7386-1_12⟩ 
                 Communication dans un congrès
                    
        
        
            
                
                    hal-01780556
                                            v1
                                    
            
        
     | 
|
| 
        
                             | 
        
        
            A new dominating tree routing algorithm for efficient leader election in IoT networks15th IEEE Annual Consumer Communications & Networking Conference (CCNC), Jan 2018, Las Vegas, United States. ⟨10.1109/CCNC.2018.8319292⟩ 
                 Communication dans un congrès
                    
        
        
            
                
                    hal-01804280
                                            v1
                                    
            
        
     | 
        
            Asserting causal properties in High Level Synthesis2017 IEEE 2nd International Verification and Security Workshop (IVSW), Jul 2017, Thessaloniki, Greece 
                 Communication dans un congrès
                    
        
        
            
                
                    hal-01623030
                                            v1
                                    
            
        
     | 
|
        
            Towards one Model Interpreter for Both Design and Deployment3rd International Workshop on Executable Modeling (EXE 2017), Sep 2017, Austin, United States 
                 Communication dans un congrès
                    
        
        
            
                
                    hal-01585318
                                            v1
                                    
            
        
     | 
|
| 
        
                             | 
        
        
            A Diagnosis Framework for Critical Systems Verification15th International Conference on Software Engineering and Formal Methods, SEFM 2017, Sep 2017, Trente, Italy. Short Papers 1-6 
                 Communication dans un congrès
                    
        
        
            
                
                    hal-01559688
                                            v1
                                    
            
        
     | 
| 
        
                             | 
        
        
            Model Checking of SCADE Designed Systems8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France 
                 Communication dans un congrès
                    
        
        
            
                
                    hal-01289454
                                            v1
                                    
            
        
     | 
        
            A Role Language to Interpret Multi-Formalism System of Systems ModelsSyscon 2015, IEEE, Apr 2015, Vancouver, Canada 
                 Communication dans un congrès
                    
        
        
            
                
                    hal-01156518
                                            v1
                                    
            
        
     | 
|
| 
        
                             | 
        
        
            KriQL: a query language for the diagnosis of transition systems15th International Workshop on Automated Verification of Critical Systems - AVOCS'15, Sep 2015, Edimburgh, United Kingdom. pp.151-165 
                 Communication dans un congrès
                    
        
        
            
                
                    hal-01203649
                                            v1
                                    
            
        
     | 
        
            Context-Aware Verification of a Cruise-Control SystemMEDI 2014, Sep 2015, Larnaca, Cyprus. pp.53-64, ⟨10.1007/978-3-319-11587-0_7⟩ 
                 Communication dans un congrès
                    
        
        
            
                
                    hal-01203701
                                            v1
                                    
            
        
     | 
|
| 
        
                             | 
        
        
            Relational and graph queries over a transition systemInternational Conference on Computer as a Tool (EUROCON 2015), Sep 2015, Salamanque, Spain. pp.1-6, ⟨10.1109/EUROCON.2015.7313738⟩ 
                 Communication dans un congrès
                    
        
        
            
                
                    hal-01203662
                                            v1
                                    
            
        
     | 
| 
        
                             | 
        
        
            Towards a Meta-Language for the Concurrency Concern in DSLsDesign, Automation and Test in Europe Conference and Exhibition (DATE), Mar 2015, Grenoble, France 
                 Communication dans un congrès
                    
        
        
            
                
                    hal-01087442
                                            v1
                                    
            
        
     | 
        
            Context-aware Veri cation of a Landing Gear SystemABZ 2014, Jun 2014, Toulouse, France. pp.52-65 
                 Communication dans un congrès
                    
        
        
            
                
                    hal-01006697
                                            v1
                                    
            
        
     | 
|
| 
        
                             | 
        
        
            Techniques and Challenges for Trace Processing from a Model-Checking PerspectiveInternational Joint Conferences on Computer, Information, Systems Sciences, & Engineering - CISSE 2014, University of Bridgeport, Dec 2014, Bridgeport, United States 
                 Communication dans un congrès
                    
        
        
            
                
                    hal-01119571
                                            v1
                                    
            
        
     | 
        
            Towards a Dynamic Infrastructure for Playing withSystems of SystemsECSA 2014, Aug 2014, Vienne, Austria 
                 Communication dans un congrès
                    
        
        
            
                
                    hal-01090362
                                            v1
                                    
            
        
     | 
|
        
            Regular 2D Nasic-based Architecture and Design Space ExplorationNANOARCH 2011, Jun 2011, San Diego, United States. pp.70-77 
                 Communication dans un congrès
                    
        
        
            
                
                    hal-00598850
                                            v1
                                    
            
        
     | 
|
        
            FPGA Physical-Design Automation using Model-Driven EngineeringRECOSOC, Jun 2011, Montpellier, France. pp.1-6 
                 Communication dans un congrès
                    
        
        
            
                
                    hal-00598838
                                            v1
                                    
            
        
     | 
|
        
            FPGA SDK for Nanoscale ArchitecturesRECOSOC, Jun 2011, Montpellier, France. pp.1-8 
                 Communication dans un congrès
                    
        
        
            
                
                    hal-00598837
                                            v1
                                    
            
        
     | 
|
        
            MDE-based FPGA Physical Design Fast Model-Driven Prototyping with SmalltalkIWST 2011, Aug 2011, Edinburgh, United Kingdom. pp.1-13 
                 Communication dans un congrès
                    
        
        
            
                
                    hal-00620820
                                            v1
                                    
            
        
     | 
|
        
            Process System Modeling for RSoCReconfigurable Communication-centric Systems-on-Chip workshop., Jul 2008, Barcelone, Spain. Session 6: Mapping and Programming Models 
                 Communication dans un congrès
                    
        
        
            
                
                    hal-00491586
                                            v1
                                    
            
        
     | 
|
        
            On the Way to Design Computing Architectures with Emerging Nanoscale TechnologiesColloque annuel GDR-SOC-Sip, Jun 2008, Paris, France 
                 Communication dans un congrès
                    
        
        
            
                
                    hal-00380878
                                            v1
                                    
            
        
     | 
|
        
            Quick integration of high level tools in MORPHEUS: The case of SpecEditAETHER - MORPHEUS Workshop- Autumn School in From Reconfigurable to Self - Adaptive Computing (AMWAS'07), Oct 2007, Paris, France 
                 Communication dans un congrès
                    
        
        
            
                
                    hal-00491577
                                            v1
                                    
            
        
     | 
|
        
            Modeling sensor networks as concurrent systemsFourth International Conference on Networked Sensing Systems, Jun 2007, Braunschweig, Germany. pp.296 
                 Communication dans un congrès
                    
        
        
            
                
                    hal-00170104
                                            v1
                                    
            
        
     | 
|
        
            Process Networks on Reconfigurable SoCAETHER - MORPHEUS Workshop- Autumn School in From Reconfigurable to Self - Adaptive Computing (AMWAS'07), Oct 2007, Paris, France 
                 Communication dans un congrès
                    
        
        
            
                
                    hal-00491576
                                            v1
                                    
            
        
     | 
        
            Using Parallel and Distributed Reachability in Model CheckingAmbient Communications and Computer Systems, pp.143-154, 2018, ⟨10.1007/978-981-10-7386-1_12⟩ 
                 Chapitre d'ouvrage
                    
        
        
            
                
                    hal-02515020
                                            v1
                                    
            
        
     | 
|
        
            Proposed Algorithms to the State Explosion ProblemAynur 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-02515359
                                            v1
                                    
            
        
     | 
        
            Procédé de configuration d'un circuit logique programmable, circuit logique programmable et dispositif pour implémenter le procédéFrance, N° de brevet: FR3115134. 2022 
                 Brevet
                    
        
        
            
                
                    hal-04032489
                                            v1
                                    
            
        
     | 
        
            Rapport et bilan pour le projet VALMADEO pour l'étape 32008 
                 Autre publication scientifique
                    
        
        
            
                
                    hal-00487350
                                            v1
                                    
            
        
     | 
| 
        
                             | 
        
        
            Phadeo : un environnement pour FPGA virtuel2015 
                 Pré-publication, Document de travail
                    
        
        
            
                
                    hal-01179474
                                            v1
                                    
            
        
     | 
| 
        
                             | 
        
        
            Operational Semantics of the Model of Concurrency and Communication Language[Research Report] RR-8584, INRIA. 2014, pp.23 
                 Rapport
                             (rapport de recherche)
                    
        
        
            
                
                    hal-01060601
                                            v2
                                    
            
        
     | 
| 
        
                             | 
        
        
            Model-Driven Physical-Design for Future Nanoscale ArchitecturesEmerging Technologies [cs.ET]. Université de Bretagne Occidentale (UBO), Brest, 2011. English. ⟨NNT : ⟩ 
                 Thèse
                    
        
        
            
                
                    tel-02515931
                                            v1
                                    
            
        
     | 
| 
        
                             | 
        
        
            G∀min∃: Exploring the Boundary Between Executable Specification Languages and Behavior Analysis ToolsSoftware Engineering [cs.SE]. Université de Bretagne Occidentale (UBO), Brest, 2023 
                 HDR
                    
        
        
            
                
                    tel-04066483
                                            v1
                                    
            
        
     | 
                Chargement...
            
            Chargement...