Publikationen

Diese Publikationsliste ist im Moment noch im Aufbau. Der Inhalt ist noch nicht vollständig.

Predictive and flexible circular economy approaches for highly integrated products and their materials as given in e-mobility and ict

Predictive and flexible circular economy approaches for highly integrated products and their materials as given in e-mobility and ict

Autoren:
Christoph Knieke, Sebastian Lawrenz, Magnus Fröhling, Daniel Goldmann, Andreas Rausch
Erschienen in:

Materials science forum: E-mobility and circular economy

Veröffentlichung:
2019
Scribbler: From collaborative sketching to formal domain specific models and back again

Scribbler: From collaborative sketching to formal domain specific models and back again

Autoren:
Martin Vogel, Tim Warnecke, Christian Bartelt
Erschienen in:

Joint proceedings of models’13 invited talks, demonstration session, poster session, and ACM student research competition co-located with the 16th international conference on model driven engineering languages and systems (MODELS 2013), miami, usa, september 29 - october 4, 2013.

Veröffentlichung:
2013
A study on configuration and integration of sub-systems to system-of-systems with rule verification

A study on configuration and integration of sub-systems to system-of-systems with rule verification

Autor:
Tim Warnecke
Erschienen in:

Engineering 7.10

Veröffentlichung:
2015
On the feasibility of automated prediction of bug and non-bug issues

On the feasibility of automated prediction of bug and non-bug issues

Autoren:
Steffen Herbold, Alexander Trautsch, Fabian Trautsch
Erschienen in:

Empirical Software Engineering

Veröffentlichung:
2020
Collaborative creativity: From hand drawn sketches to formal domain specific models and back again

Collaborative creativity: From hand drawn sketches to formal domain specific models and back again

Autoren:
Christian Bartelt, Martin Vogel, Tim Warnecke
Erschienen in:

Proceedings of the workshop on models and their role in collaboration, paphos, cyprus, september 22, 2013

Veröffentlichung:
2013
Parcours - teaching primary school children logical thinking and coordination skills through a collaborative smart table game

Parcours - teaching primary school children logical thinking and coordination skills through a collaborative smart table game

Autoren:
Patrick Dohrmann, Niels Pinkwart, Andreas Rausch, Alke Jürgens, Tim Warnecke
Erschienen in:

Connecting computer-supported collaborative learning to policy and practice: Proceedings of the 9th conference on computer supported collaborative learning (cscl), volume ii - short papers & posters

Veröffentlichung:
2011
Collaborative learning through cooperative design using a multitouch table

Collaborative learning through cooperative design using a multitouch table

Autoren:
Tim Warnecke, Patrick Dohrmann, Alke Jürgens, Andreas Rausch, Niels Pinkwart
Erschienen in:

Cooperative design, visualization, and engineering - 8th international conference, CDVE 2011, hong kong, china, september 11-14, 2011. Proceedings

Veröffentlichung:
2011
Scribbler - drawing models in a creative and collaborative environment: From hand-drawn sketches to domain specific models

Scribbler - drawing models in a creative and collaborative environment: From hand-drawn sketches to domain specific models

Autoren:
Martin Vogel, Tim Warnecke, Christian Bartelt, Andreas Rausch
Erschienen in:

Fifteenth australasian user interface conference, AUIC 2014, auckland, new zealand, january 2014

Veröffentlichung:
2014
A data driven approach for efficient re-utilization of traction batteries

A data driven approach for efficient re-utilization of traction batteries

Autoren:
Christian Kreutzmann, Priyanka Sharma, Sebastian Lawrenz
Erschienen in:

ADAPTIVE 2019, the eleventh international conference on adaptive and self-adaptive systems and applications

Veröffentlichung:
2019
Modeling of automotive hvac systems using long short-term memory networks

Modeling of automotive hvac systems using long short-term memory networks

Autoren:
Peter Engel, Sebastian Meise, Andreas Rausch, Wilhelm Tegethoff
Erschienen in:

The eleventh international conference on adaptive and self-adaptive systems and applications (adaptive)

Veröffentlichung:
2019
Flood prediction through artificial neural networks

Flood prediction through artificial neural networks

Autoren:
Pascal Goymann, Dirk Herrling, Andreas Rausch
Erschienen in:

