38 Veröffentlichungen mit Beteiligung.
Um Ihnen das Referenzieren zu vereinfachen, können Sie eine .
(975) |
Schnieder, E.; Manz, H.; Müller, J. R.; Lu, D.: Integrity Verification for the Structure of a Satellite based Train Localisation Unit by Means of Petri net. ENC 2011 - European Navigation Conference 2011, Dezember 2011. ( Kurzfassung ) |
(917) |
Schnieder, E.; Müller, J. R.; von Buxhoeveden, G.: Der Sicherheitsnachweis nach CENELEC 50129: Effizientes Erstellen und Kommunizieren. TTZ 2011 - 25. Tagung Technische Zuverlässigkeit , Leonberg, Deutschland, Mai 2011. ( Kurzfassung ) |
(928) |
Müller, J. R.; Schnieder, E.: Supporting the Safety Management – Automated Safety Case Processes. In: European Safety and Reliability Association, Hrsg.: ESREL 2010 - European Safety & Reliability Conference , Rhodos, September 2010. ( Kurzfassung ) |
(925) |
Müller, J. R.; von Buxhoeveden, G.; Schnieder, E.: A more effective safety case - Improving tasks lead to economical benefit. EURO - Zel 2010 - 18th International Symposium EURO - Zel 2010, S. 155-160, Zilina, Mai 2010. ( Kurzfassung ) |
(924) |
Müller, J. R.; von Buxhoeveden, G.; Schnieder, E.: Supporting the safety-case development in practice – Experiences from the European project “Integrated European Signalling System”. EKA 2010 - Entwurf komplexer Automatisierungssysteme 11. Fachtagung , S. 143-150, Magdeburg, Mai 2010. ( Kurzfassung ) |
(927) |
Müller, J. R.; Zheng, W.; Schnieder, E.: The improvement of the Safety-Case process in practice – from problems and promising approach to highly automated safety case guidance. Comprail 2010 - 12th International Conference on Computer System Design and Operation in the Railway and other Transit Systems, Beijing, September 2010. ( Kurzfassung ) |
(926) |
Zheng, W.; Müller, J. R.; Tang, T.: The derivation of safety requirements for the control systems based on the interoperability property of Maglev train. Comprail 2010 - 12th International Conference on Computer System Design and Operation in the Railway and other Transit Systems, Beijing, September 2010. ( Kurzfassung ) |
(839) |
Ding, Y.; Göllner, A.; Müller, J. R.; Schnieder, E.: Analyse der Unverfügbarkeit der Begrenzungseinrichtungen einer kerntechnischen Anlage - Vergleich von analytischer Berechnung und Monte-Carlo Simulation mit Petrinetzen. In: VDI Wissensforum GmbH, Hrsg.: Technische Zuverlässigkeit 2009: Entwicklung und Betrieb zuverlässiger Produkte , Düsseldorf, April 2009. Tagung Technische Zuverlässigkeit - TTZ/Leonberg, VDI-Verlag. ( Kurzfassung ) |
(902) |
Ding, Y.; Müller, J. R.: Analysis of the Unavailability of Instrumentation and Control Functions Important to Safety for a Nuclear Power Plant. Proceedings of the 2nd IFAC Workshop on Dependable Control of Discrete Systems (DCDS), S. 179-184, Bari, Italy, June 2009. ( Kurzfassung ) |
(938) |
Müller, J. R.; Drewes, J.; May, J.; Trog, C.: The Formal Representation of the Safety Case Processes described in the EN 5012x norms. International Railway Safety Conference (IRSC), Baastad, Sweden, September 2009. |
(937) |
Müller, J. R.; Schröder, J.; Eimecke, T.; Trog, C.: The Safety Case Process - Problems, Promising Approaches and Tool Requirements. International Railway Safety Conference (IRSC), Baastad, Sweden, September 2009. |
(862) |
Müller, J. R.; Ständer, T.; Schnieder, E.: A comparison of safety analysis techniques: Analytical Calculations versus Monte Carlo Simulations. In: European Safety and Reliability Association, Hrsg.: ESREL 2009 - European Safety & Reliability Conference , S. 1483-1487, Prague, September 2009. ( Kurzfassung ) |
(853) |
Müller, J. R.; Ständer, T.; Schnieder, E.: Improving System Safety Modelling in Accordance to IEC 61508 by using Monte Carlo Simulations. Proceedings of the 2nd IFAC Workshop on Dependable Control of Discrete Systems (DCDS), S. 219-223, Bari, Italy, June 2009. ( Kurzfassung ) |
(858) |
Müller, J. R.; Ständer, T.; Schnieder, E.: Probability of Failure on Demand according to ISO 61508 – A comparative Examination of Analytical Calculations and Monte Carlo Simulations. In: Loughborough University, Hrsg.: 18th ARTS Advances in Risk and Reliability Technology Symposium, S. 279-290, Loughborough, April 2009. ( Kurzfassung ) |
(850) |
Schnieder, L.; Schnieder, E.; Müller, J. R.: Conceptual Foundation of Dependable Systems Modelling. Proceedings of the 2nd IFAC Workshop on Dependable Control of Discrete Systems (DCDS), S. 225-229, Bari, Italy, June 2009. ( Kurzfassung ) |
(903) |
Adolf, F.; Flohr, A.; Müller, J. R.: Formale Modellierung des Entscheidungssystems für einen autonomen Hubschrauber. U. Jumar (Hrsg.):Tagungsband 10. Fachtagung Entwurf komplexer Automatisierungssysteme (EKA 2008) - Beschreibungsmittel, Methoden, Werkzeuge und Anwendungen, S. 353-362, Madgeburg, Deutschland, April 2008. |
(855) |
Müller, J. R.; Schnieder, E.: Clarification of Dependability Concepts - An approach to the Precise Modeling of Essential Terms. SNE - Simulation News Europe, Journal on Developments and Trends in Modelling and Simulation. 18(3-4), S. 14-20, December 2008. |
(826) |
Müller, J. R.; Schnieder, E.: Risk Estimation on the Basis of Fault-Identification and -Propagation. In: Association of German Engineers (VDI), Hrsg.: Proceedings of the World Automotive Congress: The Future of Automobiles and Mobility - FISITA 2008 (CD-ROM), S. F2008-08-107, Munich, September 2008. |
(798) |
Schnieder, E.; Müller, J. R.: Risk and Safety as System-Theoretic Concepts - A Formal View on System-Theory by Means of Petri-nets. In: European Safety and Reliability Association, Hrsg.: ESREL 2008 - European Safety & Reliability Conference , S. 2665-2672, Valencia, Spain, September 2008. ( Kurzfassung ) |
(817) |
Zheng, W.; Müller, J. R.; Slovák, R.; Schnieder, E.: Estimation of Traffic Risk of Passive Level Crossing Based on Stochastic Petri Net Models and Social Economic Data. In: Monash University, Institute of Transport Studies, Hrsg.: Symposium Proceedings, Queensland, Australia, August 2008. Third International Symposium on Transport Simulation 2008 (ISTS). |
(716) |
Müller, J. R.; Becker, U.; Schnieder, E.: Ergebnisse einer Machbarkeitsstudie zur modellbasierten Diagnose auf Basis von Petrinetzen. In: VDI Wissensforum IWB GmbH, Hrsg.: GMA-Kongress 2007 - Erfolgsfaktor Automation - Automation im gesamten Lebenszyklus, S. 375 - 386, 2007. |
(701) |
Müller, J. R.; Becker, U.; Schnieder, E.; Günther, T.; Gechke, M.: Experiences with Model-Based Diagnoses in the Context of a Feasibility Study. In Predelli, Oliver; Brill, Ulrich, Hrsg.: Onboard-Diagnose II. Expert Verlag, S. 33-45, 2007. ( Kurzfassung ) |
(768) |
Müller, J. R.; Schnieder, E.: Duality in High Level Petri-Nets - A Basis to do Diagnoses. Proceedings of the Winter Simulation Conference (WSC) 2007 - CD, S. 629-636, Washington/USA, December 2007. |
(697) |
Müller, J. R.; Schnieder, E.: Erhöhung der Zuverlässigkeit durch Modellbasierte Diagnose auf Basis von dualen Räumen und einer Fixpunktberechnung. Tagungsband der 23. Tagung Technische Zuverlässigkeit: Entwicklung und Betrieb zuverlässiger Produkte, S. 241 - 252, Düsseldorf, ''3 2007. VDI Verlag. ( Kurzfassung ) |
(900) |
Karstens, H.; Müller, J. R.: Der Wirkungsgrad und die Mechanik von kraftschlüssigen Umschlingungsgetrieben. Konstruktion - Zeitschrift für Produktentwicklung und Ingenieur-Werkstoffe. 6, S. 69-74, 2006. |
(624) |
Müller, J. R.; Schnieder, E.: The Concept of Duality in Petrinets and its Impact for Reliability Engineering. In: Breitenecker, F.; Troch, I., Hrsg.: Proceedings of the 5th Vienna Symposium on Mathematical Modelling - Mathmod/08.-10.02.2006, Vienna, S. 251, 2006. ( Kurzfassung ) |
(680) |
Philippi, S.; Pinl, A.; Müller, J. R.; Slovak, R.: Towards tool support for the formally based analysis of safety-critical systems with Petri-Nets. Bericht 267, Tagungsband des 13. Workshops Algorithmen und Werkzeuge für Petri-Netze, AWPN 2006, S. 69-74, 2006. |
(623) |
Schnieder, E.; Müller, J. R.: Petrinets as a Concept for Modeling Transport Automation Systems. In: Breitenecker, F.; Troch, I., Hrsg.: Proceedings of the 5th Vienna Symposium on Mathematical Modelling - Mathmod/08.-10.02.2006, Vienna, S. 245, 2006. ( Kurzfassung ) |
(601) |
Becker, U.; Kuhler, S.; Müller, J. R.; Horstmann, M.; Günther, T.; Predelli, O.: Modellbasierte Fehlererkennung und -diagnose. In: Predelli, O., Hrsg.: Onboard-Diagnose - Status der Gesetzgebung und Auswirkungen auf die Fahrzeugentwicklung, S. 29-42, 2005. expert Verlag. ( Kurzfassung ) |
(901) |
Karstens, H.; Müller, J. R.; Schnieder, E.: Identifizierung CVT-charakteristischer Parameter aus numerisch generierten Messaufzeichnungen. Tagungsband der VDI-Schingungstagung 2005: Dynamik und Regelung von automatischen Getrieben, Leonberg, November 2005. |
(582) |
Müller, J. R.: Modellbasierte Fehlerdiagnose und -propagation. Tagungsband 22. Tagung Technische Zuverlässigkeit, S. 229-244, Düsseldorf, 2005. 22. Tagung Technische Zuverlässigkeit/ 07.-08.04.2005, Stuttgart, VDI Verlag. ( Kurzfassung ) |
(575) |
Schnieder, E.; Müller, J. R.: A Formal Description of the Basic Concepts of System Theory for Transportation. In Kreowski, H.-J.; Montanari, U.; Orejas, F.; et al., Hrsg.: Formal Methods in Software and Systems Modelling: Essay Dedicated to Hartmut Ehrig on the Occasion of his 60th Birthday. Bandnummer 3393. Springer Verlag GmbH, S. 402-411, 2005. ( Kurzfassung ) |
(679) |
Karstens, H.; Müller, J. R.; Schnieder, E.: Analytical analysis of efficiency boarders and optimize clamping at force fitted belt transmissions. ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik. 86(6), S. 438-449, 2004. ( Kurzfassung ) |
(571) |
Müller, J. R.: Dualität und Analyse von Formalen Modellen - Prädikat/Transitions-Netze und ihr Bezug zur Linearen Algebra. Dissertation, Universität Koblenz-Landau, ''1 2004. ( Kurzfassung ) |
(603) |
Lautenbach, K.; Müller, J. R.; Philippi, S.: Modellierung, Simulation und Analyse mit dem Petri-Netz-Tool POSEIDON. PROMISE 2002 - Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen, S. 163-174, Lecture Notes in Informatics, GI-Edition, Oktober 2002. |
(602) |
Müller, J. R.; Philippi, S.; Seidel, M.: Modellierung verteilter Echtzeitsysteme am Beispiel drive-by-wire. In: Katholische Universität Eichstätt, Hrsg.: Proceedings des 8. Workshops Algorithmen und Werkzeuge für Petri-Netze, 2001. |
(604) |
Müller, J. R.: Reproduzierbarkeit und Erreichbarkeit in Stellen/Transitions-Netzen. Diplomarbeit, Universität Koblenz-Landau, Dezember 1998. |
(605) |
Müller, J. R.: Analyse hybrider Systeme. Studienarbeit, Universität Koblenz-Landau, Juni 1997. |