Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

191 Publications


2012 | Journal Article | LibreCat-ID: 5183
Bodden E, Lam P, Hendren L. Partially Evaluating Finite-State Runtime Monitors Ahead of Time. ACM Transactions on Programming Languages and Systems. 2012;34(2):1-52. doi:10.1145/2220365.2220366
LibreCat | Files available | DOI | Download (ext.)
 

2011 | Conference Paper | LibreCat-ID: 20958
Holtmann J, Meyer J, von Detten M. Automatic Validation and Correction of Formalized, Textual Requirements. In: 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops. ; 2011. doi:10.1109/icstw.2011.17
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 20960
Meyer J, Holtmann J. Eine durchgängige Entwicklungsmethode von der Systemarchitektur bis zur Softwarearchitektur mit AUTOSAR. In: Tagungsband Des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung Eingebetteter Systeme VII. fortiss GmbH; 2011:21-30.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 20975
Fockel M, Travkin D, von Detten M. Interpreting Story Diagrams for the Static Detection of Software Patterns. In: Proceedings of the 8th International Fujaba Days. ; 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 20915
Meyer J, Holtmann J, Meyer M. Formalisierung von Anforderungen und Betriebssystemeigenschaften zur fruehzeitigen Simulation von eingebetteten, automobilen Systemen. In: 8. Paderborner Workshop Entwurf Mechatronischer Systeme. Vol 294. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Heinz Nixdorf Institut; 2011:203-215.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 20916
Holtmann J, Meyer J, Meyer M. A Seamless Model-Based Development Process for Automotive Systems. In: Software Engineering 2011 – Workshopband (Inkl. Doktorandensymposium). Vol P-184. GI-Edition Lecture Notes in Informatics (LNI). Bonner Koellen Verlag; 2011:79-88.
LibreCat
 

2011 | Mastersthesis | LibreCat-ID: 650
Platenius MC. Reengineering of Design Deficiencies in Component-Based Software Architectures. Universität Paderborn; 2011.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 20934
von Detten M, Meyer M, Travkin D. 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. Vol 2. ACM Press; 2010:299-300.
LibreCat
 

2010 | Report | LibreCat-ID: 20935
von Detten M, Meyer M, Travkin D. Reclipse - A Reverse Engineering Tool Suite.; 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 20936
Löffler R, Meyer M, Gottschalk M. 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. ACM; 2010:57-67.
LibreCat
 

2010 | Book Chapter | LibreCat-ID: 20961
Seebach H, Nafz F, Holtmann J, et al. Designing Self-healing in Automotive Systems. In: Lecture Notes in Computer Science. ; 2010. doi:10.1007/978-3-642-16576-4_4
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 20962
Holtmann J. Mit Satzmustern von textuellen Anforderungen zu Modellen. OBJEKTspektrum. 2010;(RE/2010).
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 20963
Meyer J, Holtmann J, Schäfer W, Nickel UA. Eine erweiterte Systemmodellierung zur Entwicklung von softwareintensiven Anwendungen in der Automobilindustrie. In: Software Engineering 2010 – Workshopband (Inkl. Doktorandensymposium). Vol P-160. GI-Edition - Lecture Notes in Informatics (LNI). Bonner Koellen Verlag; 2010.
LibreCat
 

2009 | Dissertation | LibreCat-ID: 20937
Meyer M. Musterbasiertes Re-Engineering von Softwaresystemen. Universitaetsbibliothek Paderborn; 2009.
LibreCat | Download (ext.)
 

2008 | Conference Paper | LibreCat-ID: 20938
Tichy M, Henkler S, Meyer M, von Detten M. Safety of Component-Based Systems: Analysis and Improvement using Fujaba4Eclipse. In: Companion Proceedings of the 30th International Conference on Software Engineering (ICSE), Leipzig, Germany. ; 2008.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 20957
Kindler E, Schmelter D. Aspect-oriented modelling from a different angle. In: Proceedings of the 2008 AOSD Workshop on Aspect-Oriented Modeling - AOM ’08. ; 2008. doi:10.1145/1404920.1404922
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 20964
Holtmann J, Tichy M. Component Story Diagrams in Fujaba4Eclipse. In: Proc. of the 6th International Fujaba Days 2008, Dresden, Germany. ; 2008:44-47.
LibreCat
 

2008 | Mastersthesis | LibreCat-ID: 20965
Holtmann J. Graphtransformationen Für Komponentenbasierte Softwarearchitekturen. Software Engineering Group, University of Paderborn; 2008.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 20966
Tichy M, Henkler S, Holtmann J, Oberthür S. 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. Vol 236. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Heinz Nixdorf Institut; 2008:27-38.
LibreCat
 

2008 | Mastersthesis | LibreCat-ID: 20968
Holtmann J. Graphtransformationen Für Komponentenbasierte Softwarearchitekturen. Software Engineering Group, University of Paderborn; 2008.
LibreCat
 

Filters and Search Terms

department=76

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed