Accéder directement au contenu Accéder directement à la navigation


...
hal-02434620v1  Communication dans un congrès
Luka Le RouxCiprian Teodorov. Partially Bounded Context-Aware Verification
17th International Conference on Software Engineering and Formal Methods, SEFM 2019, Sep 2019, Oslo, Norway. pp.532-548, ⟨10.1007/978-3-030-30446-1_28⟩
...
hal-02433749v1  Communication dans un congrès
Valentin BesnardCiprian TeodorovFrédéric JouaultMatthias BrunPhilippe Dhaussy. Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach
22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2019, 2019, Munich, Germany. pp.161-171, ⟨10.1109/MODELS.2019.000-5⟩
...
hal-01704422v1  Communication dans un congrès
Ahcène BounceurOlivier MarcMassinissa LounisJulien SolerLaurent Clavier et al.  CupCarbon-Lab: An IoT Emulator
IEEE Consumer Communications & Networking Conference, Jan 2018, Las Vegas, United States. ⟨10.1109/CCNC.2018.8319313⟩
...
tel-02515931v1  Thèse
Ciprian Teodorov. Model-Driven Physical-Design for Future Nanoscale Architectures
Emerging Technologies [cs.ET]. Université de Bretagne Occidentale (UBO), Brest, 2011. English