( en | de | ru )

 

Disambiguierung von "Signoles, Julien"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software).

, , , , , , , , , , , , , , , und . CoRR, (2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Julien Bonnamour

Julien Ndinga

Julien Köhrle

Julien Dolenc

Julien Béthune

 

Weitere Publikationen von Autoren mit dem selben Namen

Calcul statique des applications de modules paramétrés.. JFLA, Seite 21-36. INRIA, (2003)E-ACSL, a Runtime Verification Tool for Safety and Security of C Programs (tool paper)., , und . RV-CuBES, Volume 3 von Kalpa Publications in Computing, Seite 164-173. EasyChair, (2017)Hypercollecting semantics and its application to static analysis of information flow., , , , und . POPL, Seite 874-887. ACM, (2017)Static versus Dynamic Verification in Why3, Frama-C and SPARK 2014., , , und . ISoLA (1), Volume 9952 von Lecture Notes in Computer Science, Seite 461-478. (2016)Runtime Assertion Checking and Its Combinations with Static and Dynamic Analyses - Tutorial Synopsis., und . TAP@STAF, Volume 8570 von Lecture Notes in Computer Science, Seite 165-168. Springer, (2014)Frama-C, A Collaborative Framework for C Code Verification: Tutorial Synopsis., und . RV, Volume 10012 von Lecture Notes in Computer Science, Seite 92-115. Springer, (2016)A survey of challenges for runtime verification from advanced application domains (beyond software)., , , , , , , , , und 6 andere Autor(en). Formal Methods Syst. Des., 54 (3): 279-335 (2019)A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)., , , , , , , , , und 6 andere Autor(en). CoRR, (2018)Online Runtime Verification Competitions: How To Possibly Deal With Their Issues (position paper).. RV-CuBES, Volume 3 von Kalpa Publications in Computing, Seite 157-163. EasyChair, (2017)Formalizing an Efficient Runtime Assertion Checker for an Arithmetic Language with Functions and Predicates., und . SAC, Seite 1673-1680. ACM, (2023)