Sascha Konrad

Publication Activity (10 Years)

Years Active: 2002-2013
Publications (10 Years): 0

Top Topics

Conceptual Database Design

Programmable Logic Controller

Activity Diagrams

Top Venues

Sci. Comput. Program.

Publications

André Heuer, Vanessa Stricker, Christof J. Budnik, Sascha Konrad, Kim Lauenroth, Klaus Pohl
Defining variability in activity diagrams and Petri nets. Sci. Comput. Program. 78 (12) (2013)
André Heuer, Christof J. Budnik, Sascha Konrad, Kim Lauenroth, Klaus Pohl
Formal Definition of Syntax and Semantics for Documenting Variability in Activity Diagrams. SPLC (2010)
Sascha Konrad, Helmut Degen
Lessons Learned from the Use of Artifact Models in Industrial Projects. RE (2009)
Sascha Konrad, Michael Gall
Requirements Engineering in the Development of Large-Scale Systems. RE (2008)
Brian Berenbach, Sascha Konrad
The Reinforcement Pedagogical Pattern for Industrial Training. REET (2008)
Heather Goldsby, Sascha Konrad, Betty H. C. Cheng
Goal-Oriented Patterns for UML-Based Modeling of Embedded Systems Requirements. HASE (2007)
Sascha Konrad, Heather Goldsby, Betty H. C. Cheng
MAP : An Incremental and Iterative Modeling and Analysis Process. MoDELS (2007)
Brian Berenbach, Sascha Konrad
Putting the "Engineering" into Software Engineering with Models. MiSE@ICSE (2007)
Ali Ebnenasir, Betty H. C. Cheng, Sascha Konrad
Use Case-Based Modeling and Analysis of Failsafe Fault-Tolerance. RE (2006)
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)
Sascha Konrad
Assurance patterns for distributed real-time embedded systems. ICSE (2005)
Sascha Konrad, Betty H. C. Cheng
Facilitating the Construction of Specification Pattern-based Properties. RE (2005)
Sascha Konrad, Betty H. C. Cheng
Real-time specification patterns. ICSE (2005)
Sascha Konrad, Betty H. C. Cheng
Automated Analysis of Natural Language Properties for UML Models. MoDELS (Satellite Events) (2005)
Sascha Konrad, Laura A. Campbell, Betty H. C. Cheng
Automated Analysis of Timing Information in UML Diagrams. ASE (2004)
Sascha Konrad, Betty H. C. Cheng, Laura A. Campbell
Object Analysis Patterns for Embedded Systems. IEEE Trans. Software Eng. 30 (12) (2004)
Sascha Konrad, Laura A. Campbell, Betty H. C. Cheng, Min Deng
A Requirements Patterns-Driven Approach to Specify Systems and Check Properties. SPIN (2003)
Sascha Konrad, Betty H. C. Cheng
Requirements Patterns for Embedded Systems. RE (2002)