Filtrer vos résultats
- 14
- 13
- 1
- 17
- 9
- 1
- 1
- 28
- 1
- 4
- 11
- 12
- 1
- 26
- 2
- 28
- 7
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 14
- 9
- 6
- 5
- 5
- 5
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 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
|
|
triés par
|
Unified verification and monitoring of executable UML specifications. A transformation-free approachSoftware and Systems Modeling, 2021, ⟨10.1007/s10270-021-00923-9⟩
Article dans une revue
hal-03463358v1
|
|||
|
Guidelines for the Specification of IoT Requirements: A Smart Cars CaseIoT Protocols and Applications for Improving Industry, Environment, and Society, 2021
Article dans une revue
hal-03566030v1
|
||
Prototyping FPGA through overlays2021 IEEE International Workshop on Rapid System Prototyping (RSP), Oct 2021, Paris, France. pp.15-21, ⟨10.1109/RSP53691.2021.9806222⟩
Communication dans un congrès
hal-03761788v1
|
|||
|
SDN Intent-based conformance checking: application to security policies7th IEEE International Conference on Network Softwarization (IEEE NetSoft 2021), Jun 2021, Tokyo (virtual), Japan
Communication dans un congrès
hal-03207525v1
|
||
Security Analysis17th International Conference on Risks and Security of Internet and Systems, CRiSIS 2022, Dec 2022, Sousse, Tunisia. pp.133-152, ⟨10.1007/978-3-031-31108-6_11⟩
Communication dans un congrès
hal-04161319v1
|
|||
|
Taxonomy of Requirements Specification TemplatesSoftEng 23, Apr 2023, Venice, Italy
Communication dans un congrès
hal-04105054v1
|
||
Carnac: Algorithm Variability for Fast Swarm Verification on FPGA2021 31st International Conference on Field-Programmable Logic and Applications (FPL), Aug 2021, Dresden, Germany. pp.185-189, ⟨10.1109/FPL53798.2021.00038⟩
Communication dans un congrès
hal-03550389v1
|
|||
|
Fouille de Processus de Configuration dans les Lignes de ProduitsINFORSID, Jun 2021, Dijon, France
Communication dans un congrès
hal-03252121v1
|
||
|
PAMELA: an annotation-based Java Modeling FrameworkScience of Computer Programming, 2021, 210, pp.102668. ⟨10.1016/j.scico.2021.102668⟩
Article dans une revue
hal-03217126v1
|
||
|
Robustness Testing of a Machine Learning-based Road Object Detection System: An Industrial Case1st International Workshop on Software Engineering for Responsible Artificial Intelligence (SE4RAI), May 2022, Pittsburgh (virtual), United States. ⟨10.1145/3526073.3527592⟩
Communication dans un congrès
hal-03647680v1
|
||
Practical multiverse debugging through user-defined reductionsMODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, Oct 2022, Montreal Quebec Canada, Canada. pp.87-97, ⟨10.1145/3550355.3552447⟩
Communication dans un congrès
hal-03891589v1
|
|||
Dolmen: FPGA Swarm for Safety and Liveness Verification2022 Design, Automation & Test in Europe Conference & Exhibition (DATE), Mar 2022, Antwerp, Belgium. pp.1425-1430, ⟨10.23919/DATE54114.2022.9774528⟩
Communication dans un congrès
hal-03708237v1
|
|||
|
“Snapshot” of the State of Software Reuse in ColombiaRevista Científica de la Universidad Distrital, 2022, 44 (2), pp.242-256. ⟨10.14483/23448350.18389⟩
Article dans une revue
hal-03865842v1
|
||
|
Security Analysis: From model to system analysisCRiSiS 2022 : International Conference on Risks and Security of Internet and Systems, Dec 2022, Sousse, Tunisia
Communication dans un congrès
hal-03866297v1
|
||
|
Cybersecurity for Industrial Internet of Things: Architecture, Models and Lessons LearnedIEEE Access, 2022, 10, pp.124747-124765. ⟨10.1109/ACCESS.2022.3225074⟩
Article dans une revue
hal-03967801v1
|
||
Procédé de configuration d'un circuit logique programmable, circuit logique programmable et dispositif pour implémenter le procédéFrance, N° de brevet: FR3115134. 2022
Brevet
hal-04032489v1
|
|||
|
A Lightweight Method to Define Solver-Agnostic Semantics of Domain Specific Languages for Software Product Line Variability ModelsSOFTENG 2023 - The 9th International Conference on Advances and Trends in Software Engineering, IARIA: International Academy, Research and Industry Association, Apr 2023, Venise, Italy
Communication dans un congrès
hal-04077798v1
|
||
From OCL-based model static analysis to quick fixes21st International Workshop on OCL and Textual Modeling / MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, Oct 2022, Montreal (Canada), Canada. pp.889-893, ⟨10.1145/3550356.3561562⟩
Communication dans un congrès
hal-03937212v1
|
|||
|
Cybersecurity for Industrial Internet of Things: Architecture, Models and Lessons LearnedIEEE Access, 2022, 10, pp.124747-124765. ⟨10.1109/ACCESS.2022.3225074⟩
Article dans une revue
hal-03937439v1
|
||
|
A Unified Vision of Configurable SoftwareInforsid, Jun 2020, Dijon, France. ⟨10.3166/RCMA.25.1-n⟩
Communication dans un congrès
hal-03252096v1
|
||
State-Constraint Transition: A Language for the Formal Specification of Dynamic Cyber-System RequirementsJournal of Integrated Design and Process Science, 2021, 25 (2), pp.80-99. ⟨10.3233/JID210027⟩
Article dans une revue
hal-03708271v1
|
|||
|
A SysML-based Holistic Variability Modelling of Software and Systems Product Lines34th International Conference on Computer Applications in Industry and Engineering, CAINE 2021, Oct 2021, Virtual online, United States. pp.99 - 112
Communication dans un congrès
hal-03708288v1
|
||
|
Security property modeling7th International Conference on Information Systems Security and Privacy, ICISSP 2021, Feb 2021, Vienne - Virtual Online, Austria. pp.694-701, ⟨10.5220/0010388206940701⟩
Communication dans un congrès
hal-03188864v1
|
||
|
Intelligent Decision Support for Cybersecurity Incident Response Teams: Autonomic Architecture and Mitigation Search16th International Conference on Risks and Security of Internet and Systems, CRISIS 2021, Nov 2021, Virtual, Online, United States. pp.91-107, ⟨10.1007/978-3-031-02067-4_6⟩
Communication dans un congrès
hal-03687205v1
|
||
|
G∀min∃: Exploring the Boundary Between Executable Specification Languages and Behavior Analysis ToolsSoftware Engineering [cs.SE]. Université de Bretagne Occidentale (UBO), Brest, 2023
HDR
tel-04066483v1
|
||
|
Colla-Config: A stakeholders preferences-based approach for product lines collaborative configurationJournal of Systems and Software, 2023, 197, pp.111586. ⟨10.1016/j.jss.2022.111586⟩
Article dans une revue
hal-03970378v1
|
||
Multi-Level Modeling with Openflexo/FMLEnterprise Modelling and Information Systems Architectures, 2022, 17, ⟨10.18417/emisa.17.9⟩
Article dans une revue
hal-03692372v1
|
|||
AnimUML as a UML Modeling and Verification Teaching ToolMODELS 2021, Nov 2021, Fukuoka (virtual), Japan. pp.615-619
Communication dans un congrès
hal-03408698v1
|