Dissertation_database

Müller, Julian: Energy consumption prediction in vehicle power nets using high-dimensional network communication data - a machine learning approach. Dissertation, Universität des Saarlandes, Germany, June 2025 (Published by Saarländische Universitäts- und Landesbibliothek, Saarbrücken, 2025)

Stüber, Moritz: Models and simulations in the semantic web. Dissertation, Universität des Saarlandes, Germany, December 2023 (Published by Saarländische Universitäts- und Landesbibliothek, Saarbrücken, 2023)

Minhas, Daud Mustafa: Component-based dynamic modelling of energy entities and energy management strategies for a smart Home Area Power Network (HAPN). Dissertation, Universität des Saarlandes, Germany, July 2023 (Published by Saarländische Universitäts- und Landesbibliothek, Saarbrücken, 2023)

Jonas, Danny: Model-based Analysis of Solar and Heat Pump Systems for the Energy Supply of Residential Buildings. Dissertation, Universität des Saarlandes, Germany, August 2023 (Published by Saarländische Universitäts- und Landesbibliothek, Saarbrücken, 2023)

Usman, Muhammad: Optimization framework for improving energy flexibility in residential buildings. Dissertation, Universität des Saarlandes, Germany, March 2023 (Published by Saarländische Universitäts- und Landesbibliothek, Saarbrücken, 2023)

Wagner,Florian: Ein Beitrag zur energieeffizienten Erzeugung von Druckluft. Dissertation, Universität des Saarlandes, Germany, Dec. 2022 (Published by Saarländische Universitäts- und Landesbibliothek, Saarbrücken, 2022)

Goubaa Ep Bettaieb, Aicha: Software parametrization of feasible reconfigurable real-time systems under energy and dependency constraints. Dissertation, Universität des Saarlandes, Germany, Dec. 2022 (Published by Saarländische Universitäts- und Landesbibliothek, Saarbrücken, 2022)

Exel, Lukas: On the Modeling and Simulation of Future Energy Systems. Dissertation, Universität des Saarlandes, Germany, Nov. 2021 (Published by Saarländische Universitäts- und Landesbibliothek, Saarbrücken, 2021)

Fkaier, Soumoud: Software Framework for the Development of Context-Aware Reconfigurable Systems. Dissertation, Universität des Saarlandes, Germany, Oct. 2021 (Published by Saarländische Universitäts- und Landesbibliothek, Saarbrücken, 2021)

Guellouz Ep Addad, Safa: Towards a new methodology for design, modelling, and verification of reconfigurable distributed control systems based on a new extension to the IEC 61499 standard. Dissertation, Universität des Saarlandes, Germany, Sep. 2021 (Published by Saarländische Universitäts- und Landesbibliothek, Saarbrücken, 2021)

Lakhdhar, Wafa: Software development of reconfigurable real-time systems: from specification to implementation. Dissertation, Universität des Saarlandes, Germany, Sep. 2021 (Published by Saarländische Universitäts- und Landesbibliothek, Saarbrücken, 2021)

Khlifi, Oussama: Modeling and formal verification of probabilistic reconfigurable systems. Dissertation, Universität des Saarlandes, Germany, Jul. 2020 (Published by Saarländische Universitäts- und Landesbibliothek, Saarbrücken, 2020)

Hijjo, Mohammed: Model-based development and design of microgrid power systems. Dissertation, Universität des Saarlandes, Saarbrücken, Germany, Apr. 2019. (Published by Saarländische Universitäts- und Landesbibliothek, Saarbrücken, 2018)

Belkhir, Fethi: Soft-sensor design and dynamic model development for a biomass combustion power plant. Dissertation, Universität des Saarlandes, Saarbrücken, Germany, Sept. 2017. (Published by Shaker-Verlag, Aachen, Mar. 2018, ISBN: 978-3-8440-5832-1)

Nesarajah, Marco: Model‐based Development of Thermoelectric Energy Harvesting Systems. Dissertation, Universität des Saarlandes, Saarbrücken, Germany, Sept. 2017. (Published by Shaker-Verlag, Aachen, Jan. 2018, ISBN: 978-3-8440-5686-0)

Ben Salem, Mohamed Oussama: BROMETH: Methodology to Develop Safe Reconfigurable Medical Robotic Systems : Application on Pediatric Supracondylar Humeral Fracture. Dissertation, Universität des Saarlandes, Saarbrücken, Germany, and University of Carthage, Carthage, Tunisia, 2017. (Published by Saarländische Universitäts- und Landesbibliothek, Saarbrücken, 2017)

Boussahel, Wassim: Improving energy efficiency of manufacturing systems through formal analysis of alternative strategies. Dissertation, Universität des Saarlandes, Saarbrücken, Germany, Febr. 2017. (Published by Shaker-Verlag, Aachen, April 2017, ISBN: 978-3-8440-5154-4)

Zhang, Jiafeng: Modeling and Verification of Reconfigurable Discrete Event Control Systems. Dissertation, Universität des Saarlandes, Saarbrücken, Germany, and Xidian University, China, 2015. (Published by Saarländische Universitäts- und Landesbibliothek, Saarbrücken, 2015)

Liu, Liu: Object-oriented Modeling and Efficient Simulation of C³-Systems. Dissertation, Universität des Saarlandes, Saarbrücken, Germany, Jan. 2014. (Published by Shaker-Verlag, Aachen, Mar. 2014, ISBN: 978-3-8440-2608-5)

Soliman, Doaa: Verification and Validation of Logic Control Safety Applications. Dissertation, Universität des Saarlandes, Saarbrücken, Germany, Dec. 2012. (Published by Shaker-Verlag, Aachen, Mar. 2013, ISBN: 978-3-8440-1757-1)

Ghanaim, Abouelabbas:Modeling and Control of closed-loop Networked PLC-Systems. Dissertation, Universität des Saarlandes, Saarbrücken, Germany, Sept. 2011. (Published by Shaker-Verlag, Aachen, Nov. 2011, ISBN: 978-3-8400-0520-2)

Hussain, Tanvir: Development and Automatic Deployment of Distributed Control Applications. Dissertation, Technische Universität Kaiserslautern, Kaiserslautern, Germany, May 2008. (Published by Shaker-Verlag, Aachen, Feb. 2009, ISBN: 978-3-8322-7969-1)

Panjaitan, Seno Darmawan:Development Process for Distributed Automation Systems based on Elementary Mechatronic Functions. Dissertation, Technische Universität Kaiserslautern, Kaiserslautern, Germany, Nov. 2007. (Published by Shaker-Verlag, Aachen, Feb. 2008, ISBN: 978-3-8322-6934-0)

Greifeneder, Jürgen: Formale Analyse des Zeitverhaltens Netzbasierter Automatisierungssysteme. Dissertation, Technische Universität Kaiserslautern, Kaiserslautern, Germany, Nov. 2007. (Published by Shaker-Verlag, Aachen, Dec. 2007, ISBN: 978-3-8322-6835-0)

Marsal, Gaëlle: Evaluation of time performances of Ethernet-based Automation Systems by simulation of high-level Petri Nets. Dissertation, Technische Universität Kaiserslautern, Kaiserslautern, Germany and Ecole Normale Supérieur Cachan, Paris, France, Dec. 2006. (Published by Shaker-Verlag, Aachen, Aug. 2007, ISBN: 978-3-8322-6407-9)

Bani Younis, Mohammed: Re-Engineering Approach for PLC Programs based on Formal Methods. Dissertation, Technische Universität Kaiserslautern, Kaiserslautern, Germany, Sept. 2006. (Published by Shaker-Verlag, Aachen, Nov. 2006, ISBN: 978-3-8322-5674-6)