AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Ciprian Teodorov

Ciprian Teodorov

Ecole Nationale Supérieure de Techniques Avancées - Palaiseau / France
Others
AD Scientific Index ID: 5937810
National Higher School of Advanced Techniques
person_outline Ciprian Teodorov's MOST POPULAR ARTICLES
1-) Unified LTL verification and embedded execution of UML models Proceedings of the 21th ACM/IEEE International Conference on Model Driven …, 2018
2-) A new dominating tree routing algorithm for efficient leader election in IoT networks 2018 15th IEEE Annual Consumer Communications & Networking Conference (CCNC …, 2018
3-) Towards a meta-language for the concurrency concern in DSLs 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE), 313-316, 2015
4-) Designing, animating, and verifying partial UML Models Proceedings of the 23rd ACM/IEEE International Conference on Model Driven …, 2020
5-) Environment-driven reachability for timed systems: safety verification of an aircraft landing gear system International Journal on Software Tools for Technology Transfer 19 (2), 229-245, 2017