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
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.)
2012 | Conference Paper | LibreCat-ID: 565
Besova, G., Walther, S., Wehrheim, H., & Becker, S. (2012). Weaving-based configuration and modular transformation of multi-layer systems. In Proceedings of the 15th International Conference on Model Driven Engineering Languages & Systems (MoDELS) (pp. 776–792). https://doi.org/10.1007/978-3-642-33666-9_49
LibreCat
| Files available
| DOI
2011 | Conference Paper | LibreCat-ID: 644
von Detten, M. (2011). 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) (pp. 17–20). https://doi.org/10.1145/2024569.2024573
LibreCat
| Files available
| DOI
2011 | Journal Article | LibreCat-ID: 647
Leuschel, M., & Wehrheim, H. (2011). Selected papers on Integrated Formal Methods (iFM09). Science of Computer Programming, (10), 835--836. https://doi.org/10.1016/j.scico.2011.01.009
LibreCat
| Files available
| DOI
2011 | Journal Article | LibreCat-ID: 649
Besova, G., Wehrheim, H., & Wagner, A. (2011). Reputation-based Reliability Prediction of Service Compositions. Electronic Notes in Theoretical Computer Science, (2), 3–16. https://doi.org/10.1016/j.entcs.2011.11.008
LibreCat
| Files available
| DOI
2011 | Mastersthesis | LibreCat-ID: 650
Platenius, M. C. (2011). Reengineering of Design Deficiencies in Component-Based Software Architectures. Universität Paderborn.
LibreCat
2011 | Conference Paper | LibreCat-ID: 652
Gerth, C., Luckey, M., Küster, J., & Engels, G. (2011). Precise Mappings between Business Process Models in Versioning Scenarios. In Proceedings of the IEEE 8th International Conference on Service Computingt (SCC) (pp. 218--225). https://doi.org/10.1109/SCC.2011.65
LibreCat
| Files available
| DOI
2011 | Conference Paper | LibreCat-ID: 653
Lehrig, S., & Zolynski, T. (2011). Performance Prototyping with ProtoCom in a Virtualised Environment: A Case Study. In Proceedings of the Palladio Days 2011 (pp. 15–22). https://doi.org/10.5445/IR/1000025188
LibreCat
| Files available
| DOI
2011 | Mastersthesis | LibreCat-ID: 655
Meyer, J. (2011). Modellgetriebene Skalierbarkeitsanalyse von selbst-adaptiven Komponentenbasierten Softwaresystemen in der Cloud. Universität Paderborn.
LibreCat
2011 | Mastersthesis | LibreCat-ID: 658
Schremmer, A. (2011). Function Specification Inference Using Craig Interpolation. Universität Paderborn.
LibreCat
2011 | Mastersthesis | LibreCat-ID: 661
Arifulina, S. (2011). Coverage Criteria for Testing DMM Specifications. Universität Paderborn.
LibreCat
2011 | Conference Paper | LibreCat-ID: 666
Drzevitzky, S., & Platzner, M. (2011). 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) (pp. 58–65). https://doi.org/10.1109/ReCoSoC.2011.5981499
LibreCat
| Files available
| DOI