Denis Darquennes

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 7

Top Topics

Trust Negotiation

Educational Tool

Top Venues

J. Log. Algebraic Methods Program.

Sci. Comput. Program.

Publications

Christophe Ponsard, Denis Darquennes
MBSE Tool Selection Process: Feedback from a Railway Case Study. MoDELS (Companion) (2023)
Christophe Ponsard, Denis Darquennes
Towards Formal Security Verification of Over-the-Air Update Protocol: Requirements, Survey and UpKit Case Study. ICISSP (2021)
Denis Darquennes, Jean-Marie Jacquet, Isabelle Linden
On the expressiveness of multiplicities in data-based coordination languages. J. Log. Algebraic Methods Program. 112 (2020)
Christophe Ponsard, Denis Darquennes, Valéry Ramon, Jean-Christophe Deprez
Assessment of EMF Model to Text Generation Strategies and Libraries in an Industrial Context. MODELSWARD (2020)
Jean-Marie Jacquet, Isabelle Linden, Denis Darquennes
On the Relation Between Control-Based and Data-Based Coordination Languages. It's All About Coordination (2018)
Denis Darquennes, Jean-Marie Jacquet, Isabelle Linden
On Multiplicities in Tuple-Based Coordination Languages: The Bach Family of Languages and Its Expressiveness Study. COORDINATION (2018)
Jean-Marie Jacquet, Isabelle Linden, Denis Darquennes
On the introduction of density in tuple-space coordination languages. Sci. Comput. Program. (2016)
Denis Darquennes, Jean-Marie Jacquet, Isabelle Linden
On Distributed Density in Tuple-based Coordination Languages. FOCLASA (2014)
Jean-Marie Jacquet, Isabelle Linden, Denis Darquennes
On Density in Coordination Languages. ESOCC Workshops (2013)