Startseite > Publikationen > Publikationen

Publikationen von Wilhelm Schäfer


Unsere Publikationen aus dem Jahr 2017:



Gerking, Christopher; Bodden, Eric; Schäfer, Wilhelm: Industrial Security by Design - Nachverfolgbare Informationssicherheit für Cyber-Physische Produktionssysteme. In: Maier, Günter W.; Engels, Gregor; Steffen, Eckhard (Hrsg.) Handbuch Gestaltung digitaler und vernetzter Arbeitswelten, Springer Reference Psychologie Springer, Berlin/Heidelberg, Okt. 2017 (Details)

Platenius, Marie Christin; Arifulina, Svetlana; Schäfer, Wilhelm: MatchBox: A Framework for Dynamic Configuration of Service Matching Processes (Extended Abstract). In: Tagung Software Engineering (SE'17), Lecture Notes in Informatics (LNI), Band P-267 , S. 81--82, 21. - 24. Feb. 2017, Gesellschaft fuer Informatik (Details)


Unsere Publikationen aus dem Jahr 2016:




Unsere Publikationen aus dem Jahr 2015:



Anis, Anas; Schäfer, Wilhelm; Niggemann, Oliver; Pines, Andrej: CP3L: A Cyber-Physical Production Planning Language. In: IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA), 8. - 11. Sep. 2015, IEEE (Details)

Gerking, Christopher; Dziwok, Stefan; Heinzemann, Christian; Schäfer, Wilhelm: Domain-specific Model Checking for Cyber-physical Systems. In: Famelis, Michalis; Ratiu, Daniel; Seidl, Martina; Selim, Gehan (Hrsg.) Proceedings of the 12th Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVa 2015), Ottawa, Sep. 2015 (Details)

Gerking, Christopher; Ladleif, Jan; Schäfer, Wilhelm: Model-Driven Test Case Design for Model-to-Model Semantics Preservation. In: Vos, Tanja; Eldh, Sigrid; Prasetya, Wishnu (Hrsg.) 6th International Workshop on Automating Test Case Design, Selection and Evaluation (A-TEST 2015), Bergamo, 30. - 31. Aug. 2015, ACM (Details)

Arifulina, Svetlana; Platenius, Marie Christin; Mohr, Felix; Engels, Gregor; Schäfer, Wilhelm: Market-Specific Service Compositions: Specification and Matching. In: Proceedings of the IEEE 11th World Congress on Services (SERVICES), Visionary Track: Service Composition for the Future Internet, S. 333 - 340, 27. Jun. - 2. Jul. 2015, IEEE (Details)

Platenius, Marie Christin; Arifulina, Svetlana; Schäfer, Wilhelm: MatchBox: A Framework for Dynamic Configuration of Service Matching Processes. In: Proceedings of the 18th International ACM Sigsoft Symposium on Component-Based Software Engineering, S. 75--84, 4. - 8. Mai 2015, ACM (Details)

Cleland-Huang, Jane; Rayadurgam, Sanjai; Mäder, Patrick; Schäfer, Wilhelm (Hrsg.) Software and Systems Traceability for Safety-Critical Projects (Dagstuhl Seminar 15162). Dagstuhl Reports, Nr. 5(4) , Apr. 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (Details)

Schäfer, Wilhelm: Systems Engineering and Traceability at the Model Level. In: Cleland-Huang, Jane; Rayadurgam, Sanjai; Mäder, Patrick; Schäfer, Wilhelm (Hrsg.) Software and Systems Traceability for Safety-Critical Projects (Dagstuhl Seminar 15162), Dagstuhl Reports, Band 5 , S. 94, Apr. 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (Details)


Unsere Publikationen aus dem Jahr 2014:



Diedrich, Christian; Meyer, Matthias; Evertz, Lars; Schäfer, Wilhelm: Dienste in der Automatisierungstechnik. atp edition - Automatisierungstechnische Praxis: S. 24-35, Dez. 2014 (Details)

Arifulina, Svetlana; Platenius, Marie Christin; Gerth, Christian; Becker, Steffen; Engels, Gregor; Schäfer, Wilhelm: Market-optimized Service Specification and Matching. In: 12th International Conference on Service Oriented Computing (ICSOC 2014), S. 543-550, 3. - 6. Nov. 2014, Springer Berlin Heidelberg (Details)

Anis, Anas; Schäfer, Wilhelm; Niggemann, Oliver: A Comparison of Modeling Approaches for Planning in Cyber Physical Production Systems. In: 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 16. - 19. Sep. 2014 IEEE Computer Society (Details)

Platenius, Marie Christin; Arifulina, Svetlana; Petrlic, Ronald; Schäfer, Wilhelm: Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching. In: Advances in Service-Oriented and Cloud Computing, Communications in Computer and Information Science, Nr. 508 , S. 6-17, Sep. 2014, Springer International Publishing (Details)

Platenius, Marie Christin; Becker, Steffen; Schäfer, Wilhelm: Integrating Service Matchers into a Service Market Architecture. In: Proceedings of the 8th European Conference on Software Architecture (ECSA 2014), S. 210-217, 25. - 29. Aug. 2014, Springer (Details)

Petrlic, Ronald; Jungmann, Alexander; Platenius, Marie Christin; Schäfer, Wilhelm; Sorge, Christoph: Security and Privacy Challenges in On-The-Fly Computing. In: Proceeding of: 4. Konferenz Software-Technologien und -Prozesse (STeP 2014) , Apr. 2014 (Details)