ADAPTIVE 2019: The eleventh international conference on adaptive and self-adaptive systems and applications

Veröffentlichung:
2019
Managing communication paradigms with a dynamic adaptive middleware

Managing communication paradigms with a dynamic adaptive middleware

Autoren:
Tim Warnecke, Karina Rehfeldt, Andreas Rausch
Erschienen in:

ADAPTIVE 2018: The tenth international conference on adaptive and self-adaptive systems and applications

Veröffentlichung:
2018
Improving thermal management of electric vehicles by prediction of thermal disturbance variables

Improving thermal management of electric vehicles by prediction of thermal disturbance variables

Autoren:
Peter Engel, Sebastian Meise, Andreas Rausch, Wilhelm Tegethoff
Erschienen in:

The tenth international conference on adaptive and self-adaptive systems and applications (adaptive)

Veröffentlichung:
2018
Conception of a type-based pub/sub mechanism with hierarchical channels for a dynamic adaptive component model

Conception of a type-based pub/sub mechanism with hierarchical channels for a dynamic adaptive component model

Autoren:
Mohamad Ibrahim, Karina Rehfeldt, Andreas Rausch
Erschienen in:

ADAPTIVE 2018: The tenth international conference on adaptive and self-adaptive systems and applications

Veröffentlichung:
2018
Towards a formalised approach for integrated functions updates of existing mechatronic systems

Towards a formalised approach for integrated functions updates of existing mechatronic systems

Autoren:
Tim Warnecke, Karina Rehfeldt, Andreas Rausch, David Inkermann, Tobias Huth, Thomas Vietor
Erschienen in:

ADAPTIVE 2017: The ninth international conference on adaptive and self-adaptive systems and applications

Veröffentlichung:
2017
A test-driven approach for model-based development of powertrain functions

A test-driven approach for model-based development of powertrain functions

Autoren:
Henrik Peters, Christoph Knieke, Oliver Brox, Stefanie Jauns-Seyfried, Michael Krämer, Andreas Schulze
Erschienen in:

Agile processes in software engineering and extreme programming. 15th international conference on agile software development, xp 2014

Veröffentlichung:
2014
Learning state mappings in multi-level-simulation

Learning state mappings in multi-level-simulation

Autoren:
Stefan Wittek, Andreas Rausch
Erschienen in:

SimScience 2017. Communications in computer and information science, vol 889.

Veröffentlichung:
2018
Entwurf und evaluation eines kommunikationskanals für gesten in kollaborativen virtuellen 3D-welten

Entwurf und evaluation eines kommunikationskanals für gesten in kollaborativen virtuellen 3D-welten

Autoren:
Stefan Wittek, Niels Pinkwart
Erschienen in:

Mensch & computer 2014 - tagungsband, 14. Fachübergreifende konferenz für interaktive und kooperative medien - interaktiv unterwegs - freiräume gestalten, 31. August - 3. September 2014, münchen, germany

Veröffentlichung:
2014
Towards multi-level-simulation using dynamic cloud environments

Towards multi-level-simulation using dynamic cloud environments

Autoren:
Stefan Wittek, Michael Göttsche, Andreas Rausch, Jens Grabowski
Erschienen in:

Proceedings of the 6th international conference on simulation and modeling methodologies, technologies and applications (SIMULTECH 2016), lisbon, portugal, july 29-31, 2016

Veröffentlichung:
2016
What are hybrid development methods made of?: An evidence-based characterization

What are hybrid development methods made of?: An evidence-based characterization

Autoren:
Paolo Tell, Jil Klünder, Steffen Küpper, David Raffo, Stephen G. MacDonell, Jürgen Münch, Dietmar Pfahl, Oliver Linssen, Marco Kuhrmann
Erschienen in:

ICSSP ’19: Proceedings of the international conference on software and system processes

Veröffentlichung:
2019
Sensors and simulation cooperative module based information management command system in mine dynamic, moving integrated product development to service clouds in the global economy

Sensors and simulation cooperative module based information management command system in mine dynamic, moving integrated product development to service clouds in the global economy

Autoren:
Daning Wang, Andreas Rausch, Sheng Li, Hongwei Zhang, Junwen Li
Erschienen in:

Concurrent engineering conferences: Moving integrated product development to service clouds in the global economy

