Travelled to:1 × Germany
2 × USA
2 × United Kingdom
Collaborated with:S.Roach M.R.Lowry R.Fikes ∅ P.Robinson T.Pressburger J.Whittle J.Schumann J.Penix P.Oh G.P.Brat
Talks about:synthesi (5) procedur (3) deduct (3) softwar (2) amphion (2) system (2) specif (2) domain (2) represent (1) construct (1)
Person: Jeffrey Van Baalen
DBLP: Baalen:Jeffrey_Van
Contributed to:
200220011998
19981995
19941991Wrote 7 papers:
- ASE-2002-RoachB #automation #case study #deduction #experience #synthesis
- Experience Report on Automated Procedure Construction for Deductive Synthesis (SR, JVB), p. 69–?.
- ASE-2001-WhittleBSRPPOLB #deduction #estimation #named #synthesis
- Amphion/NAV: Deductive Synthesis of State Estimation Software (JW, JVB, JS, PR, TP, JP, PO, MRL, GPB), pp. 395–399.
- ASE-1998-BaalenRLP
- Explaining Synthesized Software (JVB, PR, MRL, TP), pp. 240–248.
- LOPSTR-1998-BaalenR #deduction #synthesis #using
- Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems (JVB, SR), pp. 61–70.
- KBSE-1995-LowryB #domain-specific language #named #performance #synthesis
- META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems (MRL, JVB), pp. 2–10.
- KR-1994-BaalenF #representation
- The Role of Reversible Grammars in Translating Between Representation Languages (JVB, RF), pp. 562–571.
- KR-1991-Baalen #automation #design #satisfiability
- The Completeness of DRAT, A Technique for Automatic Design of Satisfiability Procedures (JVB), pp. 514–525.