Abdelaziz Guerrouat

Publication Activity (10 Years)

Years Active: 1995-2006
Publications (10 Years): 0

Universität Magdeburg (PHD)

Education History

Universität Magdeburg

PHD

Publications

Abdelaziz Guerrouat, Harald Richter
A Conformance Testing Approach for Component-Based Systems. IMECS (2006)
Abdelaziz Guerrouat, Harald Richter
A component-based specification approach for embedded systems using FDTs. ACM SIGSOFT Softw. Eng. Notes 31 (2) (2006)
Abdelaziz Guerrouat, Harald Richter
A Combined Approach for Reachability Analysis. ICSEA (2006)
Abdelaziz Guerrouat, Harald Richter
A Formal Approach for Analysis and Testing of Reliable Embedded Systems. Electron. Notes Theor. Comput. Sci. 141 (3) (2005)
Abdelaziz Guerrouat, Harald Richter
A component-based specification approach for embedded systems using FDTs. SAVCBS@ESEC/FSE (2005)
Danilo Beuche, Abdelaziz Guerrouat, Holger Papajewski, Wolfgang Schröder-Preikschat, Olaf Spinczyk, Ute Spinczyk
The PURE Family of Object-Oriented Operating Systems for Deeply Embedded Systems. ISORC (1999)
Danilo Beuche, Abdelaziz Guerrouat, Holger Papajewski, Wolfgang Schröder-Preikschat, Olaf Spinczyk, Ute Spinczyk
On the Development of Object-Oriented Operating Systems for Deeply Embedded Systems - The PURE Project. ECOOP Workshops (1999)
Abdelaziz Guerrouat, Hartmut König, Andreas Ulrich
SELEXPERT - A Knowledge-based Tool for Test Case Selection. FORTE (1995)