Veröffentlichung:
2014
Mixed real and virtual information platform for intelligent mining

Mixed real and virtual information platform for intelligent mining

Autoren:
Daning Wang, Xintong Li, Sebastian Lawrenz
Erschienen in:

Proceedings of 35th international conference on ground control in mining

Veröffentlichung:
2016
Data-driven component configuration in production systems

Data-driven component configuration in production systems

Autoren:
Daning Wang, Christoph Knieke, Andreas Rausch
Erschienen in:

Proceedings of the adaptive 2019 inc. The eleventh international conference on adaptive and self-adaptive systems and applications

Veröffentlichung:
2019
Semantisches matching für die konfiguration von komponenten in cyber-physischen systemen

Semantisches matching für die konfiguration von komponenten in cyber-physischen systemen

Autoren:
Daning Wang, Christoph Knieke, Sebastian Lawrenz, Andreas Rausch
Erschienen in:

Tagungsband: ASIM workshop 2019 simulation technischer systeme grundlagen und methoden in modellbildung und simulation

Veröffentlichung:
2019
Towards understanding the motivation of german organizations to apply certain software development methods

Towards understanding the motivation of german organizations to apply certain software development methods

Autoren:
Jil Klünder, Philipp Hohl, Steffen Küpper, Stephan Krusche, Pernille Lous, Masud Fazal-Baqaie, Christian R. Prause
Erschienen in:

Product-focused software process improvement - 19th international conference, profes 2018

Veröffentlichung:
2018
Towards the systematic development of hybrid software development processes

Towards the systematic development of hybrid software development processes

Autoren:
Steffen Küpper, Andreas Rausch, Urs Andelfinger
Erschienen in:

ICSSP ’18: Proceedings of the 2018 international conference on software and system process

Veröffentlichung:
2018
Applicability of neural networks for driving style classification and maneuver detection

Applicability of neural networks for driving style classification and maneuver detection

Autoren:
Karl-Falco Storm, Paul Hochrein, Peter Engel, Andreas Rausch
Erschienen in:

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Veröffentlichung:
2018
Control mechanisms for managed evolution of automotive software product line architectures

Control mechanisms for managed evolution of automotive software product line architectures

Autoren:
Christoph Knieke, Marco Körner, Andreas Rausch, Mirco Schindler, Arthur Strasser, Martin Vogel
Erschienen in:

International Journal On Advances in Software

Veröffentlichung:
2017
From product architectures to a managed automotive software product line architecture

From product architectures to a managed automotive software product line architecture

Autoren:
Benjamin Cool, Christoph Knieke, Andreas Rausch, Mirco Schindler, Arthur Strasser, Martin Vogel, Oliver Brox, Stefanie Jauns-Seyfried
Erschienen in:

SAC’16: Proceedings of the 31st annual acm symposium on applied computing

Veröffentlichung:
2016
HELENA study: Reasons for combining agile and traditional software development approaches in german companies

HELENA study: Reasons for combining agile and traditional software development approaches in german companies

Autoren:
Jil Klünder, Philipp Hohl, Masud Fazal-Baqaie, Stephan Krusche, Steffen Küpper, Oliver Linssen, Christian R. Prause
Erschienen in:

Product-focused software process improvement - 18th international conference, profes 2017

Veröffentlichung:
2017
Model- and constraint-based engineering of complex software ecosystems

Model- and constraint-based engineering of complex software ecosystems

Autoren:
Andreas Rausch, Sandra Bergner, Daning Wang
Erschienen in:

International conference on information technology and electronic commerce

Veröffentlichung:
2014
Product-focused software process improvement - 19th international conference, profes 2018

Product-focused software process improvement - 19th international conference, profes 2018

Erschienen in:

Product-focused computer software process improvement (profes)

Veröffentlichung:
2018
Semantic foundation and validation of live activity diagrams

Semantic foundation and validation of live activity diagrams

Autoren:
Christoph Knieke, Michaela Huhn
Erschienen in:

Nordic Journal of Computing

Veröffentlichung:
2015
A holistic approach for managed evolution of automotive software product line architectures

A holistic approach for managed evolution of automotive software product line architectures

Autoren:
Christoph Knieke, Marco Körner, Andreas Rausch, Mirco Schindler, Arthur Strasser, Martin Vogel
Erschienen in:

