Santosa,Andrew Edward

Collaboration Map View Statistics Email Alert RSS Feed

Full Name

(not current staff)

Variants

Santosa, A.E.
Santosa, A.
Santosa, Andrew E.

Main Affiliation

DEPARTMENT OF COMPUTER SCIENCE

Faculty

SCHOOL OF COMPUTING

dcsaes@nus.edu.sg

Refined By:

Date Issued: [2000 TO 2021]

Results 1-15 of 15 (Search time: 0.004 seconds).

Refman EndNote Bibtex RefWorks Excel CSV PDF Send via email

	Issue Date	Title	Author(s)
1	2006	A CLP method for compositional and intermittent predicate abstraction	Jaffar, J. ; Santosa, A.E. ; Voicu, R.
2	2004	A CLP proof method for timed automata	Jaffar, J. ; Santosa, A. ; Voicu, R.
3	2008	A coinduction rule for entailment of recursively defined properties	Jaffar, J. ; Santosa, A.E. ; Voicu, R.
4	2007	A framework for separation of concerns in concurrent programming	Ramirez, R.; Santosa, A.E.
5	2009	An interpolation method for CLP traversal	Jaffar, J. ; Santosa, A.E. ; Voicu, R.
6	2004	Concurrent and distributed programming using constraint logic programs	Ramirez, R.; Santosa, A.
7	2000	Concurrent programming made easy	Ramirez, Rafael ; Santosa, Andrew E. ; Yap, Roland H.C.
8	2000	Declarative concurrency in Java	Ramirez, R.; Santosa, A.E.
9	2008	Efficient memoization for dynamic programming with ad-hoc constraints	Jaffar, J. ; Santosa, A.E. ; Voicu, R.
10	2005	Formal verification of concurrent and distributed constraint-based java programs	Ramirez, R.; Santosa, A.E.
11	2005	Modeling systems in CLP	Jaffar, J. ; Santosa, A.E. ; Voicu, R.
12	2009	Recursive abstractions for parameterized systems	Jaffar, J. ; Santosa, A.E.
13	2006	Relative safety	Jaffar, J. ; Santosa, A.E. ; Voicu, R.
14	2004	Scalable distributed depth-first search with greedy work stealing	Jaffar, J. ; Santosa, A.E. ; Yap, R.H.C. ; Zhu, K.Q.
15	1-Sep-2021	Smart Greybox Fuzzing	Pham, Van-Thuan ; Bohme, Marcel; Santosa, Andrew E ; Caciulescu, Alexandru Razvan; Roychoudhury, Abhik