Vania Joloboff

Publication Activity (10 Years)

Years Active: 1983-2020
Publications (10 Years): 4

Top Topics

Multiple Constraints

Probabilistic Approaches

Parametric Models

Top Venues

Frontiers Comput. Sci.

Joseph Fourier University, Grenoble, France (PHD)

Education History

Joseph Fourier University, Grenoble, France

PHD

Publications

Daian Yue, Vania Joloboff, Frédéric Mallet
TRAP: trace runtime analysis of properties. Frontiers Comput. Sci. 14 (3) (2020)
Van Chan Ngo, Axel Legay, Vania Joloboff
PSCV: A Runtime Verification Tool for Probabilistic SystemC Models. CAV (1) (2016)
Daian Yue, Vania Joloboff, Frédéric Mallet
Flexible runtime verification based on logical clock constraints. FDL (2016)
Vania Joloboff, Jean-François Monin, Xiaomu Shi
Towards Verified Faithful Simulation. SETTA (2015)
Frédéric Blanqui, Claude Helmstetter, Vania Joloboff, Jean-François Monin, Xiaomu Shi
Designing a CPU model: from a pseudo-formal document to fast code CoRR (2011)
Claude Helmstetter, Vania Joloboff
SimSoC: A SystemC TLM integrated ISS for full system simulation. APCCAS (2008)
Jiajia Song, HongWei Hao, Claude Helmstetter, Vania Joloboff
Generation of Executable Representation for Processor Simulation with Dynamic Translation. CSSE (4) (2008)
Bertrand Delsart, Vania Joloboff, Eric Paire
JCOD: A Lightweight Modular Compilation Technology for Embedded Java. EMSOFT (2002)
Michael Weiss, François de Ferrière, Bertrand Delsart, Christian Fabre, Frederick Hirsch, E. Andrew Johnson, Vania Joloboff, Fred Roy, Fridtjof Siebert, Xavier Spengler
TurboJ, a Java Bytecode-to-Native Compiler. LCTES (1998)
Vania Joloboff
Invited Paper: OSF Motif: An Object-Oriented Toolkit. TOOLS (5) (1991)
Vania Joloboff
An interactive graphics editor for document preparation. SIGSMALL (1983)