dblp.uni-trier.dewww.uni-trier.de

Mohamed Shehata

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
7EEMohamed Shehata, Armin Eberlein, Abraham O. Fapojuwo: Managing Policy Interactions in KNX-Based Smart Homes. COMPSAC (2) 2007: 367-378
6EEMohamed Shehata, Armin Eberlein, Abraham O. Fapojuwo: A taxonomy for identifying requirement interactions in software systems. Computer Networks 51(2): 398-425 (2007)
5EEMohamed 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
4EEMohamed 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
2EEMohamed Shehata, Armin Eberlein: Detecting Requirements Interactions: A Three-Level Framework. ASE 2003: 352-355
1EEMohamed Shehata, Armin Eberlein: Requirements Interaction Detection Using Semi-Formal Methods. ECBS 2003: 224-232

Coauthor Index

1Armin Eberlein [1] [2] [3] [4] [5] [6] [7]
2Abraham O. Fapojuwo [3] [4] [5] [6] [7]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)