Travelled to:1 × Austria
1 × France
1 × Germany
1 × Italy
1 × South Korea
1 × Spain
4 × USA
Collaborated with:B.H.C.Cheng H.Goldsby H.Degen M.Gall A.Ebnenasir L.A.Campbell S.Kamdoum A.Heuer C.J.Budnik K.Lauenroth K.Pohl
Talks about:analysi (4) model (4) pattern (3) system (3) diagram (2) specif (2) requir (2) formal (2) time (2) base (2)
Person: Sascha Konrad
DBLP: Konrad:Sascha
Contributed to:
2010
20092008
200720062006
20052005
20042002Wrote 10 papers:
- SPLC-2010-HeuerBKLP #diagrams #process #semantics #syntax #variability
- Formal Definition of Syntax and Semantics for Documenting Variability in Activity Diagrams (AH, CJB, SK, KL, KP), pp. 62–76.
- RE-2009-KonradD #industrial #lessons learnt #modelling #using
- Lessons Learned from the Use of Artifact Models in Industrial Projects (SK, HD), pp. 349–354.
- RE-2008-KonradG #development #requirements #scalability
- Requirements Engineering in the Development of Large-Scale Systems (SK, MG), pp. 217–222.
- MoDELS-2007-KonradGC #analysis #incremental #modelling #process
- i2MAP : An Incremental and Iterative Modeling and Analysis Process (SK, HG, BHCC), pp. 451–466.
- MoDELS-2006-GoldsbyCKK #analysis #assurance #formal method #framework #modelling #visualisation
- A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems (HG, BHCC, SK, SK), pp. 707–721.
- RE-2006-EbnenasirCK #analysis #case study #fault tolerance #modelling
- Use Case-Based Modeling and Analysis of Failsafe Fault-Tolerance (AE, BHCC, SK), pp. 336–337.
- ICSE-2005-KonradC #realtime #specification
- Real-time specification patterns (SK, BHCC), pp. 372–381.
- RE-2005-KonradC #specification
- Facilitating the Construction of Specification Pattern-based Properties (SK, BHCC), pp. 329–338.
- ASE-2004-KonradCC #analysis #automation #diagrams #uml
- Automated Analysis of Timing Information in UML Diagrams (SK, LAC, BHCC), pp. 350–353.
- RE-2002-KonradC #embedded #requirements
- Requirements Patterns for Embedded Systems (SK, BHCC), pp. 127–136.