4 citations · 6 across the 2 of their papers we have counts for
3 papers
cs.HC2019★ 4 cited
Tool Support for Validation of Formal System Models: Interactive Visualization and Requirements Traceability
Eduard Kamburjan, Jonas Stromberg
Development processes in various engineering disciplines are incorporating formal models to ensure safety properties of critical systems. The use of these formal models requires to…
cs.LO2019★ 2 cited
Behavioral Program Logic and LAGC Semantics without Continuations (Technical Report)
Eduard Kamburjan
We present Behavioral Program Logic (BPL), a dynamic logic for trace properties that incorporates concepts from behavioral types and allows reasoning about non-functional propertie…
cs.PL2018
Stateful Behavioral Types for ABS
Eduard Kamburjan, Tzu-Chun Chen
It is notoriously hard to correctly implement a multiparty protocol which involves asynchronous/concurrent interactions and the constraints on states of multiple participants. To a…