Cornel Klein

According to our database, Cornel Klein authored at least 32 papers between 1997 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Safety Assurance of a Driverless Regional Train -Insight in the safe.trAIn Project.

Marc Zeller, Thomas Waschulzik, Martin Rothfelder, Cornel Klein

Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, 2023

safe.trAIn - Engineering and Assurance of a Driverless Regional Train.

Marc Zeller, Martin Rothfelder, Cornel Klein

Proceedings of the 2nd IEEE/ACM International Conference on AI Engineering, 2023

2022

Capturing Dependencies Within Machine Learning via a Formal Process Model.

Fabian Ritz, Thomy Phan, Andreas Sedlmeier, Philipp Altmann, Jan Wieghardt, Reiner N. Schmid, Horst Sauer, Cornel Klein, Claudia Linnhoff-Popien, Thomas Gabor

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022

2021

Specification Aware Multi-Agent Reinforcement Learning.

Fabian Ritz, Thomy Phan, Robert Müller, Thomas Gabor, Andreas Sedlmeier, Marc Zeller, Jan Wieghardt, Reiner N. Schmid, Horst Sauer, Cornel Klein, Claudia Linnhoff-Popien

Proceedings of the Agents and Artificial Intelligence - 13th International Conference, 2021

SAT-MARL: Specification Aware Training in Multi-Agent Reinforcement Learning.

Fabian Ritz, Thomy Phan, Robert Müller, Thomas Gabor, Andreas Sedlmeier, Marc Zeller, Jan Wieghardt, Reiner N. Schmid, Horst Sauer, Cornel Klein, Claudia Linnhoff-Popien

Proceedings of the 13th International Conference on Agents and Artificial Intelligence, 2021

2020

The scenario coevolution paradigm: adaptive quality assurance for adaptive systems.

Thomas Gabor, Andreas Sedlmeier, Thomy Phan, Fabian Ritz, Marie Kiermeier, Lenz Belzner, Bernhard Kempter, Cornel Klein, Horst Sauer, Reiner N. Schmid, Jan Wieghardt, Marc Zeller, Claudia Linnhoff-Popien

Int. J. Softw. Tools Technol. Transf., 2020

Learning and Testing Resilience in Cooperative Multi-Agent Systems.

Thomy Phan, Thomas Gabor, Andreas Sedlmeier, Fabian Ritz, Bernhard Kempter, Cornel Klein, Horst Sauer, Reiner N. Schmid, Jan Wieghardt, Marc Zeller, Claudia Linnhoff-Popien

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

2019

Scenario co-evolution for reinforcement learning on a grid world smart factory domain.

Thomas Gabor, Andreas Sedlmeier, Marie Kiermeier, Thomy Phan, Marcel Henrich, Monika Pichlmair, Bernhard Kempter, Cornel Klein, Horst Sauer, Reiner N. Schmid, Jan Wieghardt

Proceedings of the Genetic and Evolutionary Computation Conference, 2019

A Meta-model for Process Failure Mode and Effects Analysis (PFMEA).

Kai Höfig, Cornel Klein, Stefan Rothbauer, Marc Zeller, Marian Vorderer, Chee Hung Koo

Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

2018

Adapting Quality Assurance to Adaptive Systems: The Scenario Coevolution Paradigm.

Thomas Gabor, Marie Kiermeier, Andreas Sedlmeier, Bernhard Kempter, Cornel Klein, Horst Sauer, Reiner N. Schmid, Jan Wieghardt

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

2017

SMARTGREENS 2015.

Markus Helfert, Karl-Heinz Krempels, Cornel Klein, Brian Donnellan

Computing, 2017

2015

An Automated Electric Vehicle Prototype Showing New Trends in Automotive Architectures.

Martin Buechel, Jelena Frtunikj, Klaus Becker, Stephan Sommer, Christian Buckl, Michael Armbruster, Andre Marek, Andreas Zirkler, Cornel Klein, Alois C. Knoll

Proceedings of the IEEE 18th International Conference on Intelligent Transportation Systems, 2015

Software- and Systems Architecture for Smart Vehicles.

Cornel Klein