Anacker, Harald; Brenner, Christian; Dorociak, Rafal; Dumitrescu, Roman; Gausemeier, Jürgen; Iwanek, Peter; Schäfer, Wilhelm; Vaßholz, Mareen: Methods for the Domain-Spanning Conceptual Design. In: Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Kapitel: 4, S. 119-185. Springer-Verlag, Heidelberg, Germany, Jan. 2014 (Details)

Flaßkamp, Kathrin; Heinzemann, Christian; Krüger, Martin; Ober-Blöbaum, Sina; Schäfer, Wilhelm; Steenken, Dominik; Trächtler, Ansgar; Wehrheim, Heike: Verification for Interacting Mechatronic Systems with Motion Profiles. In: Dependability of Self-optimizing Mechatronic Systems, Kapitel: 3.2.10, S. 119-128. Springer-Verlag, Heidelberg, Germany, Jan. 2014 (Details)


Unsere Publikationen aus dem Jahr 2013:



Heinzemann, Christian; Rieke, Jan; Schäfer, Wilhelm: Simulating Self-Adaptive Component-Based Systems using MATLAB/Simulink. In: Proceedings of the 7th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO '13), S. 71-80, Sep. 2013, IEEE Computer Society Press (Details)

Platenius, Marie Christin; von Detten, Markus; Gerth, Christian; Schäfer, Wilhelm; Engels, Gregor: Service Matching under Consideration of Explicitly Specified Service Variants. In: IEEE 20th International Conference on Web Services (ICWS 2013), S. 613 - 614, 27. Jun. - 2. Jul. 2013, IEEE (Details)

Platenius, Marie Christin; von Detten, Markus; Becker, Steffen; Schäfer, Wilhelm; Engels, Gregor: A Survey of Fuzzy Service Matching Approaches in the Context of On-The-Fly Computing. In: Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering, 17. - 21. Jun. 2013, ACM (Details)

Priesterjahn, Claudia; Heinzemann, Christian; Schäfer, Wilhelm: From Timed Automata to Timed Failure Propagation Graphs . In: Proceedings of the Fourth IEEE Workshop on Self-Organizing Real-time Systems (SORT 2013), Jun. 2013, IEEE (Details)

Heinzemann, Christian; Sudmann, Oliver; Schäfer, Wilhelm; Tichy, Matthias: A Discipline-Spanning Development Process for Self-Adaptive Mechatronic Systems. In: Proceedings of the 2013 International Conference on Software and System Process, ICSSP 2013, S. 36-45, 18. - 19. Mai 2013, ACM, New York, NY, USA (Details)

Flaßkamp, Kathrin; Heinzemann, Christian; Krüger, Martin; Steenken, Dominik; Ober-Blöbaum, Sina; Schäfer, Wilhelm; Trächtler, Ansgar; Wehrheim, Heike: Sichere Konvoibildung mit Hilfe optimaler Bremsprofile. In: 9. Paderborner Workshop Entwurf mechatronischer Systeme, Paderborn, 18. - 19. Apr. 2013, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn (Details)

Gausemeier, Jürgen; Dumitrescu, Roman; Rammig, Franz-Josef; Schäfer, Wilhelm; Trächtler, Ansgar (Hrsg.) 9. Paderborner Workshop Entwurf mechatronischer Systeme. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 310 , 18. - 19. Apr. 2013 Heinz Nixdorf Institut, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn (Details)

Dziwok, Stefan; Just, Viktor; Schierbaum, Thomas; Schäfer, Wilhelm; Trächtler, Ansgar; Gausemeier, Jürgen; Pohlmann, Uwe; Schäfer, Wilhelm; Suck, Julian; Sudmann, Oliver; Tichy, Matthias: Integrierter Regelungs- und Softwareentwurf für komplexe mechatronische Systeme. In: 9. Paderborner Workshop Entwurf mechatronischer Systeme, Band 310 , S. 375--394, Apr. 2013 Heinz Nixdorf Institut, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn (Details)

Brenner, Christian; Heinzemann, Christian; Schäfer, Wilhelm; Henkler, Stefan: Automata-Based Refinement Checking for Real-Time Systems. In: Proceedings of Software Engineering 2013 -- Fachtagung des GI-Fachbereichs Softwaretechnik, S. 99-112, 26. Feb. - 1. Mrz. 2013, Gesellschaft fuer Informatik (Details)

Hildebrandt, Stephan; Lambers, Leen; Giese, Holger; Rieke, Jan; Greenyer, Joel; Schäfer, Wilhelm; Lauder, Marius; Anjorin, Anthony; Schürr, Andy: A Survery of Triple Graph Grammar Tools. In: BX 2013 - 2nd International Workshop on Bidirectional Transformations, 2013 (Details)

Giese, Holger; Schäfer, Wilhelm: Model-Driven Development of Safe Self-optimizing Mechatronic Systems with MechatronicUML. In: Cámara, Javier; de Lemos, Rogerio; Ghezzi, Carlo; Lopes, Antonia (Hrsg.) Assurances for Self-Adaptive Systems Assurances for Self-Adaptive Systems, Lecture Notes in Computer Science (LNCS), Band 7740 , S. 152-186. Springer-Verlag Berlin Heidelberg, 2013 (Details)


Unsere Publikationen aus dem Jahr 2012:



Anacker, Harald; Gausemeier, Jürgen; Dumitrescu, Roman; Dziwok, Stefan; Schäfer, Wilhelm: Solution Patterns of Software Engineering for the System Design of Advanced Mechatronic Systems. In: Proceedings of the 9th France-Japan / 7th Europe-Asia Congress 13th International Workshop on Research and Education in Mechatronics (MECATRONICS-REM 2012), S. 101-108, Supméca, Paris, France, 21. - 23. Nov. 2012 (Details)

