Prof. Dr. Georg Rock

Publikationen

Ausgewählte Publikationen

  • Lucas Küntzer, Thomas Nather, Markus Krost, Timo Zenner, Georg Rock: Extended reality prototyping for transdisciplinary collaboration in product development. International Journal of Agile Systems and Management, 2022, 15. 417. 10.1504/IJASM.2022.128231
  • Sara Allabar, Christian Bettinger, Michael Müllen, Georg Rock: scone - A Requirements Management Tool for the Specification and Variability-Based Analysis of Product Lines. Transdisciplinary Engineering for Complex Socio-technical Systems - Real-life Applications, Proceedings of the 27th ISTE International Conference on Transdisciplinary Engineering, TE 2020, virtual, July 1-10, 2020: 433-442
  • Georg Rock, Lucas Küntzer: A Tool for the Visualization of Variant Structures in Virtual Reality. In: Benjamin Weyers, Christoph Lürig, Daniel Zielasko (Hrsg.), GI VR / AR Workshop. Gesellschaft für Informatik e.V. 2020

  • Georg Rock, Lucas Küntzer, Marcel Schwarzenbarth, Jonas Reetz, Sascha Reinshagen, Daniel Siladjev and Damir Zinn: evoDash – a software development platform for the student-driven vehicle development project proTRon EVOLUTION, Session: 2/90, 2020 

  • Georg Rock, Lucas Küntzer, Michael Hoffmann: Virtual Reality as an E-Learning tool in the student-centered vehicle development project "proTRon", DELFI 2019. Gesellschaft für Informatik e.V.

  • Georg Rock, Christian Bettinger, Anna Schmitt; Glencoe – A tool and a Methodology to Manage Variability within the Product Development Process; International Journal of Agile Systems and Management (IJASM), Vol. 12, No. 4, 2019
  • Lucas Küntzer, Michael Hoffmann, Georg Rock. Virtual Reality as an E-Learning tool in the student-centered vehicle development project “proTRon”. 17. E-Learning Fachtagung Informatik. Lecture Notes in Informatics (LNI). Gesellschaft für Informatik. Bonn 2019
  • Anna Schmitt, Christian Bettinger, Georg Rock. Glencoe – A Tool for the Specification, Visualization and Formal Analysis of Product Lines. 25th international conference on Transdisciplinary Engineering, Modena, Italy, 2018;
    Ebook: Transdisciplinary Engineering Methods for Social Innovation of Industry 4.0. Series: Advances in Transdisciplinary Engineering, Volume 7, 2018, Editors: Margherita Perruzzini, Marcello Pellicciari, Cees Bil, Josip Stjepandic, Nel Wognum. ISBN 978-1-61499-897-6 (print), 978-1-61499-893-3 (online)
  • Christopher Junk, Robert Rößger, Georg Rock, Karsten Theis, Christoph Weidenbach, Patrick Wischnewski: Model-Based Variant Management with v.control. Transdisciplinary Lifecycle Analysis of Systems. Proceedings of the 22nd {ISPE} Inc. International Conference on Concurrent Engineering,
    Delft, The Netherlands, 2015, pages 194-203
  • Jürgen Ommen, Georg Rock: Visualization of Variability in Complex Development Structures. Proceedings of the 9th International Workshop on Variability Modelling of Software-intensive Systems, VaMoS '15, Hildesheim, Germany, 2015
  • 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.

Bücher

  • Daniel D. Frey, Shuichi Fukuda, Georg Rock:
Improving Complex Systems Today, Proceedings of the 18th ISPE International Conference on Concurrent Engineering, July 4-8, 2011, Boston, MA, USA. Springer 2011, ISBN 978-0-85729-798-3
  • Josip Stjepandic, Georg Rock, Cees Bil:
Concurrent Engineering Approaches for Sustainable Product Development in a Multi-Disciplinary Environment - Proceedings of the 19th ISPE International Conference on Concurrent Engineering (ISPE CE 2012), Trier, Germany, September 3-7, 2012. Springer 2013, ISBN 978-1-4471-4425-0
     

Auszeichnungen

BEST PAPER AWARD

Glencoe – A tool for Specification, Visualization and Formal Analysis of Product Lines, 25th International Conference on Transdisciplinary Engineering, Modena, 2018

Thoralf Skolem Award

Fachbereich Informatik

  • Schneidershof
  • 54293 Trier

Fachrichtungen

Rechtliches

Service

back-to-top nach oben