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
@article{Bodden_Lam_Hendren_2012, title={Partially Evaluating Finite-State Runtime Monitors Ahead of Time}, volume={34}, DOI={10.1145/2220365.2220366}, number={2}, journal={ACM Transactions on Programming Languages and Systems}, publisher={Association for Computing Machinery (ACM)}, author={Bodden, Eric and Lam, Patrick and Hendren, Laurie}, year={2012}, pages={1–52} }
LibreCat
| Files available
| DOI
| Download (ext.)
2012 | Conference Paper | LibreCat-ID: 565
@inproceedings{Besova_Walther_Wehrheim_Becker_2012, series={LNCS}, title={Weaving-based configuration and modular transformation of multi-layer systems}, DOI={10.1007/978-3-642-33666-9_49}, booktitle={Proceedings of the 15th International Conference on Model Driven Engineering Languages & Systems (MoDELS)}, author={Besova, Galina and Walther, Sven and Wehrheim, Heike and Becker, Steffen}, year={2012}, pages={776–792}, collection={LNCS} }
LibreCat
| Files available
| DOI
2011 | Conference Paper | LibreCat-ID: 644
@inproceedings{von Detten_2011, title={Towards Systematic, Comprehensive Trace Generation for Behavioral Pattern Detection through Symbolic Execution}, DOI={10.1145/2024569.2024573}, booktitle={Proceedings of the 10th ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE)}, author={von Detten, Markus}, year={2011}, pages={17–20} }
LibreCat
| Files available
| DOI
2011 | Journal Article | LibreCat-ID: 647
@article{Leuschel_Wehrheim_2011, title={Selected papers on Integrated Formal Methods (iFM09)}, DOI={10.1016/j.scico.2011.01.009}, number={10}, journal={Science of Computer Programming}, publisher={Elsevier}, author={Leuschel, Michael and Wehrheim, Heike}, year={2011}, pages={835--836} }
LibreCat
| Files available
| DOI
2011 | Journal Article | LibreCat-ID: 649
@article{Besova_Wehrheim_Wagner_2011, title={Reputation-based Reliability Prediction of Service Compositions}, DOI={10.1016/j.entcs.2011.11.008}, number={2}, journal={Electronic Notes in Theoretical Computer Science}, publisher={Elsevier}, author={Besova, Galina and Wehrheim, Heike and Wagner, Annika}, year={2011}, pages={3–16} }
LibreCat
| Files available
| DOI
2011 | Mastersthesis | LibreCat-ID: 650
@book{Platenius_2011, title={Reengineering of Design Deficiencies in Component-Based Software Architectures}, publisher={Universität Paderborn}, author={Platenius, Marie Christin}, year={2011} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 652
@inproceedings{Gerth_Luckey_Küster_Engels_2011, title={Precise Mappings between Business Process Models in Versioning Scenarios}, DOI={10.1109/SCC.2011.65}, booktitle={Proceedings of the IEEE 8th International Conference on Service Computingt (SCC)}, author={Gerth, Christian and Luckey, Markus and Küster, Jochen and Engels, Gregor}, year={2011}, pages={218--225} }
LibreCat
| Files available
| DOI
2011 | Conference Paper | LibreCat-ID: 653
@inproceedings{Lehrig_Zolynski_2011, series={Karlsruhe Reports in Informatics}, title={Performance Prototyping with ProtoCom in a Virtualised Environment: A Case Study}, DOI={10.5445/IR/1000025188 }, booktitle={Proceedings of the Palladio Days 2011}, author={Lehrig, Sebastian and Zolynski, Thomas}, year={2011}, pages={15–22}, collection={Karlsruhe Reports in Informatics} }
LibreCat
| Files available
| DOI
2011 | Mastersthesis | LibreCat-ID: 655
@book{Meyer_2011, title={Modellgetriebene Skalierbarkeitsanalyse von selbst-adaptiven Komponentenbasierten Softwaresystemen in der Cloud}, publisher={Universität Paderborn}, author={Meyer, Joachim}, year={2011} }
LibreCat
2011 | Mastersthesis | LibreCat-ID: 658
@book{Schremmer_2011, title={Function Specification Inference Using Craig Interpolation}, publisher={Universität Paderborn}, author={Schremmer, Alexander}, year={2011} }
LibreCat
2011 | Mastersthesis | LibreCat-ID: 661
@book{Arifulina_2011, title={Coverage Criteria for Testing DMM Specifications}, publisher={Universität Paderborn}, author={Arifulina, Svetlana}, year={2011} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 666
@inproceedings{Drzevitzky_Platzner_2011, title={Achieving Hardware Security for Reconfigurable Systems on Chip by a Proof-Carrying Code Approach}, DOI={10.1109/ReCoSoC.2011.5981499}, booktitle={Proceedings of the 6th International Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC)}, author={Drzevitzky, Stephanie and Platzner, Marco}, year={2011}, pages={58–65} }
LibreCat
| Files available
| DOI