Marc de Jonge
Marc de Jonge
Technisch Consultant, TNO
Verified email at tno.nl
Title
Cited by
Cited by
Year
The SpinJa Model Checker
M de Jonge, TC Ruys
International SPIN Workshop on Model Checking of Software, 124-128, 2010
372010
The SpinJ model checker: a fast, extensible, object-oriented model checker
M Jonge
University of Twente, 2008
72008
Benchmarking various untrained localization algorithms
M de Jonge
3rd Twente Student Conference on IT, 2005
62005
Development of autonomic management solutions for the military application domain
E Werkman, B van Schoonhoven, M de Jonge, E Matthijssen
2010 15th IEEE International Conference on Engineering of Complex Computer …, 2010
22010
A Cloud Storage Platform in the Defense Context: Mobile Data Management With Unreliable Network Conditions
JS van der Veen, M Bastiaans, M de Jonge, RJ Strijkers
2nd International Conference on Cloud Computing and Services Science (CLOSER …, 2012
12012
Onderzoek beschermingsfactoren bij adembeschermingsmiddelen gebruikt in de asbestbranche
JM Schinkel, J den Boeft, P Tromp, M de Jonge
Utrecht: TNO, 2017
2017
Analysis cloud: Running sensor data analysis programs on a cloud computing infrastructure
JS van der Veen, B van der Waaij, M Vonder, M de Jonge, E Lazovik, ...
3rd International Conference on Cloud Computing and Services Science, CLOSER …, 2013
2013
Analysis Cloud
JS van der Veen, B van der Waaij, M Vonder, M de Jonge, E Lazovik, ...
2013
A CLOUD STORAGE PLATFORM IN THE DEFENSE CONTEXT
JS van der Veen, M Bastiaans, M de Jonge, R Strijkers
2012
Flexigas Simulator Architectuur (versie 1.0)
M de Jonge, J Broekhuijsen, M Vonder, RK Helmholt, A Bastiaans, ...
Groningen: TNO, 2011
2011
Wednesday, 24 March 2010–ICECCS 2010
J Fox, S Clarke, E Werkman, B van Schoonhoven, M de Jonge, ...
2010
The system can't perform the operation now. Try again later.
Articles 1–11