| 2006 |
|---|
| 7 | EE | Abdelaziz Guerrouat,
Harald Richter:
A Combined Approach for Reachability Analysis.
ICSEA 2006: 23 |
| 6 | | Abdelaziz Guerrouat,
Harald Richter:
A Conformance Testing Approach for Component-Based Systems.
IMECS 2006: 870-874 |
| 5 | EE | Abdelaziz Guerrouat,
Harald Richter:
A component-based specification approach for embedded systems using FDTs.
ACM SIGSOFT Software Engineering Notes 31(2): (2006) |
| 2005 |
|---|
| 4 | EE | Abdelaziz Guerrouat,
Harald Richter:
A Formal Approach for Analysis and Testing of Reliable Embedded Systems.
Electr. Notes Theor. Comput. Sci. 141(3): 91-106 (2005) |
| 1999 |
|---|
| 3 | | 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: 26 |
| 2 | EE | 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: 45-53 |
| 1995 |
|---|
| 1 | | Abdelaziz Guerrouat,
Hartmut König,
Andreas Ulrich:
SELEXPERT - A Knowledge-based Tool for Test Case Selection.
FORTE 1995: 313-328 |
