| 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 | 40 | 2018 |
| 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 | 16 | 2016 |
| Replicated synchronization for imperative BSP programs A Jakobsson, F Dabrowski, W Bousdira, F Loulergue, G Hains Procedia Computer Science 108, 535-544, 2017 | 14 | 2017 |
| Runtime detection of temporal memory errors K Vorobyov, N Kosmatov, J Signoles, A Jakobsson International Conference on Runtime Verification, 294-311, 2017 | 10 | 2017 |
| 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 | 10 | 2015 |
| 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 | 10 | 2015 |
| Making Tezos smart contracts more reliable with Coq B Bernardo, R Cauderlier, G Claret, A Jakobsson, B Pesin, J Tesson International Symposium on Leveraging Applications of Formal Methods, 60-72, 2020 | 9 | 2020 |
| 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 | 7 | 2019 |
| Automatic Cost Analysis for Imperative BSP Programs A Jakobsson International Journal of Parallel Programming, 1-29, 2018 | 4 | 2018 |
| Money grows on (proof-) trees: the formal fa1. 2 ledger standard M Gabbay, A Jakobsson, K Sojakova arXiv preprint arXiv:2109.09451, 2021 | 3 | 2021 |
| 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 | 2 | 2019 |
| Safe Usage of Registers in BSPlib W Bousdira, A Jakobsson, F Dabrowski SAC 2019, 2019 | 1 | 2019 |
| 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, 251-253, 2022 | | 2022 |
| Safe Usage of Registers in BSPlib (Preprint) A Jakobsson, F Dabrowski, W Bousdira | | 2019 |
| 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 | | |
