E-LIB Suche - Ergebnisse für: Jakšić, Svetlana

1

Non-Intrusive MC/DC Measurement Based on Traces:

, In: 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE),

Ahishakiye, Faustin ; Jaksic, Svetlana ; Stolz, Volker... - p. 86-92 , 2019

2

Precise subtyping for synchronous multiparty sessions:

Ghilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka..
Journal of Logical and Algebraic Methods in Programming. 104 (2019) - p. 127-173 , 2019

Link: https://doi.org/10.1016/..

3

Dynamic role authorization in multiparty conversations:

Ghilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka..
Formal Aspects of Computing. 28 (2016) 4 - p. 643-667 , 2016

Link: https://doi.org/10.1007/..

4

Linked data privacy:

JAKŠIĆ, SVETLANA ; PANTOVIĆ, JOVANKA ; GHILEZAN, SILVIA
Mathematical Structures in Computer Science. 27 (2015) 1 - p. 33-53 , 2015

Link: https://doi.org/10.1017/..

5

Exception handling for copyless messaging:

Jakšić, Svetlana ; Padovani, Luca
Science of Computer Programming. 84 (2014) - p. 22-51 , 2014

Link: https://doi.org/10.1016/..

6

Exception handling for copyless messaging:

, In: Proceedings of the 14th symposium on Principles and practice of declarative programming,

Jakšić, Svetlana ; Padovani, Luca - p. 151-162 , 2012

Link: https://dl.acm.org/doi/1..

7

Types for Access and Memory Control ; Типски системи за кон..:

Jakšić, Svetlana
https://nardus.mpn.gov.rs/handle/123456789/7111. , 2020

Link: https://nardus.mpn.gov.r..

8

Precise subtyping for synchronous multiparty sessions:

Dezani-Ciancaglini, Mariangiola ; Ghilezan, Silvia ; Jakšić, Svetlana..
http://arxiv.org/abs/1602.03593. , 2016

Link: http://arxiv.org/abs/160..

9

A Typed Model for Dynamic Authorizations:

Ghilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka..
http://arxiv.org/abs/1602.03596. , 2016

Link: http://arxiv.org/abs/160..

10

Dynamic role authorization in multiparty conversations:

Ghilezan, Silvia ; Jakšić, Svetlana ; Pantovic, Jovanka..
Ghilezan , S , Jakšić , S , Pantovic , J , Perez , J A & Vieira , H T 2016 , ' Dynamic role authorization in multiparty conversations ' , Formal Aspects of Computing , vol. 28 , no. 4 , pp. 643-667 . https://doi.org/10.1007/s00165-016-0363-5 ; ISSN:0934-5043. , 2016

Link: http://hdl.handle.net/11..

11

A Typed Model for Dynamic Authorizations:

Ghilezan, Silvia ; Jaksic, Svetlana ; Pantovic, Jovanka..
https://research.rug.nl/en/publications/ae58cad8-c086-4124-96f2-e3d576b2e379. , 2016

Link: https://hdl.handle.net/1..

12

Types for Access and Memory Control ; Типски системи за кон..:

Jakšić Svetlana
CRIS UNS. , 2016

Link: https://www.cris.uns.ac...

13

Dynamic Role Authorization in Multiparty Conversations:

Ghilezan, Silvia ; Jaksic, Svetlana ; Pantovic, Jovanka..
https://research.rug.nl/en/publications/189891c3-61a5-4f45-95d0-18065ad163e1. , 2016

Link: https://hdl.handle.net/1..

14

A Typed Model for Dynamic Authorizations:

Ghilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka..
http://eprints.imtlucca.it/3690/1/1602.03596.pdf. , 2015

Link: http://eprints.imtlucca...

15

Dynamic Role Authorization in Multiparty Conversations:

Ghilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka..
http://arxiv.org/abs/1408.5977. , 2014

Link: http://arxiv.org/abs/140..