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


hal-01716143v1  Article dans une revue
Lamia AllalGhalem BelalemPhilippe DhaussyCiprian Teodorov. Distributed algorithm to fight the state explosion problem
INDERSCIENCE International Journal of Internet Technology and Secured Transactions., Inderscience Enterprises, 2018, 8 (3), pp.398 - 411. ⟨10.1504/IJITST.2018.10014833⟩
hal-01373317v1  Article dans une revue
Lamia AllalGhalem BelalemPhilippe DhaussyCiprian Teodorov. A Parallel Algorithm for the State Space Exploration
Scalable Computing : Practice and Experience, West University of Timisoara, 2016, Scalable Computing: Practice and Experience, 17 (2), pp.129-141. ⟨10.12694/scpe.v17i2.1161⟩
hal-01802247v1  Communication dans un congrès
Valentin BesnardMatthias BrunFrédéric JouaultCiprian TeodorovPhilippe Dhaussy. Embedded UML Model Execution to Bridge the Gap Between Design and Runtime
MDE@DeRun 2018 : First International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems, Jun 2018, Toulouse, France
hal-01780556v1  Communication dans un congrès
Lamia AllalGhalem BelalemPhilippe DhaussyCiprian Teodorov. Using Parallel and Distributed Reachability in Model Checking
Recent Advancement in Computer, Communication and Computational Sciences (RACCCS-2017), Sep 2017, Ajmer, India. pp.143-154, ⟨10.1007/978-981-10-7386-1_12⟩
hal-02931876v1  Communication dans un congrès
Frédéric JouaultValentin BesnardThéo Le CalvarCiprian TeodorovMatthias Brun et al.  Designing, Animating, and Verifying Partial UML Models
23rd International Conference on Model Driven Engineering Languages and Systems (MODELS 2020), Oct 2020, Virtual event, Canada
hal-01585318v1  Communication dans un congrès
Valentin BesnardMatthias BrunPhilippe DhaussyFrédéric JouaultDavid Olivier et al.  Towards one Model Interpreter for Both Design and Deployment
3rd International Workshop on Executable Modeling (EXE 2017), Sep 2017, Austin, United States
hal-03028409v1  Communication dans un congrès
Emilien FournierCiprian TeodorovLoïc Lagadec. Menhir: Generic High-Speed FPGA Model-Checker
2020 23rd Euromicro Conference on Digital System Design (DSD), Aug 2020, Kranj, Slovenia. pp.65-72, ⟨10.1109/DSD51259.2020.00022⟩
hal-02515359v1  Chapitre d'ouvrage
Lamia AllalGhalem BelalemPhilippe DhaussyCiprian Teodorov. Proposed Algorithms to the State Explosion Problem
Aynur Unal; Malaya Nayak; Durgesh Kumar Mishra; Dharm Singh; Joshi Amit. Smart Trends in Information Technology and Computer Communications. First International Conference, SmartCom 2016, Jaipur, India, August 6–7, 2016, Revised Selected Papers, 628, Springer, pp.211-217, 2016, Communications in Computer and Information Science book series (CCIS), 978-981-10-3433-6 (eBook); 978-981-10-3432-9 (Softcover). ⟨10.1007/978-981-10-3433-6_26⟩
hal-01006697v1  Communication dans un congrès
Philippe DhaussyCiprian Teodorov. Context-aware Veri cation of a Landing Gear System
ABZ 2014, Jun 2014, Toulouse, France. pp.52-65
hal-02515160v1  Communication dans un congrès
Ousmane DialloPhilippe DhaussyCiprian Teodorov. Data Management Mechanisms for Internet of Things: A position paper
CSCI 2019, The American Council on Science and Education, Dec 2019, Las Vegas, United States. pp.61, ⟨10.1109/CSCI49370.2019⟩
hal-01623030v1  Communication dans un congrès
Erwan FabianiLoïc LagadecMohamed Ben HammoudaCiprian Teodorov. Asserting causal properties in High Level Synthesis
2017 IEEE 2nd International Verification and Security Workshop (IVSW), Jul 2017, Thessaloniki, Greece
hal-01887948v1  Communication dans un congrès
Valentin BesnardMatthias BrunFrédéric JouaultCiprian TeodorovPhilippe Dhaussy. Unified LTL Verification and Embedded Execution of UML Models
21st International Conference on Model Driven Engineering Languages and Systems (MODELS), Oct 2018, Copenhague, Denmark
hal-02375996v1  Communication dans un congrès
Valentin BesnardCiprian TeodorovFrédéric JouaultMatthias BrunPhilippe Dhaussy. A Model Checkable UML Soccer Player
3rd Workshop on Model-Driven Engineering Tools, Sep 2019, Munich, Germany
hal-00782814v1  Article dans une revue
Ciprian TeodorovLoïc Lagadec. Model-driven physical-design automation for FPGAs: fast prototyping and legacy reuse
Software: Practice and Experience, Wiley, 2013, 44 (4), pp.455-482. ⟨10.1002/spe.2190⟩
hal-01373335v1  Article dans une revue
Ciprian TeodorovPhilippe DhaussyLuka Le Roux. Environment-driven reachability for timed systems
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2017, 19 (2), pp.229-245. ⟨10.1007/s10009-015-0401-2⟩