CT
Ciprian Teodorov
Full Professor
71
Documents
Affiliations actuelles
- 1067623
- 301846
Publications
Debugging Paxos in the UML MultiverseMODELS-C/MoDeVVa, Oct 2023, Västerås, Sweden
Communication dans un congrès
hal-04234688v1
|
|
Débogage Multivers de Modèles UMLAFADL, Jun 2023, Rennes, France
Communication dans un congrès
hal-04234535v1
|
|
Temporal Breakpoints for Multiverse DebuggingSoftware Language Engineering 2023, Oct 2023, Lisbonne, Portugal
Communication dans un congrès
hal-04234632v1
|
|
|
Secured-by-design systems-on-chip: a MBSE ApproachRapid System Prototyping, Sep 2023, Hambourg, Germany
Communication dans un congrès
hal-04373771v1
|
Génération de correctifs pour les modèles partiels d'AnimUMLIHM/GL-IHM, 2023, Troyes, France
Communication dans un congrès
hal-04234501v1
|
|
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-03937212v1
|
|
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-03708237v1
|
|
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-03891589v1
|
|
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-03761788v1
|
|
|
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-03188864v1
|
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-03550389v1
|
|
AnimUML as a UML Modeling and Verification Teaching ToolMODELS 2021, Nov 2021, Fukuoka (virtual), Japan. pp.615-619
Communication dans un congrès
hal-03408698v1
|
|
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-02929122v1
|
|
|
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-02441878v1
|
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-03028409v1
|
|
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-02931876v1
|
|
|
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-02502387v1
|
|
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-02149584v1
|
A Model Checkable UML Soccer Player3rd Workshop on Model-Driven Engineering Tools, Sep 2019, Munich, Germany
Communication dans un congrès
hal-02375996v1
|
|
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-02375948v1
|
|
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-02515160v1
|
|
|
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-02434620v1
|
|
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-02433749v1
|
|
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-01933792v1
|
|
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-01933794v1
|
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-01802247v1
|
|
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-01887948v1
|
|
|
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-01804280v1
|
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-01585318v1
|
|
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-01780556v1
|
|
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-01623030v1
|
|
|
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-01559688v1
|
|
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-01289454v1
|
|
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-01203649v1
|
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-01203701v1
|
|
|
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-01203662v1
|
A Role Language to Interpret Multi-Formalism System of Systems ModelsSyscon 2015, IEEE, Apr 2015, Vancouver, Canada
Communication dans un congrès
hal-01156518v1
|
|
|
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-01087442v1
|
|
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-01119571v1
|
Context-aware Veri cation of a Landing Gear SystemABZ 2014, Jun 2014, Toulouse, France. pp.52-65
Communication dans un congrès
hal-01006697v1
|
|
Towards a Dynamic Infrastructure for Playing withSystems of SystemsECSA 2014, Aug 2014, Vienne, Austria
Communication dans un congrès
hal-01090362v1
|
|
FPGA Physical-Design Automation using Model-Driven EngineeringRECOSOC, Jun 2011, Montpellier, France. pp.1-6
Communication dans un congrès
hal-00598838v1
|
|
FPGA SDK for Nanoscale ArchitecturesRECOSOC, Jun 2011, Montpellier, France. pp.1-8
Communication dans un congrès
hal-00598837v1
|
|
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-00620820v1
|
|
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-00598850v1
|
|
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-00491586v1
|
|
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-00380878v1
|
|
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-00491577v1
|
|
Modeling sensor networks as concurrent systemsFourth International Conference on Networked Sensing Systems, Jun 2007, Braunschweig, Germany. pp.296
Communication dans un congrès
hal-00170104v1
|
|
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-00491576v1
|
Smart Home Model Verification with AnimUMLSTAF/MeSS, Jul 2022, Nantes, France
Poster de conférence
hal-04234889v1
|
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-02515020v1
|
|
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-02515359v1
|
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-04032489v1
|
Rapport et bilan pour le projet VALMADEO pour l'étape 32008
Autre publication scientifique
hal-00487350v1
|
|
Phadeo : un environnement pour FPGA virtuel2015
Pré-publication, Document de travail
hal-01179474v1
|
|
Operational Semantics of the Model of Concurrency and Communication Language[Research Report] RR-8584, INRIA. 2014, pp.23
Rapport
hal-01060601v2
|
|
Model-Driven Physical-Design for Future Nanoscale ArchitecturesEmerging Technologies [cs.ET]. Université de Bretagne Occidentale (UBO), Brest, 2011. English. ⟨NNT : ⟩
Thèse
tel-02515931v1
|
|
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-04066483v1
|