The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Sascha Konrad: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  12. Goal-Oriented Patterns for UML-Based Modeling of Embedded Systems Requirements. [Citation Graph (, )][DBLP]


  13. Requirements Engineering in the Development of Large-Scale Systems. [Citation Graph (, )][DBLP]


  14. Lessons Learned from the Use of Artifact Models in Industrial Projects. [Citation Graph (, )][DBLP]


  15. Formal Definition of Syntax and Semantics for Documenting Variability in Activity Diagrams. [Citation Graph (, )][DBLP]


Search in 0.144secs, Finished in 0.145secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002