Pohlmann, Uwe; Schäfer, Wilhelm; Reddehase, Hendrik; Röckemann, Jens; Wagner, Robert: Generating Functional Mockup Units from Software Speci fications. In: Proceedings of the 9th International Modelica Conference 2012, 2012 DLR - Robotics and Mechatronics Center, Modelica Association (Details)

Kumar, Barath; Tönsfeuerborn, Andreas; Niggemann, Oliver; Schäfer, Wilhelm; Jasperneite, Jürgen: Experience in deploying MBT for industrial automation. In: ETSI Model Based Testing User Conference (MBTUC) 2012, Tallinn, Estonia, 2012, ETSI (Details)

Heinzemann, Christian; Pohlmann, Uwe; Rieke, Jan; Schäfer, Wilhelm; Sudmann, Oliver; Tichy, Matthias: Generating Simulink and Stateflow Models From Software Specifications. In: Proceedings of the 12h International Design Conference DESIGN 2012, 2012 (Details)

Priesterjahn, Claudia; Heinzemann, Christian; Schäfer, Wilhelm; Tichy, Matthias: Runtime Safety Analysis for Safe Reconfiguration. In: Proceedings of the 3. Workshop „Self-X and Autonomous Control in Engineering Applications”, 10. IEEE International Conference on Industrial Informatics, 25. – 27. Juli 2012, Beijing, China, 2012 (Details)


Unsere Publikationen aus dem Jahr 2011:



Gausemeier, Jürgen; Schäfer, Wilhelm; Anacker, Harald; Bauer, Frank; Dziwok, Stefan: Einsatz semantischer Technologien im Entwurf mechatronischer Systeme. In: Gausemeier, Jürgen; Rammig, Franz-Josef; Schäfer, Wilhelm; Trächtler, Ansgar (Hrsg.) 8. Paderborner Workshop Entwurf mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 294 , S. 7-35, 19. - 20. Mai 2011 Heinz Nixdorf Institut (Details)

Brink, Christopher; Greenyer, Joel; Schäfer, Wilhelm; Hahn, Martin; Tichy, Matthias: Simulation von hybridem Verhalten in CAMeL-View. In: Wissenschaftsforum Intelligente Technische Systeme 2011, Paderborn, Mai 2011 (Details)

Gausemeier, Jürgen; Rammig, Franz-Josef; Schäfer, Wilhelm; Trächtler, Ansgar (Hrsg.) 8. Paderborner Workshop Entwurf mechatronischer Systeme.. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 294 , 2011, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn (Details)

Greenyer, Joel; Rieke, Jan; Schäfer, Wilhelm; Sudmann, Oliver: The Mechatronic UML Development Process. In: Tarr, Peri L.; Wolf, Alexander L. (Hrsg.) Engineering of Software - The Continuing Contributions of Leon J. Osterweil, S. 311-322. Springer Berlin Heidelberg, 2011 (Details)


Unsere Publikationen aus dem Jahr 2010:



Nafz, Florian; Holtmann, Jörg; Seebach, Hella; Holtmann, Jörg; Meyer, Jan; Tichy, Matthias; Reif, Wolfgang; Schäfer, Wilhelm: Designing Self-Healing in Automotive Systems. In: Proc. of the 7th International Conference on Autonomic and Trusted Computing (ATC 2010), Xi'an, China, 26-29 October, 2010, Lecture Notes in Computer Science, Band 6407 , S. 47-61, 26. - 29. Okt. 2010, Springer Verlag (Details)

Henkler, Stefan; Meyer, Jan; Schäfer, Wilhelm; Nickel, Ulrich A.; von Detten, Markus: Legacy Component Integration by the Fujaba Real-Time Tool Suite. In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, Band 2 , S. 267-270, New York, NY, USA, Mai 2010, ACM (Details)

Henkler, Stefan; Meyer, Jan; Schäfer, Wilhelm; Nickel, Ulrich A.: Reverse Engineering vernetzter automotiver Softwaresysteme. In: Proceedings of the Dagstuhl-Workshop: Model-Based Development of Embedded Systems (MBEES), 2010, Schloss Dagstuhl, Germany, Informatik-Bericht, Technische Universitaet Braunschweig, 2010 (Details)

Schäfer, Wilhelm; Henke, Christian; Kaiser, Lydia; Kerstan, Timo; Tichy, Matthias; Rieke, Jan; Eckardt, Tobias: Der Softwareentwurf im Entwicklungsprozess mechatronischer Systeme. In: 7. Paderborner Workshop Entwurf mechatronischer Systeme, 18. - 19. Mrz. 2010 Heinz Nixdorf Institut, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn (Details)

Tichy, Matthias; Hirsch, Martin; Brink, Christopher; Gerking, Christopher; Hahn, Martin; Schäfer, Wilhelm: Integration hybrider Modellierungstechniken in CAMeL-View. In: Seventh Paderborner Workshop Entwurf mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 272 , S. 235-251, Mrz. 2010 (Details)

Meyer, Jan; Holtmann, Jörg; Schäfer, Wilhelm; Nickel, Ulrich A.: Eine erweiterte Systemmodellierung zur Entwicklung von softwareintensiven Anwendungen in der Automobilindustrie. In: Software Engineering 2010 – Workshopband (inkl. Doktorandensymposium), GI-Edition - Lecture Notes in Informatics (LNI), Band P-160 , Feb. 2010, Bonner Koellen Verlag (Details)

Henkler, Stefan; Hirsch, Martin; Priesterjahn, Claudia; Schäfer, Wilhelm: Modeling and Verifying Dynamic Communication Structures based on Graph Transformations. In: Software Engineering 2010 - Fachtagung des GI-Fachbereichs Softwaretechnik, 22.- 26.2.2010 in Paderborn, Lecture Notes in Informatics (LNI), Band 159 , S. 153-164, 2010, GI (Details)

