 | 1995 |
|---|
| 7 |       | Henrik Reif Andersen,
Bart Vergauwen:
Efficient Checking of Behavioural Relations and Modal Assertions using Fixed-Point Inversion.
CAV 1995: 142-154 |
| 1994 |
|---|
| 6 | | Bart Vergauwen,
Johan Lewi:
Efficient Local Correctness Checking for Single and Alternating Boolean Equation Systems.
ICALP 1994: 304-315 |
| 5 |  | Bart Vergauwen,
Johan Lewi,
I. Avau,
A. Poté:
Efficient Computation of Nested Fix-Points, with Applications to Model Checking.
ICTL 1994: 165-179 |
| 4 | | Bart Vergauwen,
J. Wauman,
Johan Lewi:
Efficient FixPoint Computation.
SAS 1994: 314-328 |
| 1993 |
|---|
| 3 | | Bart Vergauwen,
Johan Lewi:
A Linear Local Model Checking Algorithm for CTL.
CONCUR 1993: 447-461 |
| 1992 |
|---|
| 2 | | Bart Vergauwen,
Johan Lewi:
A Linear Algorithm for Solving Fixed-Point Equations on Transition Systems.
CAAP 1992: 322-341 |
| 1 | | Bart Vergauwen,
Johan Lewi:
Linear Local and Global Model Checking Algorithms for a Kernel Temporal Logic Language.
ICCI 1992: 46-49 |
