Travelled to:1 × Israel
2 × Belgium
Collaborated with:J.Lewi H.R.Andersen J.Wauman
Talks about:effici (3) point (2) check (2) fix (2) behaviour (1) correct (1) boolean (1) system (1) invers (1) comput (1)
Person: Bart Vergauwen
DBLP: Vergauwen:Bart
Contributed to:
1995
1994
1994Wrote 3 papers:
- CAV-1995-AndersenV #behaviour #fixpoint #performance #using
- Efficient Checking of Behavioural Relations and Modal Assertions using Fixed-Point Inversion (HRA, BV), pp. 142–154.
- ICALP-1994-VergauwenL #correctness #equation #performance
- Efficient Local Correctness Checking for Single and Alternating Boolean Equation Systems (BV, JL), pp. 304–315.
- SAS-1994-VergauwenWL #fixpoint #performance
- Efficient FixPoint Computation (BV, JW, JL), pp. 314–328.