Svetlana Jaksic

Publication Activity (10 Years)

Years Active: 2010-2019
Publications (10 Years): 9

Top Topics

Exception Handling

Workflow Management

Development Tools

Top Venues

J. Log. Algebraic Methods Program.

Math. Struct. Comput. Sci.

Publications

Faustin Ahishakiye, Svetlana Jaksic, Felix Dino Lange, Malte Schmitz, Volker Stolz, Daniel Thoma
Non-Intrusive MC/DC Measurement Based on Traces. TASE (2019)
Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Alceste Scalas, Nobuko Yoshida
Precise subtyping for synchronous multiparty sessions. J. Log. Algebraic Methods Program. 104 (2019)
Svetlana Jaksic, Dan Li, Ka I Pun, Volker Stolz
Stream-based dynamic data race detection. NIK (2018)
Svetlana Jaksic, Martin Leucker, Dan Li, Volker Stolz
COEMS - open traces from the industry. RV-CuBES (2017)
Svetlana Jaksic, Jovanka Pantovic, Silvia Ghilezan
Linked data privacy. Math. Struct. Comput. Sci. 27 (1) (2017)
Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira
Dynamic role authorization in multiparty conversations. Formal Aspects Comput. 28 (4) (2016)
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Nobuko Yoshida
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 (2016)
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Nobuko Yoshida
Precise subtyping for synchronous multiparty sessions. PLACES (2015)
Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira
A Typed Model for Dynamic Authorizations. PLACES (2015)
Svetlana Jaksic, Luca Padovani
Exception handling for copyless messaging. Sci. Comput. Program. 84 (2014)
Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira
Dynamic Role Authorization in Multiparty Conversations. BEAT (2014)
Svetlana Jaksic, Luca Padovani
Exception handling for copyless messaging. PPDP (2012)
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic
Types for Role-Based Access Control of Dynamic Web Data. WFLP (2010)
Pietro Di Gianantonio, Svetlana Jaksic, Marina Lenisa
-Calculus. CONCUR (2010)