TurboJ, a Java bytecode-to-native compiler M Weiss, F De Ferriere, B Delsart, C Fabre, F Hirsch, EA Johnson, ... Languages, Compilers, and Tools for Embedded Systems, 119-130, 1998 | 54 | 1998 |
SimSoC: A SystemC TLM integrated ISS for full system simulation C Helmstetter, V Joloboff APCCAS 2008-2008 IEEE Asia Pacific Conference on Circuits and Systems, 1759-1762, 2008 | 53 | 2008 |
JCOD: A lightweight modular compilation technology for embedded Java B Delsart, V Joloboff, E Paire International Workshop on Embedded Software, 197-212, 2002 | 32 | 2002 |
SimSoC: A full system simulation software for embedded systems C Helmstetter, V Joloboff, H Xiao 2009 IEEE International Workshop on Open-source Software for Scientific …, 2009 | 30 | 2009 |
Trends and standards in document representation. V Joloboff TEXT PROCESSING AND DOCUMENT MANIPULATION., 1986,, 107-124, 1986 | 24 | 1986 |
Designing a CPU model: from a pseudo-formal document to fast code F Blanqui, C Helmstetter, V Joloboff, JF Monin, X Shi arXiv preprint arXiv:1109.4351, 2011 | 16 | 2011 |
Document representation: Concepts and standards V Joloboff Structured documents, 75-106, 1989 | 14 | 1989 |
PSCV: A runtime verification tool for probabilistic systemc models VC Ngo, A Legay, V Joloboff Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016 | 10 | 2016 |
Fast instruction set simulation using LLVM-based dynamic translation C Helmstetter, V Joloboff, Z Xinlei, G Xiaopeng International MultiConference of Engineers and Computer Scientists 2011 2188 …, 2011 | 10 | 2011 |
Generation of executable representation for processor simulation with dynamic translation J Song, HW Hao, C Helmstetter, V Joloboff 2008 International Conference on Computer Science and Software Engineering 4 …, 2008 | 7 | 2008 |
Virtual prototyping of embedded systems: speed and accuracy tradeoffs V Joloboff, A Gerstlauer Cyber-Physical System Design from an Architecture Analysis Viewpoint …, 2017 | 3 | 2017 |
Flexible runtime verification based on logical clock constraints D Yue, V Joloboff, F Mallet 2016 Forum on Specification and Design Languages (FDL), 1-8, 2016 | 3 | 2016 |
Towards verified faithful simulation V Joloboff, JF Monin, X Shi Dependable Software Engineering: Theories, Tools, and Applications: First …, 2015 | 3 | 2015 |
An interactive graphics editor for document preparation V Joloboff Proceedings of the 1983 ACM SIGSMALL symposium on Personal and small …, 1983 | 3 | 1983 |
Trap: trace runtime analysis of properties D Yue, V Joloboff, F Mallet Frontiers of Computer Science 14 (3), 143201, 2020 | 2 | 2020 |
Xlib-C Language X Interface RW Scheifler, C Adams, V Joloboff, H Hiura, B McMahon, R Newman, ... X Consortium Standard, 1985 | 2 | 1985 |
Method and Device for Processing Requests Generated by Browser Software V Joloboff, R Mulukutla US Patent App. 11/570,660, 2007 | 1 | 2007 |
TurboJ, a Java Bytecode-to-Native Compiler V Joloboff, F De Ferriere, C Fabre, B Delsart, M Weiss, A Johnson, ... ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems …, 1998 | 1 | 1998 |
SimSoC: A Fast, Proven Faithful, Full System Virtual Prototyping Framework V Joloboff, JF Monin, X Shi Model-Implementation Fidelity in Cyber Physical System Design, 129-156, 2017 | | 2017 |
Automated Generation of Instruction Set Simulator from Specification S Liu, F He, V Joloboff Lecture Notes on Software Engineering 4 (3), 2016 | | 2016 |