49 Publications

Mark all

[49]
2022 | Journal Article | LibreCat-ID: 31071
J. Holtmann, J. Deantoni, and M. Fockel, “Early timing analysis based on scenario requirements and platform models,” Software and Systems Modeling, 2022, doi: 10.1007/s10270-022-01002-3.
LibreCat | DOI
 
[48]
2021 | Conference Paper | LibreCat-ID: 21326
J. Holtmann, J.-P. Steghöfer, M. Rath, and D. Schmelter, “Cutting through the Jungle: Disambiguating Model-based Traceability Terminology (Extended Abstract),” in Software Engineering 2021, Remote / Braunschweig, Germany , 2021, vol. P-310, pp. 59–60.
LibreCat | Files available | DOI
 
[47]
2021 | Journal Article | LibreCat-ID: 23526 | OA
D. Schubert, H. Eikerling, and J. Holtmann, “Application-Aware Intrusion Detection: A Systematic Literature Review, Implications for Automotive Systems, and Applicability of AutoML,” Frontiers in Computer Science, vol. 3, 2021.
LibreCat | DOI | Download (ext.)
 
[46]
2020 | Conference Paper | LibreCat-ID: 20516
J. Holtmann, J.-P. Steghofer, M. Rath, and D. Schmelter, “Cutting through the Jungle: Disambiguating Model-based Traceability Terminology,” in 2020 IEEE 28th International Requirements Engineering Conference (RE), 2020.
LibreCat | DOI
 
[45]
2020 | Conference Paper | LibreCat-ID: 20518
T. Koch, S. Dziwok, J. Holtmann, and E. Bodden, “Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers,” 2020, doi: 10.1145/3365438.3410946.
LibreCat | DOI
 
[44]
2019 | Dissertation | LibreCat-ID: 20758
J. Holtmann, Improvement of Software Requirements Quality based on Systems Engineering. Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn, 2019.
LibreCat
 
[43]
2019 | Book Chapter | LibreCat-ID: 20760
D. Schubert, H. Eikerling, and J. Holtmann, “Application-aware Intrusion Detection: A Systematic Literature Review and Implications for Automotive Systems,” in 17th escar Europe : embedded security in cars, Ruhr-University Bochum, University Library, 2019.
LibreCat
 
[42]
2018 | Book Chapter | LibreCat-ID: 20782
T. Koch, J. Holtmann, and T. Lindemann, “Model-Driven STEP Application Protocol Extensions Combined with Feature Modeling Considering Geometrical Information,” in Revised Selected Papers of the 5th International Conference on Model-Driven Engineering and Software Development, vol. 880, L. F. Pires, S. Hammoudi, and B. Selic, Eds. Springer International Publishing, 2018, pp. 173–197.
LibreCat | DOI
 
[41]
2018 | Conference Paper | LibreCat-ID: 20786
M. Fockel, J. Holtmann, T. Koch, and D. Schmelter, “Formal, Model- and Scenario-based Requirement Patterns,” in 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018), 2018.
LibreCat
 
[40]
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
 
[39]
2017 | Report | LibreCat-ID: 20793
M. Fockel, J. Holtmann, T. Koch, and D. Schmelter, Model-based Requirement Pattern Catalog. Paderborn, Germany, 2017.
LibreCat
 
[38]
2017 | Conference Paper | LibreCat-ID: 20795
D. Schmelter, J. Greenyer, and J. Holtmann, “Toward Learning Realizable Scenario-based, Formal Requirements Specifications,” in 4th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE), 2017.
LibreCat | DOI
 
[37]
2017 | Conference Paper | LibreCat-ID: 20801
T. Koch, J. Holtmann, and T. Lindemann, “Flexible Specification of STEP Application Protocol Extensions and Automatic Derivation of Tool Capabilities,” in Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017.
LibreCat | DOI
 
[36]
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
 
[35]
2016 | Conference Paper | LibreCat-ID: 27449
M. Greinert, C. Tschirner, and J. Holtmann, “Anwendung von Methoden der Produktentstehung auf Basis des Systemmodells mechatronischer Systeme,” in Tag des Systems Engineering 2016, 2016, pp. 77–86, doi: http://dx.doi.org/10.3139/9783446451414.008.
LibreCat | DOI
 
[34]
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
 
[33]
2016 | Report | LibreCat-ID: 20823
J. Holtmann et al., The MechatronicUML Requirements Engineering Method: Process and Language. 2016.
LibreCat | DOI
 
[32]
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
 
