Остановите войну!
for scientists:
default search action
Ciprian Teodorov
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2023
- [b2]Ciprian Teodorov:
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). University of Western Brittany, Brest, France, 2023 - 2011
- [b1]Ciprian Teodorov:
Model-Driven Physical-Design for Future Nanoscale Architectures. (Synthèse physique dirigée par les modèles pour les architectures nanométriques du futur). University of Western Brittany, Brest, France, 2011
Journal Articles
- 2024
- [j8]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:
AnimUML: A practical tool for partial model animation and analysis. Sci. Comput. Program. 232: 103050 (2024) - 2021
- [j7]Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy:
Unified verification and monitoring of executable UML specifications. Softw. Syst. Model. 20(6): 1825-1855 (2021) - 2017
- [j6]Ciprian Teodorov, Philippe Dhaussy, Luka Leroux:
Environment-driven reachability for timed systems - Safety verification of an aircraft landing gear system. Int. J. Softw. Tools Technol. Transf. 19(2): 229-245 (2017) - 2016
- [j5]Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov:
A Parallel Algorithm for the State Space Exploration. Scalable Comput. Pract. Exp. 17(2): 129-142 (2016) - [j4]Ciprian Teodorov, Luka Leroux, Zoé Drey, Philippe Dhaussy:
Past-Free[ze] reachability analysis: reaching further with DAG-directed exhaustive state-space analysis. Softw. Test. Verification Reliab. 26(7): 516-542 (2016) - 2014
- [j3]Loïc Lagadec, Ciprian Teodorov, Jean-Christophe Le Lann, Damien Picard, Erwan Fabiani:
Model-driven toolset for embedded reconfigurable cores: Flexible prototyping and software-like debugging. Sci. Comput. Program. 96: 156-174 (2014) - [j2]Ciprian Teodorov, Loïc Lagadec:
Model-driven physical-design automation for FPGAs: fast prototyping and legacy reuse. Softw. Pract. Exp. 44(4): 455-482 (2014) - 2009
- [j1]Catherine Dezan, Ciprian Teodorov, Loïc Lagadec, Michael Leuchtenburg, Teng Wang, Pritish Narayanan, Csaba Andras Moritz:
Towards a framework for designing applications onto hybrid nano/CMOS fabrics. Microelectron. J. 40(4-5): 656-664 (2009)
Conference and Workshop Papers
- 2023
- [c40]Joeri Exelmans, Ciprian Teodorov, Robert Heinrich, Alexander Egyed, Hans Vangheluwe:
Collaborative Live Modelling by Language-Agnostic Versioning. MoDELS (Companion) 2023: 364-374 - [c39]Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Loïc Lagadec:
Debugging Paxos in the UML Multiverse. MoDELS (Companion) 2023: 811-820 - [c38]Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Luka Le Roux, Loïc Lagadec:
Temporal Breakpoints for Multiverse Debugging. SLE 2023: 125-137 - 2022
- [c37]Emilien Fournier, Ciprian Teodorov, Loïc Lagadec:
Dolmen: FPGA Swarm for Safety and Liveness Verification. DATE 2022: 1425-1430 - [c36]Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Luka Le Roux, Loïc Lagadec:
Practical multiverse debugging through user-defined reductions: application to UML models. MoDELS 2022: 87-97 - [c35]Frédéric Jouault, Maxime Méré, Matthias Brun, Théo Le Calvar, Matthias Pasquier, Ciprian Teodorov:
From OCL-based model static analysis to quick fixes. MoDELS (Companion) 2022: 889-893 - [c34]Frédéric Jouault, Ciprian Teodorov, Matthias Brun:
Smart Home Model Verification with AnimUML (Poster). STAF Workshops 2022 - 2021
- [c33]Emilien Fournier, Ciprian Teodorov, Loïc Lagadec:
Carnac: Algorithm Variability for Fast Swarm Verification on FPGA. FPL 2021: 185-189 - [c32]Hiba Hnaini, Luka Le Roux, Joël Champeau, Ciprian Teodorov:
Security Property Modeling. ICISSP 2021: 694-701 - [c31]Frédéric Jouault, Valentin Sebille, Valentin Besnard, Théo Le Calvar, Ciprian Teodorov, Matthias Brun, Jérôme Delatour:
AnimUML as a UML Modeling and Verification Teaching Tool. MoDELS (Companion) 2021: 615-619 - [c30]Théotime Bollengier, Loïc Lagadec, Ciprian Teodorov:
Prototyping FPGA through overlays. RSP 2021: 15-21 - 2020
- [c29]Emilien Fournier, Ciprian Teodorov, Loïc Lagadec:
Menhir: Generic High-Speed FPGA Model-Checker. DSD 2020: 65-72 - [c28]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:
A Domain-specific Modeling Framework for Attack Surface Modeling. ICISSP 2020: 341-348 - [c27]Tithnara Nicolas Sun, Ciprian Teodorov, Luka Le Roux:
Operational design for advanced persistent threats. MoDELS (Companion) 2020: 55:1-55:10 - [c26]Valentin Besnard, Frédéric Jouault, Matthias Brun, Ciprian Teodorov, Philippe Dhaussy, Jérôme Delatour:
Modular deployment of UML models for V&V activities and embedded execution. MoDELS (Companion) 2020: 81:1-81:10 - [c25]Frédéric Jouault, Valentin Besnard, Théo Le Calvar, Ciprian Teodorov, Matthias Brun, Jérôme Delatour:
Designing, animating, and verifying partial UML Models. MoDELS 2020: 211-217 - 2019
- [c24]Fahad Rafique Golra, Joël Champeau, Ciprian Teodorov:
Early Validation Framework for Critical and Complex Process-Centric Systems. BPMDS/EMMSAD@CAiSE 2019: 35-50 - [c23]Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy:
Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach. MoDELS 2019: 161-171 - [c22]Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy:
A Model Checkable UML Soccer Player. MoDELS (Companion) 2019: 211-220 - [c21]Luka Le Roux, Ciprian Teodorov:
Partially Bounded Context-Aware Verification. SEFM 2019: 532-548 - 2018
- [c20]Ahcène Bounceur, Madani Bezoui, Massinissa Lounis, Reinhardt Euler, Ciprian Teodorov:
A new dominating tree routing algorithm for efficient leader election in IoT networks. CCNC 2018: 1-2 - [c19]Vincent Leildé, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy:
A Problem-Oriented Approach to Critical System Design and Diagnosis Support. MEDI Workshops 2018: 30-39 - [c18]Vincent Leildé, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy:
Domain-Oriented Verification Management. MEDI 2018: 354-370 - [c17]Valentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Teodorov, Philippe Dhaussy:
Unified LTL Verification and Embedded Execution of UML Models. MoDELS 2018: 112-122 - [c16]Valentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Teodorov, Philippe Dhaussy:
Embedded UML Model Execution to Bridge the Gap Between Design and Runtime. STAF Workshops 2018: 519-528 - 2017
- [c15]Erwan Fabiani, Loïc Lagadec, Mohamed Ben Hammouda, Ciprian Teodorov:
Asserting causal properties in High Level Synthesis. IVSW 2017: 111-116 - [c14]Valentin Besnard, Matthias Brun, Philippe Dhaussy, Frédéric Jouault, David Olivier, Ciprian Teodorov:
Towards One Model Interpreter for Both Design and Deployment. MoDELS (Satellite Events) 2017: 102-108 - [c13]Vincent Leildé, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy:
A Diagnosis Framework for Critical Systems Verification (Short Paper). SEFM 2017: 394-400 - 2016
- [c12]Zoé Drey, Ciprian Teodorov:
Object-oriented design pattern for DSL program monitoring. SLE 2016: 70-83 - 2015
- [c11]Julien Deantoni, Papa Issa Diallo, Ciprian Teodorov, Joël Champeau, Benoît Combemale:
Towards a meta-language for the concurrency concern in DSLs. DATE 2015: 313-316 - [c10]Siham Rim Boudaoud, Khaoula Es-Salhi, Vincent Ribaud, Ciprian Teodorov:
Relational and graph queries over a transition system. EUROCON 2015: 1-6 - [c9]Jean-Philippe Schneider, Joël Champeau, Ciprian Teodorov, Eric Senn, Loïc Lagadec:
A role language to interpret multi-formalism System of systems models. SysCon 2015: 200-205 - 2014
- [c8]Philippe Dhaussy, Ciprian Teodorov:
Context-Aware Verification of a Landing Gear System. ABZ (Case Study) 2014: 52-65 - [c7]Jean-Philippe Schneider, Ciprian Teodorov, Eric Senn, Joël Champeau:
Towards a Dynamic Infrastructure for Playing with Systems of Systems. ECSA Workshops 2014: 31:1-31:4 - [c6]Ciprian Teodorov, Luka Leroux, Philippe Dhaussy:
Context-Aware Verification of a Cruise-Control System. MEDI 2014: 53-64 - [c5]Ciprian Teodorov, Loïc Lagadec:
Virtual prototyping of R2D NASIC based FPGA. NANOARCH 2014: 179-180 - 2011
- [c4]Ciprian Teodorov, Loïc Lagadec:
MDE-based FPGA physical design: fast model-driven prototyping with Smalltalk. IWST 2011: 7:1-7:13 - [c3]Ciprian Teodorov, Pritish Narayanan, Loïc Lagadec, Catherine Dezan:
Regular 2D NASIC-based architecture and design space exploration. NANOARCH 2011: 70-77 - [c2]Ciprian Teodorov, Loïc Lagadec:
FPGA SDK for nanoscale architectures. ReCoSoC 2011: 1-8 - [c1]Ciprian Teodorov, Damien Picard, Loïc Lagadec:
FPGA physical-design automation using Model-Driven Engineering. ReCoSoC 2011: 1-6
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 01:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint