Follow
Arvid Jakobsson
Arvid Jakobsson
Verified email at huawei.com - Homepage
Title
Cited by
Cited by
Year
Towards formal methods and software engineering for deep learning: security, safety and productivity for dl systems development
G Hains, A Jakobsson, Y Khmelevsky
2018 Annual IEEE international systems conference (syscon), 1-5, 2018
272018
Replicated synchronization for imperative BSP programs
A Jakobsson, F Dabrowski, W Bousdira, F Loulergue, G Hains
Procedia Computer Science 108, 535-544, 2017
142017
Fast as a shadow, expressive as a tree: Optimized memory monitoring for C
A Jakobsson, N Kosmatov, J Signoles
Science of Computer Programming 132, 226-246, 2016
122016
Fast as a shadow, expressive as a tree: hybrid memory monitoring for C
A Jakobsson, N Kosmatov, J Signoles
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 1765-1772, 2015
102015
Rester statique pour devenir plus rapide, plus précis et plus mince
A Jakobsson, N Kosmatov, J Signoles
Vingt-sixièmes journées francophones des langages applicatifs, 2015
102015
Runtime detection of temporal memory errors
K Vorobyov, N Kosmatov, J Signoles, A Jakobsson
Runtime Verification: 17th International Conference, RV 2017, Seattle, WA …, 2017
72017
Automatic Cost Analysis for Imperative BSP Programs
A Jakobsson
International Journal of Parallel Programming, 1-29, 2018
42018
Formal methods and software engineering for DL. Security, safety and productivity for DL systems development
GJDR Hains, A Jakobsson, Y Khmelevsky
arXiv preprint arXiv:1901.11334, 2019
32019
Making Tezos smart contracts more reliable with Coq
B Bernardo, R Cauderlier, G Claret, A Jakobsson, B Pesin, J Tesson
Leveraging Applications of Formal Methods, Verification and Validation …, 2020
22020
Safe usage of registers in BSPlib
A Jakobsson, F Dabrowski, W Bousdira
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 1400-1407, 2019
22019
Safe Usage of Registers in BSPlib
W Bousdira, A Jakobsson, F Dabrowski
SAC 2019, 2019
12019
Soyez prudent: prenez des photos pour l'assurance avec osnap (démonstration)
V Chaboche, Z Dargaye, A Jakobsson
33èmes Journées Francophones des Langages Applicatifs, 2022
2022
Money grows on (proof-) trees: the formal FA1. 2 ledger standard
M Gabbay, A Jakobsson, K Sojakova
arXiv preprint arXiv:2109.09451, 2021
2021
Safe Usage of Registers in BSPlib (Preprint)
A Jakobsson, F Dabrowski, W Bousdira
2019
plus rapide, plus précis et plus mince
A Jakobsson, N Kosmatov, J Signoles
Soyez prudent: prenez des photos pour l'assurance avec osnap
V Chaboche, Z Dargaye, A Jakobsson
33 èmes Journées Francophones des Langages Applicatifs, 251, 0
The system can't perform the operation now. Try again later.
Articles 1–16