Special track: Managed adaptive automotive product line development (maapl), along with adaptive 2017

Veröffentlichung:
2017
Interface roles for dynamic adaptive systems

Interface roles for dynamic adaptive systems

Autoren:
Holger Klus, Dirk Herrling, Andreas Rausch
Erschienen in:

Proceedings of adaptive 2015, the seventh international conference on adaptive and self-adaptive systems and applications

Veröffentlichung:
2015
The impact of agile methods on the development of an agile culture: Research proposal: \[The agile evolution\]

The impact of agile methods on the development of an agile culture: Research proposal: \[The agile evolution\]

Autor:
Steffen Küpper
Erschienen in:

EASE ’16: Proceedings of the 20th international conference on evaluation and assessment in software engineering

Veröffentlichung:
2016
Defining domain specific operational semantics for activity diagrams

Defining domain specific operational semantics for activity diagrams

Autoren:
Christoph Knieke, Björn Schindler, Ursula Goltz, Andreas Rausch
Erschienen in:

IfI technical report series

Veröffentlichung:
2012
Blockchain technology as an approach for data marketplaces

Blockchain technology as an approach for data marketplaces

Autoren:
Sebastian Lawrenz, Priyanka Sharma, Andreas Rausch
Erschienen in:

ICBCT 2019: Proceedings of the 2019 international conference on blockchain technology

Veröffentlichung:
2019
How has spi changed in times of agile development? Results from a multi-method study

How has spi changed in times of agile development? Results from a multi-method study

Autoren:
Steffen Küpper, Dietmar Pfahl, Kristjan Jürisoo, Philipp Diebold, Jürgen Münch, Marco Kuhrmann
Erschienen in:

Journal of Software: Evolution and Process

Veröffentlichung:
2019
Managed evolution of automotive software product line architectures - cumulative habilitation thesis

Managed evolution of automotive software product line architectures - cumulative habilitation thesis

Autor:
Christoph Knieke
Veröffentlichung:
2019
Don’t buy A pig in A poke A framework for checking consumer requirements in A data marketplace

Don’t buy A pig in A poke A framework for checking consumer requirements in A data marketplace

Autoren:
Sebastian Lawrenz, Andreas Rausch
Erschienen in:

54th hawaii international conference on system sciences, HICSS 2021, kauai, hawaii, usa, january 5, 2021

Veröffentlichung:
2021
Extending interface roles to account for quality of service aspects in the daisi

Extending interface roles to account for quality of service aspects in the daisi

Autoren:
Dirk Herrling, Andreas Rausch, Karina Rehfeldt
Erschienen in:

International Journal on Advances in Software

Veröffentlichung:
2016
Modellierung und validierung von ausführbaren anforderungsspezifikationen mit erweiterten uml aktivitätsdiagrammen

Modellierung und validierung von ausführbaren anforderungsspezifikationen mit erweiterten uml aktivitätsdiagrammen

Autor:
Christoph Knieke
Veröffentlichung:
2011
The significant role of metadata for data marketplaces

The significant role of metadata for data marketplaces

Autoren:
Sebastian Lawrenz, Priyanka Sharma, Andreas Rausch
Erschienen in:

International Conference on Dublin Core and Metadata Applications

Veröffentlichung:
2019
Catching up with method and process practice: An industry-informed baseline for researchers

Catching up with method and process practice: An industry-informed baseline for researchers

Autoren:
Jil Klünder, Regina Hebig, Paolo Tell, Marco Kuhrmann, Joyce Nakatumba-Nabende, Rogardt Heldal, Stephan Krusche, Masud Fazal-Baqaie, Michael Felderer, Marcela Fabiana Genero Bocco, Steffen Küpper, Sherlock A. Licorish, Gustavo Lopez, Fergal McCaffery, Özden Özcan Top, Christian R. Prause, Rafael Prikladnicki, Eray Tüzün, Dietmar Pfahl, Kurt Schneider, Stephen G. MacDonell
Erschienen in:

ICSE-seip ’19: Proceedings of the 41st international conference on software engineering: Software engineering in practice

Veröffentlichung:
2019
Model-based requirement engineering to support development of complex systems

Model-based requirement engineering to support development of complex systems

