Svetlana Jaksic

According to our database, Svetlana Jaksic authored at least 12 papers between 2010 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Precise subtyping for synchronous multiparty sessions.

Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Alceste Scalas, Nobuko Yoshida

J. Log. Algebraic Methods Program., 2019

Non-Intrusive MC/DC Measurement Based on Traces.

Faustin Ahishakiye, Svetlana Jaksic, Felix Dino Lange, Malte Schmitz, Volker Stolz, Daniel Thoma

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

2018

Stream-based dynamic data race detection.

Svetlana Jaksic, Dan Li, Ka I Pun, Volker Stolz

Proceedings of the 31st Norsk Informatikkonferanse, 2018

2017

Linked data privacy.

Svetlana Jaksic, Jovanka Pantovic, Silvia Ghilezan

Math. Struct. Comput. Sci., 2017

COEMS - open traces from the industry.

Svetlana Jaksic, Martin Leucker, Dan Li, Volker Stolz

Proceedings of the RV-CuBES 2017. An International Workshop on Competitions, 2017

2016

Dynamic role authorization in multiparty conversations.

Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira

Formal Aspects Comput., 2016

Denotational and Operational Preciseness of Subtyping: A Roadmap - Dedicated to Frank de Boer on the Occasion of His 60th Birthday.

Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Nobuko Yoshida

Proceedings of the Theory and Practice of Formal Methods, 2016

2015

A Typed Model for Dynamic Authorizations.

Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira

Proceedings of the Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2015

Precise subtyping for synchronous multiparty sessions.

Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Nobuko Yoshida

Proceedings of the Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2015

2014

Exception handling for copyless messaging.

Svetlana Jaksic, Luca Padovani

Sci. Comput. Program., 2014

2010

Types for Role-Based Access Control of Dynamic Web Data.

Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic

Proceedings of the Functional and Constraint Logic Programming, 2010

Efficient Bisimilarities from Second-Order Reaction Semantics for <i>pi</i>-Calculus.

Pietro Di Gianantonio, Svetlana Jaksic, Marina Lenisa

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010