Ciprian Teodorov

According to our database1, Ciprian Teodorov authored at least 37 papers between 2009 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

2020
Operational design for advanced persistent threats.
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.
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.
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.
Proceedings of the 6th International Conference on Information Systems Security and Privacy, 2020

Menhir: Generic High-Speed FPGA Model-Checker.
Proceedings of the 23rd Euromicro Conference on Digital System Design, 2020

2019
Partially Bounded Context-Aware Verification.
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

A Model Checkable UML Soccer Player.
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.
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2019

2018
Embedded UML Model Execution to Bridge the Gap Between Design and Runtime.
Proceedings of the Software Technologies: Applications and Foundations, 2018

Unified LTL Verification and Embedded Execution of UML Models.
Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018

Domain-Oriented Verification Management.
Proceedings of the Model and Data Engineering - 8th International Conference, 2018

A Problem-Oriented Approach to Critical System Design and Diagnosis Support.
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

A Diagnosis Framework for Critical Systems Verification (Short Paper).
Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

Towards One Model Interpreter for Both Design and Deployment.
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Asserting causal properties in High Level Synthesis.
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

A Parallel Algorithm for the State Space Exploration.
Scalable Comput. Pract. Exp., 2016

Object-oriented design pattern for DSL program monitoring.
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.
Proceedings of the Annual IEEE Systems Conference, 2015

Relational and graph queries over a transition system.
Proceedings of the IEEE EUROCON 2015, 2015

Towards a meta-language for the concurrency concern in DSLs.
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

Virtual prototyping of R2D NASIC based FPGA.
Proceedings of the IEEE/ACM International Symposium on Nanoscale Architectures, 2014

Context-Aware Verification of a Cruise-Control System.
Proceedings of the Model and Data Engineering - 4th International Conference, 2014

Towards a Dynamic Infrastructure for Playing with Systems of Systems.
Proceedings of the ECSA 2014 Workshops & Tool Demos Track, 2014

Context-Aware Verification of a Landing Gear System.
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

FPGA physical-design automation using Model-Driven Engineering.
Proceedings of the 6th International Workshop on Reconfigurable Communication-centric Systems-on-Chip, 2011

FPGA SDK for nanoscale architectures.
Proceedings of the 6th International Workshop on Reconfigurable Communication-centric Systems-on-Chip, 2011

Regular 2D NASIC-based architecture and design space exploration.
Proceedings of the 2011 IEEE/ACM International Symposium on Nanoscale Architectures, 2011

MDE-based FPGA physical design: fast model-driven prototyping with Smalltalk.
Proceedings of the International Workshop on Smalltalk Technologies, 2011

2009
Towards a framework for designing applications onto hybrid nano/CMOS fabrics.
Microelectron. J., 2009


  Loading...