[31]
2016 | Conference Paper | LibreCat-ID: 20825
M. Greinert, C. Tschirner, and J. Holtmann, “Anwendung von Methoden der Produktentstehung auf Basis des Systemmodells mechatronischer Systeme,” in Tag des Systems Engineering 2016, 2016, pp. 77–86, doi: 10.3139/9783446451414.008.
LibreCat | DOI
 
[30]
2016 | Conference Paper | LibreCat-ID: 20826
T. Koch, J. Holtmann, D. Schubert, and T. Lindemann, “Towards Feature-based Product Line Engineering of Technical Systems,” in 3rd International Conference on System-integrated Intelligence: New Challenges for Product and Production Engineering (SysInt 2016), 2016, pp. 447–454.
LibreCat | DOI
 
[29]
2016 | Journal Article | LibreCat-ID: 20828
J. Holtmann, M. Fockel, T. Koch, and D. Schmelter, “Requirements Engineering - Zusatzaufgabe oder Kernkompetenz?,” OBJEKTspektrum, no. RE/2016, 2016.
LibreCat | Download (ext.)
 
[28]
2016 | Journal Article | LibreCat-ID: 20829
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.
LibreCat | DOI
 
[27]
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
 
[26]
2015 | Conference Paper | LibreCat-ID: 20970
J. Meyer, M. Fockel, and J. Holtmann, “Systementwurf unter Einbeziehung funktionaler Sicherheit bei automobilen Steuergeräten,” in Tag des Systems Engineering 2015, 2015.
LibreCat
 
[25]
2015 | Conference Paper | LibreCat-ID: 20971
M. Fockel and J. Holtmann, “ReqPat: Efficient Documentation of High-quality Requirements using Controlled Natural Language,” in Proc. of the 23rd International Requirements Engineering Conference 2015 (RE15), 2015.
LibreCat
 
[24]
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
 
[23]
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
 
[22]
2014 | Conference Paper | LibreCat-ID: 20972
M. Fockel and J. Holtmann, “A requirements engineering methodology combining models and controlled natural language,” in 2014 IEEE 4th International Model-Driven Requirements Engineering Workshop (MoDRE), 2014.
LibreCat | DOI
 
[21]
2014 | Conference Paper | LibreCat-ID: 20981
J. Holtmann and D. Shipchanov, “Considering Architectural Properties in Real-time Play-out,” in Proceedings of 12th Workshop Automotive Software Engineering, 2014, vol. P-232, pp. 2169–2180.
LibreCat
 
[20]
2014 | Book Chapter | LibreCat-ID: 20982
T. Koch, J. Holtmann, and J. DeAntoni, “Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications,” in Software Architecture, Cham, 2014.
LibreCat | DOI
 
[19]
2014 | Conference Paper | LibreCat-ID: 20983
C. Brenner, J. Greenyer, J. Holtmann, G. Liebel, G. Stieglbauer, and M. Tichy, “ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study,” 2014.
LibreCat
 
[18]
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
 
[17]
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
 
[16]
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
 
[15]
2014 | Conference Paper | LibreCat-ID: 20912
L. Kaiser, R. Dumitrescu, J. Holtmann, and M. Meyer, “Automatic Verification of Modeling Rules in Systems Engineering for Mechatronic Systems,” in Volume 2B: 33rd Computers and Information in Engineering Conference, 2014.
LibreCat | DOI
 
[14]
2013 | Report | LibreCat-ID: 20973
M. Daun, M. Fockel, J. Holtmann, and B. Tenbergen, Goal-Scenario-Oriented Requirements Engineering for Functional Decomposition with Bidirectional Transformation to Controlled Natural Language. Case Study “Body Control Module.” 2013.
LibreCat | Download (ext.)
 
[13]
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
 
[12]
2012 | Conference Paper | LibreCat-ID: 20974
M. Fockel, J. Holtmann, and J. Meyer, “Semi-automatic establishment and maintenance of valid traceability in automotive development processes,” 2012, doi: 10.1109/sees.2012.6225489.
LibreCat | DOI
 
[11]
2012 | Book Chapter | LibreCat-ID: 20914
M. Fockel et al., “Application and Evaluation in the Automotive Domain,” in Model-Based Engineering of Embedded Systems, Berlin, Heidelberg, 2012.
LibreCat | DOI
 
[10]
2011 | Conference Paper | LibreCat-ID: 20958
J. Holtmann, J. Meyer, and M. von Detten, “Automatic Validation and Correction of Formalized, Textual Requirements,” 2011, doi: 10.1109/icstw.2011.17.
LibreCat | DOI
 
