ABS

Simulating Concurrent Behaviors with Worst-Case Cost Bounds
Proc. FM 2011
Preprint Cite DOI
Dynamic Resource Reallocation Between Deployment Components
Proc. ICFEM 2010
Preprint Cite DOI
Validating Timed Models of Deployment Components with Parametric Concurrency
Proc. FOVEOOS 2010
Preprint Cite DOI