Schäfer, Wilhelm; Birattari, Mauro; Blömer, Johannes; Dorigo, Marco; Engels, Gregor; O'Grady, Rehan; Platzner, Marco; Rammig, Franz-Josef; Reif, Wolfgang; Trächtler, Ansgar: Engineering Self-Coordinating Software Intensive Systems. In: Proceedings of the Foundations of Software Engineering (FSE) and NITR&D/SPD Working Conference on the Future of Software Engineering Research (FoSER 2010), S. 321-324, Santa Fe, New Mexico, USA, Jan. 2010 ACM (Details)

Gausemeier, Jürgen; Rammig, Franz-Josef; Schäfer, Wilhelm; Trächtler, Ansgar: 7. Paderborner Workshop Entwurf mechatronischer Systeme. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 272 , Heinz Nixdorf Institut, 2010 (Details)

Hauenschild, W.; Meister, Dorothee M.; Schäfer, Wilhelm (Hrsg.) Hochschulentwicklung innovativ gestalten: Das Projekt Locomotion an der Universität Paderborn . Medien in der Wissenschaft, Band 53 , Waxmann Verlag, Münster, 2010 (Details)

Henkler, Stefan; Meyer, Jan; Schäfer, Wilhelm; Nickel, Ulrich A.: Reverse Engineering mechatronischer Systeme. In: Seventh Paderborner Workshop Entwurf mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 272 , S. 1-16, 2010 (Details)

Ferrari, Remo; Sudmann, Oliver; Henke, Christian; Geisler, Jens; Schäfer, Wilhelm; Madhavji, Nazim H.: Requirements and Systems Architecture Interaction in a Prototypical Project: Emerging Results. In: Requirements Engineering: Foundation for Software Quality (REFSQ2010), Essen, Germany, Lecture Notes in Computer Science, Band 6182 , S. 23-29, 2010, Springer Berlin / Heidelberg (Details)

Engels, Gregor; Lewerentz, Claus; Schäfer, Wilhelm; Schürr, Andy; Westfechtel, Bernhard (Hrsg.) Graph Transformations and Model-Driven Engineering. Lecture Notes in Computer Science (LNCS), Band 5765 , Springer-Verlag, 2010 (Details)

Ferrari, Remo; Sudmann, Oliver; Henke, Christian; Geisler, Jens; Schäfer, Wilhelm; Madhavji, Nazim H.: Requirements Engineering Decisions in the Context of an Existing Architecture: A Case Study of a Prototypical Project. In: Proceedings of 18th IEEE International Requirements Engineering Conference (RE2010), Sydney, Australia, unbekannt, S. 79-88, 1. Jan. 2010 unbekannt, IEEE Computer Society, Los Alamitos, CA, USA (Details)

Legros, Elodie; Schäfer, Wilhelm; Schürr, Andy; Stürmer, Ingo; Greenyer, Joel; Heinzemann, Christian; Henkler, Stefan; Ristov, Renate; Travkin, Dietrich; Yalcin, Coni: MATE - A Model Analysis and Transformation Environment for MATLAB Simulink. In: Model-Based Engineering of Embedded Real-Time Systems (MBEERTS), Lecture Notes in Computer Science (LNCS), Band 6100 , S. 323-328, Jan. 2010, Springer Verlag (Details)

Priesterjahn, Claudia; Tichy, Matthias; Henkler, Stefan; Hirsch, Martin; Schäfer, Wilhelm: Fujaba4Eclipse Real-Time Tool Suite. In: Giese, Holger; Karsai, Gabor; Lee, Edward; Rumpe, Bernhard; Schätz, Bernhard (Hrsg.) Model-Based Engineering of Embedded Real-Time Systems (MBEERTS), Lecture Notes in Computer Science (LNCS), Band 6100 , S. 309-315. Springer, Jan. 2010 (Details)

Ferrari, Remo; Sudmann, Oliver; Henke, Christian; Geisler, Jens; Schäfer, Wilhelm; Madhavji, Nazim H.: Transitioning from lab studies to large-scale studies: Emerging results from a literal replication. In: 1st International Workshop on Replication in Empirical Software Engineering Research (co-located with ICSE 2010), Cape Town, South Africa, 1. Jan. 2010 (Details)

Schäfer, Wilhelm; Wehrheim, Heike: Model-driven development with Mechatronic UML. In: Engels, Gregor; Lewerentz, Claus; Schäfer, Wilhelm; Schürr, Andy; Westfechtel, Bernhard (Hrsg.) Graph transformations and model-driven engineering, Lecture Notes in Computer Science, Band 5765 , S. 533-554. Springer-Verlag, Berlin, Heidelberg, Jan. 2010 (Details)


Unsere Publikationen aus dem Jahr 2009:



