Ciprian Teodorov
Orcid: 0000-0002-0722-5857
According to our database1,
Ciprian Teodorov
authored at least 51 papers
between 2009 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
7
1
1
1
2
2
1
4
4
4
5
4
5
3
1
3
4
4
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Sci. Comput. Program., January, 2024
2023
Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering, 2023
Proceedings of the 34th International Workshop on Rapid System Prototyping, 2023
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023
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).
, 2023
2022
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.
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022
Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022
2021
Softw. Syst. Model., 2021
Proceedings of the IEEE International Workshop on Rapid System Prototyping, 2021
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021
Proceedings of the 7th International Conference on Information Systems Security and Privacy, 2021
Proceedings of the 31st International Conference on Field-Programmable Logic and Applications, 2021
2020
Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020
Proceedings of the MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020
Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020
Proceedings of the 6th International Conference on Information Systems Security and Privacy, 2020
Proceedings of the 23rd Euromicro Conference on Digital System Design, 2020
2019
Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019
Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach.
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2019
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2019
2018
Proceedings of the Software Technologies: Applications and Foundations, 2018
Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018
Proceedings of the Model and Data Engineering - 8th International Conference, 2018
Proceedings of the New Trends in Model and Data Engineering, 2018
A new dominating tree routing algorithm for efficient leader election in IoT networks.
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.
Int. J. Softw. Tools Technol. Transf., 2017
Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017
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.
Softw. Test. Verification Reliab., 2016
Scalable Comput. Pract. Exp., 2016
Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, The Netherlands, October 31, 2016
2015
Proceedings of the Annual IEEE Systems Conference, 2015
Proceedings of the IEEE EUROCON 2015, 2015
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.
Softw. Pract. Exp., 2014
Model-driven toolset for embedded reconfigurable cores: Flexible prototyping and software-like debugging.
Sci. Comput. Program., 2014
Proceedings of the IEEE/ACM International Symposium on Nanoscale Architectures, 2014
Proceedings of the Model and Data Engineering - 4th International Conference, 2014
Proceedings of the ECSA 2014 Workshops & Tool Demos Track, 2014
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).
PhD thesis, 2011
Proceedings of the 6th International Workshop on Reconfigurable Communication-centric Systems-on-Chip, 2011
Proceedings of the 6th International Workshop on Reconfigurable Communication-centric Systems-on-Chip, 2011
Proceedings of the 2011 IEEE/ACM International Symposium on Nanoscale Architectures, 2011
Proceedings of the International Workshop on Smalltalk Technologies, 2011
2009
Microelectron. J., 2009