Declarative concurrency in Java

by Ramirez, R., Santosa, A.E.
Published 2013

A framework for separation of concerns in concurrent programming

by Ramirez, R., Santosa, A.E.
Published 2013

Formal verification of concurrent and distributed constraint-based java programs

by Ramirez, R., Santosa, A.E.
Published 2013

Recursive abstractions for parameterized systems

by Jaffar, J., Santosa, A.E.
Published 2013

Relative safety

by Jaffar, J., Santosa, A.E., Voicu, R.
Published 2013

Modeling systems in CLP

by Jaffar, J., Santosa, A.E., Voicu, R.
Published 2013

A CLP method for compositional and intermittent predicate abstraction

by Jaffar, J., Santosa, A.E., Voicu, R.
Published 2013

Efficient memoization for dynamic programming with ad-hoc constraints

by Jaffar, J., Santosa, A.E., Voicu, R.
Published 2013

An interpolation method for CLP traversal

by Jaffar, J., Santosa, A.E., Voicu, R.
Published 2013

A coinduction rule for entailment of recursively defined properties

by Jaffar, J., Santosa, A.E., Voicu, R.
Published 2013

Unbounded symbolic execution for program verification

by Jaffar, J., Navas, J.A., Santosa, A.E.
Published 2013

TRACER: A symbolic execution tool for verification

by Jaffar, J., Murali, V., Navas, J.A., Santosa, A.E.
Published 2013

Scalable distributed depth-first search with greedy work stealing

by Jaffar, J., Santosa, A.E., Yap, R.H.C., Zhu, K.Q.
Published 2013