BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Santosa:Andrew_E=

Contributed to:

CAV 20122012
SAS 20122012
FM 20092009
VMCAI 20062006
ICLP 20052005
SAC 20042004
CAiSE 20022002

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.