Stem dyn$ (all stems)

7 papers:

ICALP-v2-2015-DattaKMSZ #reachability

Reachability is in DynFO (SD, RK, AM, TS, TZ), pp. 159–170.

RTA-2015-VerguNV #domain-specific language #named #semantics #specification

DynSem: A DSL for Dynamic Semantics Specification (VAV, PN, EV), pp. 365–378.

DATE-2011-ZiermannTS #adaptation #algorithm #named

DynOAA — Dynamic offset adaptation algorithm for improving response times of CAN systems (TZ, JT, ZS), pp. 269–272.

FASE-2009-AguirreFMMW #alloy #behaviour #specification #using

Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy (NA, MFF, MMM, TSEM, AW), pp. 155–170.

GT-VMT-2008-BucchiaroneG #architecture #using #verification

Dynamic Software Architectures Verification using DynAlloy (AB, JPG).

ICSE-2005-FriasGPA #alloy #named

DynAlloy: upgrading alloy with actions (MFF, JPG, CLP, NA), pp. 442–451.

PODS-1994-PatnaikI #complexity #named #parallel

Dyn-FO: A Parallel, Dynamic Complexity Class (SP, NI), pp. 210–221.