Gausemeier, Jürgen; Schäfer, Wilhelm; Greenyer, Joel; Kahl, Sascha; Pook, Sebastian; Rieke, Jan: Management of Cross-Domain Model Consistency During the Development of Advanced Mechatronic Systems. In: Proceedings of the 17th International Conference on Engineering Design (ICED'09), Band 6 , S. 1-12, University of Stanford, CA, USA, 2009, Design Society (Details)

Henkler, Stefan; Greenyer, Joel; Hirsch, Martin; Schäfer, Wilhelm; Alhawash, Kahtan; Eckardt, Tobias; Heinzemann, Christian; Löffler, Renate; Seibel, Andreas; Giese, Holger: Synthesis of Timed Behavior From Scenarios in the Fujaba Real-Time Tool Suite. In: Proc. of the 31th International Conference on Software Engineering (ICSE), Vancouver, Canada, S. 615-618, Mai 2009 (Details)

Gausemeier, Jürgen; Rammig, Franz-Josef; Trächtler, Ansgar; Schäfer, Wilhelm (Hrsg.) 6. Paderborner Workshop Entwurf mechatronischer Systeme. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 250 , 2. - 3. Apr. 2009 (Details)

Meyer, Jan; Schäfer, Wilhelm: Automatische Analyse und Generierung von AUTOSAR -Konfigurationsdaten. In: Proc. of the Dagstuhl-Workshop: Model-Based Development of Embedded Systems (MBEES), 22.-24.4.2009, Schloss Dagstuhl, Germany, Informatik-Bericht, Technische Universitaet Braunschweig, 2009 (Details)


Unsere Publikationen aus dem Jahr 2008:



Henke, Christian; Tichy, Matthias; Schneider, Tobias; Böcker, Joachim; Schäfer, Wilhelm: Organization and Control of Autonomous Railway Convoys. In: Proceedings of the 9th International Symposium on Advanced Vehicle Control, Kobe, Japan, Okt. 2008 (Details)

Schäfer, Wilhelm: Special section on self-optimizing mechatronic systems. International Journal on Software Tools for Technology Transfer (STTT), 10(3): S. 205-245 2008 (Details)

Schäfer, Wilhelm; Tichy, Matthias: Introduction to the Special section on self-optimizing mechatronic systems. International Journal on Software Tools for Technology Transfer (STTT), 10(3): S. 205-206 2008 (Details)

Henke, Christian; Tichy, Matthias; Schneider, Tobias; Böcker, Joachim; Schäfer, Wilhelm: System Architecture and Risk Management for Autonomous Railway Convoys. In: Proceedings of the 2nd Annual IEEE International Systems Conference, Montreal, Canada, Apr. 2008 (Details)

Osmic, Semir; Münch, Eckehard; Trächtler, Ansgar; Henkler, Stefan; Schäfer, Wilhelm; Giese, Holger; Hirsch, Martin: Safe Online-Reconfiguration of Self-Optimizing Mechatronic Systems . 7th International Heinz Nixdorf Symposium: Self-optimizing Mechatronic Systems: Designing the Future, Feb. 2008 (Details)

Gausemeier, Jürgen; Rammig, Franz-Josef; Schäfer, Wilhelm (Hrsg.) Self-optimizing Mechatronic Systems: Design the Future. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 223 , Heinz Nixdorf Institut, Feb. 2008 (Details)

Osmic, Semir; Münch, Eckehard; Trächtler, Ansgar; Henkler, Stefan; Schäfer, Wilhelm; Giese, Holger; Hirsch, Martin: Safe Online-Reconfiguration of Self-Optimizing Mechatronic Systems. 7th International Heinz Nixdorf Symposium: Self-optimizing Mechatronic Systems: Designing the Future: S. 411-426, Feb. 2008 (Details)


Unsere Publikationen aus dem Jahr 2007:



Zukic, D.; Elsner, Andreas; Avdagic, Z.; Domik, Gitta; Schäfer, Wilhelm; Boskovic, Dusanka: Neural Networks in CT scan visualization. In: Proc. of the 21st International Symposium on Information, Communication and Automation Technologies (ICAT 2007), Sarajevo, Bosnia Herzegovina, 2007, Faculty of Electrical Engineering, University of Sarajevo (Details)

Gehrke, Matthias; Hirsch, Martin; Schäfer, Wilhelm; Niggemann, Oliver; Stichling, Dirk; Nickel, Ulrich A.: Verifikation zeitlicher Anforderungen in automotiven komponentenbasierten Software Systemen. In: Proc. of the Software Engineering 2007 Conference, Hamburg, Germany, 27.-30.3.2007, LNI, Band P-105 , S. 251-252, 2007, Gesellschaft fuer Informatik (Details)

Schäfer, Wilhelm; Wehrheim, Heike: The Challenges of Building Advanced Mechatronic Systems. In: FOSE '07: 2007 Future of Software Engineering, S. 72-84, 2007, IEEE Computer Society (Details)

Smajevic, A.; Avdagic, Z.; Schäfer, Wilhelm; Hirsch, Martin: Automatic track layout using genetic algorithms. In: Proc. of the 21st International Symposium on Information, Communication and Automation Technologies (ICAT 2007), Sarajevo, Bosnia Herzegovina, 1. Jan. - 1. Okt. 2007, Faculty of Electrical Engineering, University of Sarajevo (Details)

Rubin, Vladimir; Günther, C. W.; van der Aalst, W. M. P.; Kindler, Ekkart; van Dongen, B. F.; Schäfer, Wilhelm: Process Mining Framework for Software Processes. BPM-07-01, BPMcenter.org, 2007 (Details)

Gausemeier, Jürgen; Rammig, Franz-Josef; Schäfer, Wilhelm; Trächtler, Ansgar; Wallaschek, Jörg (Hrsg.) Entwurf mechatronischer Systeme. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 210 , Jan. 2007 Heinz Nixdorf Institut, Heinz Nixdorf Institut, Universität Paderborn (Details)

Gausemeier, Jürgen; Giese, Holger; Schäfer, Wilhelm; Axenath, Björn; Frank, Ursula; Henkler, Stefan; Pook, Sebastian; Tichy, Matthias: Towards the Design of Self-Optimizing Mechatronic Systems: Consistency between Domain-Spanning and Domain-Specific Models. In: International Conference On Engineering Design, ICED'07, 28-31 August, Paris, France, 2007 (Details)

Gehrke, Matthias; Hirsch, Martin; Schäfer, Wilhelm; Niggemann, Oliver; Stichling, Dirk; Nickel, Ulrich A.: Typisierung und Verifikation zeitlicher Anforderungen automotiver Software Systeme. In: Proc. of the Dagstuhl-Workshop: Model-Based Development of Embedded Systems (MBEES), 15.-18.1.2007, Schloss Dagstuhl, Germany, Informatik-Bericht, Nr. 2007-1 , S. 73-82, Technische Universitae Braunschweig, 2007 (Details)

Rubin, Vladimir; Günther, C. W.; van der Aalst, W. M. P.; Kindler, Ekkart; van Dongen, B. F.; Schäfer, Wilhelm: Process Mining Framework for Software Processes. In: Proc. of International Conference on Software Process (ICSP), Minneapolis, Minnesota, USA, Springer Verlag, S. 169-181, 2007 (Details)

Delic, A.; Avdagic, Z.; Schäfer, Wilhelm; Boskovic, Dusanka; Meyer, Matthias: Program evaluation using fuzzy logic with bad smells as inputs. In: Proc. of the 21st International Symposium on Information, Communication and Automation Technologies (ICAT 2007), Sarajevo, Bosnia Herzegovina, 1. Jan. - 1. Okt. 2007, Faculty of Electrical Engineering, University of Sarajevo (Details)


Unsere Publikationen aus dem Jahr 2006:



Giese, Holger; Glesner, Sabine; Leitner, Johannes; Schäfer, Wilhelm; Wagner, Robert: Towards Verified Model Transformations. In: Proc. of the 3rd International Workshop on Model Development, Validation and Verification (MoDeV2a), Genova, Italy, S. 78-93, Okt. 2006 (Details)

Kindler, Ekkart; Rubin, Vladimir; Schäfer, Wilhelm: Process Mining and Petri Net Synthesis. In: Business Process Management Workshops, Lecture Notes in Computer Science (LNCS), Band 4103 , S. 105-116, 2006, Springer Verlag (Details)

Kindler, Ekkart; Rubin, Vladimir; Schäfer, Wilhelm: Incremental Workflow Mining for Process Flexibility. In: Proc. of the Seventh CAiSE'06 Workshop on Business Process Modeling, Development, and Support (BPMDS'06), Luxembourg, S. 178-187, 2006 (Details)

