Academic Bibliography

Search 200 years of publications by Ghent University researchers.

Sara Van Langenhove

Add to list
SVtL: System Verification through Logic: tool support for verifying sliced hierarchical statecharts

Sara Van Langenhove and Albert Hoogewijs (UGent)

(2007) LECTURE NOTES IN COMPUTER SCIENCE. 4409. p.142-155
Add to list
- Journal Article
- A1
Protocol conformance through refinement mappings in Cadence SMV

Sara Van Langenhove

(2006) BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY-SIMON STEVIN. 13(5). p.905-915
Add to list
- Conference Paper
- C3
- open access
SVtL: System Verification through Logic: tool support for verifying sliced hierarchical statecharts

Sara Van Langenhove and Albert Hoogewijs (UGent)

(2006) International Workshop on Algebraic Development Techniques, 18th, Abstracts. p.27-27
Add to list
- PhD Thesis
- open access
Towards the correctness of software behavior in UML : a model checking approach based on slicing

Sara Van Langenhove

(2006)
Add to list
- Conference Paper
- C3
Protocol Conformance through Refinement Mappings in Cadence SMV

Sara Van Langenhove

(2005) Proceedings of the Joint BeNeLuxFra Conference in Mathematics. p.50-51
Add to list
- Conference Paper
- C3
- open access
UML-Based Approach to Developing Verified Embedded Software

Sara Van Langenhove

(2005) Proceedings of the 3rd PhD FWET Symposium. p.22-22
Add to list
- Conference Paper
- C3
- open access
UML based Verification of Software

Sara Van Langenhove, Albert Hoogewijs (UGent) and Benjamin De Leeuw

(2004) 32nd Spring School in Theoretical Computer Scienc, Concurrency theory and applications.
Add to list
- Conference Paper
- C3
- open access
Integrating Cadence SMV in the Verification of UML Software

Sara Van Langenhove and Albert Hoogewijs (UGent)

(2004) Dutch Proof Tools Day 2004.