Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Sascha Konrad
@article{DBLP:journals/scp/HeuerSBKLP13, author = {Andr{\'{e}} Heuer and Vanessa Stricker and Christof J. Budnik and Sascha Konrad and Kim Lauenroth and Klaus Pohl}, title = {Defining variability in activity diagrams and Petri nets}, journal = {Sci. Comput. Program.}, volume = {78}, number = {12}, pages = {2414--2432}, year = {2013}, url = {https://doi.org/10.1016/j.scico.2012.06.003}, doi = {10.1016/J.SCICO.2012.06.003}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/HeuerSBKLP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/splc/HeuerBKLP10, author = {Andr{\'{e}} Heuer and Christof J. Budnik and Sascha Konrad and Kim Lauenroth and Klaus Pohl}, editor = {Jan Bosch and Jaejoon Lee}, title = {Formal Definition of Syntax and Semantics for Documenting Variability in Activity Diagrams}, booktitle = {Software Product Lines: Going Beyond - 14th International Conference, {SPLC} 2010, Jeju Island, South Korea, September 13-17, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6287}, pages = {62--76}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15579-6\_5}, doi = {10.1007/978-3-642-15579-6\_5}, timestamp = {Tue, 14 May 2019 10:00:47 +0200}, biburl = {https://dblp.org/rec/conf/splc/HeuerBKLP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/re/KonradD09, author = {Sascha Konrad and Helmut Degen}, title = {Lessons Learned from the Use of Artifact Models in Industrial Projects}, booktitle = {{RE} 2009, 17th {IEEE} International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31 - September 4, 2009}, pages = {349--354}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/RE.2009.27}, doi = {10.1109/RE.2009.27}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/re/KonradD09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/re/BerenbachK08, author = {Brian Berenbach and Sascha Konrad}, title = {The Reinforcement Pedagogical Pattern for Industrial Training}, booktitle = {Third International Workshop on Requirements Engineering Education and Training, {REET} 2008, Barcelona, Spain, September 8, 2008}, pages = {1--5}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/REET.2008.7}, doi = {10.1109/REET.2008.7}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/re/BerenbachK08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/re/KonradG08, author = {Sascha Konrad and Michael Gall}, title = {Requirements Engineering in the Development of Large-Scale Systems}, booktitle = {16th {IEEE} International Requirements Engineering Conference, {RE} 2008, 8-12 September 2008, Barcelona, Catalunya, Spain}, pages = {217--222}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/RE.2008.31}, doi = {10.1109/RE.2008.31}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/re/KonradG08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hase/GoldsbyKC07, author = {Heather Goldsby and Sascha Konrad and Betty H. C. Cheng}, title = {Goal-Oriented Patterns for UML-Based Modeling of Embedded Systems Requirements}, booktitle = {Tenth {IEEE} International Symposium on High Assurance Systems Engineering {(HASE} 2007), November 14-16, 2007, Dallas, Texas, {USA}}, pages = {7--14}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/HASE.2007.21}, doi = {10.1109/HASE.2007.21}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hase/GoldsbyKC07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/BerenbachK07, author = {Brian Berenbach and Sascha Konrad}, title = {Putting the "Engineering" into Software Engineering with Models}, booktitle = {International Workshop on Modeling in Software Engineering, MiSE 2007, Minneapolis, MN, USA, May 20-26, 2007}, pages = {4}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/MISE.2007.13}, doi = {10.1109/MISE.2007.13}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/BerenbachK07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/KonradGC07, author = {Sascha Konrad and Heather Goldsby and Betty H. C. Cheng}, editor = {Gregor Engels and Bill Opdyke and Douglas C. Schmidt and Frank Weil}, title = {i\({}^{\mbox{2}}\)MAP : An Incremental and Iterative Modeling and Analysis Process}, booktitle = {Model Driven Engineering Languages and Systems, 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4735}, pages = {451--466}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-75209-7\_31}, doi = {10.1007/978-3-540-75209-7\_31}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/models/KonradGC07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/GoldsbyCKK06, author = {Heather Goldsby and Betty H. C. Cheng and Sascha Konrad and Stephane Kamdoum}, editor = {Oscar Nierstrasz and Jon Whittle and David Harel and Gianna Reggio}, title = {A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems}, booktitle = {Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4199}, pages = {707--721}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11880240\_49}, doi = {10.1007/11880240\_49}, timestamp = {Tue, 24 May 2022 15:28:49 +0200}, biburl = {https://dblp.org/rec/conf/models/GoldsbyCKK06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/re/EbnenasirCK06, author = {Ali Ebnenasir and Betty H. C. Cheng and Sascha Konrad}, title = {Use Case-Based Modeling and Analysis of Failsafe Fault-Tolerance}, booktitle = {14th {IEEE} International Conference on Requirements Engineering {(RE} 2006), 11-15 September 2006, Minneapolis/St.Paul, Minnesota, {USA}}, pages = {336--337}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.org/10.1109/RE.2006.70}, doi = {10.1109/RE.2006.70}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/re/EbnenasirCK06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/KonradC05, author = {Sascha Konrad and Betty H. C. Cheng}, editor = {Gruia{-}Catalin Roman and William G. Griswold and Bashar Nuseibeh}, title = {Real-time specification patterns}, booktitle = {27th International Conference on Software Engineering {(ICSE} 2005), 15-21 May 2005, St. Louis, Missouri, {USA}}, pages = {372--381}, publisher = {{ACM}}, year = {2005}, url = {https://doi.org/10.1145/1062455.1062526}, doi = {10.1145/1062455.1062526}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/KonradC05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/Konrad05, author = {Sascha Konrad}, editor = {Gruia{-}Catalin Roman and William G. Griswold and Bashar Nuseibeh}, title = {Assurance patterns for distributed real-time embedded systems}, booktitle = {27th International Conference on Software Engineering {(ICSE} 2005), 15-21 May 2005, St. Louis, Missouri, {USA}}, pages = {657}, publisher = {{ACM}}, year = {2005}, url = {https://doi.org/10.1145/1062455.1062591}, doi = {10.1145/1062455.1062591}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/Konrad05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/re/KonradC05, author = {Sascha Konrad and Betty H. C. Cheng}, title = {Facilitating the Construction of Specification Pattern-based Properties}, booktitle = {13th {IEEE} International Conference on Requirements Engineering {(RE} 2005), 29 August - 2 September 2005, Paris, France}, pages = {329--338}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/RE.2005.29}, doi = {10.1109/RE.2005.29}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/re/KonradC05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/uml/KonradC05, author = {Sascha Konrad and Betty H. C. Cheng}, editor = {Jean{-}Michel Bruel}, title = {Automated Analysis of Natural Language Properties for {UML} Models}, booktitle = {Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International Workshops, Doctoral Symposium, Educators Symposium, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3844}, pages = {48--57}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11663430\_6}, doi = {10.1007/11663430\_6}, timestamp = {Wed, 23 Feb 2022 12:58:07 +0100}, biburl = {https://dblp.org/rec/conf/uml/KonradC05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/KonradCC04, author = {Sascha Konrad and Betty H. C. Cheng and Laura A. Campbell}, title = {Object Analysis Patterns for Embedded Systems}, journal = {{IEEE} Trans. Software Eng.}, volume = {30}, number = {12}, pages = {970--992}, year = {2004}, url = {https://doi.org/10.1109/TSE.2004.102}, doi = {10.1109/TSE.2004.102}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/KonradCC04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/KonradCC04, author = {Sascha Konrad and Laura A. Campbell and Betty H. C. Cheng}, title = {Automated Analysis of Timing Information in {UML} Diagrams}, booktitle = {19th {IEEE} International Conference on Automated Software Engineering {(ASE} 2004), 20-25 September 2004, Linz, Austria}, pages = {350--353}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.ieeecomputersociety.org/10.1109/ASE.2004.10041}, doi = {10.1109/ASE.2004.10041}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/KonradCC04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/spin/KonradCCD03, author = {Sascha Konrad and Laura A. Campbell and Betty H. C. Cheng and Min Deng}, editor = {Thomas Ball and Sriram K. Rajamani}, title = {A Requirements Patterns-Driven Approach to Specify Systems and Check Properties}, booktitle = {Model Checking Software, 10th International {SPIN} Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2648}, pages = {18--33}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-44829-2\_2}, doi = {10.1007/3-540-44829-2\_2}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/spin/KonradCCD03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/re/KonradC02, author = {Sascha Konrad and Betty H. C. Cheng}, title = {Requirements Patterns for Embedded Systems}, booktitle = {10th Anniversary {IEEE} Joint International Conference on Requirements Engineering {(RE} 2002), 9-13 September 2002, Essen, Germany}, pages = {127--136}, publisher = {{IEEE} Computer Society}, year = {2002}, url = {https://doi.org/10.1109/ICRE.2002.1211541}, doi = {10.1109/ICRE.2002.1211541}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/re/KonradC02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.