Zobrazeno 1 - 10
of 16
pro vyhledávání: '"Gurvan Le Guernic"'
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
In my Wish List, an Automated Tool for Fail-Secure Design Analysis: an Alloy-Based Feasibility Draft
Autor:
Gurvan Le Guernic
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 150, Iss Proc. ESSS 2014, Pp 50-55 (2014)
A system is said to be fail-secure, sometimes confused with fail-safe, if it maintains its security requirements even in the event of some faults. Fail-secure analyses are required by some validation schemes, such as some Common Criteria or NATO cert
Externí odkaz:
https://doaj.org/article/5dee51589f9e4102aa8777daef418f7d
Publikováno v:
MODELS 2021: ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems
MODELS 2021: ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems, Oct 2021, Virtual, Japan. pp.1-10
MODELS 2021: ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems, Oct 2021, Virtual, Japan. pp.1-10
International audience; Integrated Development Environments (IDEs) are evolving towards cloud-native applications with the aim to relocate the language services provided by an IDE on distant servers. Existing research works focus on the overall migra
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::71ac005be904b06f389a8344376795d9
https://hal.inria.fr/hal-03342678
https://hal.inria.fr/hal-03342678
Publikováno v:
MODELS ’20 Companion
MODELS ’20 Companion, Oct 2020, Virtual Event, Canada. ⟨10.1145/3417990.3419224⟩
MODELS Companion
MODELS ’20 Companion, Oct 2020, Virtual Event, Canada. ⟨10.1145/3417990.3419224⟩
MODELS Companion
International audience; Modeling is a complex and error prone activity which can result in ambiguous models containing omissions and inconsistencies. Many works have addressed the problem of checking models' consistency. However, most of these works
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::eba522d781dd1dd9ca926768e441bcaa
https://hal.inria.fr/hal-02924645
https://hal.inria.fr/hal-02924645
Autor:
Benoit Combemale, Thomas Degueule, Gwendal Jouneaux, Olivier Barais, Manuel Leduc, Gurvan Le Guernic
Publikováno v:
The Journal of Object Technology
The Journal of Object Technology, Chair of Software Engineering, 2020, 19 (2), pp.1-21. ⟨10.5381/jot.2020.19.2.a1⟩
The Journal of Object Technology, 2020, 19 (2), pp.1-21. ⟨10.5381/jot.2020.19.2.a1⟩
The Journal of Object Technology, Chair of Software Engineering, 2020, 19 (2), pp.1-21. ⟨10.5381/jot.2020.19.2.a1⟩
The Journal of Object Technology, 2020, 19 (2), pp.1-21. ⟨10.5381/jot.2020.19.2.a1⟩
International audience; Numerous language workbenches have been proposed over the past decade to ease the definition of Domain-Specific Languages (DSLs). Language workbenches enable language designers to specify DSLs using high-level metalanguages an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9a26dcac61ea08c9945879cbd925cff6
https://hal.inria.fr/hal-02395867v2/document
https://hal.inria.fr/hal-02395867v2/document
Autor:
Gurvan Le Guernic
Publikováno v:
DSM@SPLASH
DSM 2019-17th ACM SIGPLAN International Workshop on Domain-Specific Modeling
DSM 2019-17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, Oct 2019, Athens, Greece. pp.50-59, ⟨10.1145/3358501.3361237⟩
DSM 2019-17th ACM SIGPLAN International Workshop on Domain-Specific Modeling
DSM 2019-17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, Oct 2019, Athens, Greece. pp.50-59, ⟨10.1145/3358501.3361237⟩
This paper reports on industrial experimentations to develop a dedicated model-based framework (process and tool support) aimed at supporting a subset of an existing document-based engineering process involving different teams belonging to two main s
Autor:
Arnaud Blouin, José A. Galindo, Gurvan Le Guernic, David Méndez-Acuña, Benoit Combemale, Benoit Baudry
Publikováno v:
International Conference on Software Reuse
International Conference on Software Reuse, Jun 2016, Limassol, Cyprus
Lecture Notes in Computer Science ISBN: 9783319351216
ICSR
idUS. Depósito de Investigación de la Universidad de Sevilla
instname
International Conference on Software Reuse, Jun 2016, Limassol, Cyprus
Lecture Notes in Computer Science ISBN: 9783319351216
ICSR
idUS. Depósito de Investigación de la Universidad de Sevilla
instname
The use of domain-specific languages (DSLs) has become a successful technique in the development of complex systems. Nevertheless, the construction of this type of languages is time-consuming and requires highly-specialized knowledge and skills. An e
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4e5cab6b7c2962d651cdee02b50f3fb7
https://hal.science/hal-01284816
https://hal.science/hal-01284816
Autor:
Gurvan Le Guernic
Publikováno v:
MODELSWARD
This paper argues in favor of expressing modeling requirements in a modeling language agnostic way, at least whenever those requirements are part of a contracting relationship between some of the stakeholders. Contracting authorities may require from
Publikováno v:
ACM Conference on Computer and Communications Security
Current approaches to security policy monitoring are based on linear control flow constraints such as 'runQuery' may be evaluated only after 'sanitize'. However, realistic security policies must be able to conveniently capture data flow constraints a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5e407a971ecc33d40951042a69050d52
Publikováno v:
ACM Conference on Computer and Communications Security
We enforce information flow policies in programs that run at multiple locations, with diverse levels of security.We build a compiler from a small imperative language with locality and security annotations down to distributed code linked to concrete c