Zobrazeno 1 - 10
of 48
pro vyhledávání: '"Joël Champeau"'
Publikováno v:
SoftwareX, Vol 26, Iss , Pp 101704- (2024)
As digital systems continue to grow in popularity, they also become more vulnerable to various forms of attacks with various motives, including financial gain and political influence. In response, engineers must consider system security from the desi
Externí odkaz:
https://doaj.org/article/eb590d54c5f54fcbb4f88ebabfdf5942
Autor:
Sylvain Guérin, Joël Champeau, Jean-Christophe Bach, Antoine Beugnard, Fabien Dagnat, Salvador Martínez
Publikováno v:
HAL
Model federation is a multi-model management approach based on the use of virtual models and loosely coupled links. The models in a federation remain autonomous and represented in their original technological spaces whereas virtual models and links (
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c50eb535090fdaf1970028efc10e3c60
Publikováno v:
7th International Conference on Information Systems Security and Privacy, ICISSP 2021
7th International Conference on Information Systems Security and Privacy, ICISSP 2021, Feb 2021, Vienne-Virtual Online, Austria. pp.694-701, ⟨10.5220/0010388206940701⟩
ICISSP
7th International Conference on Information Systems Security and Privacy, ICISSP 2021, Feb 2021, Vienne-Virtual Online, Austria. pp.694-701, ⟨10.5220/0010388206940701⟩
ICISSP
International audience; With the increasing number of cyber-attacks on cyber-physical systems, many security precautions and solutions have been suggested. However, most of these solutions aim to prevent the access of an adversary to the system. Thou
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::678961a22815e09f0047a02076d2acb8
https://hal-ensta-bretagne.archives-ouvertes.fr/hal-03188864
https://hal-ensta-bretagne.archives-ouvertes.fr/hal-03188864
Autor:
Guillaume Polet, Caine Silva, Jean-Christophe Bach, Sylvain Guérin, Fabien Dagnat, Salvador Martínez, Joël Champeau, Antoine Beugnard
Publikováno v:
Science of Computer Programming
Science of Computer Programming, Elsevier, In press, ⟨10.1016/j.scico.2021.102668⟩
HAL
Science of Computer Programming, Elsevier, In press, ⟨10.1016/j.scico.2021.102668⟩
HAL
International audience; This article presents PAMELA, an annotation-based Java modeling framework. PAMELA provides a smooth integration between model and code and enables Java developers to handle software development both at conceptual level and at
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::50b95b3f152c018efef8b70a42f39d02
http://hdl.handle.net/20.500.12278/32393
http://hdl.handle.net/20.500.12278/32393
Publikováno v:
15th International Conference on Availibitlity, Reliability ans Security, ARES 2020
15th International Conference on Availibitlity, Reliability ans Security, ARES 2020, Association for Computing Machinery (ACM), Aug 2020, Virtual Event, Ireland. pp.1-9, ⟨10.1145/3407023.3409185⟩
ARES
15th International Conference on Availibitlity, Reliability ans Security, ARES 2020, Association for Computing Machinery (ACM), Aug 2020, Virtual Event, Ireland. pp.1-9, ⟨10.1145/3407023.3409185⟩
ARES
International audience; With the ever growing digitization of activities, software systems are getting more and more complex. They must comply with new usages, varied needs, and are permanently exposed to new security vulnerabilities.Security concern
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cfb7b9e313ee340ed4f29ea2a11a0e69
https://hal-ensta-bretagne.archives-ouvertes.fr/hal-02958111
https://hal-ensta-bretagne.archives-ouvertes.fr/hal-02958111
Publikováno v:
2020 IEEE Workshop on Formal Requirements (FORMREQ).
High quality requirements and specifications are the premises of efficient software system engineering. Formal approaches propose precise and unambiguous requirements amendable to automated reasoning. TLA+, for instance, is used by major companies, s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::44a8664b55746d97bfae64662f5bf8c0
https://doi.org/10.1109/formreq51202.2020.00008
https://doi.org/10.1109/formreq51202.2020.00008
Autor:
Bernard L'Hostis, Bastien Drouot, Ciprian Teodorov, Raúl Mazo, Sylvain Guérin, Lionel Van Aertryck, Joël Champeau, Fahad Rafique Golra, Luka Le Roux, Tithnara Nicolas Sun
Publikováno v:
ICISSP
ICISSP 2020 : 6th International Conference on Information Systems Security and Privacy
ICISSP 2020 : 6th International Conference on Information Systems Security and Privacy, Feb 2020, Valetta, Malta. pp.341-348, ⟨10.5220/0008916203410348⟩
ICISSP 2020 : 6th International Conference on Information Systems Security and Privacy
ICISSP 2020 : 6th International Conference on Information Systems Security and Privacy, Feb 2020, Valetta, Malta. pp.341-348, ⟨10.5220/0008916203410348⟩
International audience; Cybersecurity is becoming vital as industries are gradually moving from automating physical processes to a higher level automation using cyber physical systems (CPS) and internet of things (IoT). In this context, security is b
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::42f1a7ca30301a0c6ee55aabc6173342
https://doi.org/10.5220/0008916203410348
https://doi.org/10.5220/0008916203410348
Publikováno v:
20th International Conference (BPMDS 2019) and 24th International Conference (EMMSAD 2019)
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⟩
Enterprise, Business-Process and Information Systems Modeling ISBN: 9783030206178
BPMDS/EMMSAD@CAiSE
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⟩
Enterprise, Business-Process and Information Systems Modeling ISBN: 9783030206178
BPMDS/EMMSAD@CAiSE
International audience; Guaranteeing the correctness of the future system is of vital importance for the development of critical and complex systems. Rigorous software development methodologies are used for such systems, where formal methods for the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c8726eb2d6cdb7e72dfa850d309af379
https://hal-ensta-bretagne.archives-ouvertes.fr/hal-02149584/document
https://hal-ensta-bretagne.archives-ouvertes.fr/hal-02149584/document
Autor:
Bastien Drouot, Joël Champeau
Publikováno v:
MODELSWARD
MODELSWARD 2019-7th International Conference on Model-Driven Engineering and Software Development 2019
MODELSWARD 2019-7th International Conference on Model-Driven Engineering and Software Development 2019, Feb 2019, Prague, Czech Republic. pp.74-85
MODELSWARD 2019-7th International Conference on Model-Driven Engineering and Software Development 2019
MODELSWARD 2019-7th International Conference on Model-Driven Engineering and Software Development 2019, Feb 2019, Prague, Czech Republic. pp.74-85
International audience; Modeling approaches could be a powerful solution for specification, design and analysis. At a system level, models must take into account many system concerns. Thus, several system modeling approaches are based on several view
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::25546924e270394dfb54bb7acf3e945b
https://doi.org/10.5220/0007363500740085
https://doi.org/10.5220/0007363500740085
Publikováno v:
CSCI 2017
CSCI 2017, Dec 2017, Las Vegas, United States
CSCI 2017, Dec 2017, Las Vegas, United States
International audience; A sensor network is a specific type of network thatconsists of a set of distributed sensors with a main objective toobserve and analyze its environment. Therefore, an underwatersensor network can be defined as a sensor network
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::41f3f41857fb92840ba265a1ef96f772
https://hal.archives-ouvertes.fr/hal-01653617
https://hal.archives-ouvertes.fr/hal-01653617