Sascha Konrad

According to our database, Sascha Konrad authored at least 18 papers between 2002 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Defining variability in activity diagrams and Petri nets.

André Heuer, Vanessa Stricker, Christof J. Budnik, Sascha Konrad, Kim Lauenroth, Klaus Pohl

Sci. Comput. Program., 2013

2010

Formal Definition of Syntax and Semantics for Documenting Variability in Activity Diagrams.

André Heuer, Christof J. Budnik, Sascha Konrad, Kim Lauenroth, Klaus Pohl

Proceedings of the Software Product Lines: Going Beyond - 14th International Conference, 2010

2009

Lessons Learned from the Use of Artifact Models in Industrial Projects.

Sascha Konrad, Helmut Degen

Proceedings of the RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31, 2009

2008

Requirements Engineering in the Development of Large-Scale Systems.

Sascha Konrad, Michael Gall

Proceedings of the 16th IEEE International Requirements Engineering Conference, 2008

The Reinforcement Pedagogical Pattern for Industrial Training.

Brian Berenbach, Sascha Konrad

Proceedings of the Third International Workshop on Requirements Engineering Education and Training, 2008

2007

i²MAP : An Incremental and Iterative Modeling and Analysis Process.

Sascha Konrad, Heather Goldsby, Betty H. C. Cheng

Proceedings of the Model Driven Engineering Languages and Systems, 2007

Putting the "Engineering" into Software Engineering with Models.

Brian Berenbach, Sascha Konrad

Proceedings of the International Workshop on Modeling in Software Engineering, 2007

Goal-Oriented Patterns for UML-Based Modeling of Embedded Systems Requirements.

Heather Goldsby, Sascha Konrad, Betty H. C. Cheng

Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

2006

Use Case-Based Modeling and Analysis of Failsafe Fault-Tolerance.

Ali Ebnenasir, Betty H. C. Cheng, Sascha Konrad

Proceedings of the 14th IEEE International Conference on Requirements Engineering (RE 2006), 2006

A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems.

Heather Goldsby, Betty H. C. Cheng, Sascha Konrad, Stephane Kamdoum

Proceedings of the Model Driven Engineering Languages and Systems, 2006

2005

Automated Analysis of Natural Language Properties for UML Models.

Sascha Konrad, Betty H. C. Cheng

Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005

Facilitating the Construction of Specification Pattern-based Properties.

Sascha Konrad, Betty H. C. Cheng

Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August, 2005

Real-time specification patterns.

Sascha Konrad, Betty H. C. Cheng

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Assurance patterns for distributed real-time embedded systems.

Sascha Konrad

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

2004

Object Analysis Patterns for Embedded Systems.

Sascha Konrad, Betty H. C. Cheng, Laura A. Campbell

IEEE Trans. Software Eng., 2004

Automated Analysis of Timing Information in UML Diagrams.

Sascha Konrad, Laura A. Campbell, Betty H. C. Cheng

Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

2003

A Requirements Patterns-Driven Approach to Specify Systems and Check Properties.

Sascha Konrad, Laura A. Campbell, Betty H. C. Cheng, Min Deng

Proceedings of the Model Checking Software, 2003

2002

Requirements Patterns for Embedded Systems.

Sascha Konrad, Betty H. C. Cheng

Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering (RE 2002), 2002