Travelled to:1 × Canada
1 × Cyprus
1 × France
1 × Spain
1 × The Netherlands
2 × USA
Collaborated with:J.Jaffar R.Voicu V.Murali J.A.Navas R.Ramirez K.Q.Zhu
Talks about:program (3) system (3) constraint (2) abstract (2) clp (2) parameter (1) intermitt (1) distribut (1) composit (1) backward (1)
Person: Andrew E. Santosa
DBLP: Santosa:Andrew_E=
Contributed to:
2012
2012
2009
2006
2005
2004
2002Wrote 8 papers:
- CAV-2012-JaffarMNS #execution #named #symbolic computation #verification
- TRACER: A Symbolic Execution Tool for Verification (JJ, VM, JAN, AES), pp. 758–766.
- SAS-2012-JaffarMNS #slicing
- Path-Sensitive Backward Slicing (JJ, VM, JAN, AES), pp. 231–247.
- FM-2009-JaffarS #abstraction #recursion
- Recursive Abstractions for Parameterized Systems (JJ, AES), pp. 72–88.
- VMCAI-2006-JaffarSV #abstraction #composition
- A CLP Method for Compositional and Intermittent Predicate Abstraction (JJ, AES, RV), pp. 17–32.
- VMCAI-2006-JaffarSV06a #safety
- Relative Safety (JJ, AES, RV), pp. 282–297.
- ICLP-2005-JaffarSV #modelling
- Modeling Systems in CLP (JJ, AES, RV), pp. 412–413.
- SAC-2004-RamirezS #concurrent #constraints #distributed #logic programming #source code #using
- Concurrent and distributed programming using constraint logic programs (RR, AES), pp. 508–509.
- CAiSE-2002-ZhuS #constraints #programming #scheduling
- A Meeting Scheduling System Based on Open Constraint Programming (KQZ, AES), pp. 792–796.