[9]
2011 | Conference Paper | LibreCat-ID: 20960
J. Meyer and J. Holtmann, “Eine durchgängige Entwicklungsmethode von der Systemarchitektur bis zur Softwarearchitektur mit AUTOSAR,” in Tagungsband des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, 2011, pp. 21–30.
LibreCat
 
[8]
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
 
[7]
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
 
[6]
2010 | Book Chapter | LibreCat-ID: 20961
H. Seebach et al., “Designing Self-healing in Automotive Systems,” in Lecture Notes in Computer Science, Berlin, Heidelberg, 2010.
LibreCat | DOI
 
[5]
2010 | Conference Paper | LibreCat-ID: 20963
J. Meyer, J. Holtmann, W. Schäfer, and U. A. Nickel, “Eine erweiterte Systemmodellierung zur Entwicklung von softwareintensiven Anwendungen in der Automobilindustrie,” in Software Engineering 2010 – Workshopband (inkl. Doktorandensymposium), 2010, vol. P-160.
LibreCat
 
[4]
2008 | Conference Paper | LibreCat-ID: 20964
J. Holtmann and M. Tichy, “Component Story Diagrams in Fujaba4Eclipse,” in Proc. of the 6th International Fujaba Days 2008, Dresden, Germany, 2008, pp. 44–47.
LibreCat
 
[3]
2008 | Conference Paper | LibreCat-ID: 20966
M. Tichy, S. Henkler, J. Holtmann, and S. Oberthür, “Component Story Diagrams: A Transformation Language for Component Structures in Mechatronic Systems,” in Proceedings of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany, 2008, vol. 236, pp. 27–38.
LibreCat
 
[2]
2008 | Mastersthesis | LibreCat-ID: 20968
J. Holtmann, Graphtransformationen für komponentenbasierte Softwarearchitekturen. Software Engineering Group, University of Paderborn, 2008.
LibreCat
 
[1]
2006 | Bachelorsthesis | LibreCat-ID: 20967
J. Holtmann, Entwicklung von Geschäftsprozessmustern zur Qualitätssicherung. University of Paderborn, 2006.
LibreCat
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed

49 Publications

Mark all

[49]
2022 | Journal Article | LibreCat-ID: 31071
J. Holtmann, J. Deantoni, and M. Fockel, “Early timing analysis based on scenario requirements and platform models,” Software and Systems Modeling, 2022, doi: 10.1007/s10270-022-01002-3.
LibreCat | DOI
 
[48]
2021 | Conference Paper | LibreCat-ID: 21326
J. Holtmann, J.-P. Steghöfer, M. Rath, and D. Schmelter, “Cutting through the Jungle: Disambiguating Model-based Traceability Terminology (Extended Abstract),” in Software Engineering 2021, Remote / Braunschweig, Germany , 2021, vol. P-310, pp. 59–60.
LibreCat | Files available | DOI
 
[47]
2021 | Journal Article | LibreCat-ID: 23526 | OA
D. Schubert, H. Eikerling, and J. Holtmann, “Application-Aware Intrusion Detection: A Systematic Literature Review, Implications for Automotive Systems, and Applicability of AutoML,” Frontiers in Computer Science, vol. 3, 2021.
LibreCat | DOI | Download (ext.)
 
[46]
2020 | Conference Paper | LibreCat-ID: 20516
J. Holtmann, J.-P. Steghofer, M. Rath, and D. Schmelter, “Cutting through the Jungle: Disambiguating Model-based Traceability Terminology,” in 2020 IEEE 28th International Requirements Engineering Conference (RE), 2020.
LibreCat | DOI
 
[45]
2020 | Conference Paper | LibreCat-ID: 20518
T. Koch, S. Dziwok, J. Holtmann, and E. Bodden, “Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers,” 2020, doi: 10.1145/3365438.3410946.
LibreCat | DOI
 
[44]
2019 | Dissertation | LibreCat-ID: 20758
J. Holtmann, Improvement of Software Requirements Quality based on Systems Engineering. Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn, 2019.
LibreCat
 
[43]
2019 | Book Chapter | LibreCat-ID: 20760
D. Schubert, H. Eikerling, and J. Holtmann, “Application-aware Intrusion Detection: A Systematic Literature Review and Implications for Automotive Systems,” in 17th escar Europe : embedded security in cars, Ruhr-University Bochum, University Library, 2019.
LibreCat
 
