Georg Rock
Orcid: 0000-0002-2507-7552Affiliations:
- Hochschule Trier, Trier, Germany
According to our database1,
Georg Rock
authored at least 35 papers
between 1996 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2000
2005
2010
2015
2020
0
1
2
3
4
5
2
4
2
1
1
2
1
2
1
1
1
1
2
1
1
1
1
2
1
4
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2024
Dynamic Difficulty Adjustment in Virtual Reality Exergaming to Regulate Exertion Levels via Heart Rate Monitoring.
Proceedings of the 30th ACM Symposium on Virtual Reality Software and Technology, 2024
Proceedings of the 16th International Conference on Quality of Multimedia Experience, 2024
XR-CISE: Towards Promoting Physical Activity with Inclusive Virtual Reality Exergaming.
Proceedings of the Engineering For Social Change, 2024
Proceedings of the Companion Proceedings of the 16th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2024
2020
evoDash - A Transdisciplinary Vision for an Education Platform and a Simulation-Based Vehicle Development Process.
Proceedings of the Transdisciplinary Engineering for Complex Socio-technical Systems - Real-life Applications, 2020
scone - A Requirements Management Tool for the Specification and Variability-Based Analysis of Product Lines.
Proceedings of the Transdisciplinary Engineering for Complex Socio-technical Systems - Real-life Applications, 2020
2019
Virtual Reality as an E-Learning tool in the student-centered vehicle development project "proTRon".
Proceedings of the DeLFI 2019, 2019
2018
Glencoe - A Tool for Specification, Visualization and Formal Analysis of Product Lines.
Proceedings of the Transdisciplinary Engineering Methods for Social Innovation of Industry 4.0, 2018
2015
Proceedings of the Ninth International Workshop on Variability Modelling of Software-intensive Systems, 2015
Proceedings of the Transdisciplinary Lifecycle Analysis of Systems, 2015
2013
Proceedings of the 20th ISPE International Conference on Concurrent Engineering, 2013
2012
Proceedings of the Concurrent Engineering Approaches for Sustainable Product Development in a Multi-Disciplinary Environment, 2012
A Variant Management Based Methodology for the Requirements-Engineering Process of Mechanical Parts.
Proceedings of the Concurrent Engineering Approaches for Sustainable Product Development in a Multi-Disciplinary Environment, 2012
2011
Proceedings of the Fifth International Workshop on Variability Modelling of Software-Intensive Systems, 2011
2010
Proceedings of the Fourth International Workshop on Variability Modelling of Software-Intensive Systems, 2010
2009
Dealing with Variability in Architecture Descriptions to Support Automotive Product Lines.
Proceedings of the Third International Workshop on Variability Modelling of Software-Intensive Systems, 2009
2008
Proceedings of the KI 2008: Advances in Artificial Intelligence, 2008
2007
Proceedings of 4th International Verification Workshop in connection with CADE-21, 2007
2006
Proceedings of the Computer Safety, 2006
2005
Proceedings of the Mechanizing Mathematical Reasoning, 2005
2004
2002
Proceedings of the Fundamental Approaches to Software Engineering, 2002
2001
Proceedings of the Fourteenth International Florida Artificial Intelligence Research Society Conference, 2001
2000
Int. J. Softw. Tools Technol. Transf., 2000
J. Exp. Theor. Artif. Intell., 2000
Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference, 2000
Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference, 2000
1999
Modeling Dynamic Processes in TLA.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1999
1998
Proceedings of the International Workshop Tool Support for System Specification, 1998
Proceedings of the Applied Formal Methods, 1998
Assumption-Commitment Specifications and Safety-Critical Systems.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1998
Proceedings of the Automated Deduction, 1998
1997
Tool Support for the Compositional Development of Distributed Systems.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1997
1996
Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996