Autoren:
David Inkermann, Tobias Huth, Thomas Vietor, Axel Grewe, Christoph Knieke, Andreas Rausch
Erschienen in:

Procedia CIRP

Veröffentlichung:
2019
Formalizing and guaranteeing human-robot interaction

Formalizing and guaranteeing human-robot interaction

Autoren:
Hadas Kress-Gazit, Kerstin Eder, Guy Hoffman, Henny Admoni, Brenna Argall, Rüdiger Ehlers, Christoffer Heckman, Nils Jansen, Ross Knepper, Jan Křetínský, Shelly Levy-Tzedek, Jamy Li, Todd Murphey, Laurel Riek, Dorsa Sadigh
Erschienen in:

Communications of the ACM

Veröffentlichung:
2021
Is there a blueprint for building an agile culture?

Is there a blueprint for building an agile culture?

Autoren:
Steffen Küpper, Marco Kuhrmann, Matthias Wiatrok, Urs Andelfinger, Andreas Rausch
Erschienen in:

Projektmanagement und vorgehensmodelle 2017 - die spannung zwischen dem prozess und den mensch im projekt

Veröffentlichung:
2017
Speed up of co-simulation by a heuristic time warp mechanism

Speed up of co-simulation by a heuristic time warp mechanism

Autoren:
Christian Bartelt, Karina Rehfeldt, Stefan Wittek
Erschienen in:

4th international conference on simulation and modeling methodologies, technologies and applications, SIMULTECH 2014, vienna, austria, august 28-30, 2014

Veröffentlichung:
2014
Nachhaltige agile transition: Symbiose von technischer und kultureller agilitã¤t

Nachhaltige agile transition: Symbiose von technischer und kultureller agilitã¤t

Autoren:
Philipp Diebold, Steffen Küpper, Thomas Zehler
Erschienen in:

Projektmanagement und vorgehensmodelle 2015

Veröffentlichung:
2015
Matching offerings and queries on an internet of things marketplace

Matching offerings and queries on an internet of things marketplace

Autoren:
Victor Charpenay, Hoan Nguyen, Mohamad Ibrahim, Achille Zappa, Arne Bröring
Erschienen in:

The semantic web: ESWC 2018 satellite events

Veröffentlichung:
2018
Towards the verification of safety-critical autonomous systems in dynamic environments

Towards the verification of safety-critical autonomous systems in dynamic environments

Autoren:
Adina Aniculaesei, Daniel Arnsberger, Falk Howar, Andreas Rausch
Erschienen in:

Proceedings of the the first workshop on verification and validation of cyber-physical systems (v2cps@iFM)

Veröffentlichung:
2016
Software engineering for smart cyber-physical systems (sescps 2018) - workshop report

Software engineering for smart cyber-physical systems (sescps 2018) - workshop report

Autoren:
Tomas Bures, Danny Weyns, Bradley Schmerl, John Fitzgerald, Adina Aniculaesei, Christian Berger, João Cambeiro, Jan Carlson, Shafiul Azam Chowdhury, Marian Daun, Nianyu Li, Matthias Markthaler, Claudio Menghi, Birgit Penzenstadler, Aedan Pettit, Robert Pettit, Luca Sabatucci, Christos Tranoris, Hans Vangheluwe, Sebastian Voss, Edith Zavala
Erschienen in:

SIGSOFT Softw. Eng. Notes

Veröffentlichung:
2019
Towards a holistic software systems engineering approach for dependable autonomous systems

Towards a holistic software systems engineering approach for dependable autonomous systems

Autoren:
Adina Aniculaesei, Jörg Grieser, Andreas Rausch, Karina Rehfeldt, Tim Warnecke
Erschienen in:

2018 acm/ieee 1st international workshop on software engineering for ai in autonomous systems (sefaias)

Veröffentlichung:
2018
Quality assurance of machine learned models by integrating domain knowledge and formal verification

Quality assurance of machine learned models by integrating domain knowledge and formal verification

Autoren:
Rüdiger Ehlers, Jörg Grieser, Christoph Knieke, Andreas Rausch, Mirco Schindler
Erschienen in:

Software engineering and software management, SE/SWM 2019, stuttgart, germany, february 18-22, 2019

Veröffentlichung:
2019
SAT solving with fragmented hamiltonian path constraints for wire arc additive manufacturing

