Suche

of socio-technical systems, coordination and intelligent systems. A long-term research focus is on agent-based modelling and simulation in the area of intelligent transport systems and future connected […] Science and Mechanical Engineering. I hold a Ph.D. in Computer Science from Universität des Saarlandes (1996) in the area of Artificial Intelligence, Intelligent Agents and Multiagent Systems. Prior to becoming […] connected traffic systems. I served on numerous conference committees in the area of AI, intelligent agents and multi-agent systems and have co-authored over 250 scientific publications. For current and past projects

Alumnus mit seinen Zuhörer:innen schnell in intensive Gespräche ein. Hier kamen Themen des Systems Engineering genauso zur Sprache wie Erfahrungen in seiner Leitung internationaler Teams. Doch auch ein […] schon vollführt. In einem kurzweiligen Vortrag sprach der Entwicklungsleiter TQ-Drives bei der TQ Systems GmbH, über seinen Lebensweg vom Studium der Informatik – Studienrichtung Technik - hin zu seinen

authored by Rüdiger Ehlers, who heads the ACPS research group of the Institute of Software and Systems Engineering of TU Clausthal. It deals with the problem of fostering the understandability of reactive system […] More concretely, the paper describes a new method to compute *invariants* that all synthesized systems that conform to a given specification must fulfill. These invariants then document how a system needs

Conference on System Sciences ist eine der größten Konferenzen im Bereich Information Systems und Software Engineering und fand aufgrund der Covid-19 Pandemie in diesem Jahr komplett virtuell statt. Wir

Strasser am Mittwoch, 21.05.2025 um 16:00 Uhr ein. Ort: Institut für Software Services and Systems Engineering, Gebäude C10, Arnold-Sommerfeld-Str. 1, Seminarraum 124 Die Hochschulöffentlichkeit ist gemäß

Ehlers Embedded Systems Telefon: +49 5323 / 72-7148 Fax: +49 5323 / 72-99 7148 E-Mail: ruediger.ehlers@tu-clausthal.de Prof. Dr. Mohammad Ghafari Prof. Dr. Mohammad Ghafari Secure IT-Systems E-Mail: mohammad […] harald.ludanek@tu-clausthal.de Prof. Dr. Andreas Rausch Prof. Dr. Andreas Rausch Software Systems Engineering Telefon: +49 5323 / 72-7177 Fax: +49 5323 / 72-99 7177 E-Mail: andreas.rausch@tu-clausthal

Institut für Software and Systems Engineering hat einen neuen Mitarbeiter bekommen. Jan Toennemann unterstützt die Forschungsgruppe Dependable and Autonomous Cyber-Physical Systems. Weil wir Jan auch erst […] Master's thesis. All topics were related to formal verification, ensuring the correctness of critical systems and functions. Results of my Bachelor's thesis were presented at FMICS 2018 in Maynooth, Ireland […] is planned as well. Eagerly I now join the team of the "Dependable and Autonomous Cyber-Physical Systems" group, working in the same realm on novel challenges with great colleagues. ----- Wir freuen uns

Geo-Energy Systems (ab WS 22/23) Abschluss Zuständige Sachbearbeiterin/Betreuung Telefon E-Mail Bachelor Frau Pötsch 72-2557 annett.poetsch @ tu-clausthal . de Geoenvironmental Engineering Abschluss Zuständige […] . de Mining Engineering Abschluss Zuständige Sachbearbeiterin/Betreuung Telefon E-Mail Master Frau Pötsch 72-2557 annett.poetsch @ tu-clausthal . de Nachhaltige Energietechnik und -systeme (bis SS 2022 […] /Betreuung Telefon E-Mail Bachelor Frau Pötsch 72-2557 annett.poetsch @ tu-clausthal . de Systems Engineering (Weiterbildung) Abschluss Zuständige Sachbearbeiterin/Betreuung Telefon E-Mail Master Frau

komplexer. Mining Engineering (Master) Mining Engineering (Master) Our Mining Engineering students will be trained in a diversity of fields regarding the raw material production. Petroleum Engineering (Master) […] Wege der Materialentwicklung für Energiewandlung und Energiespeicherung. Geo-Energy Systems (Bachelor) Geo-Energy Systems (Bachelor) Um die Energiewende zu verwirklichen, müssen wir mit den Ressourcen der […] für eine Vielzahl an Produktinnovationen. Nachhaltige Energietechnik und -systeme (Bachelor) Nachhaltige Energietechnik und -systeme (Bachelor) Die Energieversorgung der Menschheit steht vor einer großen

eren ? - Ingenieure verbringen oft viel Zeit damit, Anforderungen an eingebettete Systeme zu schreiben und die Systeme selber zu entwickeln. Besser wäre es, wenn wir direkt aus den Anforderungen die S […] wir Methoden des maschinellen Lernens so in eingebetteten Systemen nutzen, dass diese wichtige Korrektheitseigenschaften erfüllen? - Gerade Systeme, die sich an deren Umgebung anpassen, profitieren von der […] allgemein, es einfacher für Ingenieure machen, korrekt arbeitende und effiziente Systeme zu bauen? - Viele heutige eingebettete Systeme sind mit wenig Rücksicht auf die Korrektheit entwickelt worden, weil dies