Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework

Autor: Gurvan Le Guernic, Benoit Combemale, José A. Galindo

Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 240, Iss Proc. F-IDE 2016, Pp 38-52 (2017)

Many project-specific languages, including in particular filtering languages, are defined using non-formal specifications written in natural languages. This leads to ambiguities and errors in the specification of those languages. This paper reports o

Externí odkaz: https://doaj.org/article/dfde17c83fce46048bda81e105dd2fc8

On Understanding Context Modelling for Adaptive Authentication Systems

Autor: Anne Bumiller, Stéphanie Challita, Benoit Combemale, Olivier Barais, Nicolas Aillery, Gael Le Lan

Publikováno v: ACM Transactions on Autonomous and Adaptive Systems
ACM Transactions on Autonomous and Adaptive Systems, 2023, pp.1-36. ⟨10.1145/3582696⟩

In many situations, it is of interest for authentication systems to adapt to context (e.g., when the user’s behavior differs from the previous behavior). Hence, representing the context with appropriate and well-designed models is crucial. We provi

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5201c4520c9e6de3ebbf8dc22183cd14
https://hal.science/hal-04037520/document

A Context-Driven Modelling Framework for Dynamic Authentication Decisions

Autor: Anne Bumiller, Olivier Barais, Stephanie Challita, Benoit Combemale, Nicolas Aillery, Gael Le Lan

Publikováno v: SEAA 2022-Euromicro Conference Series on Software Engineering and Advanced Applications
SEAA 2022-Euromicro Conference Series on Software Engineering and Advanced Applications, Aug 2022, Maspalomas, Spain. pp.1-8

International audience; Nowadays, many mechanisms exist to perform authentication, such as text passwords and biometrics. However, reasoning about their relevance (e.g., the appropriateness for security and usability) regarding the contextual situati

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c4d7896cd2a460b59494952c225e6cae
https://inria.hal.science/hal-03729080

The software Language Extension Problem

Autor: Manuel Leduc, Eric Van Wyk, Benoit Combemale, Thomas Degueule

Publikováno v: Software and Systems Modeling
Software and Systems Modeling, Springer Verlag, 2020, 19 (2), pp.263-267. ⟨10.1007/s10270-019-00772-7⟩
Software and Systems Modeling, 2020, 19 (2), pp.263-267. ⟨10.1007/s10270-019-00772-7⟩
Software and System Modelling, 19, 263-267

The problem of software language extension and composition drives much of the research in Software Language Engineering (SLE). Although various solutions have already been proposed, there is still little understanding of the specific ins and outs of

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4f5894c43cd8367f8d4389e293cd6e2e
https://ir.cwi.nl/pub/29227

Towards Self-Adaptable Languages

Autor: Olivier Barais, Gunter Mussbacher, Gwendal Jouneaux, Benoit Combemale

Publikováno v: Onward! 2021-ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
Onward! 2021-ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Oct 2021, Chicago, United States. pp.1-16
HAL
Onward!

International audience; Over recent years, self-adaptation has become a concern for many software systems that have to operate in complex and changing environments. At the core of self-adaptation, there is a feedback loop and associated trade-off rea

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d6cf6323363f86fc939a096f25b9b3fb
https://hal.inria.fr/hal-03318816/file/Onward_SAL.pdf