 | 2008 |
|---|
| 13 |       | Sascha Konrad,
Michael Gall:
Requirements Engineering in the Development of Large-Scale Systems.
RE 2008: 217-222 |
| 2007 |
|---|
| 12 | | Heather Goldsby,
Sascha Konrad,
Betty H. C. Cheng:
Goal-Oriented Patterns for UML-Based Modeling of Embedded Systems Requirements.
HASE 2007: 7-14 |
| 11 | | Sascha Konrad,
Heather Goldsby,
Betty H. C. Cheng:
i2MAP : An Incremental and Iterative Modeling and Analysis Process.
MoDELS 2007: 451-466 |
| 2006 |
|---|
| 10 | | Heather Goldsby,
Betty H. C. Cheng,
Sascha Konrad,
Stephane Kamdoum:
A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems.
MoDELS 2006: 707-721 |
| 9 | | Ali Ebnenasir,
Betty H. C. Cheng,
Sascha Konrad:
Use Case-Based Modeling and Analysis of Failsafe Fault-Tolerance.
RE 2006: 336-337 |
| 2005 |
|---|
| 8 | | Sascha Konrad,
Betty H. C. Cheng:
Real-time specification patterns.
ICSE 2005: 372-381 |
| 7 | | Sascha Konrad:
Assurance patterns for distributed real-time embedded systems.
ICSE 2005: 657 |
| 6 | | Sascha Konrad,
Betty H. C. Cheng:
Automated Analysis of Natural Language Properties for UML Models.
MoDELS Satellite Events 2005: 48-57 |
| 5 | | Sascha Konrad,
Betty H. C. Cheng:
Facilitating the Construction of Specification Pattern-based Properties.
RE 2005: 329-338 |
| 2004 |
|---|
| 4 | | Sascha Konrad,
Laura A. Campbell,
Betty H. C. Cheng:
Automated Analysis of Timing Information in UML Diagrams.
ASE 2004: 350-353 |
| 3 | | Sascha Konrad,
Betty H. C. Cheng,
Laura A. Campbell:
Object Analysis Patterns for Embedded Systems.
IEEE Trans. Software Eng. 30(12): 970-992 (2004) |
| 2003 |
|---|
| 2 | | Sascha Konrad,
Laura A. Campbell,
Betty H. C. Cheng,
Min Deng:
A Requirements Patterns-Driven Approach to Specify Systems and Check Properties.
SPIN 2003: 18-33 |
| 2002 |
|---|
| 1 | | Sascha Konrad,
Betty H. C. Cheng:
Requirements Patterns for Embedded Systems.
RE 2002: 127-136 |
