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

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-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-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-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-01087442v1  Communication dans un congrès
Julien DeantoniPapa Issa DialloCiprian TeodorovJoël ChampeauBenoit Combemale. Towards a Meta-Language for the Concurrency Concern in DSLs
Design, Automation and Test in Europe Conference and Exhibition (DATE), Mar 2015, Grenoble, France
hal-02303250v1  Communication dans un congrès
Nabil KadjouhAhcène BounceurAbdelkamel TariReinhardt EulerLoïc Lagadec et al.  Temperature-based models of batteries for the simulation of Wireless Sensor Networks
3rd International Conferenceon on Future Networks and Distributed Systems, Jul 2019, Paris, France. pp.1-6, ⟨10.1145/3341325.3342013⟩
hal-01119571v1  Communication dans un congrès
Vincent RibaudCiprian TeodorovZoé DreyLuka LerouxPhilippe Dhaussy. Techniques and Challenges for Trace Processing from a Model-Checking Perspective
International Joint Conferences on Computer, Information, Systems Sciences, & Engineering - CISSE 2014, University of Bridgeport, Dec 2014, Bridgeport, United States
hal-03188864v1  Communication dans un congrès
Hiba HnainiLuka LerouxJoël ChampeauCiprian Teodorov. Security property modeling
7th International Conference on Information Systems Security and Privacy, ICISSP 2021, Feb 2021, Vienne - Virtual Online, Austria. pp.694-701
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-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⟩
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
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-01289454v1  Communication dans un congrès
S HeimXavier DumasE BonnafousPhilippe DhaussyC Teodorov et al.  Model Checking of SCADE Designed Systems
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France
hal-03028409v1  Communication dans un congrès
Émilien 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-01203649v1  Communication dans un congrès
Khaoula Es-SalhiSiham Rim BoudaoudCiprian TeodorovZoé DreyVincent Ribaud. KriQL: a query language for the diagnosis of transition systems
15th International Workshop on Automated Verification of Critical Systems - AVOCS'15, Sep 2015, Edimburgh, United Kingdom. pp.151-165
hal-02303242v1  Article dans une revue
Ahcène BounceurBezoui MadaniMohammad HammoudehLoïc LagadecReinhardt Euler. Finding the polygon hull of a network without conditions on the starting vertex
Transactions on emerging telecommunications technologies, Wiley-Blackwell, In press, pp.e3696. ⟨10.1002/ett.3696⟩
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⟩
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-02149584v1  Communication dans un congrès
Fahad Rafique GolraJoël ChampeauCiprian Teodorov. Early Validation Framework for Critical and Complex Process-Centric Systems
20th International Conference (BPMDS 2019) and 24th International Conference (EMMSAD 2019), Jun 2019, Rome, Italy. pp.35-50, ⟨10.1007/978-3-030-20618-5_3⟩
hal-02501870v1  Chapitre d'ouvrage
Ahcène BounceurBezoui MadaniLoïc LagadecReinhardt EulerAbdelkader Laouid et al.  DoTRo: A New Dominating Tree Routing Algorithm for Efficient and Fault-Tolerant Leader Election in WSNs and IoT Networks
Renault É., Boumerdassi S., Bouzefrane S. (eds). Mobile, Secure, and Programmable Networking. MSPN 2018, 11005, Springer, Cham, pp.42-53, 2019, Lecture Notes in Computer Science, 978-3-030-03100-8. ⟨10.1007/978-3-030-03101-5_5⟩