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

Awards & Distinctions

35 Results

2010

Statechart normalizations

Benjamin De LeeuwAlbert Hoogewijs

A2 Journal Article in WSEAS TRANSACTIONS ON INFORMATION SCIENCE AND APPLICATIONS

Statecharts disentangled

Benjamin De LeeuwAlbert Hoogewijs

2009

Management and Object Behavior of Statecharts through Statechart DNA

Benjamin De LeeuwAlbert Hoogewijs

A2 Journal Article in WSEAS TRANSACTIONS on INFORMATION SCIENCE and APPLICATIONS

Benjamin De LeeuwAlbert Hoogewijs

2007

Formal management of object behavior with statechart DNA

Benjamin De LeeuwAlbert Hoogewijs

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

Sara Van LangenhoveAlbert Hoogewijs

2006

A formal treatment of partial iota terms

Geert VernaeveAlbert Hoogewijs

A2 Journal Article in THE BULLETIN OF SYMBOLIC LOGIC

Extending a first order predicate calculus with partially defined iota terms

Geert VernaeveAlbert Hoogewijs

A1 Journal Article in BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY-SIMON STEVIN

Joint Beneluxfra Conference in Mathematics : preface

Albert HoogewijsHendrik Van Maldeghem

Editorial material

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

Sara Van LangenhoveAlbert Hoogewijs

Scenario-Based Analysis of Statechart Construction

Benjamin De LeeuwAlbert Hoogewijs

Towards the correctness of software behavior in UML : a model checking approach based on slicing

Sara Van LangenhoveAlbert Hoogewijs

2005

Clifford meets Clifford in Quantum Computing: On Clifford seminearrings and Clifford groups

Albert Hoogewijs

Bookchapter in Liber Amicorum Richard Delanghe: een veelzijdig wiskundige

Formath: higher-order logic revised

Albert HoogewijsP. Audenaert

A2 Journal Article in THE BULLETIN OF SYMBOLIC LOGIC

2004

Combinatory logic, a bridge to verified programs

Albert HoogewijsP. Audenaert

A2 Journal Article in THE BULLETIN OF SYMBOLIC LOGIC

Formath: Higher-order logic revised

Albert HoogewijsP. Audenaert

Integrating Cadence SMV in the Verification of UML Software

Sara Van LangenhoveAlbert Hoogewijs

On the size of minimal blocking sets of Q(4,q), for q=5,7

Jan De BeuleAlbert HoogewijsLeo Storme

A2 Journal Article in ACM SIGSAM Bulletin

UML based Verification of Software

Sara Van LangenhoveAlbert HoogewijsBenjamin De Leeuw

2003

Combinatory logic, a bridge to verified programs

Albert HoogewijsP. Audenaert

Implementing undefinedness in a two-valued prooftool through a four-valued Kleene logic

Albert HoogewijsP. Audenaert

A2 Journal Article in THE BULLETIN OF SYMBOLIC LOGIC

2002

A pvs-proof for a memory modeling problem is a proof?

Albert HoogewijsP. Audenaert

A2 Journal Article in THE BULLETIN OF SYMBOLIC LOGIC

Implementing undefinedness in a two-valued prooftool through a four-valued Kleene logic

Albert HoogewijsP. Audenaert

2001

A PVS-Proof for a Memory Modeling Problem is a Proof!

P. AudenaertAlbert Hoogewijs

A2 Journal Article in Collegium Logicum, Annals of the Kurt-Godel-Society, 4, 2001, 51

Automated reasoning with ordinary assertions and default assumptions

D Van HeuleAlbert Hoogewijs

2000

Teach you Robot an LL(1)-Jargon

Albert HoogewijsH GruyaertG Vernaeve

1999

Semantic tableaux in LPF and the adequacy theorem

Noemie SlaatsAlbert Hoogewijs

Tableaux for PPC

Albert HoogewijsD Van Heule

Tableaux in automated theorem proving : Isabelle and PPC

D Van HeuleAlbert Hoogewijs

The non-definedness notion in expert systems

D Van HeuleAlbert HoogewijsNoemie Slaats

A1 Journal Article in INFORMATION SCIENCES

1998

Shared memory synchronization

Noemie SlaatsB VanasscheAlbert Hoogewijs

Bookchapter in Proof in VDM : case studies

1997

LL(1) descriptions for robots

Albert Hoogewijs

A1 Journal Article in ROBOTICA

Unknown but not undefined?

Dirk Van HeuleAlbert Hoogewijs

1995

Karnak, an automated theorem prover for PPC

TM ElnadiAlbert Hoogewijs

A2 Journal Article in Bull. Belg. Math. Soc.

1992

DERIVE, een steun bij het wiskundeonderwijs?

Albert Hoogewijs

A4 Journal Article in WISKUNDE & ONDERWIJS