Manage settings
MENU
About this site
In het Nederlands
Home
Researchers
Projects
Organisations
Publications
Infrastructure
Contact
Research Explorer
Your browser does not support JavaScript or JavaScript is not enabled. Without JavaScript some functions of this webapplication may be disabled or cause error messages. To enable JavaScript, please consult the manual of your browser or contact your system administrator.
Researcher
Albert Hoogewijs
Profile
Projects
Publications
Activities
Awards & Distinctions
35
Results
2010
Statechart normalizations
Benjamin De Leeuw
Albert Hoogewijs
A2
Journal Article
in
WSEAS TRANSACTIONS ON INFORMATION SCIENCE AND APPLICATIONS
2010
Statecharts disentangled
Benjamin De Leeuw
Albert Hoogewijs
C1
Conference
2010
2009
Management and Object Behavior of Statecharts through Statechart DNA
Benjamin De Leeuw
Albert Hoogewijs
A2
Journal Article
in
WSEAS TRANSACTIONS on INFORMATION SCIENCE and APPLICATIONS
2009
Statechart DNA
Benjamin De Leeuw
Albert Hoogewijs
P1
Conference
2009
2007
Formal management of object behavior with statechart DNA
Benjamin De Leeuw
Albert Hoogewijs
P1
Conference
2007
SVtL: System Verification through Logic: tool support for verifying sliced hierarchical statecharts
Sara Van Langenhove
Albert Hoogewijs
P1
Conference
2007
2006
A formal treatment of partial iota terms
Geert Vernaeve
Albert Hoogewijs
A2
Journal Article
in
THE BULLETIN OF SYMBOLIC LOGIC
2006
Extending a first order predicate calculus with partially defined iota terms
Geert Vernaeve
Albert Hoogewijs
A1
Journal Article
in
BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY-SIMON STEVIN
2006
Joint Beneluxfra Conference in Mathematics : preface
Albert Hoogewijs
Hendrik Van Maldeghem
Editorial material
2006
SVtL: System Verification through Logic: tool support for verifying sliced hierarchical statecharts
Sara Van Langenhove
Albert Hoogewijs
C3
Conference
2006
Scenario-Based Analysis of Statechart Construction
Benjamin De Leeuw
Albert Hoogewijs
C3
Conference
2006
Towards the correctness of software behavior in UML : a model checking approach based on slicing
Sara Van Langenhove
Albert Hoogewijs
Dissertation
2006
2005
Clifford meets Clifford in Quantum Computing: On Clifford seminearrings and Clifford groups
Albert Hoogewijs
Bookchapter
in
Liber Amicorum Richard Delanghe: een veelzijdig wiskundige
2005
Formath: higher-order logic revised
Albert Hoogewijs
P. Audenaert
A2
Journal Article
in
THE BULLETIN OF SYMBOLIC LOGIC
2005
2004
Combinatory logic, a bridge to verified programs
Albert Hoogewijs
P. Audenaert
A2
Journal Article
in
THE BULLETIN OF SYMBOLIC LOGIC
2004
Formath: Higher-order logic revised
Albert Hoogewijs
P. Audenaert
C3
Conference
2004
Integrating Cadence SMV in the Verification of UML Software
Sara Van Langenhove
Albert Hoogewijs
C3
Conference
2004
On the size of minimal blocking sets of Q(4,q), for q=5,7
Jan De Beule
Albert Hoogewijs
Leo Storme
A2
Journal Article
in
ACM SIGSAM Bulletin
2004
UML based Verification of Software
Sara Van Langenhove
Albert Hoogewijs
Benjamin De Leeuw
C3
Conference
2004
2003
Combinatory logic, a bridge to verified programs
Albert Hoogewijs
P. Audenaert
C3
Conference
2003
Implementing undefinedness in a two-valued prooftool through a four-valued Kleene logic
Albert Hoogewijs
P. Audenaert
A2
Journal Article
in
THE BULLETIN OF SYMBOLIC LOGIC
2003
2002
A pvs-proof for a memory modeling problem is a proof?
Albert Hoogewijs
P. Audenaert
A2
Journal Article
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
Conference
2002
2001
A PVS-Proof for a Memory Modeling Problem is a Proof!
P. Audenaert
Albert Hoogewijs
A2
Journal Article
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
Conference
2001
2000
Teach you Robot an LL(1)-Jargon
Albert Hoogewijs
H Gruyaert
G Vernaeve
C3
Conference
2000
1999
Semantic tableaux in LPF and the adequacy theorem
Noemie Slaats
Albert Hoogewijs
C3
Conference
1999
Tableaux for PPC
Albert Hoogewijs
D Van Heule
C3
Conference
1999
Tableaux in automated theorem proving : Isabelle and PPC
D Van Heule
Albert Hoogewijs
C3
Conference
1999
The non-definedness notion in expert systems
D Van Heule
Albert Hoogewijs
Noemie Slaats
A1
Journal Article
in
INFORMATION SCIENCES
1999
1998
Shared memory synchronization
Noemie Slaats
B Vanassche
Albert Hoogewijs
Bookchapter
in
Proof in VDM : case studies
1998
1997
LL(1) descriptions for robots
Albert Hoogewijs
A1
Journal Article
in
ROBOTICA
1997
Unknown but not undefined?
Dirk Van Heule
Albert Hoogewijs
C1
Conference
1997
1995
Karnak, an automated theorem prover for PPC
TM Elnadi
Albert Hoogewijs
A2
Journal Article
in
Bull. Belg. Math. Soc.
1995
1992
DERIVE, een steun bij het wiskundeonderwijs?
Albert Hoogewijs
A4
Journal Article
in
WISKUNDE & ONDERWIJS
1992