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.
205 Publications
2015 | Conference Paper | LibreCat-ID: 279
Platenius, M. C., Arifulina, S., & Schäfer, W. (2015). MatchBox: A Framework for Dynamic Configuration of Service Matching Processes. In Proceedings of the 18th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE’15) (pp. 75–84). https://doi.org/10.1145/2737166.2737174
LibreCat
| Files available
| DOI
2015 | Report | LibreCat-ID: 20977
Schäfer, W., Dziwok, S., Pohlmann, U., Bobolz, J., Czech, M., Dann, A. P., Geismann, J., Hüwe, M., Krieger, A., Piskachev, G., Schubert, D., & Wohlrab, R. (2015). Seminar Theses of the Project Group Cybertron.
LibreCat
2015 | Conference Paper | LibreCat-ID: 20979
Stockmann, L. (2015). Debugging Models in the Context of Automotive Software Development. In M. Chechik & D. Kolovos (Eds.), Proceedings of the Doctoral Symposium of the ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems.
LibreCat
2015 | Report | LibreCat-ID: 20832
Schäfer, W., Dziwok, S., Pohlmann, U., Bobolz, J., Czech, M., Dann, A. P., Geismann, J., Hüwe, M., Krieger, A., Piskachev, G., Schubert, D., & Wohlrab, R. (2015). Seminar Theses of the Project Group Cybertron.
LibreCat
2015 | Mastersthesis | LibreCat-ID: 20833
Geismann, J. (2015). Multi-Core Execution of Safety-Critical Component-Based Software. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik.
LibreCat
2015 | Conference Paper | LibreCat-ID: 20902
Meyer, J., Holtmann, J., Koch, T., & Meyer, M. (2015). Generierung von AUTOSAR-Modellen aus UML-Spezifikationen. In J. Gausemeier, R. Dumitrescu, F.-J. Rammig, W. Schäfer, & A. Trächtler (Eds.), 10. Paderborner Workshop Entwurf mechatronischer Systeme (Vol. 343, pp. 159–172). Heinz Nixdorf Institut.
LibreCat
2015 | Conference Paper | LibreCat-ID: 5207
Li, L., Bartel, A., Bissyande, T. F., Klein, J., Le Traon, Y., Arzt, S., … McDaniel, P. (2015). IccTA: Detecting Inter-Component Privacy Leaks in Android Apps. In 2015 International Conference on Software Engineering (ICSE) (pp. 280–291).
LibreCat
| Files available
| Download (ext.)
2014 | Conference Paper | LibreCat-ID: 346
Brangewitz, S., Jungmann, A., Petrlic, R., & Platenius, M. C. (2014). Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services. In Proceedings of the 6th International Conferences on Advanced Service Computing (SERVICE COMPUTATION) (pp. 49–57).
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 364
Arifulina, S., Becker, M., Platenius, M. C., & Walther, S. (2014). SeSAME: Modeling and Analyzing High-Quality Service Compositions. In Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014) (pp. 839–842). https://doi.org/10.1145/2642937.2648621
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 366
Petrlic, R., Jungmann, A., Platenius, M. C., Schäfer, W., & Sorge, C. (2014). Security and Privacy Challenges in On-The-Fly Computing. In Tagungsband der 4. Konferenz Software-Technologien und -Prozesse (STeP 2014) (pp. 131–142).
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 20983
Brenner, C., Greenyer, J., Holtmann, J., Liebel, G., Stieglbauer, G., & Tichy, M. (2014). ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study. Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014).
LibreCat
2014 | Conference Paper | LibreCat-ID: 20905
Pohlmann, U., Holtmann, J., Meyer, M., & Gerking, C. (2014). Generating Modelica Models from Software Specifications for the Simulation of Cyber-physical Systems. Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA).
LibreCat
2014 | Conference Paper | LibreCat-ID: 20907
Becker, S., Dziwok, S., Gerking, C., Heinzemann, C., Schäfer, W., Meyer, M., & Pohlmann, U. (2014). The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems. Proceedings of the 36th International Conference on Software Engineering (Posters).
LibreCat
2014 | Conference Paper | LibreCat-ID: 20908
Pohlmann, U., Dziwok, S., Meyer, M., Tichy, M., & Thiele, S. (2014). A Modelica Coordination Pattern Library for Cyber-Physical Systems. Proceedings of the 7th International ICST Conference on Simulation Tools and Techniques.
LibreCat
| Download (ext.)
2014 | Report | LibreCat-ID: 20909
Becker, S., Dziwok, S., Gerking, C., Schäfer, W., Heinzemann, C., Thiele, S., Meyer, M., Priesterjahn, C., Pohlmann, U., & Tichy, M. (2014). The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling.
LibreCat
2014 | Conference Paper | LibreCat-ID: 20910
Pohlmann, U., Meyer, M., Dann, A. P., & Brink, C. (2014). Viewpoints and Views in Hardware Platform Modeling for Safe Deployment. Proceedings of the 2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling, 23:23-23:30.
LibreCat
2014 | Conference Paper | LibreCat-ID: 449
Becker, M., Platenius, M. C., & Becker, S. (2014). Cloud Computing Reduces Uncertainties in Quality-of-Service Matching! In Proceedings of the 2nd International Workshop on Cloud Service Brokerage (CSB) (pp. 153–159). https://doi.org/10.1007/978-3-319-14886-1_15
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 401
Platenius, M. C., Arifulina, S., Petrlic, R., & Schäfer, W. (2014). Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching. In Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet (pp. 6–17). https://doi.org/10.1007/978-3-319-14886-1_2
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 402
Arifulina, S., Platenius, M. C., Gerth, C., Becker, S., Engels, G., & Schäfer, W. (2014). Market-optimized Service Specification and Matching. In X. Franch, A. Ghose, G. Lewis, & S. Bhiri (Eds.), Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014) (pp. 543–550). https://doi.org/10.1007/978-3-662-45391-9_47
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 409
Platenius, M. C., Becker, S., & Schäfer, W. (2014). Integrating Service Matchers into a Service Market Architecture. In P. Avgeriou & U. Zdun (Eds.), Proceedings of the 8th European Conference on Software Architecture (ECSA 2014) (pp. 210–217). https://doi.org/10.1007/978-3-319-09970-5_19
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 5189
Arzt, S., Rasthofer, S., Fritz, C., Bodden, E., Bartel, A., Klein, J., … McDaniel, P. (2014). FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps. In Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI ’14. ACM Press. https://doi.org/10.1145/2594291.2594299
LibreCat
| Files available
| DOI
| Download (ext.)
2014 | Conference Paper | LibreCat-ID: 5190
Arzt, S., Rasthofer, S., Lovat, E., & Bodden, E. (2014). DroidForce: Enforcing Complex, Data-Centric, System-Wide Policies in Android. In International Conference on Availability, Reliability and Security (ARES 2014) (pp. 40–49). IEEE.
LibreCat
| Files available
| Download (ext.)
2013 | Bachelorsthesis | LibreCat-ID: 20978
Hüwe, M. (2013). Das Verteilungsproblem für mechatronische Systeme. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik.
LibreCat
2013 | Conference Paper | LibreCat-ID: 20980
Farshizadeh, E., Briese, H., Steinmann, D., Stockmann, L., Beringer, S., Holler, D., Klobedanz, K., Heinzemann, C., Peter, K., & Leuer, M. (2013). Simulationsgestützter Entwurf für Elektrofahrzeuge. 8. Dortmunder Autotag.
LibreCat
2013 | Mastersthesis | LibreCat-ID: 20985
Koch, T. (2013). Combining Scenario-based and Architecture-based Timing Requirements. University of Paderborn.
LibreCat
2013 | Conference Paper | LibreCat-ID: 20831
Geismann, J. (2013). Quelltextgenerierung für LEGO Mindstorms-Roboter. Berichtsband Der Informatiktage 2013: Smarte Sichten, Smarte Schichten, 12, 71–74.
LibreCat
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 20913
Frieben, J., Heutger, H., Meyer, M., & Becker, S. (2013). Modulare Leistungsprognose von Kompaktsteuerungen. 9. Paderborner Workshop Entwurf Mechatronischer Systeme, 147–160.
LibreCat
2013 | Conference Paper | LibreCat-ID: 484
Platenius, M. C., von Detten, M., Gerth, C., Schäfer, W., & Engels, G. (2013). Service Matching under Consideration of Explicitly Specified Service Variants. In IEEE 20th International Conference on Web Services (ICWS 2013) (pp. 613–614). https://doi.org/10.1109/ICWS.2013.98
LibreCat
| Files available
| DOI
2013 | Dissertation | LibreCat-ID: 494
von Detten, M. (2013). Reengineering of Component-Based Software Systems in the Presence of Design Deficiencies. Universität Paderborn.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 527
Christin Platenius, M. (2013). Fuzzy Service Matching in On-The-Fly Computing. In Proceedings of the Doctoral Symposium of the 9th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE) (pp. 715–718). https://doi.org/10.1145/2491411.2492405
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 560
Platenius, M., von Detten, M., Becker, S., Schäfer, W., & Engels, G. (2013). 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 (pp. 143–152). https://doi.org/10.1145/2465449.2465454
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 20974
Fockel, M., Holtmann, J., & Meyer, J. (2012). Semi-automatic establishment and maintenance of valid traceability in automotive development processes. 2012 Second International Workshop on Software Engineering for Embedded Systems (SEES). https://doi.org/10.1109/sees.2012.6225489
LibreCat
| DOI
2012 | Book Chapter | LibreCat-ID: 20914
Fockel, M., Heidl, P., Höfflinger, J., Hönninger, H., Holtmann, J., Horn, W., Meyer, J., Meyer, M., & Schäuffele, J. (2012). Application and Evaluation in the Automotive Domain. In Model-Based Engineering of Embedded Systems. https://doi.org/10.1007/978-3-642-34614-9_12
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 630
Platenius, M. C., von Detten, M., & Becker, S. (2012). Archimetrix: Improved Software Architecture Recovery in the Presence of Design Deficiencies. In Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR) (pp. 255–264). https://doi.org/10.1109/CSMR.2012.33
LibreCat
| Files available
| DOI
2012 | Journal Article | LibreCat-ID: 5183
Bodden, E., Lam, P., & Hendren, L. (2012). Partially Evaluating Finite-State Runtime Monitors Ahead of Time. ACM Transactions on Programming Languages and Systems, 34(2), 1–52. https://doi.org/10.1145/2220365.2220366
LibreCat
| Files available
| DOI
| Download (ext.)
2011 | Conference Paper | LibreCat-ID: 20958
Holtmann, J., Meyer, J., & von Detten, M. (2011). Automatic Validation and Correction of Formalized, Textual Requirements. 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops. https://doi.org/10.1109/icstw.2011.17
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 20960
Meyer, J., & Holtmann, J. (2011). Eine durchgängige Entwicklungsmethode von der Systemarchitektur bis zur Softwarearchitektur mit AUTOSAR. Tagungsband Des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung Eingebetteter Systeme VII, 21–30.
LibreCat
2011 | Conference Paper | LibreCat-ID: 20975
Fockel, M., Travkin, D., & von Detten, M. (2011). Interpreting Story Diagrams for the Static Detection of Software Patterns. Proceedings of the 8th International Fujaba Days.
LibreCat
2011 | Conference Paper | LibreCat-ID: 20915
Meyer, J., Holtmann, J., & Meyer, M. (2011). Formalisierung von Anforderungen und Betriebssystemeigenschaften zur fruehzeitigen Simulation von eingebetteten, automobilen Systemen. 8. Paderborner Workshop Entwurf Mechatronischer Systeme, 294, 203–215.
LibreCat
2011 | Conference Paper | LibreCat-ID: 20916
Holtmann, J., Meyer, J., & Meyer, M. (2011). A Seamless Model-Based Development Process for Automotive Systems. Software Engineering 2011 – Workshopband (Inkl. Doktorandensymposium), P-184, 79–88.
LibreCat
2011 | Mastersthesis | LibreCat-ID: 650
Platenius, M. C. (2011). Reengineering of Design Deficiencies in Component-Based Software Architectures. Universität Paderborn.
LibreCat
2010 | Conference Paper | LibreCat-ID: 20934
von Detten, M., Meyer, M., & Travkin, D. (2010). Reverse Engineering with the Reclipse Tool Suite. Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2-8, 2010, 2, 299–300.
LibreCat
2010 | Report | LibreCat-ID: 20935
von Detten, M., Meyer, M., & Travkin, D. (2010). Reclipse - A Reverse Engineering Tool Suite.
LibreCat
2010 | Conference Paper | LibreCat-ID: 20936
Löffler, R., Meyer, M., & Gottschalk, M. (2010). Formal Scenario-based Requirements Specification and Test Case Generation in Healthcare Applications. Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care, 57–67.
LibreCat
2010 | Book Chapter | LibreCat-ID: 20961
Seebach, H., Nafz, F., Holtmann, J., Meyer, J., Tichy, M., Reif, W., & Schäfer, W. (2010). Designing Self-healing in Automotive Systems. In Lecture Notes in Computer Science. https://doi.org/10.1007/978-3-642-16576-4_4
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 20962
Holtmann, J. (2010). Mit Satzmustern von textuellen Anforderungen zu Modellen. OBJEKTspektrum, RE/2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 20963
Meyer, J., Holtmann, J., Schäfer, W., & Nickel, U. A. (2010). Eine erweiterte Systemmodellierung zur Entwicklung von softwareintensiven Anwendungen in der Automobilindustrie. Software Engineering 2010 – Workshopband (Inkl. Doktorandensymposium), P-160.
LibreCat
2009 | Dissertation | LibreCat-ID: 20937
Meyer, M. (2009). Musterbasiertes Re-Engineering von Softwaresystemen. Universitaetsbibliothek Paderborn.
LibreCat
| Download (ext.)
2008 | Conference Paper | LibreCat-ID: 20938
Tichy, M., Henkler, S., Meyer, M., & von Detten, M. (2008). Safety of Component-Based Systems: Analysis and Improvement using Fujaba4Eclipse. Companion Proceedings of the 30th International Conference on Software Engineering (ICSE), Leipzig, Germany.
LibreCat
2008 | Conference Paper | LibreCat-ID: 20957
Kindler, E., & Schmelter, D. (2008). Aspect-oriented modelling from a different angle. Proceedings of the 2008 AOSD Workshop on Aspect-Oriented Modeling - AOM ’08. https://doi.org/10.1145/1404920.1404922
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 20964
Holtmann, J., & Tichy, M. (2008). Component Story Diagrams in Fujaba4Eclipse. Proc. of the 6th International Fujaba Days 2008, Dresden, Germany, 44–47.
LibreCat
2008 | Mastersthesis | LibreCat-ID: 20965
Holtmann, J. (2008). Graphtransformationen für komponentenbasierte Softwarearchitekturen. Software Engineering Group, University of Paderborn.
LibreCat
2008 | Conference Paper | LibreCat-ID: 20966
Tichy, M., Henkler, S., Holtmann, J., & Oberthür, S. (2008). Component Story Diagrams: A Transformation Language for Component Structures in Mechatronic Systems. Proceedings of the 4th Workshop on Object-Oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany, 236, 27–38.
LibreCat
2008 | Mastersthesis | LibreCat-ID: 20968
Holtmann, J. (2008). Graphtransformationen für komponentenbasierte Softwarearchitekturen. Software Engineering Group, University of Paderborn.
LibreCat
2007 | Conference Paper | LibreCat-ID: 20949
Delic, A., Avdagic, Z., Schäfer, W., Boskovic, D., & Meyer, M. (2007). Program evaluation using fuzzy logic with bad smells as inputs. Proc. of the 21st International Symposium on Information, Communication and Automation Technologies (ICAT 2007), Sarajevo, Bosnia Herzegovina.
LibreCat
2006 | Conference Paper | LibreCat-ID: 20950
Meyer, M. (2006). Pattern-based Reengineering of Software Systems. Proceedings of the 13th Working Conference on Reverse Engineering (WCRE 2006), Benevento, Italy, 305–306.
LibreCat
2006 | Conference Paper | LibreCat-ID: 20951
Giese, H., Meyer, M., & Wagner, R. (2006). A Prototype for Guideline Checking and Model Transformation in Matlab/Simulink. Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany, tr-ri-06-275, 56–60.
LibreCat
2006 | Conference Paper | LibreCat-ID: 20952
Tichy, M., Meyer, M., & Giese, H. (2006). On Semantic Issues in Story Diagrams. Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany, tr-ri-06-275, 10–14.
LibreCat
2006 | Bachelorsthesis | LibreCat-ID: 20967
Holtmann, J. (2006). Entwicklung von Geschäftsprozessmustern zur Qualitätssicherung. University of Paderborn.
LibreCat
2005 | Conference Paper | LibreCat-ID: 20926
Meyer, M., & Wendehals, L. (2005). Selective Tracing for Dynamic Analyses. Proc. of the 1st Workshop on Program Comprehension through Dynamic Analysis (PCODA), Co-Located with the 12th WCRE, Pittsburgh, Pennsylvania, USA, 2005–12, 33–37.
LibreCat
2005 | Conference Paper | LibreCat-ID: 20929
Meyer, M., & Niere, J. (2005). Calculation and Visualization of Software Product Metrics. Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany, tr-ri-05-259, 41–44.
LibreCat
2005 | Conference Paper | LibreCat-ID: 20930
Travkin, D., & Meyer, M. (2005). Generation of Type Safe Association Implementations. Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany, tr-ri-05-259, 63–66.
LibreCat
2004 | Report | LibreCat-ID: 20933
Niere, J., Meyer, M., & Wendehals, L. (2004). User-driven adaption in rule-based pattern recognition.
LibreCat
2004 | Conference Paper | LibreCat-ID: 20931
Meyer, M., & Wendehals, L. (2004). Teaching Object-Oriented Concepts with Eclipse. 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, 1–5.
LibreCat
2004 | Conference Paper | LibreCat-ID: 20932
Wendehals, L., Meyer, M., & Elsner, A. (2004). Selective Tracing of Java Programs. Proc. of the 2nd International Fujaba Days 2004, Darmstadt, Germany, tr-ri-04-253, 7–10.
LibreCat