Dissertation_database

Stüber, M.: 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, D.: 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, M.: 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,F.: 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, A.: 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, L.: 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, S.: 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, S.: 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, W.: 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, O.: 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, M.: 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, F.: 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, M.: 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, M. O.: 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, W.: 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, J.: 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, L.: 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, D.: 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, A.: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, T.: 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, S.: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.: 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, G.: 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, M.: 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)