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
Albert Hoogewijs
Profiel
Projecten
Publicaties
Activiteiten
Prijzen & Erkenningen
35
Resultaten
2010
Statechart normalizations
Benjamin De Leeuw
Albert Hoogewijs
A2
Artikel in een tijdschrift
in
WSEAS TRANSACTIONS ON INFORMATION SCIENCE AND APPLICATIONS
2010
Statecharts disentangled
Benjamin De Leeuw
Albert Hoogewijs
C1
Conferentie
2010
2009
Management and Object Behavior of Statecharts through Statechart DNA
Benjamin De Leeuw
Albert Hoogewijs
A2
Artikel in een tijdschrift
in
WSEAS TRANSACTIONS on INFORMATION SCIENCE and APPLICATIONS
2009
Statechart DNA
Benjamin De Leeuw
Albert Hoogewijs
P1
Conferentie
2009
2007
Formal management of object behavior with statechart DNA
Benjamin De Leeuw
Albert Hoogewijs
P1
Conferentie
2007
SVtL: System Verification through Logic: tool support for verifying sliced hierarchical statecharts
Sara Van Langenhove
Albert Hoogewijs
P1
Conferentie
2007
2006
A formal treatment of partial iota terms
Geert Vernaeve
Albert Hoogewijs
A2
Artikel in een tijdschrift
in
THE BULLETIN OF SYMBOLIC LOGIC
2006
Extending a first order predicate calculus with partially defined iota terms
Geert Vernaeve
Albert Hoogewijs
A1
Artikel in een tijdschrift
in
BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY-SIMON STEVIN
2006
Joint Beneluxfra Conference in Mathematics : preface
Albert Hoogewijs
Hendrik Van Maldeghem
Redactioneel materiaal
2006
SVtL: System Verification through Logic: tool support for verifying sliced hierarchical statecharts
Sara Van Langenhove
Albert Hoogewijs
C3
Conferentie
2006
Scenario-Based Analysis of Statechart Construction
Benjamin De Leeuw
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
Clifford meets Clifford in Quantum Computing: On Clifford seminearrings and Clifford groups
Albert Hoogewijs
Hoofdstuk in een boek
in
Liber Amicorum Richard Delanghe: een veelzijdig wiskundige
2005
Formath: higher-order logic revised
Albert Hoogewijs
P. Audenaert
A2
Artikel in een tijdschrift
in
THE BULLETIN OF SYMBOLIC LOGIC
2005
2004
Combinatory logic, a bridge to verified programs
Albert Hoogewijs
P. Audenaert
A2
Artikel in een tijdschrift
in
THE BULLETIN OF SYMBOLIC LOGIC
2004
Formath: Higher-order logic revised
Albert Hoogewijs
P. Audenaert
C3
Conferentie
2004
Integrating Cadence SMV in the Verification of UML Software
Sara Van Langenhove
Albert Hoogewijs
C3
Conferentie
2004
On the size of minimal blocking sets of Q(4,q), for q=5,7
Jan De Beule
Albert Hoogewijs
Leo Storme
A2
Artikel in een tijdschrift
in
ACM SIGSAM Bulletin
2004
UML based Verification of Software
Sara Van Langenhove
Albert Hoogewijs
Benjamin De Leeuw
C3
Conferentie
2004
2003
Combinatory logic, a bridge to verified programs
Albert Hoogewijs
P. Audenaert
C3
Conferentie
2003
Implementing undefinedness in a two-valued prooftool through a four-valued Kleene logic
Albert Hoogewijs
P. Audenaert
A2
Artikel in een tijdschrift
in
THE BULLETIN OF SYMBOLIC LOGIC
2003
2002
A pvs-proof for a memory modeling problem is a proof?
Albert Hoogewijs
P. Audenaert
A2
Artikel in een tijdschrift
in
THE BULLETIN OF SYMBOLIC LOGIC
2002
Implementing undefinedness in a two-valued prooftool through a four-valued Kleene logic
Albert Hoogewijs
P. Audenaert
C3
Conferentie
2002
2001
A PVS-Proof for a Memory Modeling Problem is a Proof!
P. Audenaert
Albert Hoogewijs
A2
Artikel in een tijdschrift
in
Collegium Logicum, Annals of the Kurt-Godel-Society, 4, 2001, 51
2001
Automated reasoning with ordinary assertions and default assumptions
D Van Heule
Albert Hoogewijs
P1
Conferentie
2001
2000
Teach you Robot an LL(1)-Jargon
Albert Hoogewijs
H Gruyaert
G Vernaeve
C3
Conferentie
2000
1999
Semantic tableaux in LPF and the adequacy theorem
Noemie Slaats
Albert Hoogewijs
C3
Conferentie
1999
Tableaux for PPC
Albert Hoogewijs
D Van Heule
C3
Conferentie
1999
Tableaux in automated theorem proving : Isabelle and PPC
D Van Heule
Albert Hoogewijs
C3
Conferentie
1999
The non-definedness notion in expert systems
D Van Heule
Albert Hoogewijs
Noemie Slaats
A1
Artikel in een tijdschrift
in
INFORMATION SCIENCES
1999
1998
Shared memory synchronization
Noemie Slaats
B Vanassche
Albert Hoogewijs
Hoofdstuk in een boek
in
Proof in VDM : case studies
1998
1997
LL(1) descriptions for robots
Albert Hoogewijs
A1
Artikel in een tijdschrift
in
ROBOTICA
1997
Unknown but not undefined?
Dirk Van Heule
Albert Hoogewijs
C1
Conferentie
1997
1995
Karnak, an automated theorem prover for PPC
TM Elnadi
Albert Hoogewijs
A2
Artikel in een tijdschrift
in
Bull. Belg. Math. Soc.
1995
1992
DERIVE, een steun bij het wiskundeonderwijs?
Albert Hoogewijs
A4
Artikel in een tijdschrift
in
WISKUNDE & ONDERWIJS
1992