| 2007 |
|---|
| 7 | EE | Mohamed Shehata,
Armin Eberlein,
Abraham O. Fapojuwo:
Managing Policy Interactions in KNX-Based Smart Homes.
COMPSAC (2) 2007: 367-378 |
| 6 | EE | Mohamed Shehata,
Armin Eberlein,
Abraham O. Fapojuwo:
A taxonomy for identifying requirement interactions in software systems.
Computer Networks 51(2): 398-425 (2007) |
| 5 | EE | Mohamed Shehata,
Armin Eberlein,
Abraham O. Fapojuwo:
Using semi-formal methods for detecting interactions among smart homes policies.
Sci. Comput. Program. 67(2-3): 125-161 (2007) |
| 2004 |
|---|
| 4 | EE | Mohamed Shehata,
Armin Eberlein,
Abraham O. Fapojuwo:
IRIS: A Semi-Formal Approach for Detecting Requirements Interactions.
ECBS 2004: 273-281 |
| 3 | | Mohamed Shehata,
Armin Eberlein,
Abraham O. Fapojuwo:
The use of semi-formal methods for detecting requirements interactions.
IASTED Conf. on Software Engineering 2004: 230-235 |
| 2003 |
|---|
| 2 | EE | Mohamed Shehata,
Armin Eberlein:
Detecting Requirements Interactions: A Three-Level Framework.
ASE 2003: 352-355 |
| 1 | EE | Mohamed Shehata,
Armin Eberlein:
Requirements Interaction Detection Using Semi-Formal Methods.
ECBS 2003: 224-232 |