SAT solving with fragmented hamiltonian path constraints for wire arc additive manufacturing

Autoren:
Rüdiger Ehlers, Kai Treutler, Volker Wesling
Erschienen in:

Theory and applications of satisfiability testing - SAT 2020 - 23rd international conference, alghero, italy, july 3-10, 2020, proceedings

Veröffentlichung:
2020
Approximately propagation complete and conflict propagating constraint encodings

Approximately propagation complete and conflict propagating constraint encodings

Autoren:
Rüdiger Ehlers, Francisco Palau Romero
Erschienen in:

Lecture notes in computer science: Theory and applications of satisfiability testing - SAT 2018 - 21st international conference, SAT 2018, held as part of the federated logic conference, floc 2018, oxford, uk, july 9-12, 2018, proceedings

Veröffentlichung:
2018
Asserting functional equivalence between c code and scade models in code-to-model transformations

Asserting functional equivalence between c code and scade models in code-to-model transformations

Autoren:
Jan Toennemann, Adina Aniculaesei, Andreas Rausch
Erschienen in:

5th brazilian symposium on systematic and automated software testing (sast ’20)

Veröffentlichung:
2020
Using the scade toolchain to generate requirements-based test cases for an adapative cruise control system

Using the scade toolchain to generate requirements-based test cases for an adapative cruise control system

Autoren:
Adina Aniculaesei, Andreas Vorwald, Andreas Rausch
Erschienen in:

2019 acm/ieee 22nd international conference on model driven engineering languages and systems companion (models-c)

Veröffentlichung:
2019
Safety and reliability for learning systems – a gentle introduction

Safety and reliability for learning systems – a gentle introduction

Autor:
Rüdiger Ehlers
Learning properties in LTL ∩ ACTL from positive examples only

Learning properties in LTL ∩ ACTL from positive examples only

Autoren:
Rüdiger Ehlers, Ivan Gavran, Daniel Neider
Erschienen in:

2020 formal methods in computer aided design, FMCAD 2020, haifa, israel, september 21-24, 2020

Veröffentlichung:
2020
How hard is finding shortest counter-example lassos in model checking?

How hard is finding shortest counter-example lassos in model checking?

Autor:
Rüdiger Ehlers
Erschienen in:

Lecture notes in computer science: Formal methods - the next 30 years - third world congress, FM 2019, porto, portugal, october 7-11, 2019, proceedings

Veröffentlichung:
2019
Graceful degradation of decision and control responsibility for autonomous systems based on dependability cages

Graceful degradation of decision and control responsibility for autonomous systems based on dependability cages

Autoren:
Adina Aniculaesei, Jörg Grieser, Andreas Rausch, Karina Rehfeldt, Tim Warnecke
Erschienen in:

Proceedings of the 5th international symposium on future active safety technology toward zero accidents (fast-zero ’19)

Veröffentlichung:
2019
Towards integrated rule-driven software development for it ecosystems

Towards integrated rule-driven software development for it ecosystems

Autoren:
Benjamin Mesing, Ursula Goltz, Adina Aniculaesei, Sebastian Herold, Andreas Rausch, Stefan Gärtner, Kurt Schneider
Erschienen in:

2012 6th ieee international conference on digital ecosystems and technologies (dest)

Veröffentlichung:
2012
Supervisory control and reactive synthesis: A comparative introduction

Supervisory control and reactive synthesis: A comparative introduction

Autoren:
Rüdiger Ehlers, Stéphane Lafortune, Stavros Tripakis, Moshe Y. Vardi
Erschienen in:

Discrete Event Dynamic Systems

Veröffentlichung:
2017
On improving the efficiency of game solving for hybrid system control

On improving the efficiency of game solving for hybrid system control

Autor:
Rüdiger Ehlers
Erschienen in:

57th IEEE conference on decision and control, CDC 2018, miami, fl, usa, december 17-19, 2018

Veröffentlichung:
2018
Engineering human-machine teams for trusted collaboration

Engineering human-machine teams for trusted collaboration

Autoren:
Basel Alhaji, Janine Beecken, Rüdiger Ehlers, Jan Gertheiss, Felix Merz, Jörg P. Müller, Michael Prilla, Andreas Rausch, Andreas Reinhardt, Delphine Reinhardt, Christian Rembe, Niels-Ole Rohweder, Christoph Schwindt, Stephan Westphal, Jürgen Zimmermann
Erschienen in:

