Svetlana Jaksic

14 papers B 1C 1Misc 1Journal 4Unranked 7
YearRankTypeTitle / Venue / Authors
2019 Misc conf
Non-Intrusive MC/DC Measurement Based on Traces.
TASE
Faustin Ahishakiye, Svetlana Jaksic, Felix Dino Lange, Malte Schmitz, Volker Stolz, Daniel Thoma
2019 J jnl
Precise subtyping for synchronous multiparty sessions.
J. Log. Algebraic Methods Program.
Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Alceste Scalas, Nobuko Yoshida
2018 — conf
Stream-based dynamic data race detection.
NIK
Svetlana Jaksic, Dan Li, Ka I Pun, Volker Stolz
2017 — conf
COEMS - open traces from the industry.
RV-CuBES
Svetlana Jaksic, Martin Leucker, Dan Li, Volker Stolz
2017 J jnl
Linked data privacy.
Math. Struct. Comput. Sci.
Svetlana Jaksic, Jovanka Pantovic, Silvia Ghilezan
2016 — conf
Denotational and Operational Preciseness of Subtyping: A Roadmap - Dedicated to Frank de Boer on the Occasion of His 60th Birthday.
Theory and Practice of Formal Methods
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Nobuko Yoshida
2016 J jnl
Dynamic role authorization in multiparty conversations.
Formal Aspects Comput.
Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira
2015 — conf
A Typed Model for Dynamic Authorizations.
PLACES
Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira
2015 — conf
Precise subtyping for synchronous multiparty sessions.
PLACES
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Nobuko Yoshida
2014 — conf
Dynamic Role Authorization in Multiparty Conversations.
BEAT
Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira
2014 J jnl
Exception handling for copyless messaging.
Sci. Comput. Program.
Svetlana Jaksic, Luca Padovani
2012 C conf
Exception handling for copyless messaging.
PPDP
Svetlana Jaksic, Luca Padovani
2010 B conf
Efficient Bisimilarities from Second-Order Reaction Semantics for
CONCUR
Pietro Di Gianantonio, Svetlana Jaksic, Marina Lenisa
2010 — conf
Types for Role-Based Access Control of Dynamic Web Data.
WFLP
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic