
CT
Ciprian Teodorov
72
Documents
Affiliations actuelles
- Equipe Processes for Safe and Secure Software and Systems (Lab-STICC_P4S)
- École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)
Publications
Publications
|
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
|
Débogage Multivers de Modèles UMLAFADL, Jun 2023, Rennes, France
Communication dans un congrès
hal-04234535
v1
|
|
Temporal Breakpoints for Multiverse DebuggingSoftware Language Engineering 2023, Oct 2023, Lisbonne, Portugal
Communication dans un congrès
hal-04234632
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
|
|
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
|
|
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
|
|
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
|
|
|
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
|
|
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
|
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
|
|
|
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
|
A Model Checkable UML Soccer Player3rd Workshop on Model-Driven Engineering Tools, Sep 2019, Munich, Germany
Communication dans un congrès
hal-02375996
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
|
|
|
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
|
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
|
|
|
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
|
|
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
|
|
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
|
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
|
|
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
|
Smart Home Model Verification with AnimUMLSTAF/MeSS, Jul 2022, Nantes, France
Poster de conférence
hal-04234889
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...