5 citations · 7 across the 13 of their papers we have counts for
3 papers · 1 filter
Bounded Invariant Checking for Stateflow Programs
Predrag Filipovikj, Dilian Gurov, Mattias Nyberg
Stateflow models are complex software models, often used as part of safety-critical software solutions designed with Matlab Simulink. They incorporate design principles that are ty…
Dynamic Vulnerability Detection on Smart Contracts Using Machine Learning
Mojtaba Eshghie, Cyrille Artho, Dilian Gurov
In this work we propose Dynamit, a monitoring framework to detect reentrancy vulnerabilities in Ethereum smart contracts. The novelty of our framework is that it relies only on tra…
An Abstract Contract Theory for Programs with Procedures
Christian Lidström, Dilian Gurov
When developing complex software and systems, contracts provide a means for controlling the complexity by dividing the responsibilities among the components of the system in a hier…