Vania Joloboff

13 papers B 1C 1Misc 2Journal 2Unranked 5
YearRankTypeTitle / Venue / Authors
2020 J jnl
TRAP: trace runtime analysis of properties.
Frontiers Comput. Sci.
Daian Yue, Vania Joloboff, Frédéric Mallet
2016 C conf
Flexible runtime verification based on logical clock constraints.
FDL
Daian Yue, Vania Joloboff, Frédéric Mallet
2016 — conf
PSCV: A Runtime Verification Tool for Probabilistic SystemC Models.
CAV (1)
Van Chan Ngo, Axel Legay, Vania Joloboff
2015 Misc conf
Towards Verified Faithful Simulation.
SETTA
Vania Joloboff, Jean-François Monin, Xiaomu Shi
2011 J jnl
Designing a CPU model: from a pseudo-formal document to fast code
CoRR
Frédéric Blanqui, Claude Helmstetter, Vania Joloboff, Jean-François Monin, Xiaomu Shi
2008 — conf
Generation of Executable Representation for Processor Simulation with Dynamic Translation.
CSSE (4)
Jiajia Song, Hongwei Hao, Claude Helmstetter, Vania Joloboff
2008 — conf
SimSoC: A SystemC TLM integrated ISS for full system simulation.
APCCAS
Claude Helmstetter, Vania Joloboff
2002 Misc conf
JCOD: A Lightweight Modular Compilation Technology for Embedded Java.
EMSOFT
Bertrand Delsart, Vania Joloboff, Eric Paire
1998 B conf
TurboJ, a Java Bytecode-to-Native Compiler.
LCTES
Michael Weiss, François de Ferrière, Bertrand Delsart, Christian Fabre, Frederick Hirsch, E. Andrew Johnson, Vania Joloboff, Fred Roy, Fridtjof Siebert, Xavier Spengler
1991 — conf
Invited Paper: OSF Motif: An Object-Oriented Toolkit.
TOOLS (5)
Vania Joloboff
1988 — ed.
Proceedings of the 1988 ACM SIGSMALL/PC Symposium on ACTES, May 4-6, 1988, Cannes, France
SIGSMALL/PC
Vania Joloboff
1983 — conf
An interactive graphics editor for document preparation.
SIGSMALL
Vania Joloboff
1978 — —
Unification d'arborescences : évaluation sémantique d'énoncés en langue naturelle.
Vania Joloboff