Home

Publications
Publications of Sascha Konrad


PhD Thesis:
  • Model-driven Development and Analysis of High Assurance Systems, October 2006. [Bibtex] [PDF]

Master's Thesis:
  • Defining and Using Requirements Patterns for Embedded Systems, August 2003. [Bibtex] [PDF]

Refereed Journal Publications:
  1. Markus Hermannsdoerfer, Sascha Konrad, and Brian Berenbach. Tabular Notations for State Machine-based Specifications. In CrossTalks Journal of Defense Software Engineering, March 2008. [Bibtex] [PDF]
  2. Sascha Konrad, Betty H.C. Cheng, and Laura A. Campbell. Object Analysis Patterns for Embedded Systems. In IEEE Transactions on Software Engineering, 30(12):970-992, December 2004. [Bibtex] [PDF]
Refereed Book Chapters:
  1. Sascha Konrad and Betty H.C. Cheng. Automated Analysis of Natural Language Properties for UML Models. In Jean-Michel Bruel, editor, Satellite Events at the MoDELS 2005 Conference: MoDELS 2005 International Workshops OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, NfC, MDD, WUsCAM, number 3844 in Lecture Notes in Computer Science, pages 48-57. Springer Verlag, 2006. (received Best Paper Award)  [Bibtex] [PDF]
  2. Sascha Konrad, Laura A. Campbell, Betty H.C. Cheng, and Min Deng. A Requirements Patterns-Driven Approach to Check Systems and Specify Properties. In Thomas Ball and Sriram K. Rajamani, editors,Model Checking Software, 10th International SPIN Workshop, number 2648 in Lecture Notes in Computer Science, pages 18-33. Springer Verlag, May 2003. [Bibtex] [PDF]
