[HTML][HTML] Analysis of smart contracts balances
We define a technique for analyzing updates of smart contracts balances due to transfers of
digital assets. The analysis addresses a lightweight smart contract language and consists of …
digital assets. The analysis addresses a lightweight smart contract language and consists of …
[HTML][HTML] Cost analysis for a resource sensitive workflow modelling language
Workflow analysis usually requires domain-specific knowledge from the domain experts,
making it a relatively manual process. In addition, workflows often cross organisational …
making it a relatively manual process. In addition, workflows often cross organisational …
Type-Based Verification of Delegated Control in Hybrid~ Systems (Full Version)
E Kamburjan, M Lienhardt - arXiv preprint arXiv:2310.01370, 2023 - arxiv.org
We present a post-region-based verification system for distributed hybrid systems modeled
with Hybrid Active Objects. The post-region of a class method is the region of the state space …
with Hybrid Active Objects. The post-region of a class method is the region of the state space …
Leveraging static analysis for cost-aware serverless scheduling policies
Mainstream serverless platforms follow opinionated, hardcoded scheduling policies to
allocate functions on the available workers. Such policies may decrease the performance of …
allocate functions on the available workers. Such policies may decrease the performance of …
A static analyser for resource sensitive workflow models
MR Ali, VKI Pun - International Symposium on Theoretical Aspects of …, 2023 - Springer
Cross-organisational workflows involve multiple concurrently running workflows across
organisations, and are in general more complex and unpredictable than single individual …
organisations, and are in general more complex and unpredictable than single individual …
Cost analysis for an actor-based workflow modelling language
MR Ali, VKI Pun - Brazilian Symposium on Formal Methods, 2021 - Springer
Workflow planning usually requires domain-specific knowledge from the planners, making it
a relatively manual process. In addition, workflows are largely cross-organisational. As a …
a relatively manual process. In addition, workflows are largely cross-organisational. As a …
Type-Based Verification of Delegated Control in Hybrid Systems
E Kamburjan, M Lienhardt - Active Object Languages: Current Research …, 2024 - Springer
We present a post-region-based verification system for distributed hybrid systems modeled
with Hybrid Active Objects. The post-region of a class method is the region of the state space …
with Hybrid Active Objects. The post-region of a class method is the region of the state space …
Sized types methods and their applications to complexity analysis in Pi-calculus
A Ghyselen - 2021 - theses.hal.science
In this thesis, we study methods based on sized type systems for time complexity, especially
for the analysis of processes in the pi-calculus, considered as a communication-based …
for the analysis of processes in the pi-calculus, considered as a communication-based …
[PDF][PDF] Sized Types Methods and their Applications to Complexity Analysis in Pi-Calculus
H Jan - 2021 - ghyselenalexis.github.io
Complexity is an important notion in computer science, both for the study of programs and
theoretical problems. For a program or an algorithm, complexity corresponds to the amount …
theoretical problems. For a program or an algorithm, complexity corresponds to the amount …
Cost Analysis for an Actor-Based Workflow Modelling Language
KI Pun, MR Ali - 2021 - hvlopen.brage.unit.no
Workflow planning usually requires domain-specific knowledge from the planners, making it
a relatively manual process. In addition, workflows are largely cross-organisational. As a …
a relatively manual process. In addition, workflows are largely cross-organisational. As a …