E-LIB Suche - Ergebnisse für: Pun, Violet Ka I

1

Locally Abstract, Globally Concrete Semantics of Concurrent..:

Din, Crystal Chang ; Hähnle, Reiner ; Henrio, Ludovic...
ACM Transactions on Programming Languages and Systems. 46 (2024) 1 - p. 1-58 , 2024

Link: https://doi.org/10.1145/..

2

Proving Correctness of Parallel Implementations of Transiti..:

de Boer, Frank S. ; Johnsen, Einar Broch ; Pun, Violet Ka I.
ACM Transactions on Programming Languages and Systems. , 2024

Link: https://doi.org/10.1145/..

3

Enforced Dependencies for Active Objects:

, In: Lecture Notes in Computer Science; Active Object Languages: Current Research Trends,

Pun, Violet Ka I ; Stolz, Volker - p. 359-374 , 2024

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

4

Simulation-Based Decision Support for Cross-Organisational ..:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

Ali, Muhammad Rizwan ; Lamo, Yngve ; Pun, Violet Ka I - p. 111-128 , 2024

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

5

Cost analysis for a resource sensitive workflow modelling l..:

Ali, Muhammad Rizwan ; Lamo, Yngve ; Pun, Violet Ka I
Science of Computer Programming. 225 (2023) - p. 102896 , 2023

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

6

A Static Analyser for Resource Sensitive Workflow Models:

, In: Theoretical Aspects of Software Engineering; Lecture Notes in Computer Science,

Ali, Muhammad Rizwan ; Pun, Violet Ka I - p. 305-312 , 2023

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

7

Modular Soundness Checking of Feature Model Evolution Plans:

, In: Theoretical Aspects of Computing – ICTAC 2023; Lecture Notes in Computer Science,

Motzfeldt, Ida Sandberg ; Yu, Ingrid Chieh ; Din, Crystal Chang.. - p. 417-437 , 2023

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

8

Extremely Randomized Trees With Privacy Preservation for Di..:

Aminifar, Amin ; Shokri, Matin ; Rabbi, Fazle..
IEEE Access. 10 (2022) - p. 6010-6027 , 2022

Link: https://doi.org/10.1109/..

9

I Can See Clearly Now: Clairvoyant Assertions for Deadlock ..:

, In: The Logic of Software. A Tasting Menu of Formal Methods; Lecture Notes in Computer Science,

Abusdal, Ole Jørgen ; Din, Crystal Chang ; Pun, Violet Ka I. - p. 1-18 , 2022

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

10

Cost Analysis for an Actor-Based Workflow Modelling Languag:

, In: Lecture Notes in Computer Science; Formal Methods: Foundations and Applications,

Ali, Muhammad Rizwan ; Pun, Violet Ka I - p. 104-121 , 2021

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

11

Hardware-Assisted Online Data Race Detection:

, In: Formal Methods in Outer Space; Lecture Notes in Computer Science,

Ahishakiye, Faustin ; Jarabo, José Ignacio Requeno ; Pun, Violet Ka I. - p. 108-126 , 2021

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

12

SymPaths: Symbolic Execution Meets Partial Order Reduction:

, In: Lecture Notes in Computer Science; Deductive Software Verification: Future Perspectives,

de Boer, Frank S. ; Bonsangue, Marcello ; Johnsen, Einar Broch... - p. 313-338 , 2020

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

13

Refactoring and Active Object Languages:

, In: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles; Lecture Notes in Computer Science,

Stolz, Volker ; Pun, Violet Ka I ; Gheyi, Rohit - p. 138-158 , 2020

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

14

Theoretical Aspects of Computing – ICTAC 2020: 17th Interna..

Theoretical Computer Science and General Issues, 12545

Pun, Violet Ka I ; Stolz, Volker ; Simao, Adenilso - 1st ed. 2020 . , 2020

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

15

Active Objects with Deterministic Behaviour:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,

Henrio, Ludovic ; Johnsen, Einar Broch ; Pun, Violet Ka I. - p. 181-198 , 2020

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