Matthias Meyer
Fraunhofer-Institut für Entwurfstechnik Mechatronik IEM
Fraunhofer-Institut für Entwurfstechnik Mechatronik IEM -> Forschungsbereich Softwaretechnik und IT-Sicherheit
mm@uni-paderborn.deID
39 Publications
2017 | Conference Paper | LibreCat-ID: 27428
J. Holtmann, R. Bernijazov, M. Meyer, D. Schmelter, and C. Tschirner, “Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis),” in Proceedings of the Software Engineering 2017, Lecture Notes in Informatics (LNI), Band P-267, 2017, vol. P-267, pp. 109–110.
LibreCat
2017 | Preprint | LibreCat-ID: 20798
F. Ghassemi, M. Meyer, U. Pohlmann, and C. Priesterjahn, “Verteilte statische Analyse zur Identifikation von kritischen Datenflüssen für vernetzte Automatisierungs- und Produktionssysteme.” 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 20802
J. Holtmann, R. Bernijazov, M. Meyer, D. Schmelter, and C. Tschirner, “Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis),” in Proceedings of the Software Engineering 2017, 2017, vol. P-267, pp. 109–110.
LibreCat
2016 | Journal Article | LibreCat-ID: 27468
J. Holtmann, R. Bernijazov, M. Meyer, D. Schmelter, and C. Tschirner, “Integrated and iterative systems engineering and software requirements engineering for technical systems,” Journal of Software Evolution and Process, 2016, doi: http://dx.doi.org/10.1002/smr.1780.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20824
U. Pohlmann, J. Holtmann, and M. Meyer, “Das Erwachen der Macht – Automatische Softwareverteilung,” in Tagungsband Embedded Software Engineering Kongress 2016, 2016, pp. 587–592.
LibreCat
2015 | Conference Paper | LibreCat-ID: 28303
J. Holtmann, R. Bernijazov, M. Meyer, D. Schmelter, and C. Tschirner, “Integrated Systems Engineering and Software Requirements Engineering for Technical Systems,” in Proceedings of the International Conference on Software and Systems Process (ICSSP), 2015, pp. 57–66, doi: http://dx.doi.org/10.1145/2785592.2785597.
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 20899
J. Holtmann, R. Bernijazov, M. Meyer, D. Schmelter, and C. Tschirner, “Integrated systems engineering and software requirements engineering for technical systems,” in Proceedings of the 2015 International Conference on Software and System Process, 2015.
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 20902
J. Meyer, J. Holtmann, T. Koch, and M. Meyer, “Generierung von AUTOSAR-Modellen aus UML-Spezifikationen,” in 10. Paderborner Workshop Entwurf mechatronischer Systeme, 2015, vol. 343, pp. 159–172.
LibreCat
2014 | Conference Paper | LibreCat-ID: 20903
C. Priesterjahn, J. Holtmann, and M. Meyer, “Smarte Entwicklung fuer smarte Systeme: Softwareentwicklung im Kontext des Gesamtsystems,” in Tagungsband Embedded Software Engineering Kongress 2014, 2014, pp. 619–627.
LibreCat
2014 | Journal Article | LibreCat-ID: 20904
C. Diedrich, M. Meyer, L. Evertz, and W. Schäfer, “Dienste in der Automatisierungstechnik,” atp edition - Automatisierungstechnische Praxis, pp. 24–35, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 20905
U. Pohlmann, J. Holtmann, M. Meyer, and C. Gerking, “Generating Modelica Models from Software Specifications for the Simulation of Cyber-physical Systems,” 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 20906
M. Fockel, J. Holtmann, and M. Meyer, “Mit Satzmustern hochwertige Anforderungsdokumente effizient erstellen,” OBJEKTspektrum, no. RE/2014, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 20907
S. Becker et al., “The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems,” 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 20908
U. Pohlmann, S. Dziwok, M. Meyer, M. Tichy, and S. Thiele, “A Modelica Coordination Pattern Library for Cyber-Physical Systems,” 2014.
LibreCat
| Download (ext.)
2014 | Report | LibreCat-ID: 20909
S. Becker et al., The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling. 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 20910
U. Pohlmann, M. Meyer, A. P. Dann, and C. Brink, “Viewpoints and Views in Hardware Platform Modeling for Safe Deployment,” in Proceedings of the 2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling, 2014, p. 23:23-23:30.
LibreCat
2013 | Conference Paper | LibreCat-ID: 28529
L. Kaiser, R. Dumitrescu, J. Holtmann, and M. Meyer, “Automatic Verification of Modeling Rules in Systems Engineering for Mechatronic Systems,” 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 20911
J. Holtmann and M. Meyer, “Play-out for Hierarchical Component Architectures,” in Proceedings of 11th Workshop Automotive Software Engineering, 2013, vol. P-220, pp. 2458–2472.
LibreCat
2013 | Conference Paper | LibreCat-ID: 20913
J. Frieben, H. Heutger, M. Meyer, and S. Becker, “Modulare Leistungsprognose von Kompaktsteuerungen,” in 9. Paderborner Workshop Entwurf mechatronischer Systeme, 2013, pp. 147–160.
LibreCat
2011 | Conference Paper | LibreCat-ID: 20915
J. Meyer, J. Holtmann, and M. Meyer, “Formalisierung von Anforderungen und Betriebssystemeigenschaften zur fruehzeitigen Simulation von eingebetteten, automobilen Systemen,” in 8. Paderborner Workshop Entwurf mechatronischer Systeme, 2011, vol. 294, pp. 203–215.
LibreCat
2011 | Conference Paper | LibreCat-ID: 20916
J. Holtmann, J. Meyer, and M. Meyer, “A Seamless Model-Based Development Process for Automotive Systems,” in Software Engineering 2011 – Workshopband (inkl. Doktorandensymposium), 2011, vol. P-184, pp. 79–88.
LibreCat
2010 | Conference Paper | LibreCat-ID: 20934
M. von Detten, M. Meyer, and D. Travkin, “Reverse Engineering with the Reclipse Tool Suite,” in Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2-8, 2010, 2010, vol. 2, pp. 299–300.
LibreCat
2010 | Report | LibreCat-ID: 20935
M. von Detten, M. Meyer, and D. Travkin, Reclipse - A Reverse Engineering Tool Suite. 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 20936
R. Löffler, M. Meyer, and M. Gottschalk, “Formal Scenario-based Requirements Specification and Test Case Generation in Healthcare Applications,” in Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care, 2010, pp. 57–67.
LibreCat
2008 | Conference Paper | LibreCat-ID: 20938
M. Tichy, S. Henkler, M. Meyer, and M. von Detten, “Safety of Component-Based Systems: Analysis and Improvement using Fujaba4Eclipse,” 2008.
LibreCat
2007 | Conference Paper | LibreCat-ID: 20949
A. Delic, Z. Avdagic, W. Schäfer, D. Boskovic, and M. Meyer, “Program evaluation using fuzzy logic with bad smells as inputs,” 2007.
LibreCat
2006 | Conference Paper | LibreCat-ID: 20950
M. Meyer, “Pattern-based Reengineering of Software Systems,” in Proceedings of the 13th Working Conference on Reverse Engineering (WCRE 2006), Benevento, Italy, 2006, pp. 305–306.
LibreCat
2006 | Conference Paper | LibreCat-ID: 20951
H. Giese, M. Meyer, and R. Wagner, “A Prototype for Guideline Checking and Model Transformation in Matlab/Simulink,” in Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany, 2006, vol. tr-ri-06-275, pp. 56–60.
LibreCat
2006 | Conference Paper | LibreCat-ID: 20952
M. Tichy, M. Meyer, and H. Giese, “On Semantic Issues in Story Diagrams,” in Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany, 2006, vol. tr-ri-06-275, pp. 10–14.
LibreCat
2005 | Conference Paper | LibreCat-ID: 20926
M. Meyer and L. Wendehals, “Selective Tracing for Dynamic Analyses,” in Proc. of the 1st Workshop on Program Comprehension through Dynamic Analysis (PCODA), co-located with the 12th WCRE, Pittsburgh, Pennsylvania, USA, 2005, vol. 2005–12, pp. 33–37.
LibreCat
2005 | Conference Paper | LibreCat-ID: 20929
M. Meyer and J. Niere, “Calculation and Visualization of Software Product Metrics,” in Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany, 2005, vol. tr-ri-05-259, pp. 41–44.
LibreCat
2005 | Conference Paper | LibreCat-ID: 20930
D. Travkin and M. Meyer, “Generation of Type Safe Association Implementations,” in Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany, 2005, vol. tr-ri-05-259, pp. 63–66.
LibreCat
2004 | Report | LibreCat-ID: 20933
J. Niere, M. Meyer, and L. Wendehals, User-driven adaption in rule-based pattern recognition. Paderborn, Germany, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 20931
M. Meyer and L. Wendehals, “Teaching Object-Oriented Concepts with Eclipse,” in Proc. of the Eclipse Technology eXchange Workshop (ETX), Satellite Event of the 19th Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Vancouver, Canada, 2004, pp. 1–5.
LibreCat
2004 | Conference Paper | LibreCat-ID: 20932
L. Wendehals, M. Meyer, and A. Elsner, “Selective Tracing of Java Programs,” in Proc. of the 2nd International Fujaba Days 2004, Darmstadt, Germany, 2004, vol. tr-ri-04-253, pp. 7–10.
LibreCat
39 Publications
2017 | Conference Paper | LibreCat-ID: 27428
J. Holtmann, R. Bernijazov, M. Meyer, D. Schmelter, and C. Tschirner, “Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis),” in Proceedings of the Software Engineering 2017, Lecture Notes in Informatics (LNI), Band P-267, 2017, vol. P-267, pp. 109–110.
LibreCat
2017 | Preprint | LibreCat-ID: 20798
F. Ghassemi, M. Meyer, U. Pohlmann, and C. Priesterjahn, “Verteilte statische Analyse zur Identifikation von kritischen Datenflüssen für vernetzte Automatisierungs- und Produktionssysteme.” 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 20802
J. Holtmann, R. Bernijazov, M. Meyer, D. Schmelter, and C. Tschirner, “Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis),” in Proceedings of the Software Engineering 2017, 2017, vol. P-267, pp. 109–110.
LibreCat
2016 | Journal Article | LibreCat-ID: 27468
J. Holtmann, R. Bernijazov, M. Meyer, D. Schmelter, and C. Tschirner, “Integrated and iterative systems engineering and software requirements engineering for technical systems,” Journal of Software Evolution and Process, 2016, doi: http://dx.doi.org/10.1002/smr.1780.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20824
U. Pohlmann, J. Holtmann, and M. Meyer, “Das Erwachen der Macht – Automatische Softwareverteilung,” in Tagungsband Embedded Software Engineering Kongress 2016, 2016, pp. 587–592.
LibreCat
2015 | Conference Paper | LibreCat-ID: 28303
J. Holtmann, R. Bernijazov, M. Meyer, D. Schmelter, and C. Tschirner, “Integrated Systems Engineering and Software Requirements Engineering for Technical Systems,” in Proceedings of the International Conference on Software and Systems Process (ICSSP), 2015, pp. 57–66, doi: http://dx.doi.org/10.1145/2785592.2785597.
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 20899
J. Holtmann, R. Bernijazov, M. Meyer, D. Schmelter, and C. Tschirner, “Integrated systems engineering and software requirements engineering for technical systems,” in Proceedings of the 2015 International Conference on Software and System Process, 2015.
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 20902
J. Meyer, J. Holtmann, T. Koch, and M. Meyer, “Generierung von AUTOSAR-Modellen aus UML-Spezifikationen,” in 10. Paderborner Workshop Entwurf mechatronischer Systeme, 2015, vol. 343, pp. 159–172.
LibreCat
2014 | Conference Paper | LibreCat-ID: 20903
C. Priesterjahn, J. Holtmann, and M. Meyer, “Smarte Entwicklung fuer smarte Systeme: Softwareentwicklung im Kontext des Gesamtsystems,” in Tagungsband Embedded Software Engineering Kongress 2014, 2014, pp. 619–627.
LibreCat
2014 | Journal Article | LibreCat-ID: 20904
C. Diedrich, M. Meyer, L. Evertz, and W. Schäfer, “Dienste in der Automatisierungstechnik,” atp edition - Automatisierungstechnische Praxis, pp. 24–35, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 20905
U. Pohlmann, J. Holtmann, M. Meyer, and C. Gerking, “Generating Modelica Models from Software Specifications for the Simulation of Cyber-physical Systems,” 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 20906
M. Fockel, J. Holtmann, and M. Meyer, “Mit Satzmustern hochwertige Anforderungsdokumente effizient erstellen,” OBJEKTspektrum, no. RE/2014, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 20907
S. Becker et al., “The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems,” 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 20908
U. Pohlmann, S. Dziwok, M. Meyer, M. Tichy, and S. Thiele, “A Modelica Coordination Pattern Library for Cyber-Physical Systems,” 2014.
LibreCat
| Download (ext.)
2014 | Report | LibreCat-ID: 20909
S. Becker et al., The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling. 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 20910
U. Pohlmann, M. Meyer, A. P. Dann, and C. Brink, “Viewpoints and Views in Hardware Platform Modeling for Safe Deployment,” in Proceedings of the 2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling, 2014, p. 23:23-23:30.
LibreCat
2013 | Conference Paper | LibreCat-ID: 28529
L. Kaiser, R. Dumitrescu, J. Holtmann, and M. Meyer, “Automatic Verification of Modeling Rules in Systems Engineering for Mechatronic Systems,” 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 20911
J. Holtmann and M. Meyer, “Play-out for Hierarchical Component Architectures,” in Proceedings of 11th Workshop Automotive Software Engineering, 2013, vol. P-220, pp. 2458–2472.
LibreCat
2013 | Conference Paper | LibreCat-ID: 20913
J. Frieben, H. Heutger, M. Meyer, and S. Becker, “Modulare Leistungsprognose von Kompaktsteuerungen,” in 9. Paderborner Workshop Entwurf mechatronischer Systeme, 2013, pp. 147–160.
LibreCat
2011 | Conference Paper | LibreCat-ID: 20915
J. Meyer, J. Holtmann, and M. Meyer, “Formalisierung von Anforderungen und Betriebssystemeigenschaften zur fruehzeitigen Simulation von eingebetteten, automobilen Systemen,” in 8. Paderborner Workshop Entwurf mechatronischer Systeme, 2011, vol. 294, pp. 203–215.
LibreCat
2011 | Conference Paper | LibreCat-ID: 20916
J. Holtmann, J. Meyer, and M. Meyer, “A Seamless Model-Based Development Process for Automotive Systems,” in Software Engineering 2011 – Workshopband (inkl. Doktorandensymposium), 2011, vol. P-184, pp. 79–88.
LibreCat
2010 | Conference Paper | LibreCat-ID: 20934
M. von Detten, M. Meyer, and D. Travkin, “Reverse Engineering with the Reclipse Tool Suite,” in Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2-8, 2010, 2010, vol. 2, pp. 299–300.
LibreCat
2010 | Report | LibreCat-ID: 20935
M. von Detten, M. Meyer, and D. Travkin, Reclipse - A Reverse Engineering Tool Suite. 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 20936
R. Löffler, M. Meyer, and M. Gottschalk, “Formal Scenario-based Requirements Specification and Test Case Generation in Healthcare Applications,” in Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care, 2010, pp. 57–67.
LibreCat
2008 | Conference Paper | LibreCat-ID: 20938
M. Tichy, S. Henkler, M. Meyer, and M. von Detten, “Safety of Component-Based Systems: Analysis and Improvement using Fujaba4Eclipse,” 2008.
LibreCat
2007 | Conference Paper | LibreCat-ID: 20949
A. Delic, Z. Avdagic, W. Schäfer, D. Boskovic, and M. Meyer, “Program evaluation using fuzzy logic with bad smells as inputs,” 2007.
LibreCat
2006 | Conference Paper | LibreCat-ID: 20950
M. Meyer, “Pattern-based Reengineering of Software Systems,” in Proceedings of the 13th Working Conference on Reverse Engineering (WCRE 2006), Benevento, Italy, 2006, pp. 305–306.
LibreCat
2006 | Conference Paper | LibreCat-ID: 20951
H. Giese, M. Meyer, and R. Wagner, “A Prototype for Guideline Checking and Model Transformation in Matlab/Simulink,” in Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany, 2006, vol. tr-ri-06-275, pp. 56–60.
LibreCat
2006 | Conference Paper | LibreCat-ID: 20952
M. Tichy, M. Meyer, and H. Giese, “On Semantic Issues in Story Diagrams,” in Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany, 2006, vol. tr-ri-06-275, pp. 10–14.
LibreCat
2005 | Conference Paper | LibreCat-ID: 20926
M. Meyer and L. Wendehals, “Selective Tracing for Dynamic Analyses,” in Proc. of the 1st Workshop on Program Comprehension through Dynamic Analysis (PCODA), co-located with the 12th WCRE, Pittsburgh, Pennsylvania, USA, 2005, vol. 2005–12, pp. 33–37.
LibreCat
2005 | Conference Paper | LibreCat-ID: 20929
M. Meyer and J. Niere, “Calculation and Visualization of Software Product Metrics,” in Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany, 2005, vol. tr-ri-05-259, pp. 41–44.
LibreCat
2005 | Conference Paper | LibreCat-ID: 20930
D. Travkin and M. Meyer, “Generation of Type Safe Association Implementations,” in Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany, 2005, vol. tr-ri-05-259, pp. 63–66.
LibreCat
2004 | Report | LibreCat-ID: 20933
J. Niere, M. Meyer, and L. Wendehals, User-driven adaption in rule-based pattern recognition. Paderborn, Germany, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 20931
M. Meyer and L. Wendehals, “Teaching Object-Oriented Concepts with Eclipse,” in Proc. of the Eclipse Technology eXchange Workshop (ETX), Satellite Event of the 19th Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Vancouver, Canada, 2004, pp. 1–5.
LibreCat
2004 | Conference Paper | LibreCat-ID: 20932
L. Wendehals, M. Meyer, and A. Elsner, “Selective Tracing of Java Programs,” in Proc. of the 2nd International Fujaba Days 2004, Darmstadt, Germany, 2004, vol. tr-ri-04-253, pp. 7–10.
LibreCat