Home > Publications > Publikationen

Publications of Wilhelm Schäfer


Our publications from 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 (eds.) Handbuch Gestaltung digitaler und vernetzter Arbeitswelten, Springer Reference Psychologie Springer, Berlin/Heidelberg, Oct 2017 (more)

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), volume P-267 , pp. 81--82, Feb 21 - 24, 2017, Gesellschaft fuer Informatik (more)


Our publications from 2016:




Our publications from 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), Sep 8 - 11, 2015, IEEE (more)

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 (eds.) Proceedings of the 12th Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVa 2015), Ottawa, Sep 2015 (more)

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 (eds.) 6th International Workshop on Automating Test Case Design, Selection and Evaluation (A-TEST 2015), Bergamo, Aug 30 - 31, 2015, ACM (more)

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, pp. 333 - 340, June 27 - July 2, 2015, IEEE (more)

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, pp. 75--84, May 4 - 8, 2015, ACM (more)

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

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


Our publications from 2014:



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

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), pp. 543-550, Nov 3 - 6, 2014, Springer Berlin Heidelberg (more)

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), Sep 16 - 19, 2014 IEEE Computer Society (more)

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, number 508 , pp. 6-17, Sep 2014, Springer International Publishing (more)

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), pp. 210-217, Aug 25 - 29, 2014, Springer (more)

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 (more)

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, chapter 4, pp. 119-185. Springer-Verlag, Heidelberg, Germany, Jan 2014 (more)

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, chapter 3.2.10, pp. 119-128. Springer-Verlag, Heidelberg, Germany, Jan 2014 (more)


Our publications from 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), pp. 71-80, Sep 2013, IEEE Computer Society Press (more)

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), pp. 613 - 614, June 27 - July 2, 2013, IEEE (more)

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, June 17 - 21, 2013, ACM (more)

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), June 2013, IEEE (more)

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, pp. 36-45, May 18 - 19, 2013, ACM, New York, NY, USA (more)

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, Apr 18 - 19, 2013, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn (more)

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

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, volume 310 , pp. 375--394, Apr 2013 Heinz Nixdorf Institut, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn (more)

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, pp. 99-112, Feb 26 - Mar 1, 2013, Gesellschaft fuer Informatik (more)

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 (more)

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 (eds.) Assurances for Self-Adaptive Systems Assurances for Self-Adaptive Systems, Lecture Notes in Computer Science (LNCS), volume 7740 , pp. 152-186. Springer-Verlag Berlin Heidelberg, 2013 (more)


Our publications from 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), pp. 101-108, Supméca, Paris, France, Nov 21 - 23, 2012 (more)

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 (more)

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 (more)

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 (more)

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 (more)


Our publications from 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 (eds.) 8. Paderborner Workshop Entwurf mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, volume 294 , pp. 7-35, May 19 - 20, 2011 Heinz Nixdorf Institut (more)

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, May 2011 (more)

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

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


Our publications from 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, volume 6407 , pp. 47-61, Oct 26 - 29, 2010, Springer Verlag (more)

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, volume 2 , pp. 267-270, New York, NY, USA, May 2010, ACM (more)

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 (more)

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, Mar 18 - 19, 2010 Heinz Nixdorf Institut, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn (more)

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, volume 272 , pp. 235-251, Mar 2010 (more)

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), volume P-160 , Feb 2010, Bonner Koellen Verlag (more)

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), volume 159 , pp. 153-164, 2010, GI (more)

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), pp. 321-324, Santa Fe, New Mexico, USA, Jan 2010 ACM (more)

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

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

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, volume 272 , pp. 1-16, 2010 (more)

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, volume 6182 , pp. 23-29, 2010, Springer Berlin / Heidelberg (more)

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

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, pp. 79-88, 1 Jan 2010 unbekannt, IEEE Computer Society, Los Alamitos, CA, USA (more)

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), volume 6100 , pp. 323-328, Jan 2010, Springer Verlag (more)

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 (eds.) Model-Based Engineering of Embedded Real-Time Systems (MBEERTS), Lecture Notes in Computer Science (LNCS), volume 6100 , pp. 309-315. Springer, Jan 2010 (more)

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 (more)

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


Our publications from 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), volume 6 , pp. 1-12, University of Stanford, CA, USA, 2009, Design Society (more)

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, pp. 615-618, May 2009 (more)

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

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 (more)


Our publications from 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, Oct 2008 (more)

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

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): pp. 205-206 2008 (more)

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 (more)

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 (more)

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

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: pp. 411-426, Feb 2008 (more)


Our publications from 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 (more)

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, volume P-105 , pp. 251-252, 2007, Gesellschaft fuer Informatik (more)

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

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, Jan 1 - Oct 1, 2007, Faculty of Electrical Engineering, University of Sarajevo (more)

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 (more)

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

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 (more)

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, number 2007-1 , pp. 73-82, Technische Universitae Braunschweig, 2007 (more)

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, pp. 169-181, 2007 (more)

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, Jan 1 - Oct 1, 2007, Faculty of Electrical Engineering, University of Sarajevo (more)


Our publications from 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, pp. 78-93, Oct 2006 (more)

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

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, pp. 178-187, 2006 (more)

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), volume P-79 , pp. 175-180, 2006, Gesellschaft fuer Informatik (more)

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

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, number 2006-1 , pp. 35-42, Technische Universitaet Braunschweig, 2006 (more)

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, volume 189 , Heinz Nixdorf Institut, Jan 2006 (more)


Our publications from 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), volume 3748 , pp. 25-40, Nov 2005, Springer Verlag (more)

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, Sep 22 - 23, 2005, Technische Universität München (more)

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), volume 3840 , pp. 287-301, 2005, Springer Verlag (more)

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

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


Our publications from 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 (more)

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

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 (eds.) Integration of Software Specification Techniques for Applications in Engineering, LNCS, volume 3147 Springer Verlag, Jan 2004 (more)


Our publications from 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 (more)

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

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, pp. 155-163, Sep 2003, IEEE Computer Society Press (more)

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), pp. 38-47, Helsinki, Finland, Sep 2003, ACM Press, New York, NY, USA (more)

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, July 2003 (more)

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, pp. 179-195, 2003, Wiley-VCH Verlag GmbH and Co. KGaA (more)

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 (more)


Our publications from 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): pp. 99-136, Nov 2002 (more)

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, pp. 338-348, May 2002, ACM Press (more)


Our publications from 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, Oct 2001 (more)

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


Our publications from 2000:



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


Our publications from 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 (more)

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 (more)

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 (more)

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. (eds.) Software Process: Principles, Methodology, Technology, {Lecture Notes in Computer Science (LNCS)} 1500, chapter 6 Springer Verlag, 1999 (more)

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


Our publications from 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), number 1302 , 1997, Springer Verlag (more)

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 (more)

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 (more)


Our publications from 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 (more)

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 (more)


Our publications from 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 (more)

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 (more)


Our publications from 1994:



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

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


Our publications from 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), number 717 , 1 Jan 1993, Springer Verlag (more)

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 (more)


Our publications from 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): pp. 135-167 1992 (more)

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 (more)

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): pp. 79-106 1992 (more)