Bart Vergauwen

According to our database, Bart Vergauwen authored at least 7 papers between 1992 and 1995.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1995

Efficient Checking of Behavioural Relations and Modal Assertions using Fixed-Point Inversion.

Henrik Reif Andersen, Bart Vergauwen

Proceedings of the Computer Aided Verification, 1995

1994

Efficient FixPoint Computation.

Bart Vergauwen, J. Wauman, Johan Lewi

Proceedings of the Static Analysis, First International Static Analysis Symposium, 1994

Efficient Computation of Nested Fix-Points, with Applications to Model Checking.

Bart Vergauwen, Johan Lewi, I. Avau, A. Poté

Proceedings of the Temporal Logic, First International Conference, 1994

Efficient Local Correctness Checking for Single and Alternating Boolean Equation Systems.

Bart Vergauwen, Johan Lewi

Proceedings of the Automata, Languages and Programming, 21st International Colloquium, 1994

1993

A Linear Local Model Checking Algorithm for CTL.

Bart Vergauwen, Johan Lewi

Proceedings of the CONCUR '93, 1993

1992

Linear Local and Global Model Checking Algorithms for a Kernel Temporal Logic Language.

Bart Vergauwen, Johan Lewi

Proceedings of the Computing and Information, 1992

A Linear Algorithm for Solving Fixed-Point Equations on Transition Systems.

Bart Vergauwen, Johan Lewi

Proceedings of the CAAP '92, 1992