Sascha Konrad

18 papers A* 3A 7B 1Journal 2Unranked 5
YearRankTypeTitle / Venue / Authors
2013 J jnl
Defining variability in activity diagrams and Petri nets.
Sci. Comput. Program.
André Heuer, Vanessa Stricker, Christof J. Budnik, Sascha Konrad, Kim Lauenroth, Klaus Pohl
2010 B conf
Formal Definition of Syntax and Semantics for Documenting Variability in Activity Diagrams.
SPLC
André Heuer, Christof J. Budnik, Sascha Konrad, Kim Lauenroth, Klaus Pohl
2009 A conf
Lessons Learned from the Use of Artifact Models in Industrial Projects.
RE
Sascha Konrad, Helmut Degen
2008 A conf
Requirements Engineering in the Development of Large-Scale Systems.
RE
Sascha Konrad, Michael Gall
2008 — conf
The Reinforcement Pedagogical Pattern for Industrial Training.
REET
Brian Berenbach, Sascha Konrad
2007 — conf
Goal-Oriented Patterns for UML-Based Modeling of Embedded Systems Requirements.
HASE
Heather Goldsby, Sascha Konrad, Betty H. C. Cheng
2007 — conf
Putting the "Engineering" into Software Engineering with Models.
MiSE@ICSE
Brian Berenbach, Sascha Konrad
2007 A conf
i
MoDELS
Sascha Konrad, Heather Goldsby, Betty H. C. Cheng
2006 A conf
A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems.
MoDELS
Heather Goldsby, Betty H. C. Cheng, Sascha Konrad, Stephane Kamdoum
2006 A conf
Use Case-Based Modeling and Analysis of Failsafe Fault-Tolerance.
RE
Ali Ebnenasir, Betty H. C. Cheng, Sascha Konrad
2005 A* conf
Assurance patterns for distributed real-time embedded systems.
ICSE
Sascha Konrad
2005 — conf
Automated Analysis of Natural Language Properties for UML Models.
MoDELS (Satellite Events)
Sascha Konrad, Betty H. C. Cheng
2005 A conf
Facilitating the Construction of Specification Pattern-based Properties.
RE
Sascha Konrad, Betty H. C. Cheng
2005 A* conf
Real-time specification patterns.
ICSE
Sascha Konrad, Betty H. C. Cheng
2004 A* conf
Automated Analysis of Timing Information in UML Diagrams.
ASE
Sascha Konrad, Laura A. Campbell, Betty H. C. Cheng
2004 J jnl
Object Analysis Patterns for Embedded Systems.
IEEE Trans. Software Eng.
Sascha Konrad, Betty H. C. Cheng, Laura A. Campbell
2003 — conf
A Requirements Patterns-Driven Approach to Specify Systems and Check Properties.
SPIN
Sascha Konrad, Laura A. Campbell, Betty H. C. Cheng, Min Deng
2002 A conf
Requirements Patterns for Embedded Systems.
RE
Sascha Konrad, Betty H. C. Cheng