Seguir
Svetlana Jakšić
Svetlana Jakšić
Afiliação desconhecida
Nenhum email confirmado
Título
Citado por
Citado por
Ano
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
422019
Precise subtyping for synchronous multiparty sessions
M Dezani-Ciancaglini, S Ghilezan, S Jakšić, J Pantović, N Yoshida
arXiv preprint arXiv:1602.03593, 2016
322016
Types for role-based access control of dynamic web data
M Dezani-Ciancaglini, S Ghilezan, S Jakšić, J Pantović
Functional and Constraint Logic Programming: 19th International Workshop …, 2011
172011
Linked data privacy
S Jakšić, J Pantović, S Ghilezan
Mathematical Structures in Computer Science 27 (1), 33-53, 2017
112017
Exception handling for copyless messaging
S Jakšić, L Padovani
Science of Computer Programming 84, 22-51, 2014
112014
Denotational and Operational Preciseness of Subtyping: A Roadmap: Dedicated to Frank de Boer on the Occasion of His 60th Birthday
M Dezani-Ciancaglini, S Ghilezan, S Jakšić, J Pantović, N Yoshida
Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on …, 2016
92016
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
62019
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
A typed model for dynamic authorizations
S Ghilezan, S Jakšić, J Pantović, JA Pérez, HT Vieira
arXiv preprint arXiv:1602.03596, 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
52014
Types and roles for web security
S Ghilezan, S Jaksic, J Pantovic, M Dezani
The IPSI BgD Transactions on Advanced Research 8, 16-21, 2012
42012
Stream-based dynamic data race detection
S Jakšić, D Li, KI Pun, V Stolz
NIK 2018, 2018
32018
COEMS - open traces from the industry
VS Svetlana Jaksic, Martin Leucker, Dan Li
RV-CuBES 2017, 96-105, 2017
2*2017
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
Types for Access and Memory Control
S Jakšić
PQDT-Global, 2016
2016
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
Per public call for the period 2008-2009
S Gilezan, J Pantović, N Sladoje, S Likavec, T Lukić, J Jevtić, S Jakšić, ...
Modeli mobilnih procesa
S Jakšic
Input/Output Types for Dynamic Web Data
S Jakšic
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20