Kindler, Ekkart; Rubin, Vladimir; Schäfer, Wilhelm: Activity Mining for Discovering Software Process Models. In: Proc. of the Software Engineering 2006 Conference, Leipzig, Germany, Lecture Notes in Informatics (LNI), Band P-79 , S. 175-180, 2006, Gesellschaft fuer Informatik (Details)

Gausemeier, Jürgen; Wallaschek, Jörg; Rammig, Franz-Josef; Schäfer, Wilhelm; Trächtler, Ansgar (Hrsg.) Entwurf mechatronischer Systeme. , Band 189 , 2006, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn (Details)

Gehrke, Matthias; Nawratil, Petra; Niggemann, Oliver; Schäfer, Wilhelm: Scenario-Based Verification of Automotive Software Systems. In: Proc. of the Dagstuhl-Workshop: Model-Based Development of Embedded Systems (MBEES), 9.-13.1.2005, Schloss Dagstuhl, Germany, Informatik-Bericht, Nr. 2006-1 , S. 35-42, Technische Universitaet Braunschweig, 2006 (Details)

Gausemeier, Jürgen; Rammig, Franz-Josef; Schäfer, Wilhelm; Trächtler, Ansgar; Wallaschek, Jörg: 4. Paderborner Workshop Entwurf mechatronischer Systeme. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 189 , Heinz Nixdorf Institut, Jan. 2006 (Details)


Unsere Publikationen aus dem Jahr 2005:



Burmester, Sven; Giese, Holger; Schäfer, Wilhelm: Model-Driven Architecture for Hard Real-Time Systems: From Platform Independent Models to Code. In: Proc. of the European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA'05), Nuernberg, Germany, Lecture Notes in Computer Science (LNCS), Band 3748 , S. 25-40, Nov. 2005, Springer Verlag (Details)

Gausemeier, Jürgen; Schäfer, Wilhelm; Eckes, Raimund; Wagner, Robert: Ramp-Up and Maintenance with Augmented Reality in Development of Flexible Production Control Systems. In: CARV 2005 - Todays Reactions Tommorows Challenges - Proceedings 1st International Conference on Changeable, Agile, Reconfigurable and Virtulal Production, 22. - 23. Sep. 2005, Technische Universität München (Details)

Kindler, Ekkart; Rubin, Vladimir; Schäfer, Wilhelm: Incremental Workflow Mining based on Document Versioning Information. In: Proc. of the Software Process Workshop 2005, Beijing, China, Lecture Notes in Computer Science (LNCS), Band 3840 , S. 287-301, 2005, Springer Verlag (Details)

Schäfer, Wilhelm: A Rigorous Software Process for the Development of Embedded Systems. In: Proc. of the Software Process Workshop 2005, Beijing, China, LNCS, Band 3840 , S. 91-99, 2005, SPRINGER (Details)

Gausemeier, Jürgen; Rammig, Franz-Josef; Schäfer, Wilhelm; Wallaschek, Jörg (Hrsg.) Intelligente mechatronische Systeme. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 163 , 2005, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn (Details)


Unsere Publikationen aus dem Jahr 2004:



