Denis Darquennes

dblp:138/8266 · DBLP profile ↗
← Back
6ranked-venue papers
2as first author
2since 2021 · last 2026
0000-0001-7259-0837ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 3 · 1 first-authorSecurity and privacy · 2 · 2 since 2021
YearPublicationVenuePosition
2026 Evolution and Perspectives of the Keep IT Secure Ecosystem: A Six-Year Analysis of Cybersecurity Experts Supporting Belgian SMEs
Christophe Ponsard, Jean-François Daune, Denis Darquennes, Malik Bouhou, Nicolas Point
ICISSP (1)3
2021 Towards Formal Security Verification of Over-the-Air Update Protocol: Requirements, Survey and UpKit Case Study
Christophe Ponsard, Denis Darquennes
ICISSP2
2020 Assessment of EMF Model to Text Generation Strategies and Libraries in an Industrial Context
Christophe Ponsard, Denis Darquennes, Valéry Ramon, Jean-Christophe Deprez
MODELSWARD2
2020 On the expressiveness of multiplicities in data-based coordination languages
Denis Darquennes, Jean-Marie Jacquet, Isabelle Linden
J. Log. Algebraic Methods Program.1
2018 On Multiplicities in Tuple-Based Coordination Languages: The Bach Family of Languages and Its Expressiveness Study
Denis Darquennes, Jean-Marie Jacquet, Isabelle Linden
COORDINATION1
2016 On the introduction of density in tuple-space coordination languages
Jean-Marie Jacquet, Isabelle Linden, Denis Darquennes
Sci. Comput. Program.3