Proceedings of the CLOSER 2015, 2015

2014

Automata Describing Object Behavior.

Bernhard Rumpe, Cornel Klein

CoRR, 2014

A stream-based mathematical model for distributed information processing systems - SysLab system model.

Cornel Klein, Bernhard Rumpe, Manfred Broy

CoRR, 2014

Enhancing the SysLab System Model with State.

Radu Grosu, Cornel Klein, Bernhard Rumpe

CoRR, 2014

ICT Architecture as an Engine for the Electromobility of the Future.

Cornel Klein

Proceedings of the SMARTGREENS 2014, 2014

2010

Enabling Personal Privacy for Pervasive Computing Environments.

Susana Alcalde Bagüés, Andreas Zeidler, Ignacio R. Matías, Cornel Klein, Carlos Fernández-Valdivielso

J. Univers. Comput. Sci., 2010

2009

Achieving Dependable Component Bindings in Dynamic Adaptive Systems - A Runtime Testing Approach.

Dirk Niebuhr, Andreas Rausch, Cornel Klein, Juergen Reichmann, Reiner N. Schmid

Proceedings of the Third IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2009

Variability in Foot-Worn Sensor Placement for Activity Recognition.

Jakob Doppler, Gerald Holl, Alois Ferscha, Marquart Franz, Cornel Klein, Marcos dos Santos Rocha, Andreas Zeidler

Proceedings of the 13th IEEE International Symposium on Wearable Computers (ISWC 2009), 2009

2008

From Smart Homes to Smart Cities: Opportunities and Challenges from an Industrial Perspective.

Cornel Klein, Gerald Kaefer

Proceedings of the Next Generation Teletraffic and Wired/Wireless Advanced Networking, 2008

A Survey of Context Adaptation in Autonomic Computing.

Cornel Klein, Reiner N. Schmid, Christian Leuxner, Wassiou Sitou, Bernd Spanfelner

Proceedings of the Fourth International Conference on Autonomic and Autonomous Systems, 2008

Simulating the Potential Savings of Implicit Energy Management on a City Scale.

Doris Zachhuber, Jakob Doppler, Alois Ferscha, Cornel Klein, Jelena Mitic

Proceedings of the 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications, 2008

2004

Active Networking based Service Infrastructure for Cellular WLANs.

Reiner N. Schmid, Cornel Klein, Thomas Becker

Proceedings of the Wireless Information Systems, 2004

2001

Extension of the Unified Modeling Language for Mobile Agents.

Cornel Klein, Andreas Rausch, Marc Sihling, Zhaojun Wen

Proceedings of the Unified Modeling Language: Systems Analysis, 2001

2000

Web Enabled Telecommunication Service Control Using VoxML.

Bilel Guedhami, Cornel Klein, Wolfgang Kellerer

Proceedings of the Telecommunication Network Intelligence, 2000

A Flexible IP Active Networks Architecture.

Alex Galis, Bernhard Plattner, Jonathan M. Smith, Spyros G. Denazis, Eckhard Moeller, Hui Guo, Cornel Klein, Joan Serrat, Jan Laarhuis, George T. Karetsos, Chris Todd

Proceedings of the Active Networks, Second International Working Conference, 2000

1999

A Multi-agent Solution for Advanced Call Centers.

Bernhard Bauer, Cornel Klein

Proceedings of the Multiple Approaches to Intelligent Systems, 1999

1998

Anforderungsspezifikation durch Transitionssysteme und Szenarien.

Cornel Klein

PhD thesis, 1998

1997

Reconciling Real-Time with Asynchronous Message Passing.

Manfred Broy, Radu Grosu, Cornel Klein

Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

Feature Specification and Refinement with State Transition Diagrams.

Cornel Klein, Christian Prehofer, Bernhard Rumpe

Proceedings of the Feature Interactions in Telecommunications Networks IV, 1997

Towards a Formalization of the Unified Modeling Language.

Ruth Breu, Ursula Hinkel, Christoph Hofmann, Cornel Klein, Barbara Paech, Bernhard Rumpe, Veronika Thurner

Proceedings of the ECOOP'97, 1997