Unification d'arborescences : évaluation sémantique d'énoncés en langue naturelle. - Vania Joloboff (1978)

An interactive graphics editor for document preparation. - Vania Joloboff (SIGSMALL, 1983)

Invited Paper: OSF Motif: An Object-Oriented Toolkit. - Vania Joloboff (TOOLS (5), 1991)

TurboJ, a Java Bytecode-to-Native Compiler. - Michael Weiss; François de Ferrière; Bertrand Delsart; Christian Fabre; Frederick Hirsch; E. Andrew Johnson; Vania Joloboff; Fred Roy; Fridtjof Siebert; Xavier Spengler (LCTES, 1998)

JCOD: A Lightweight Modular Compilation Technology for Embedded Java. - Bertrand Delsart; Vania Joloboff; Eric Paire (EMSOFT, 2002)

SimSoC: A SystemC TLM integrated ISS for full system simulation. - Claude Helmstetter; Vania Joloboff (APCCAS, 2008)

Generation of Executable Representation for Processor Simulation with Dynamic Translation. - Jiajia Song; HongWei Hao; Claude Helmstetter; Vania Joloboff (CSSE (4), 2008)

Designing a CPU model: from a pseudo-formal document to fast code - Frédéric Blanqui; Claude Helmstetter; Vania Joloboff; Jean-François Monin; Xiaomu Shi (CoRR, 2011)

Towards Verified Faithful Simulation. - Vania Joloboff; Jean-François Monin; Xiaomu Shi (SETTA, 2015)

PSCV: A Runtime Verification Tool for Probabilistic SystemC Models. - Van Chan Ngo; Axel Legay; Vania Joloboff (CAV (1), 2016)

Flexible runtime verification based on logical clock constraints. - Daian Yue; Vania Joloboff; Frédéric Mallet (FDL, 2016)

TRAP: trace runtime analysis of properties. - Daian Yue; Vania Joloboff; Frédéric Mallet (Frontiers Comput. Sci., 2020)