Giese, Holger; Burmester, Sven; Schäfer, Wilhelm; Oberschelp, Oliver: Modular Design and Verification of Component-Based Mechatronic Systems with Online-Reconfiguration. In: Proceedings of 12th ACM SIGSOFT Foundations of Software Engineering 2004 (FSE 2004), Newport Beach, USA, Nov. 2004, ACM Press, New York, NY, USA (Details)

Schäfer, Wilhelm; Wadsack, Jörg P.; Jahnke, Jens H.: Software Reengineering - Die Suche nach verlorener Information. ForschungsForum Paderborn, 7-2004 2004 (Details)

Schäfer, Wilhelm; Wagner, Robert; Gausemeier, Jürgen; Eckes, Raimund: An Engineer’s Workstation to Support Integrated Development of Flexible Production Control System. In: Ehrig, Hartmut (Hrsg.) Integration of Software Specification Techniques for Applications in Engineering, LNCS, Band 3147 Springer Verlag, Jan. 2004 (Details)


Unsere Publikationen aus dem Jahr 2003:



Schulte, Carsten; Magenheim, Johannes; Niere, Jörg; Schäfer, Wilhelm: Thinking in Objects and their Collaboration: Introducing Object-Oriented Technology. Computer Science Education, 13(4) 2003 (Details)

Burmester, Sven; Giese, Holger; Schäfer, Wilhelm: Code Generation for Hard Real-time Systems from Real-time Statecharts. tr-ri-03-244, Paderborn, Deutschland, Okt. 2003 (Details)

Obry, Christina; Jahnke, Jens H.; Onabajo, A.; Schäfer, Wilhelm: Enabling Privacy in Cross-Organisational Information Mediation - An Application in Health Care. In: Proc. of the Eleventh International Workshop on Software Technology and Engineering Practice (STEP 2003), Amsterdam, The Netherlands, S. 155-163, Sep. 2003, IEEE Computer Society Press (Details)

Burmester, Sven; Flake, Stephan; Giese, Holger; Schäfer, Wilhelm; Tichy, Matthias: Towards the Compositional Verification of Real-Time UML Designs.. In: Proceedings of the 9th European Software Engineering Conference (ESEC 2003), S. 38-47, Helsinki, Finland, Sep. 2003, ACM Press, New York, NY, USA (Details)

Giese, Holger; Flake, Stephan; Schäfer, Wilhelm; Tichy, Matthias; Burmester, Sven; Schilling, Daniela: Towards the Compositional Verification of Real-Time UML Designs. tr-ri-03-241, Jul. 2003 (Details)

Nickel, Ulrich A.; Schäfer, Wilhelm; Zündorf, Albert: Integrative Specification of Distributed Production Control Systems for Flexible Automated Manufacturing. In: DFG Workshop: Modelle, Werkzeuge und Infrastrukturen zur Unterstuetzung von Entwicklungsprozessen, S. 179-195, 2003, Wiley-VCH Verlag GmbH and Co. KGaA (Details)

Gehrke, Matthias; Giese, Holger; Kindler, Ekkart; Niere, Jörg; Schäfer, Wilhelm; Wadsack, Jörg P.; Wagner, Robert; Wendehals, Lothar: Software Engineering Education: The Synergy of Combined Research and Teaching. tr-ri-03-237, Paderborn, Germany, Jan. 2003 (Details)


Unsere Publikationen aus dem Jahr 2002:



Jahnke, Jens H.; Schäfer, Wilhelm; Wadsack, Jörg P.; Zündorf, Albert: Supporting Iterations in Exploratory Database Reengineering Processes. Journal of Science of Computer Programming, 45(2-3): S. 99-136, Nov. 2002 (Details)

Niere, Jörg; Schäfer, Wilhelm; Wadsack, Jörg P.; Wendehals, Lothar; Welsh, Jim: Towards Pattern-Based Design Recovery. In: Proc. of the 24th International Conference on Software Engineering (ICSE), Orlando, Florida, USA, S. 338-348, Mai 2002, ACM Press (Details)


Unsere Publikationen aus dem Jahr 2001:



Niere, Jörg; Schäfer, Wilhelm; Wadsack, Jörg P.; Wendehals, Lothar; Welsh, Jim: Towards Pattern-Based Design Recovery. tr-ri-01-227, Paderborn, Germany, Okt. 2001 (Details)

Schäfer, Wilhelm; Saynisch, M.; Trapp, T.: Neue Konzepte des Projekt- und Konfigurationsmanagements fuer die kooperative Produktentwicklung. In: 18. Internationales Projektmanagement Forum, Ludwigsburg., 2001 (Details)


Unsere Publikationen aus dem Jahr 2000:



Schäfer, Wilhelm; Saynisch, M.: Eine neue Qualitaet im Projektmanagement. In: Projektmanagement-Tagung der VDI-GSP, Berlin, Sep. 2000 (Details)


Unsere Publikationen aus dem Jahr 1999:



Nagl, M.; Balzert, H.; Six, H. W.; Schäfer, Wilhelm; Kelter, U.; Behle, A.; Westfechtel, B.; Weidauer, C.; Pauen, P.; Voss, J.; Wadsack, Jörg P.: Studie über Softwaretechnische Anforderungen an multimediale Lehr- und Lernsysteme. , Sep. 1999 (Details)

Nickel, Ulrich A.; Sachweh, Sabine; Schäfer, Wilhelm; Wadsack, Jörg P.: Realisierung einer verteilten prozessgesteuerten Arbeitsumgebung mit ESCAPE+/Merlin. In: In Tagungsband zum Workshop des Forschungsverbundes NRW: Die Virtuelle Wissensfabrik. GMD, Schloss Birlinghoven, St. Augustin, 1999 (Details)

