Filtrer vos résultats
- 39
- 37
- 54
- 15
- 3
- 1
- 1
- 1
- 1
- 1
- 68
- 11
- 2
- 1
- 1
- 1
- 14
- 19
- 22
- 13
- 4
- 1
- 1
- 1
- 70
- 4
- 2
- 76
- 8
- 6
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 25
- 21
- 13
- 10
- 9
- 9
- 9
- 8
- 8
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
Modular Deployment of UML Models for V&V Activities and Embedded ExecutionMoDeVVa, Oct 2020, Virtual Event, Canada. ⟨10.1145/3417990.3419227⟩
Communication dans un congrès
hal-02929122v1
|
|||
|
Preference-based Conflict Resolution for Collaborative Configuration of Product LinesInternational Conference on Evaluation of Novel Approaches to Software Engineering, Mar 2020, Prague, Czech Republic
Communication dans un congrès
hal-02502398v1
|
||
Towards one Model Interpreter for Both Design and Deployment3rd International Workshop on Executable Modeling (EXE 2017), Sep 2017, Austin, United States
Communication dans un congrès
hal-01585318v1
|
|||
|
A New Leader Election Algorithm based on the WBS Algorithm Dedicated to Smart-cities3rd International Conference on Future Networks and Distributed Systems (ICFNDS '19), Jul 2019, Paris, France. pp.1-5, ⟨10.1145/3341325.3342014⟩
Communication dans un congrès
hal-02303247v2
|
||
A High Abstraction Level Constraint for Object Localization in Marine ObservatoriesCSCI 2017, Dec 2017, Las Vegas, United States
Communication dans un congrès
hal-01653617v1
|
|||
An Automated Transformation Approach for Requirement SpecificationConf ITQM’16, Aug 2016, Séoul, South Korea
Communication dans un congrès
hal-01864825v1
|
|||
Model-checking for Secured Component Implementation.17th International Conference on Security and Management (SAM’18), Jul 2018, Las Vegas, United States
Communication dans un congrès
hal-01864787v1
|
|||
An Integrated Toolchain for Overlay-centric System-on-chip13th International Symposium on Reconfigurable Communication-centric Systems-on-Chip 2018 (ReCoSoC 2018), Jul 2018, Lille, France. ⟨10.1109/ReCoSoC.2018.8449388⟩
Communication dans un congrès
hal-01867638v1
|
|||
Unified LTL Verification and Embedded Execution of UML Models21st International Conference on Model Driven Engineering Languages and Systems (MODELS), Oct 2018, Copenhague, Denmark
Communication dans un congrès
hal-01887948v1
|
|||
|
Towards a new template for the specification of requirements in semi-structured natural languageJournal of Software Engineering Research and Development, 2020, 8, pp.3. ⟨10.5753/jserd.2020.473⟩
Article dans une revue
hal-02502411v1
|
||
Distributed algorithm to fight the state explosion problemINDERSCIENCE International Journal of Internet Technology and Secured Transactions., 2018, 8 (3), pp.398 - 411. ⟨10.1504/IJITST.2018.10014833⟩
Article dans une revue
hal-01716143v1
|
|||
Designing a combined personal communicator and data entry terminal for disaster relief & remote operationsIEEE Global Humanitarian Technology Conference (GHTC), Oct 2019, Seattle, WA, United States
Communication dans un congrès
hal-02553261v1
|
|||
|
Partially Bounded Context-Aware Verification17th 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⟩
Communication dans un congrès
hal-02434620v1
|
||
|
A Domain-specific Modeling Framework for Attack Surface ModelingICISSP 2020 : 6th International Conference on Information Systems Security and Privacy, Feb 2020, Valetta, Malta. pp.341 - 348, ⟨10.5220/0008916203410348⟩
Communication dans un congrès
hal-02502387v1
|
||
|
Automated Exploration of Homomorphic Encryption Scheme Input ParametersJournal of Information Security and Applications, 2020, 55, pp.102627. ⟨10.1016/j.jisa.2020.102627⟩
Article dans une revue
hal-02960569v2
|
||
Designing, Animating, and Verifying Partial UML Models23rd International Conference on Model Driven Engineering Languages and Systems (MODELS 2020), Oct 2020, Virtual event, Canada. pp.211-217, ⟨10.1145/3365438.3410967⟩
Communication dans un congrès
hal-02931876v1
|
|||
|
AN ENTERPRISE ARCHITECTURE AND MODEL DRIVEN ENGINEERING BASED APPROACH FOR SENSOR NETWORKSComputer Science [cs]. ENSTA Bretagne, 2018. English. ⟨NNT : ⟩
Thèse
tel-03250233v1
|
||
FFT Radix-2 and Radix-4 FPGA Acceleration Techniques Using HLS and HDL for Digital Communication SystemsIEEE International Multidisciplinary Conference on Engineering Technology, (IMCET 2018), Nov 2018, Beirut, Lebanon
Communication dans un congrès
hal-01936699v1
|
|||
|
CupCarbon-Lab: An IoT EmulatorIEEE Consumer Communications & Networking Conference, Jan 2018, Las Vegas, United States. ⟨10.1109/CCNC.2018.8319313⟩
Communication dans un congrès
hal-01704422v1
|
||
Environment-driven reachability for timed systemsInternational Journal on Software Tools for Technology Transfer, 2017, 19 (2), pp.229-245. ⟨10.1007/s10009-015-0401-2⟩
Article dans une revue
hal-01373335v1
|
|||
Asserting causal properties in High Level Synthesis2017 IEEE 2nd International Verification and Security Workshop (IVSW), Jul 2017, Thessaloniki, Greece
Communication dans un congrès
hal-01623030v1
|
|||
Model Federation based on Role ModelingMODELSWARD 2019 - 7th International Conference on Model-Driven Engineering and Software Development 2019, Feb 2019, Prague, Czech Republic. pp.74-85
Communication dans un congrès
hal-02123046v1
|
|||
|
Towards a Hardware DSL Ecosystem: RubyRTL and FriendsOSDA'2020 Open Source Hardware Design, colocated with DATE'20, Mar 2020, Grenoble, France
Communication dans un congrès
hal-02513256v1
|
||
|
Fast Evaluation of Homomorphic Encryption Schemes Based on Ring-LWE2018 9th IFIP International Conference on New Technologies, Mobility and Security (NTMS), Feb 2018, Paris, France. ⟨10.1109/NTMS.2018.8328693⟩
Communication dans un congrès
hal-01757093v1
|
||
A Role Modeling Based Approach for Cyber Threat AnalysisMODELSWARD 2019 - 7th International Conference on Model-Driven Engineering and Software Development, Feb 2019, Prague, Czech Republic. pp.76-100, ⟨10.1007/978-3-030-37873-8_4⟩
Communication dans un congrès
hal-02461502v1
|
|||
Data Management Mechanisms for Internet of Things: A position paperCSCI 2019, The American Council on Science and Education, Dec 2019, Las Vegas, United States. pp.61, ⟨10.1109/CSCI49370.2019⟩
Communication dans un congrès
hal-02515160v1
|
|||
Proposed Algorithms to the State Explosion ProblemAynur 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⟩
Chapitre d'ouvrage
hal-02515359v1
|
|||
Embedded UML Model Execution to Bridge the Gap Between Design and RuntimeMDE@DeRun 2018 : First International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems, Jun 2018, Toulouse, France
Communication dans un congrès
hal-01802247v1
|
|||
|
Hacia una nueva plantilla para la especificación de requisitos en lenguaje natural semi-estructuradoRequirements Engineering Track (RET) of CIbSE, 2019, Habana, Cuba
Communication dans un congrès
hal-02502483v1
|
||
|
Collaborative configuration approaches in software product lines engineering: a systematic mapping studyJournal of Systems and Software, 2019, 158, ⟨10.1016/j.jss.2019.110422⟩
Article dans une revue
hal-02302669v1
|