Publikationen

Ausgewählte Publikationen

-

Gümmer, Ralf; Junk, Christopher; Rock, Georg: A Variant Management Based Methodology for the Requirements-Engineering Process of Mechanical Parts. In: Proc. »19 ISPE International Conference on Concurrent Engineering (ISPE CE 2012), Trier, Germany, September 3-7, 2012. Springer 2013

-

Klawitter, Sylvia; Rock, Georg: Handling of Product Variety Throughout the Product Life-Cylce. In: Proc. »19 ISPE International Conference on Concurrent Engineering (ISPE CE 2012), Trier, Germany, September 3-7, 2012. Springer 2013

-

Junk, Christopher; Rock, Georg; Schreiber, Kai: Visualization of Variant Development Structures. In: Proc. »embedded world Conference 2012«, Nürnberg, WEKA Fachmedien, 28. Februar - 1. März 2012. ISBN 978-3-645-50072-2

-

Rock, Georg; Mann, Stefan: Control Variantrich Models by Variability Measures«. In: Proc. »5th Int. Workshop on Variability Modeling of Software-intensive Systems« (VAMOS 2011), 27 - 29.01.2011 in Namur, Belgium, 2011

-

Fabian Kliemannel, Georg Rock, Stefan Mann: »A Custom Approach for Variability Management in Automotive Applications«. In: David Benavides, Don Batory & Paul Grünbacher (Hrsg.): Proc. »4th Int. Workshop on Variability Modeling of Software-intensive Systems« (VAMOS 2010), 27 - 29.01.2010 In Linz, Österreich, S. 155–158. Institut für Informatik und Wirtschafts-Informatik (ICB), Universität Duisburg-Essen, ICB-Research, Report No. 37, ISSN: 1860-2770 (Print), 1866-5101(Online).

-

Georg Rock, Fabian Kliemannel, Stefan Mann: »Engineering and Assessment of Variant-rich Embedded Software«. In: Proc. »embedded world Conference
2010«, Nürnberg, WEKA Fachmedien, 2. - 4. März 2010. ISBN: 978-3-7723-1012-6.

-

Rock, Georg; Mann, Stefan: Assessment of Productline Architecture Descriptions in v.control. In 12th International Conference on Quality Engineering in Software Technology, Nuremberg, Germany, Sept. 16-18, 2009.

-

Rock, Georg; Mann, Stefan: Dealing with Variability in Architecture Descriptions to Support Automotive Product Lines. In: Workshop on 2009.Variability Modeling of Software-intensive Systems (VAMOS 2009). Sevilla, Spain, Januar 2730, S. 111–120,

-

Lassaad Cheikhrouhou, Andreas Nonnengart, Werner Stephan, Frank Koob, Georg Rock: Automating Interactive Protocol Verification. In A. Dengel et al. (Eds.): KI 2008:LNAI 5243, pp. 30-37. Springer-Verlag Berlin Heidelberg. 2008.

-

Bruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan: Verification of Distributed Applications. In F. Saglietti and N. Oster (Eds.): SAFECOMP 2007, LNCS 4680, pp. 315-328. Springer-Verlag Berlin Heidelberg. 2007

-

Bruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan: A History-based Verification of Distributed Applications. In Bernhard Beckert, editor, Proceedings of the 4th International Verification Workshop (VERIFY), Bremen, Germany, volume 259 of CEUR Workshop Proceedings, pp. 70-84, 2007.

-

Lassaad Cheikhrouhou, Georg Rock, Werner Stephan, Matthias Schwan, Gunter Lassmann: Verifying a Chipcard-Based Biometric Identification Protocol in VSE. In Janusz Górski, editor, Computer Safety, Reliability, and Security, 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings, volume 4166 of Lecture Notes in Computer Science, pages 42-56. Springer, 2006.

-

Werner Stephan, Bruno Langenstein, Andreas Nonnengart, Georg Rock: Verification Support Environment. In D. Hutter, W. Stephan (Eds.): Mechanizing Mathematical Reasoning. LNAI 2605, pp. 476-493, 2005. Springer-Verlag Berlin Heidelberg 2005.

-

Gunter Lassmann, Georg Rock, Matthias Schwan, and Lassaad Cheikhrouhou. Verisoft secure biometric identification system. T-Systems International University Conference, Düsseldorf, 10.-11. October 2005.

-

Andreas Nonnengart, Georg Rock, and Werner Stephan. Verification support environment (VSE). In Proceedings of the 4th International Workshop on Planning and Scheduling for Space (IWPSS'04), number 228 in ESA-WPP, ESA-ESOC, Darmstadt, Germany, June 2004. European Space Agency Publications Division.

Webredaktion Informatik, 19. Februar 2013