( en | de | ru )

 

Disambiguation of "Julliand, Jacques"

Author of the publication

copydeleteadd this publication to your clipboard
Program slicing enhances a verification technique combining static and dynamic analysis.

, , , and . SAC, page 1284-1291. ACM, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jacques Rakotondranary

Jacques Latta

Jacques Neumann

Jacques Minlo

Jacques Clees

 

Other publications of authors with the same name

PLTL-partitioned model checking for reactive systems under fairness assumptions., , , and . ACM Trans. Embed. Comput. Syst., 4 (2): 267-301 (2005)Partitioned PLTL model-checking for refined transition systems., , and . Inf. Comput., 207 (6): 681-698 (2009)VeSTA: A Tool to Verify the Correct Integration of a Component in a Composite Timed System., , and . ICFEM, volume 4789 of Lecture Notes in Computer Science, page 116-135. Springer, (2007)JML-based verification of liveness properties on a class in isolation., , and . SAVCBS@FSE, page 41-48. ACM, (2006)Compilation of Equational System into Communicating Processes., and . Applied Informatics, page 348-. IASTED/ACTA Press, (1994)Preservation of timed properties during an incremental development by components., , and . ISoLA, volume RNTI-SM-1 of Revue des Nouvelles Technologies de l'Information, page 159-166. Cépaduès-Éditions, (2007)Automatic generation of model based tests for a class of security properties., , , , and . A-MOST, page 12-22. ACM, (2007)Modular Verification of Dynamic Properties for Reactive Systems., , and . IFM, page 89-108. Springer, (1999)Parallelization of an Algorithm Used to Simulate Atomic Force Microscope Images., , and . HPCN Europe, volume 1225 of Lecture Notes in Computer Science, page 175-189. Springer, (1997)Experiments in the use of τ-simulations for the components-verification of real-time systems., , , and . SAVCBS@FSE, page 33-40. ACM, (2006)