[42]
2018 | Book Chapter | LibreCat-ID: 20782
T. Koch, J. Holtmann, and T. Lindemann, “Model-Driven STEP Application Protocol Extensions Combined with Feature Modeling Considering Geometrical Information,” in Revised Selected Papers of the 5th International Conference on Model-Driven Engineering and Software Development, vol. 880, L. F. Pires, S. Hammoudi, and B. Selic, Eds. Springer International Publishing, 2018, pp. 173–197.
LibreCat | DOI
 
[41]
2018 | Conference Paper | LibreCat-ID: 20786
M. Fockel, J. Holtmann, T. Koch, and D. Schmelter, “Formal, Model- and Scenario-based Requirement Patterns,” in 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018), 2018.
LibreCat
 
[40]
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
 
[39]
2017 | Report | LibreCat-ID: 20793
M. Fockel, J. Holtmann, T. Koch, and D. Schmelter, Model-based Requirement Pattern Catalog. Paderborn, Germany, 2017.
LibreCat
 
[38]
2017 | Conference Paper | LibreCat-ID: 20795
D. Schmelter, J. Greenyer, and J. Holtmann, “Toward Learning Realizable Scenario-based, Formal Requirements Specifications,” in 4th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE), 2017.
LibreCat | DOI
 
[37]
2017 | Conference Paper | LibreCat-ID: 20801
T. Koch, J. Holtmann, and T. Lindemann, “Flexible Specification of STEP Application Protocol Extensions and Automatic Derivation of Tool Capabilities,” in Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017.
LibreCat | DOI
 
[36]
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
 
[35]
2016 | Conference Paper | LibreCat-ID: 27449
M. Greinert, C. Tschirner, and J. Holtmann, “Anwendung von Methoden der Produktentstehung auf Basis des Systemmodells mechatronischer Systeme,” in Tag des Systems Engineering 2016, 2016, pp. 77–86, doi: http://dx.doi.org/10.3139/9783446451414.008.
LibreCat | DOI
 
[34]
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
 
[33]
2016 | Report | LibreCat-ID: 20823
J. Holtmann et al., The MechatronicUML Requirements Engineering Method: Process and Language. 2016.
LibreCat | DOI
 
[32]
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
 
[31]
2016 | Conference Paper | LibreCat-ID: 20825
M. Greinert, C. Tschirner, and J. Holtmann, “Anwendung von Methoden der Produktentstehung auf Basis des Systemmodells mechatronischer Systeme,” in Tag des Systems Engineering 2016, 2016, pp. 77–86, doi: 10.3139/9783446451414.008.
LibreCat | DOI
 
[30]
2016 | Conference Paper | LibreCat-ID: 20826
T. Koch, J. Holtmann, D. Schubert, and T. Lindemann, “Towards Feature-based Product Line Engineering of Technical Systems,” in 3rd International Conference on System-integrated Intelligence: New Challenges for Product and Production Engineering (SysInt 2016), 2016, pp. 447–454.
LibreCat | DOI
 
[29]
2016 | Journal Article | LibreCat-ID: 20828
J. Holtmann, M. Fockel, T. Koch, and D. Schmelter, “Requirements Engineering - Zusatzaufgabe oder Kernkompetenz?,” OBJEKTspektrum, no. RE/2016, 2016.
LibreCat | Download (ext.)
 
[28]
2016 | Journal Article | LibreCat-ID: 20829
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.
LibreCat | DOI
 
[27]
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
 
[26]
2015 | Conference Paper | LibreCat-ID: 20970
J. Meyer, M. Fockel, and J. Holtmann, “Systementwurf unter Einbeziehung funktionaler Sicherheit bei automobilen Steuergeräten,” in Tag des Systems Engineering 2015, 2015.
LibreCat
 
[25]
2015 | Conference Paper | LibreCat-ID: 20971
M. Fockel and J. Holtmann, “ReqPat: Efficient Documentation of High-quality Requirements using Controlled Natural Language,” in Proc. of the 23rd International Requirements Engineering Conference 2015 (RE15), 2015.
LibreCat
 
[24]
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
 
[23]
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
 
[22]
2014 | Conference Paper | LibreCat-ID: 20972
M. Fockel and J. Holtmann, “A requirements engineering methodology combining models and controlled natural language,” in 2014 IEEE 4th International Model-Driven Requirements Engineering Workshop (MoDRE), 2014.
LibreCat | DOI
 
