Ciprian Teodorov

56 papers A 6B 6C 7Journal 10Unranked 24

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	A Research Agenda for the Living SysML V2 Blueprint: Toward Executable, Verifiable, and Navigable System Models. SBMF Ciprian Teodorov, Lucas Lima, Sidney C. Nogueira, Sylvain Guérin, Loïc Lagadec
2025	—	`ed.`	Formal Methods: Foundations and Applications - 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings SBMF Sidney C. Nogueira, Ciprian Teodorov
2025	B	`conf`	Integrating Model Checking into a Live Modeling Environment. SLE Joeri Exelmans, Ciprian Teodorov, Hans Vangheluwe
2025	J	`jnl`	Modeling in the Design Multiverse. CoRR Sylvain Guérin, Salvador Martínez, Ciprian Teodorov
2025	J	`jnl`	Operation-based versioning as a foundation for live executable models. Softw. Syst. Model. Joeri Exelmans, Ciprian Teodorov, Hans Vangheluwe
2024	J	`jnl`	AnimUML: A practical tool for partial model animation and analysis. Sci. Comput. Program. 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
2023	—	`conf`	Collaborative Live Modelling by Language-Agnostic Versioning. MoDELS (Companion) Joeri Exelmans, Ciprian Teodorov, Robert Heinrich, Alexander Egyed, Hans Vangheluwe
2023	—	`conf`	Debugging Paxos in the UML Multiverse. MoDELS (Companion) Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Loïc Lagadec
2023	—	`book`	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	C	`conf`	Secured-by-design systems-on-chip: a MBSE Approach. RSP Raphaële Milan, Loïc Lagadec, Théotime Bollengier, Lilian Bossuet, Ciprian Teodorov
2023	B	`conf`	Temporal Breakpoints for Multiverse Debugging. SLE Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Luka Le Roux, Loïc Lagadec
2022	A	`conf`	Dolmen: FPGA Swarm for Safety and Liveness Verification. DATE Emilien Fournier, Ciprian Teodorov, Loïc Lagadec
2022	—	`conf`	From OCL-based model static analysis to quick fixes. MoDELS (Companion) Frédéric Jouault, Maxime Méré, Matthias Brun, Théo Le Calvar, Matthias Pasquier, Ciprian Teodorov
2022	A	`conf`	Practical multiverse debugging through user-defined reductions: application to UML models. MoDELS Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Luka Le Roux, Loïc Lagadec
2022	—	`conf`	Smart Home Model Verification with AnimUML (Poster). STAF Workshops Frédéric Jouault, Ciprian Teodorov, Matthias Brun
2021	—	`conf`	AnimUML as a UML Modeling and Verification Teaching Tool. MoDELS (Companion) Frédéric Jouault, Valentin Sebille, Valentin Besnard, Théo Le Calvar, Ciprian Teodorov, Matthias Brun, Jérôme Delatour
2021	B	`conf`	Carnac: Algorithm Variability for Fast Swarm Verification on FPGA. FPL Emilien Fournier, Ciprian Teodorov, Loïc Lagadec
2021	C	`conf`	Prototyping FPGA through overlays. RSP Théotime Bollengier, Loïc Lagadec, Ciprian Teodorov
2021	C	`conf`	Security Property Modeling. ICISSP Hiba Hnaini, Luka Le Roux, Joël Champeau, Ciprian Teodorov
2021	J	`jnl`	Unified verification and monitoring of executable UML specifications. Softw. Syst. Model. Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy
2020	C	`conf`	A Domain-specific Modeling Framework for Attack Surface Modeling. ICISSP 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
2020	A	`conf`	Designing, animating, and verifying partial UML Models. MoDELS Frédéric Jouault, Valentin Besnard, Théo Le Calvar, Ciprian Teodorov, Matthias Brun, Jérôme Delatour
2020	C	`conf`	Menhir: Generic High-Speed FPGA Model-Checker. DSD Emilien Fournier, Ciprian Teodorov, Loïc Lagadec
2020	—	`conf`	Modular deployment of UML models for V&V activities and embedded execution. MoDELS (Companion) Valentin Besnard, Frédéric Jouault, Matthias Brun, Ciprian Teodorov, Philippe Dhaussy, Jérôme Delatour
2020	—	`conf`	Operational design for advanced persistent threats. MoDELS (Companion) Tithnara Nicolas Sun, Ciprian Teodorov, Luka Le Roux
2019	—	`conf`	A Model Checkable UML Soccer Player. MoDELS (Companion) Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy
2019	—	`conf`	Early Validation Framework for Critical and Complex Process-Centric Systems. BPMDS/EMMSAD@CAiSE Fahad Rafique Golra, Joël Champeau, Ciprian Teodorov
2019	B	`conf`	Partially Bounded Context-Aware Verification. SEFM Luka Le Roux, Ciprian Teodorov
2019	A	`conf`	Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach. MoDELS Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy
2018	—	`conf`	A Problem-Oriented Approach to Critical System Design and Diagnosis Support. MEDI Workshops Vincent Leildé, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy
2018	—	`conf`	A new dominating tree routing algorithm for efficient leader election in IoT networks. CCNC Ahcène Bounceur, Madani Bezoui, Massinissa Lounis, Reinhardt Euler, Ciprian Teodorov
2018	C	`conf`	Domain-Oriented Verification Management. MEDI Vincent Leildé, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy
2018	—	`conf`	Embedded UML Model Execution to Bridge the Gap Between Design and Runtime. STAF Workshops Valentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Teodorov, Philippe Dhaussy
2018	A	`conf`	Unified LTL Verification and Embedded Execution of UML Models. MoDELS Valentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Teodorov, Philippe Dhaussy
2017	B	`conf`	A Diagnosis Framework for Critical Systems Verification (Short Paper). SEFM Vincent Leildé, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy
2017	—	`conf`	Asserting causal properties in High Level Synthesis. IVSW Erwan Fabiani, Loïc Lagadec, Mohamed Ben Hammouda, Ciprian Teodorov
2017	J	`jnl`	Environment-driven reachability for timed systems - Safety verification of an aircraft landing gear system. Int. J. Softw. Tools Technol. Transf. Ciprian Teodorov, Philippe Dhaussy, Luka Leroux
2017	—	`conf`	Towards One Model Interpreter for Both Design and Deployment. MoDELS (Satellite Events) Valentin Besnard, Matthias Brun, Philippe Dhaussy, Frédéric Jouault, David Olivier, Ciprian Teodorov
2016	J	`jnl`	A Parallel Algorithm for the State Space Exploration. Scalable Comput. Pract. Exp. Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov
2016	B	`conf`	Object-oriented design pattern for DSL program monitoring. SLE Zoé Drey, Ciprian Teodorov
2016	J	`jnl`	Past-Free[ze] reachability analysis: reaching further with DAG-directed exhaustive state-space analysis. Softw. Test. Verification Reliab. Ciprian Teodorov, Luka Leroux, Zoé Drey, Philippe Dhaussy
2015	—	`conf`	A role language to interpret multi-formalism System of systems models. SysCon Jean-Philippe Schneider, Joël Champeau, Ciprian Teodorov, Eric Senn, Loïc Lagadec
2015	—	`conf`	Relational and graph queries over a transition system. EUROCON Siham Rim Boudaoud, Khaoula Es-Salhi, Vincent Ribaud, Ciprian Teodorov
2015	A	`conf`	Towards a meta-language for the concurrency concern in DSLs. DATE Julien Deantoni, Papa Issa Diallo, Ciprian Teodorov, Joël Champeau, Benoît Combemale
2014	C	`conf`	Context-Aware Verification of a Cruise-Control System. MEDI Ciprian Teodorov, Luka Leroux, Philippe Dhaussy
2014	—	`conf`	Context-Aware Verification of a Landing Gear System. ABZ (Case Study) Philippe Dhaussy, Ciprian Teodorov
2014	J	`jnl`	Model-driven physical-design automation for FPGAs: fast prototyping and legacy reuse. Softw. Pract. Exp. Ciprian Teodorov, Loïc Lagadec
2014	J	`jnl`	Model-driven toolset for embedded reconfigurable cores: Flexible prototyping and software-like debugging. Sci. Comput. Program. Loïc Lagadec, Ciprian Teodorov, Jean-Christophe Le Lann, Damien Picard, Erwan Fabiani
2014	—	`conf`	Towards a Dynamic Infrastructure for Playing with Systems of Systems. ECSA Workshops Jean-Philippe Schneider, Ciprian Teodorov, Eric Senn, Joël Champeau
2014	—	`conf`	Virtual prototyping of R2D NASIC based FPGA. NANOARCH Ciprian Teodorov, Loïc Lagadec
2011	—	`conf`	FPGA SDK for nanoscale architectures. ReCoSoC Ciprian Teodorov, Loïc Lagadec
2011	—	`conf`	FPGA physical-design automation using Model-Driven Engineering. ReCoSoC Ciprian Teodorov, Damien Picard, Loïc Lagadec
2011	—	`conf`	MDE-based FPGA physical design: fast model-driven prototyping with Smalltalk. IWST Ciprian Teodorov, Loïc Lagadec
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
2011	—	`conf`	Regular 2D NASIC-based architecture and design space exploration. NANOARCH Ciprian Teodorov, Pritish Narayanan, Loïc Lagadec, Catherine Dezan
2009	J	`jnl`	Towards a framework for designing applications onto hybrid nano/CMOS fabrics. Microelectron. J. Catherine Dezan, Ciprian Teodorov, Loïc Lagadec, Michael Leuchtenburg, Teng Wang, Pritish Narayanan, Csaba Andras Moritz