Concepedia

Jacques Julliand

JJ

Statistics

Publications

9

Citations

180

H-Index

9

Active since

2002

Affiliations

Université de Franche-Comté(Current)

Institut national de recherche en sciences et technologies du numérique

Franche-Comté Électronique Mécanique Thermique et Optique - Sciences et Technologies

Laboratoire d'Intégration des Systèmes et des Technologies

Commissariat à l'Énergie Atomique et aux Énergies Alternatives

Jacques Julliand is an author at Université de Franche-Comté specializing in computing, computer science, and formal methods.

Publications per year

2002–2018

9

Publications

9

Program slicing enhances a verification technique combining static and dynamic analysis

Omar Chebaro, Nikolaï Kosmatov, Alain Giorgetti et al. · 2012 · 59 citations

Computing, Computer Engineering, Computer Science +16

Generating security tests in addition to functional tests

Jacques Julliand, Pierre-Alain Masson, Régis Tissot · 2008 · 30 citations

Computing, Computer Science, Computer Security +13

Instrumentation of Annotated C Programs for Test Generation

Guillaume Petiot, Bernard Botella, Jacques Julliand et al. · 2014 · 17 citations

Computing, Computer Engineering, Computer Science +16

How testing helps to diagnose proof failures

Guillaume Petiot, Nikolaï Kosmatov, Bernard Botella et al. · Formal Aspects of Computing · 2018 · 16 citations

Computing, Diagnostic Sciences, Diagnostic Reasoning +10

Modeling and Verification of the RUBIS μ−Kernel with SPIN

Grégory Duval, Jacques Julliand · 2002 · 13 citations

Computing, Computer Science, Computer Systems +14

1–5 of 9