[21]
2014 | Conference Paper | LibreCat-ID: 20981
J. Holtmann and D. Shipchanov, “Considering Architectural Properties in Real-time Play-out,” in Proceedings of 12th Workshop Automotive Software Engineering, 2014, vol. P-232, pp. 2169–2180.
LibreCat
 
[20]
2014 | Book Chapter | LibreCat-ID: 20982
T. Koch, J. Holtmann, and J. DeAntoni, “Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications,” in Software Architecture, Cham, 2014.
LibreCat | DOI
 
[19]
2014 | Conference Paper | LibreCat-ID: 20983
C. Brenner, J. Greenyer, J. Holtmann, G. Liebel, G. Stieglbauer, and M. Tichy, “ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study,” 2014.
LibreCat
 
[18]
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
 
[17]
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
 
[16]
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
 
[15]
2014 | Conference Paper | LibreCat-ID: 20912
L. Kaiser, R. Dumitrescu, J. Holtmann, and M. Meyer, “Automatic Verification of Modeling Rules in Systems Engineering for Mechatronic Systems,” in Volume 2B: 33rd Computers and Information in Engineering Conference, 2014.
LibreCat | DOI
 
[14]
2013 | Report | LibreCat-ID: 20973
M. Daun, M. Fockel, J. Holtmann, and B. Tenbergen, Goal-Scenario-Oriented Requirements Engineering for Functional Decomposition with Bidirectional Transformation to Controlled Natural Language. Case Study “Body Control Module.” 2013.
LibreCat | Download (ext.)
 
[13]
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
 
[12]
2012 | Conference Paper | LibreCat-ID: 20974
M. Fockel, J. Holtmann, and J. Meyer, “Semi-automatic establishment and maintenance of valid traceability in automotive development processes,” 2012, doi: 10.1109/sees.2012.6225489.
LibreCat | DOI
 
[11]
2012 | Book Chapter | LibreCat-ID: 20914
M. Fockel et al., “Application and Evaluation in the Automotive Domain,” in Model-Based Engineering of Embedded Systems, Berlin, Heidelberg, 2012.
LibreCat | DOI
 
[10]
2011 | Conference Paper | LibreCat-ID: 20958
J. Holtmann, J. Meyer, and M. von Detten, “Automatic Validation and Correction of Formalized, Textual Requirements,” 2011, doi: 10.1109/icstw.2011.17.
LibreCat | DOI
 
[9]
2011 | Conference Paper | LibreCat-ID: 20960
J. Meyer and J. Holtmann, “Eine durchgängige Entwicklungsmethode von der Systemarchitektur bis zur Softwarearchitektur mit AUTOSAR,” in Tagungsband des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, 2011, pp. 21–30.
LibreCat
 
[8]
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
 
[7]
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
 
[6]
2010 | Book Chapter | LibreCat-ID: 20961
H. Seebach et al., “Designing Self-healing in Automotive Systems,” in Lecture Notes in Computer Science, Berlin, Heidelberg, 2010.
LibreCat | DOI
 
[5]
2010 | Conference Paper | LibreCat-ID: 20963
J. Meyer, J. Holtmann, W. Schäfer, and U. A. Nickel, “Eine erweiterte Systemmodellierung zur Entwicklung von softwareintensiven Anwendungen in der Automobilindustrie,” in Software Engineering 2010 – Workshopband (inkl. Doktorandensymposium), 2010, vol. P-160.
LibreCat
 
[4]
2008 | Conference Paper | LibreCat-ID: 20964
J. Holtmann and M. Tichy, “Component Story Diagrams in Fujaba4Eclipse,” in Proc. of the 6th International Fujaba Days 2008, Dresden, Germany, 2008, pp. 44–47.
LibreCat
 
[3]
2008 | Conference Paper | LibreCat-ID: 20966
M. Tichy, S. Henkler, J. Holtmann, and S. Oberthür, “Component Story Diagrams: A Transformation Language for Component Structures in Mechatronic Systems,” in Proceedings of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany, 2008, vol. 236, pp. 27–38.
LibreCat
 
[2]
2008 | Mastersthesis | LibreCat-ID: 20968
J. Holtmann, Graphtransformationen für komponentenbasierte Softwarearchitekturen. Software Engineering Group, University of Paderborn, 2008.
LibreCat
 
[1]
2006 | Bachelorsthesis | LibreCat-ID: 20967
J. Holtmann, Entwicklung von Geschäftsprozessmustern zur Qualitätssicherung. University of Paderborn, 2006.
LibreCat
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed