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 | Conference Paper | LibreCat-ID: 608
Heuristic-Guided Abstraction Refinement for Concurrent Systems
N. Timm, H. Wehrheim, M. Czech, in: Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM), 2012, pp. 348–363.
LibreCat
| Files available
| DOI
N. Timm, H. Wehrheim, M. Czech, in: Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM), 2012, pp. 348–363.
2012 | Mastersthesis | LibreCat-ID: 610
Generating Prototypes of Adaptive Component-based Software Systems for Performance Analysis
M. Mohr, Generating Prototypes of Adaptive Component-Based Software Systems for Performance Analysis, Universität Paderborn, 2012.
LibreCat
| Files available
M. Mohr, Generating Prototypes of Adaptive Component-Based Software Systems for Performance Analysis, Universität Paderborn, 2012.
2012 | Mastersthesis | LibreCat-ID: 614
Empirischer, quantitativer Vergleich von Modelltransformationssprachen
S. Lehrig, Empirischer, quantitativer Vergleich von Modelltransformationssprachen, Universität Paderborn, 2012.
LibreCat
S. Lehrig, Empirischer, quantitativer Vergleich von Modelltransformationssprachen, Universität Paderborn, 2012.
2012 | Conference Paper | LibreCat-ID: 617
Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems
A. Jungmann, B. Kleinjohann, E. Kleinjohann, M. Bieshaar, in: Proceedings of the Fourth International Conference on Resource Intensive Applications and Services (INTENSIVE), 2012, pp. 22–29.
LibreCat
| Files available
A. Jungmann, B. Kleinjohann, E. Kleinjohann, M. Bieshaar, in: Proceedings of the Fourth International Conference on Resource Intensive Applications and Services (INTENSIVE), 2012, pp. 22–29.
2012 | Conference Paper | LibreCat-ID: 622
Coverage Criteria for Testing DMM Specifications
S. Arifulina, G. Engels, C. Soltenborn, in: Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT), 2012.
LibreCat
| Files available
| DOI
S. Arifulina, G. Engels, C. Soltenborn, in: Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT), 2012.
2012 | Mastersthesis | LibreCat-ID: 624
Change and Validity Analysis in Deductive Program Verification
M.-C. Jakobs, Change and Validity Analysis in Deductive Program Verification, Universität Paderborn, 2012.
LibreCat
M.-C. Jakobs, Change and Validity Analysis in Deductive Program Verification, Universität Paderborn, 2012.
2012 | Conference Paper | LibreCat-ID: 627
Block Abstraction Memoization for CPAchecker
D. Wonisch, in: Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2012, pp. 531–533.
LibreCat
| Files available
| DOI
D. Wonisch, in: Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2012, pp. 531–533.
2012 | Conference Paper | LibreCat-ID: 630
Archimetrix: Improved Software Architecture Recovery in the Presence of Design Deficiencies
M.C. Platenius, M. von Detten, S. Becker, in: Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR), 2012, pp. 255–264.
LibreCat
| Files available
| DOI
M.C. Platenius, M. von Detten, S. Becker, in: Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR), 2012, pp. 255–264.
2012 | Conference Paper | LibreCat-ID: 631
Archimetrix: A Tool for Deficiency-Aware Software Architecture Reconstruction
M. von Detten, in: Proceedings of the 19th Working Conference on Reverse Engineering (WCRE), 2012, pp. 503–504.
LibreCat
| Files available
| DOI
M. von Detten, in: Proceedings of the 19th Working Conference on Reverse Engineering (WCRE), 2012, pp. 503–504.
2012 | Conference Paper | LibreCat-ID: 639
A UML-based Rich Service Description for Automatic Service Discovery
Z. Huma, C. Gerth, G. Engels, O. Juwig, in: Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information Systems Engineering, 2012, pp. 90--97.
LibreCat
| Files available
Z. Huma, C. Gerth, G. Engels, O. Juwig, in: Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information Systems Engineering, 2012, pp. 90--97.
2012 | Journal Article | LibreCat-ID: 5183
Partially Evaluating Finite-State Runtime Monitors Ahead of Time
E. Bodden, P. Lam, L. Hendren, ACM Transactions on Programming Languages and Systems 34 (2012) 1–52.
LibreCat
| Files available
| DOI
| Download (ext.)
E. Bodden, P. Lam, L. Hendren, ACM Transactions on Programming Languages and Systems 34 (2012) 1–52.
2012 | Conference Paper | LibreCat-ID: 565
Weaving-based configuration and modular transformation of multi-layer systems
G. Besova, S. Walther, H. Wehrheim, S. Becker, in: Proceedings of the 15th International Conference on Model Driven Engineering Languages & Systems (MoDELS), 2012, pp. 776–792.
LibreCat
| Files available
| DOI
G. Besova, S. Walther, H. Wehrheim, S. Becker, in: Proceedings of the 15th International Conference on Model Driven Engineering Languages & Systems (MoDELS), 2012, pp. 776–792.
2011 | Conference Paper | LibreCat-ID: 644
Towards Systematic, Comprehensive Trace Generation for Behavioral Pattern Detection through Symbolic Execution
M. von Detten, 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
M. von Detten, in: Proceedings of the 10th ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE), 2011, pp. 17–20.
2011 | Journal Article | LibreCat-ID: 647
Selected papers on Integrated Formal Methods (iFM09)
M. Leuschel, H. Wehrheim, Science of Computer Programming (2011) 835--836.
LibreCat
| Files available
| DOI
M. Leuschel, H. Wehrheim, Science of Computer Programming (2011) 835--836.
2011 | Journal Article | LibreCat-ID: 649
Reputation-based Reliability Prediction of Service Compositions
G. Besova, H. Wehrheim, A. Wagner, Electronic Notes in Theoretical Computer Science (2011) 3–16.
LibreCat
| Files available
| DOI
G. Besova, H. Wehrheim, A. Wagner, Electronic Notes in Theoretical Computer Science (2011) 3–16.
2011 | Mastersthesis | LibreCat-ID: 650
Reengineering of Design Deficiencies in Component-Based Software Architectures
M.C. Platenius, Reengineering of Design Deficiencies in Component-Based Software Architectures, Universität Paderborn, 2011.
LibreCat
M.C. Platenius, Reengineering of Design Deficiencies in Component-Based Software Architectures, Universität Paderborn, 2011.
2011 | Conference Paper | LibreCat-ID: 652
Precise Mappings between Business Process Models in Versioning Scenarios
C. Gerth, M. Luckey, J. Küster, G. Engels, in: Proceedings of the IEEE 8th International Conference on Service Computingt (SCC), 2011, pp. 218--225.
LibreCat
| Files available
| DOI
C. Gerth, M. Luckey, J. Küster, G. Engels, in: Proceedings of the IEEE 8th International Conference on Service Computingt (SCC), 2011, pp. 218--225.
2011 | Conference Paper | LibreCat-ID: 653
Performance Prototyping with ProtoCom in a Virtualised Environment: A Case Study
S. Lehrig, T. Zolynski, in: Proceedings of the Palladio Days 2011, 2011, pp. 15–22.
LibreCat
| Files available
| DOI
S. Lehrig, T. Zolynski, in: Proceedings of the Palladio Days 2011, 2011, pp. 15–22.
2011 | Mastersthesis | LibreCat-ID: 655
Modellgetriebene Skalierbarkeitsanalyse von selbst-adaptiven Komponentenbasierten Softwaresystemen in der Cloud
J. Meyer, Modellgetriebene Skalierbarkeitsanalyse von selbst-adaptiven Komponentenbasierten Softwaresystemen in der Cloud, Universität Paderborn, 2011.
LibreCat
J. Meyer, Modellgetriebene Skalierbarkeitsanalyse von selbst-adaptiven Komponentenbasierten Softwaresystemen in der Cloud, Universität Paderborn, 2011.
2011 | Mastersthesis | LibreCat-ID: 658
Function Specification Inference Using Craig Interpolation
A. Schremmer, Function Specification Inference Using Craig Interpolation, Universität Paderborn, 2011.
LibreCat
A. Schremmer, Function Specification Inference Using Craig Interpolation, Universität Paderborn, 2011.