Julien Signoles

Identifiers

No identifiers captured yet.

Papers (3)

1. A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software) cs.SE · 2018 · author #14
2. Context Generation from Formal Specifications for C Analysis Tools cs.PL · 2017 · author #2
3. Hypercollecting Semantics and its Application to Static Analysis of Information Flow cs.PL · 2016 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Adrian Francalanza 1 shared papers
• Alexander Weiss 1 shared papers
• C\'esar S\'anchez 1 shared papers
• Christian Colombo 1 shared papers
• David A. Naumann 1 shared papers
• Dejan Nickovic 1 shared papers
• Dmitriy Traytel 1 shared papers
• Domenico Bianculli 1 shared papers
• \'Eric Totel 1 shared papers
• Ezio Bartocci 1 shared papers
• Fr\'ed\'eric Tronel 1 shared papers
• Gerardo Schneider 1 shared papers
• Gordon J. Pace 1 shared papers
• Jo\H{a}o M. Louren\c{c}o 1 shared papers
• Jose Rufino 1 shared papers
• Michele Alberti 1 shared papers
• Mounir Assaf 1 shared papers
• Sr{\dj}an Krsti\'c 1 shared papers
• Wolfgang Ahrendt 1 shared papers
• Yli\'es Falcone 1 shared papers