Showing 1 - 3 results of 3 for search '"French Institute for Research in Computer Science and Automation"', čas poizvedbe: 0.76s Refine Results
  1. 1
  2. 2

    Curated Archiving of Research Software Artifacts: Lessons Learned from the French Open Archive (HAL) od Roberto Di Cosmo, Morane Gruenpeter, Bruno Marmol, Alain Monteil, Laurent Romary, Jozefina Sadowska

    Izdano 2020-08-01
    “...The collaboration between Software Heritage (SWH), the Center for Direct Scientific Communication (CCSD) and the scientific and technical information services (IES) of The French Institute for Research in Computer Science and Automation (Inria) has resulted in a specified moderation and curation workflow for research software artifacts deposited in the HAL the French global open access repository. ...”
    Polni tekst
    Article
  3. 3

    End-to-End Framework for Identifying Vulnerabilities of Operational Technology Protocols and Their Implementations in Industrial IoT od Matthew Boeding, Michael Hempel, Hamid Sharif

    Izdano 2025-01-01
    “...Initially, protocol specifications are modeled to identify any vulnerable states within the protocol, leveraging the Construction and Analysis of Distributed Processes (CADP) software (version 2022-d “Kista”, which was created by Inria, the French Institute for Research in Computer Science and Automation, in France). Device characteristics are then extracted through automated real-time network emulation tests built on the OMNET++ framework, and all measured device characteristics are then used as a virtual device representation for network simulation tests within the OMNET++ software (version 6.0.1., a public-soucre, open-architecture software, initially developed by OpenSim Limited in Budapest, Hungary), to verify the presence of any potential vulnerabilities identified in the formal modeling stage. ...”
    Polni tekst
    Article