Svetlana Jakšić
Svetlana Jakšić
Hřgskulen pĺ Vestlandet
Verified email at hvl.no - Homepage
Title
Cited by
Cited by
Year
Precise subtyping for synchronous multiparty sessions
M Dezani-Ciancaglini, S Ghilezan, S Jakšić, J Pantović, N Yoshida
arXiv preprint arXiv:1602.03593, 2016
222016
Types for role-based access control of dynamic web data
M Dezani-Ciancaglini, S Ghilezan, S Jakšić, J Pantović
International Workshop on Functional and Constraint Logic Programming, 1-29, 2010
202010
Precise subtyping for synchronous multiparty sessions
S Ghilezan, S Jakšić, J Pantović, A Scalas, N Yoshida
Journal of Logical and Algebraic Methods in Programming 104, 127-173, 2019
182019
Exception handling for copyless messaging
S Jakšić, L Padovani
Science of Computer Programming 84, 22-51, 2014
152014
Linked data privacy
S Jakšić, J Pantović, S Ghilezan
Mathematical Structures in Computer Science 27 (1), 33-53, 2017
102017
Denotational and operational preciseness of subtyping: A roadmap
M Dezani-Ciancaglini, S Ghilezan, S Jakšić, J Pantović, N Yoshida
Theory and Practice of Formal Methods, 155-172, 2016
102016
Dynamic role authorization in multiparty conversations
S Ghilezan, S Jakšić, J Pantović, JA Pérez, HT Vieira
Formal Aspects of Computing 28 (4), 643-667, 2016
62016
Dynamic role authorization in multiparty conversations
S Ghilezan, S Jakšić, J Pantović, JA Pérez, HT Vieira
arXiv preprint arXiv:1408.5977, 2014
62014
A typed model for dynamic authorizations
S Ghilezan, S Jakšić, J Pantović, JA Pérez, HT Vieira
arXiv preprint arXiv:1602.03596, 2016
52016
Non-intrusive MC/DC measurement based on traces
F Ahishakiye, S Jakšić, V Stolz, FD Lange, M Schmitz, D Thoma
2019 International Symposium on Theoretical Aspects of Software Engineering …, 2019
32019
Stream-based dynamic data race detection
S Jakšić, D Li, KI Pun, V Stolz
NIK 2018, 2018
22018
COEMS - open traces from the industry
VS Svetlana Jaksic, Martin Leucker, Dan Li
RV-CuBES 2017, 96-105, 2017
2*2017
Types for Access and Memory Control
S Jakšić
Универзитет у Новом Саду, 2016
22016
Journal of Logical and Algebraic Methods in Programming
S Ghilezan, S Jakšic, J Pantovic, A Scalas, N Yoshida
2018
Static analysis for dynamic data race detection with TeSSLa
S Jakšić, M Schmitz, V Stolz, D Thoma
NWPT'18, 2018
2018
Dynamic role authorization in multiparty conversations
G Silvia, J Svetlana, P Jovanka, JA Pérez, H MENDES TORRES VIEIRA
2016
A typed model for dynamic authorizations
G Silvia, J Svetlana, P Jovanka, JA Pérez, H MENDES TORRES VIEIRA
2016
Dynamic role authorization in multiparty conversations
G Silvia, J Svetlana, P Jovanka, JA Pérez, H MENDES TORRES VIEIRA
2014
Types and Roles for Web Security
G Silvia, J Svetlana, P Jovanka, M Dezani
2012
Efficient bisimilarities from second-order reaction semantics for π-calculus
P Di Gianantonio, S Jakšić, M Lenisa
International Conference on Concurrency Theory, 358-372, 2010
2010
The system can't perform the operation now. Try again later.
Articles 1–20