Nickel, Ulrich A.; Niere, Jörg; Zündorf, Albert; Schäfer, Wilhelm: Combining Statecharts and Collaboration Diagrams for the Development of Production Control Systems. In: Proc. of Object-Oriented Modeling of Embedded Realtime Systems workshop (OMER), 1999, Technical Report 1999-01 University of the German Armed Forces Munich (Details)

Godart, C.; Belkhatir, N.; Carzaniga, A.; Estublier, J.; Di Nitto, E.; Jahnke, Jens H.; Lago, P.; Schäfer, Wilhelm; Skaf, H.: Cooperation Control in PSEE. In: Derniame, J. C.; Kaba, B. A.; Wastell, D. (Hrsg.) Software Process: Principles, Methodology, Technology, {Lecture Notes in Computer Science (LNCS)} 1500, Kapitel: 6 Springer Verlag, 1999 (Details)

Schäfer, Wilhelm; Fugetta, A.; Godart, C.; Jahnke, Jens H.: Architectural Views and Alternatives. In: Derniame, J. C.; Kaba, B. A.; Wastell, D. (Hrsg.) Software Process: Principles, Methodology, Technology, {Lecture Notes in Computer Science (LNCS)} 1500, Kapitel: 5 Springer Verlag, 1999 (Details)


Unsere Publikationen aus dem Jahr 1997:



Jahnke, Jens H.; Schäfer, Wilhelm; Zündorf, Albert: Generic Fuzzy Reasoning Nets as a basis for reverse engineering relational database applications. In: Proc. of European Software Engineering Conference (ESEC/FSE), Lecture Notes in Computer Science (LNCS), Nr. 1302 , 1997, Springer Verlag (Details)

Schäfer, Wilhelm; Reimer, Wiebke: Towards a Dedicated Object Oriented Software Process Modelling Language. In: Workshop on Modeling Software Processes and Artifacts held at the 11th European Conference on Object-Oriented Programming, Jyskyl, Finland, 1997 (Details)

Jahnke, Jens H.; Schäfer, Wilhelm; Zündorf, Albert: An experiment in building a light-weight process-centered environment supporting team software processes. Software Process Improvement and Practice, 3(3) 1997 (Details)


Unsere Publikationen aus dem Jahr 1996:



Jahnke, Jens H.; Schäfer, Wilhelm; Zündorf, Albert: A Design Environment for Migrating Relational to Object-Oriented Database Systems. In: Proc. of the 6th International Conference on Software Maintenance (ICSM), Monterrey, CA, USA, 1996 (Details)

Neumann, Olaf; Sachweh, Sabine; Schäfer, Wilhelm: A High-Level Object-Oriented Spcification Language for Configuration Management and Tool. In: Proc. of the 5th European Workshop on Software Process Technology (EWSPT'96), Nancy, France, 1996 (Details)


Unsere Publikationen aus dem Jahr 1995:



Schäfer, Wilhelm; Wolf, Stefan: Cooperation Patterns for process-centred Software Development Environments. In: Proc. of the 7th International Conference on Software Engineering and Knowledge Engineering, Rockville, Maryland, USA, 1995 (Details)

Sachweh, Sabine; Schäfer, Wilhelm: Version Management for tightly integrated Software Engineering Environments. In: Proc. of the 7th International Conference on Software Engineering Environments, Leiden, The Netherlands, 1995, IEEE Computer Society Press (Details)


Unsere Publikationen aus dem Jahr 1994:



Fehling, R.; Schäfer, Wilhelm: Arbeitsteilige Konstruktion von Software-Architekturen mit dem Werkzeug OPUS. In: Doberkat, E.E.; Kelter, U. (Hrsg.) Informatik - Forschung und Entwicklung, Themenheft Softwaretechnik, Band 9 , S. 141-152. Springer Verlag, 1994 (Details)

Junkermann, Gerald; Peuschel, B.; Schäfer, Wilhelm; Wolf, Stefan: MERLIN: Supporting Cooperation in Software Development through a Knowlege-based Environment. In: Finkelstein, Anthony (Hrsg.) Advances in Software Process Technology John Wiley and Sons, Inc., 1994 (Details)


Unsere Publikationen aus dem Jahr 1993:



Emmerich, Wolfgang; Schäfer, Wilhelm; Welsh, Jim: Databases for Software Engineering Environments: The Goal has not yet been attained. In: Proc. of European Software Engineering Conference (ESEC93), Lecture Notes in Computer Science (LNCS), Nr. 717 , 1. Jan. 1993, Springer Verlag (Details)

Emmerich, Wolfgang; Schäfer, Wilhelm: Dedicated Object Management Benchmarks for Software Engineering Applications. In: Proc. of the Software Engineering Environments, Reading, UK., 1993, IEEE Computer Society Press (Details)


Unsere Publikationen aus dem Jahr 1992:



Engels, Gregor; Lewerentz, Claus; Nagl, Manfred; Schäfer, Wilhelm; Schürr, Andy: Building Integrated Software Development Environments - Part 1: Tool Specification. ACM Transactions on Software Engineering and Methodology, 2(1): S. 135-167 1992 (Details)

Peuschel, Burkhard; Schäfer, Wilhelm: Concepts and Implementation of a Rule-based Process Engine. In: Proc. of the 14th International Conference on Software Engineering, Melbourne, Australia IEEE Computer Society Press, Jan. 1992 (Details)

Peuschel, Burkhard; Schäfer, Wilhelm; Wolf, Stefan: A Knowledge-based Software Development Environment Supporting Cooperative Work. International Journal on Software Engineering and Knowledge Engineering, 2(1): S. 79-106 1992 (Details)