Vania Joloboff

According to our database, Vania Joloboff authored at least 12 papers between 1978 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

TRAP: trace runtime analysis of properties.

Daian Yue, Vania Joloboff, Frédéric Mallet

Frontiers Comput. Sci., 2020

2016

Flexible runtime verification based on logical clock constraints.

Daian Yue, Vania Joloboff, Frédéric Mallet

Proceedings of the 2016 Forum on Specification and Design Languages, 2016

PSCV: A Runtime Verification Tool for Probabilistic SystemC Models.

Van Chan Ngo, Axel Legay, Vania Joloboff

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Towards Verified Faithful Simulation.

Vania Joloboff, Jean-François Monin, Xiaomu Shi

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

2011

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

2008

Generation of Executable Representation for Processor Simulation with Dynamic Translation.

Jiajia Song, HongWei Hao, Claude Helmstetter, Vania Joloboff

Proceedings of the International Conference on Computer Science and Software Engineering, 2008

SimSoC: A SystemC TLM integrated ISS for full system simulation.

Claude Helmstetter, Vania Joloboff

Proceedings of the IEEE Asia Pacific Conference on Circuits and Systems, 2008

2002

JCOD: A Lightweight Modular Compilation Technology for Embedded Java.

Bertrand Delsart, Vania Joloboff, Eric Paire

Proceedings of the Embedded Software, Second International Conference, 2002

1998

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

Proceedings of the Languages, 1998

1991

Invited Paper: OSF Motif: An Object-Oriented Toolkit.

Vania Joloboff

Proceedings of the TOOLS 1991: 5th International Conference on Technology of Object-Oriented Languages and Systems, 1991

1983

An interactive graphics editor for document preparation.

Vania Joloboff

Proceedings of the 1983 ACM SIGSMALL symposium on Personal and small computers, 1983

1978

Unification d'arborescences : évaluation sémantique d'énoncés en langue naturelle.

Vania Joloboff

PhD thesis, 1978