Instellingen beheren
MENU
Over deze site
In English
Home
Onderzoekers
Projecten
Organisaties
Publicaties
Infrastructuur
Contact
Research Explorer
Uw browser ondersteunt geen JavaScript of JavaScript is niet ingeschakeld. Zonder JavaScript kan sommige functionaliteit van deze webapplicatie uitgeschakeld zijn of foutmeldingen veroorzaken. Raadpleeg om JavaScript in te schakelen de handleiding van uw browser of contacteer uw systeembeheerder.
Onderzoeker
Sara Van Langenhove
Profiel
Projecten
Publicaties
Activiteiten
Prijzen & Erkenningen
8
Resultaten
2007
SVtL: System Verification through Logic: tool support for verifying sliced hierarchical statecharts
Sara Van Langenhove
Albert Hoogewijs
P1
Conferentie
2007
2006
Protocol conformance through refinement mappings in Cadence SMV
Sara Van Langenhove
A1
Artikel in een tijdschrift
in
BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY-SIMON STEVIN
2006
SVtL: System Verification through Logic: tool support for verifying sliced hierarchical statecharts
Sara Van Langenhove
Albert Hoogewijs
C3
Conferentie
2006
Towards the correctness of software behavior in UML : a model checking approach based on slicing
Sara Van Langenhove
Albert Hoogewijs
Proefschrift
2006
2005
Protocol Conformance through Refinement Mappings in Cadence SMV
Sara Van Langenhove
C3
Conferentie
2005
UML-Based Approach to Developing Verified Embedded Software
Sara Van Langenhove
C3
Conferentie
2005
2004
Integrating Cadence SMV in the Verification of UML Software
Sara Van Langenhove
Albert Hoogewijs
C3
Conferentie
2004
UML based Verification of Software
Sara Van Langenhove
Albert Hoogewijs
Benjamin De Leeuw
C3
Conferentie
2004