Ciprian Teodorov

According to our database, Ciprian Teodorov authored at least 50 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

AnimUML: A practical tool for partial model animation and analysis.

Frédéric Jouault, Valentin Besnard, Matthias Brun, Théo Le Calvar, Fabien Chhel, Mickael Clavreul, Jérôme Delatour, Maxime Méré, Matthias Pasquier, Ciprian Teodorov

Sci. Comput. Program., January, 2024

2023

Temporal Breakpoints for Multiverse Debugging.

Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Luka Le Roux, Loïc Lagadec

Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering, 2023

Debugging Paxos in the UML Multiverse.

Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Loïc Lagadec

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

Collaborative Live Modelling by Language-Agnostic Versioning.

Joeri Exelmans, Ciprian Teodorov, Robert Heinrich, Alexander Egyed, Hans Vangheluwe

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

G∀min∃: Exploring the Boundary Between Executable Specification Languages and Behavior Analysis Tools. (G∀min∃ : Exploration de la frontière entre les langages de spécification exécutables et les outils d'analyse du comportement).

Ciprian Teodorov

, 2023

2022

Smart Home Model Verification with AnimUML (Poster).

Frédéric Jouault, Ciprian Teodorov, Matthias Brun

Proceedings of the STAF 2022 Workshop Proceedings: 10th International Workshop on Bidirectional Transformations (BX 2022), 2022

Practical multiverse debugging through user-defined reductions: application to UML models.

Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Luka Le Roux, Loïc Lagadec

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

From OCL-based model static analysis to quick fixes.

Frédéric Jouault, Maxime Méré, Matthias Brun, Théo Le Calvar, Matthias Pasquier, Ciprian Teodorov

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

Dolmen: FPGA Swarm for Safety and Liveness Verification.

Emilien Fournier, Ciprian Teodorov, Loïc Lagadec

Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022

2021

Unified verification and monitoring of executable UML specifications.

Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy

Softw. Syst. Model., 2021

Prototyping FPGA through overlays.

Théotime Bollengier, Loïc Lagadec, Ciprian Teodorov

Proceedings of the IEEE International Workshop on Rapid System Prototyping, 2021

AnimUML as a UML Modeling and Verification Teaching Tool.

Frédéric Jouault, Valentin Sebille, Valentin Besnard, Théo Le Calvar, Ciprian Teodorov, Matthias Brun, Jérôme Delatour

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

Security Property Modeling.

Hiba Hnaini, Luka Le Roux, Joël Champeau, Ciprian Teodorov

Proceedings of the 7th International Conference on Information Systems Security and Privacy, 2021

Carnac: Algorithm Variability for Fast Swarm Verification on FPGA.

Emilien Fournier, Ciprian Teodorov, Loïc Lagadec

Proceedings of the 31st International Conference on Field-Programmable Logic and Applications, 2021

2020

Operational design for advanced persistent threats.

Tithnara Nicolas Sun, Ciprian Teodorov, Luka Le Roux

Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

Designing, animating, and verifying partial UML Models.

Frédéric Jouault, Valentin Besnard, Théo Le Calvar, Ciprian Teodorov, Matthias Brun, Jérôme Delatour

Proceedings of the MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

Modular deployment of UML models for V&V activities and embedded execution.

Valentin Besnard, Frédéric Jouault, Matthias Brun, Ciprian Teodorov, Philippe Dhaussy, Jérôme Delatour

Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

A Domain-specific Modeling Framework for Attack Surface Modeling.

Tithnara Nicolas Sun, Bastien Drouot, Fahad Rafique Golra, Joël Champeau, Sylvain Guérin, Luka Le Roux, Raúl Mazo, Ciprian Teodorov, Lionel Van Aertryck, Bernard L'Hostis

Proceedings of the 6th International Conference on Information Systems Security and Privacy, 2020

Menhir: Generic High-Speed FPGA Model-Checker.

Emilien Fournier, Ciprian Teodorov, Loïc Lagadec

Proceedings of the 23rd Euromicro Conference on Digital System Design, 2020

2019

Partially Bounded Context-Aware Verification.

Luka Le Roux, Ciprian Teodorov

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

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

Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2019

A Model Checkable UML Soccer Player.

Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

Early Validation Framework for Critical and Complex Process-Centric Systems.

Fahad Rafique Golra, Joël Champeau, Ciprian Teodorov

Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2019

2018

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

Valentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Teodorov, Philippe Dhaussy

Proceedings of the Software Technologies: Applications and Foundations, 2018

Unified LTL Verification and Embedded Execution of UML Models.

Valentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Teodorov, Philippe Dhaussy

Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018

Domain-Oriented Verification Management.

Vincent Leildé, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy

Proceedings of the Model and Data Engineering - 8th International Conference, 2018

A Problem-Oriented Approach to Critical System Design and Diagnosis Support.

Vincent Leildé, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy

Proceedings of the New Trends in Model and Data Engineering, 2018

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

Ahcène Bounceur, Madani Bezoui, Massinissa Lounis, Reinhardt Euler, Ciprian Teodorov

Proceedings of the 15th IEEE Annual Consumer Communications & Networking Conference, 2018

2017

Environment-driven reachability for timed systems - Safety verification of an aircraft landing gear system.

Ciprian Teodorov, Philippe Dhaussy, Luka Leroux

Int. J. Softw. Tools Technol. Transf., 2017

A Diagnosis Framework for Critical Systems Verification (Short Paper).

Vincent Leildé, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

Towards One Model Interpreter for Both Design and Deployment.

Valentin Besnard, Matthias Brun, Philippe Dhaussy, Frédéric Jouault, David Olivier, Ciprian Teodorov

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Asserting causal properties in High Level Synthesis.

Erwan Fabiani, Loïc Lagadec, Mohamed Ben Hammouda, Ciprian Teodorov

Proceedings of the IEEE 2nd International Verification and Security Workshop, 2017

2016

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

Ciprian Teodorov, Luka Leroux, Zoé Drey, Philippe Dhaussy

Softw. Test. Verification Reliab., 2016

A Parallel Algorithm for the State Space Exploration.

Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov

Scalable Comput. Pract. Exp., 2016

Object-oriented design pattern for DSL program monitoring.

Zoé Drey, Ciprian Teodorov

Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, The Netherlands, October 31, 2016

2015

A role language to interpret multi-formalism System of systems models.

Jean-Philippe Schneider, Joël Champeau, Ciprian Teodorov, Eric Senn, Loïc Lagadec

Proceedings of the Annual IEEE Systems Conference, 2015

Relational and graph queries over a transition system.

Siham Rim Boudaoud, Khaoula Es-Salhi, Vincent Ribaud, Ciprian Teodorov

Proceedings of the IEEE EUROCON 2015, 2015

Towards a meta-language for the concurrency concern in DSLs.

Julien Deantoni, Papa Issa Diallo, Ciprian Teodorov, Joël Champeau, Benoît Combemale

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

2014

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

Ciprian Teodorov, Loïc Lagadec

Softw. Pract. Exp., 2014

Model-driven toolset for embedded reconfigurable cores: Flexible prototyping and software-like debugging.

Loïc Lagadec, Ciprian Teodorov, Jean-Christophe Le Lann, Damien Picard, Erwan Fabiani

Sci. Comput. Program., 2014

Virtual prototyping of R2D NASIC based FPGA.

Ciprian Teodorov, Loïc Lagadec

Proceedings of the IEEE/ACM International Symposium on Nanoscale Architectures, 2014

Context-Aware Verification of a Cruise-Control System.

Ciprian Teodorov, Luka Leroux, Philippe Dhaussy

Proceedings of the Model and Data Engineering - 4th International Conference, 2014

Towards a Dynamic Infrastructure for Playing with Systems of Systems.

Jean-Philippe Schneider, Ciprian Teodorov, Eric Senn, Joël Champeau

Proceedings of the ECSA 2014 Workshops & Tool Demos Track, 2014

Context-Aware Verification of a Landing Gear System.

Philippe Dhaussy, Ciprian Teodorov

Proceedings of the ABZ 2014: The Landing Gear Case Study, 2014

2011

Model-Driven Physical-Design for Future Nanoscale Architectures. (Synthèse physique dirigée par les modèles pour les architectures nanométriques du futur).

Ciprian Teodorov

PhD thesis, 2011

FPGA physical-design automation using Model-Driven Engineering.

Ciprian Teodorov, Damien Picard, Loïc Lagadec

Proceedings of the 6th International Workshop on Reconfigurable Communication-centric Systems-on-Chip, 2011

FPGA SDK for nanoscale architectures.

Ciprian Teodorov, Loïc Lagadec

Proceedings of the 6th International Workshop on Reconfigurable Communication-centric Systems-on-Chip, 2011

Regular 2D NASIC-based architecture and design space exploration.

Ciprian Teodorov, Pritish Narayanan, Loïc Lagadec, Catherine Dezan

Proceedings of the 2011 IEEE/ACM International Symposium on Nanoscale Architectures, 2011

MDE-based FPGA physical design: fast model-driven prototyping with Smalltalk.

Ciprian Teodorov, Loïc Lagadec

Proceedings of the International Workshop on Smalltalk Technologies, 2011

2009

Towards a framework for designing applications onto hybrid nano/CMOS fabrics.

Catherine Dezan, Ciprian Teodorov, Loïc Lagadec, Michael Leuchtenburg, Teng Wang, Pritish Narayanan, Csaba Andras Moritz

Microelectron. J., 2009