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.
367 Publications
2012 | Journal Article | LibreCat-ID: 5183
E. Bodden, P. Lam, and L. Hendren, “Partially Evaluating Finite-State Runtime Monitors Ahead of Time,” ACM Transactions on Programming Languages and Systems, vol. 34, no. 2, pp. 1–52, 2012.
LibreCat
| Files available
| DOI
| Download (ext.)
2012 | Conference Paper | LibreCat-ID: 565
G. Besova, S. Walther, H. Wehrheim, and S. Becker, “Weaving-based configuration and modular transformation of multi-layer systems,” in Proceedings of the 15th International Conference on Model Driven Engineering Languages & Systems (MoDELS), 2012, pp. 776–792.
LibreCat
| Files available
| DOI
2011 | Conference Paper | LibreCat-ID: 644
M. von Detten, “Towards Systematic, Comprehensive Trace Generation for Behavioral Pattern Detection through Symbolic Execution,” in Proceedings of the 10th ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE), 2011, pp. 17–20.
LibreCat
| Files available
| DOI
2011 | Journal Article | LibreCat-ID: 647
M. Leuschel and H. Wehrheim, “Selected papers on Integrated Formal Methods (iFM09),” Science of Computer Programming, no. 10, pp. 835--836, 2011.
LibreCat
| Files available
| DOI
2011 | Journal Article | LibreCat-ID: 649
G. Besova, H. Wehrheim, and A. Wagner, “Reputation-based Reliability Prediction of Service Compositions,” Electronic Notes in Theoretical Computer Science, no. 2, pp. 3–16, 2011.
LibreCat
| Files available
| DOI
2011 | Mastersthesis | LibreCat-ID: 650
M. C. Platenius, Reengineering of Design Deficiencies in Component-Based Software Architectures. Universität Paderborn, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 652
C. Gerth, M. Luckey, J. Küster, and G. Engels, “Precise Mappings between Business Process Models in Versioning Scenarios,” in Proceedings of the IEEE 8th International Conference on Service Computingt (SCC), 2011, pp. 218--225.
LibreCat
| Files available
| DOI
2011 | Conference Paper | LibreCat-ID: 653
S. Lehrig and T. Zolynski, “Performance Prototyping with ProtoCom in a Virtualised Environment: A Case Study,” in Proceedings of the Palladio Days 2011, 2011, pp. 15–22.
LibreCat
| Files available
| DOI
2011 | Mastersthesis | LibreCat-ID: 655
J. Meyer, Modellgetriebene Skalierbarkeitsanalyse von selbst-adaptiven Komponentenbasierten Softwaresystemen in der Cloud. Universität Paderborn, 2011.
LibreCat
2011 | Mastersthesis | LibreCat-ID: 658
A. Schremmer, Function Specification Inference Using Craig Interpolation. Universität Paderborn, 2011.
LibreCat
2011 | Mastersthesis | LibreCat-ID: 661
S. Arifulina, Coverage Criteria for Testing DMM Specifications. Universität Paderborn, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 666
S. Drzevitzky and M. Platzner, “Achieving Hardware Security for Reconfigurable Systems on Chip by a Proof-Carrying Code Approach,” in Proceedings of the 6th International Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC), 2011, pp. 58–65.
LibreCat
| Files available
| DOI