Bart Vergauwen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
1992–1995
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1995 | CAV | Efficient Checking of Behavioural Relations and Modal Assertions using Fixed-Point Inversion. | Henrik Reif Andersen, Bart Vergauwen |
| 1994 | ICALP | Efficient Local Correctness Checking for Single and Alternating Boolean Equation Systems. | Bart Vergauwen, Johan Lewi |
| 1994 | SAS | Efficient FixPoint Computation. | Bart Vergauwen, J. Wauman, Johan Lewi |
| 1993 | CONCUR | A Linear Local Model Checking Algorithm for CTL. | Bart Vergauwen, Johan Lewi |
| 1992 | ICCI | Linear Local and Global Model Checking Algorithms for a Kernel Temporal Logic Language. | Bart Vergauwen, Johan Lewi |