Big Data and Cognitive Computing

Veröffentlichung:
2020
Reactive synthesis of graphical user interface glue code

Reactive synthesis of graphical user interface glue code

Autoren:
Rüdiger Ehlers, Keerthi Adabala
Erschienen in:

Automated technology for verification and analysis - 17th international symposium, ATVA 2019, taipei, taiwan, october 28-31, 2019, proceedings

Veröffentlichung:
2019
A fragment of linear temporal logic for universal very weak automata

A fragment of linear temporal logic for universal very weak automata

Autoren:
Keerthi Adabala, Rüdiger Ehlers
Erschienen in:

Lecture notes in computer science: Automated technology for verification and analysis - 16th international symposium, ATVA 2018, los angeles, ca, usa, october 7-10, 2018, proceedings

Veröffentlichung:
2018
Automated generation of requirements-based test cases for an automotive function using the scade toolchain

Automated generation of requirements-based test cases for an automotive function using the scade toolchain

Autoren:
Adina Aniculaesei, Andreas Vorwald, Andreas Rausch
Erschienen in:

ADAPTIVE 2019: The eleventh international conference on adaptive and self-adaptive systems and applications

Veröffentlichung:
2019
Steady abstractions for CPS controller synthesis

Steady abstractions for CPS controller synthesis

Autoren:
Francisco Palau Romero, Rüdiger Ehlers
Erschienen in:

2018 annual american control conference, ACC 2018, milwaukee, wi, usa, june 27-29, 2018

Veröffentlichung:
2018
Safe reinforcement learning via shielding

Safe reinforcement learning via shielding

Autoren:
Mohammed Alshiekh, Roderick Bloem, Rüdiger Ehlers, Bettina Könighofer, Scott Niekum, Ufuk Topcu
Erschienen in:

Proceedings of the thirty-second AAAI conference on artificial intelligence, (AAAI-18), the 30th innovative applications of artificial intelligence (IAAI-18), and the 8th AAAI symposium on educational advances in artificial intelligence (EAAI-18), New Orleans, Louisiana, USA, February 2-7, 2018

Veröffentlichung:
2018
Mastering erosion of software architecture in automotive software product lines

Mastering erosion of software architecture in automotive software product lines

Autoren:
Arthur Strasser, Benjamin Cool, Christoph Gernert, Christoph Knieke, Marco Körner, Dirk Niebuhr, Henrik Peters, Andreas Rausch, Oliver Brox, Stefanie Jauns-Seyfried, Hanno Jelden, Stefan Klie, Michael Krämer
Erschienen in:

SOFSEM 2014: Theory and practice of computer science - 40th international conference on current trends in theory and practice of computer science, novy smokovec, slovakia, january 26-29, 2014, proceedings

Veröffentlichung:
2014
Automotive software systems evolution: Planning and evolving product line architectures

Automotive software systems evolution: Planning and evolving product line architectures

Autoren:
Axel Grewe, Christoph Knieke, Marco Körner, Andreas Rausch, Mirco Schindler, Arthur Strasser, Martin Vogel
Erschienen in:

Special track: Managed adaptive automotive product line development (maapl), along with adaptive 2017

Veröffentlichung:
2017
Automotive software architecture evolution: Extracting, designing and managing architectural concepts

Automotive software architecture evolution: Extracting, designing and managing architectural concepts

Autoren:
Axel Grewe, Christoph Knieke, Marco Körner, Andreas Rausch, Mirco Schindler, Arthur Strasser, Martin Vogel
Erschienen in:

International Journal On Advances in Intelligent Systems

Veröffentlichung:
2017
Managed and continuous evolution of dependable automotive software systems

Managed and continuous evolution of dependable automotive software systems

Autoren:
Andreas Rausch, Oliver Brox, Axel Grewe, Marcel Ibe, Stefanie Jauns-Seyfried, Christoph Knieke, Marco Körner, Steffen Küpper, Malte Mauritz, Henrik Peters, Arthur Strasser, Martin Vogel, Norbert Weiss
Erschienen in:

Proceedings of the 10th symposium on automotive powertrain control systems

Veröffentlichung:
2014