Declarative concurrency in Java

بواسطة Ramirez, R., Santosa, A.E.
منشور في 2013

A framework for separation of concerns in concurrent programming

بواسطة Ramirez, R., Santosa, A.E.
منشور في 2013

Formal verification of concurrent and distributed constraint-based java programs

بواسطة Ramirez, R., Santosa, A.E.
منشور في 2013

Recursive abstractions for parameterized systems

بواسطة Jaffar, J., Santosa, A.E.
منشور في 2013

Relative safety

بواسطة Jaffar, J., Santosa, A.E., Voicu, R.
منشور في 2013

Modeling systems in CLP

بواسطة Jaffar, J., Santosa, A.E., Voicu, R.
منشور في 2013

A CLP method for compositional and intermittent predicate abstraction

بواسطة Jaffar, J., Santosa, A.E., Voicu, R.
منشور في 2013

Efficient memoization for dynamic programming with ad-hoc constraints

بواسطة Jaffar, J., Santosa, A.E., Voicu, R.
منشور في 2013

An interpolation method for CLP traversal

بواسطة Jaffar, J., Santosa, A.E., Voicu, R.
منشور في 2013

A coinduction rule for entailment of recursively defined properties

بواسطة Jaffar, J., Santosa, A.E., Voicu, R.
منشور في 2013

Unbounded symbolic execution for program verification

بواسطة Jaffar, J., Navas, J.A., Santosa, A.E.
منشور في 2013

TRACER: A symbolic execution tool for verification

بواسطة Jaffar, J., Murali, V., Navas, J.A., Santosa, A.E.
منشور في 2013

Scalable distributed depth-first search with greedy work stealing

بواسطة Jaffar, J., Santosa, A.E., Yap, R.H.C., Zhu, K.Q.
منشور في 2013