Refereed Conference and Workshop Publications:
  1. Sascha Konrad and Helmut Degen. Lessons Learned from the Use of Artifact Models in Industrial Projects. In Proceedings of the IEEE International Requirements Engineering Conference (RE 09), Atlanta, Georgia, September 2009. (Accepted to appear)
  2. Sascha Konrad and Michael Gall. Requirements Engineering in the Development of Large-Scale Systems. In Proceedings of the IEEE International Requirements Engineering Conference (RE 08), Barcelona, Spain, September 2008. [Bibtex] [PDF]
  3. Brian Berenbach and Sascha Konrad. The Reinforcement Pedagogical Pattern for Industrial Training. In Proceedings of the International Workshop on Requirements Engineering Education and Training (REET'08), Barcelona, Spain, September 2008. [Bibtex] [PDF]
  4. Heather Goldsby, Sascha Konrad, and Betty H.C. Cheng. Goal-Oriented Patterns for UML-Based Modeling of Embedded Systems Requirements. In Proceedings of the IEEE High Assurance Systems Engineering Symposium (HASE 2007), Dallas TX, November 2007. [Bibtex] [PDF]
  5. Sascha Konrad, Heather Goldsby, and Betty H.C. Cheng. i2MAP – An Incremental and Iterative Modeling and Analysis Process. In Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2007), Nashville, TN, October 2007. [Bibtex] [PDF]
  6. Brian Berenbach and Sascha Konrad. Putting the “Engineering” into Software Engineering with Models. In Proceedings of the Workshop on Modeling in Software Engineering 2007 (MISE 2007), Minneapolis, MN, May 2007. [Bibtex] [PDF]
  7. Heather Goldsby, Betty H.C. Cheng, Sascha Konrad, and Stephane Kamdoum. Enabling a Roundtrip Engineering Process for
    the Modeling and Analysis of Embedded Systems. In Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2006), Genova, Italy, October 2006. [Bibtex] [PDF]
  8. Sascha Konrad, Heather Goldsby, Karli Lopez, and Betty H.C. Cheng. Visualizing Requirements in UML Models. In Proceedings of the International Workshop on Requirements Engineering Visualization (REV 2006) as part of the 14th IEEE International Requirements Engineering Conference (RE'06), Minneapolis/St. Paul, MN, September 2006. [Bibtex] [PDF]
  9. Ali Ebnenasir, Betty H.C. Cheng, and Sascha Konrad. Use Case-Based Modeling and Analysis of Failsafe Fault-Tolerance.  In Proceedings of the IEEE International Requirements Engineering Conference (RE'06), Minneapolis/St. Paul, MN, September 2006. (Poster summary) [Bibtex] [PDF]
  10. Sascha Konrad and Betty H.C. Cheng. Facilitating the construction of specification pattern-based properties. In Proceedings of the IEEE International Requirements Engineering Conference (RE'05), Paris, France, August 2005. [Bibtex] [PDF]
  11. Sascha Konrad and Betty H.C. Cheng. Real-time Specification Patterns. In Proceedings of the 27th International Conference on Software Engineering (ICSE05), St Louis, MO, USA, May 2005. [Bibtex] [PDF]
  12. Sascha Konrad. “Assurance Patterns for Distributed Real-time Embedded Systems“, Proceedings of the Doctoral Symposium of the 27th International Conference on Software Engineering (ICSE 05), St Louis, MO, USA, May 2005.  [Bibtex] [PDF]
  13. Sascha Konrad, Laura A. Campbell, and Betty H.C. Cheng. Automated Analysis of Timing Information in UML Diagrams. In Proceedings of the Nineteenth IEEE International Conference on Automated Software Engineering (ASE04), Linz, Austria, September 2004. [Bibtex] [PDF]
  14. Sascha Konrad, Betty H.C. Cheng, Laura A. Campbell, and Ronald Wassermann. Using Security Patterns to Model and Analyze Security Requirements. High Assurance Systems Workshop (RHAS03) as part of the IEEE Joint International Conference on Requirements Engineering (RE'03), Monterey Bay, CA, USA, September 2003. [Bibtex] [PDF]
  15. Sascha Konrad, Laura A. Campbell, and Betty H.C. Cheng. Adding formal specifications to requirements patterns. In Proceedings of the Requirements for High Assurance Systems Workshop (RHAS02) as part of the IEEE Joint International Conference on Requirements Engineering (RE02), Essen, Germany, September 2002. [Bibtex] [PDF]
  16. Sascha Konrad and Betty H.C. Cheng. Requirements patterns for embedded systems. In Proceedings of the IEEE Joint International Conference on Requirements Engineering (RE'02), Essen, Germany, September 2002. [Bibtex] [PDF]

Tech Reports:
  1. MSU-CSE-06-23. Visualizing Requirements in UML Models.
  2. MSU-CSE-06-20. Enabling a Roundtrip Engineering Process for the Modeling and Analysis of Embedded Systems.
  3. MSU-CSE-06-15. Use Case-Based Modeling and Analysis of Failsafe Fault-Tolerance.
  4. MSU-CSE-06-14. Rigorous Agile UML Modeling.
  5. MSU-CSE-05-4. Facilitating the Derivation and Instantiation of Specification Patterns.
  6. MSU-CSE-04-37. Real-time Specification Patterns.
  7. MSU-CSE-04-29. Object Analysis Patterns for Embedded Systems.
  8. MSU-CSE-04-3. A Pattern-Based Approach to Providing User Guidance for Specifying and Analyzing Properties.
  9. MSU-CSE-03-18. Using Security Patterns to Model and Analyze Security Requirements.
  10. MSU-CSE-03-17. Adding and Analyzing Timing Information for UML Diagrams for Embedded Systems.
  11. MSU-CSE-02-28. Requirements Pattern-Driven Approach to Specify Systems and Check Properties.
  12. MSU-CSE-02-6. Identification, Classification, and Application of Requirements Patterns.
  13. MSU-CSE-02-4. Requirements Patterns for Embedded Systems.


Last modified 05/27/09                                             
Copyright 2003 - 2009 Sascha Konrad