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
2017 | Report | LibreCat-ID: 20554
Bodden, E. (2017). Self-adaptive static analysis.
LibreCat
| Download (ext.)
2017 | Report | LibreCat-ID: 20555
Krüger, S., Späth, J., Ali, K., Bodden, E., & Mezini, M. (2017). CrySL: Validating Correct Usage of Cryptographic APIs.
LibreCat
| Download (ext.)
2017 | Journal Article | LibreCat-ID: 20557
Lillack, M., Kästner, C., & Bodden, E. (2017). Tracking Load-time Configuration Options. IEEE Transactions on Software Engineering, PP(99), 1–1. https://doi.org/10.1109/TSE.2017.2756048
LibreCat
| DOI
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 20558
Krüger, S., Nadi, S., Reif, M., Ali, K., Mezini, M., Bodden, E., Göpfert, F., Günther, F., Weinert, C., Demmler, D., & Kamath, R. (2017). CogniCrypt: Supporting Developers in using Cryptography. International Conference on Automated Software Engineering (ASE 2017), Tool Demo Track.
LibreCat
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 20559
Do, L. N. Q., Ali, K., Livshits, B., Bodden, E., Smith, J., & Murphy-Hill, E. (2017). Just-in-time Static Analysis. Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, 307–317. https://doi.org/10.1145/3092703.3092705
LibreCat
| DOI
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 20715
Nguyen Quang Do, L., Ali, K., Livshits, B., Bodden, E., Smith, J., & Murphy-Hill, E. (2017). Cheetah: Just-in-Time Taint Analysis for Android Apps. International Conference for Software Engineering (ICSE), Tool Demonstrations Track.
LibreCat
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 20792
Schivo, S., Yildiz., B. M., Ruijters, E., Gerking, C., Kumar, R., Dziwok, S., Rensink, A., & Stoelinga, M. (2017). How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach. In K. G. Larsen, O. Sokolsky, & J. Wang (Eds.), Dependable Software Engineering, 3rd International Symposium (SETTA 2017) (Issue 10606, pp. 319–336). Springer. https://doi.org/10.1007/978-3-319-69483-2_19
LibreCat
| DOI
2017 | Dissertation | LibreCat-ID: 20794
Dziwok, S. (2017). Specification and Verification for Real-Time Coordination Protocols of Cyber-physical Systems. Paderborn University.
LibreCat
2017 | Conference Paper | LibreCat-ID: 20797
Gerking, C., Schubert, D., & Budde, I. (2017). Reducing the Verbosity of Imperative Model Refinements by using General-Purpose Language Facilities. In E. Guerra & M. van den Brand (Eds.), Theory and Practice of Model Transformation, 10th International Conference (ICMT 2017) (Issue 10374, pp. 19–34). Springer.
LibreCat
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 20804
Geismann, J., Pohlmann, U., & Schmelter, D. (2017). Towards an Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems. Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development.
LibreCat
2017 | Dissertation | LibreCat-ID: 20805
Becker, M. (2017). Engineering Self-Adaptive Systems with Simulation-Based Performance Prediction. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik.
LibreCat
2017 | Conference Paper | LibreCat-ID: 5204
Späth, J., Ali, K., & Bodden, E. (2017). IDEal: Efficient and Precise Alias-aware Dataflow Analysis. In 2017 International Conference on Object-Oriented Programming, Languages and Applications (OOPSLA/SPLASH). ACM Press.
LibreCat
| Files available
| Download (ext.)
2017 | Journal Article | LibreCat-ID: 5209
Fischer, A., Fuhry, B., Kerschbaum, F., & Bodden, E. (2017). Computation on Encrypted Data using Data Flow Authentication. CoRR, abs/1710.00390.
LibreCat
| Files available
| Download (ext.)
2017 | Dissertation | LibreCat-ID: 102
Becker, M. (2017). Engineering Self-Adaptive Systems with Simulation-Based Performence Prediction. Universität Paderborn. https://doi.org/10.17619/UNIPB/1-133
LibreCat
| DOI
2016 | Dissertation | LibreCat-ID: 195
Platenius, M. C. (2016). Fuzzy Matching of Comprehensive Service Specifications. Universität Paderborn.
LibreCat
| Files available
2016 | Report | LibreCat-ID: 198
Jazayeri, B., Platenius, M. C., Engels, G., & Kundisch, D. (2016). Features of IT Service Markets: A Systematic Literature Review (Supplementary Material). Universität Paderborn.
LibreCat
| Files available
2016 | Conference Paper | LibreCat-ID: 199
Jazayeri, B., Platenius, M., Engels, G., & Kundisch, D. (2016). Features of IT Service Markets: A Systematic Literature Review. In Proceedings of the 14th International Conference on Service Oriented Computing (ICSOC) (Vol. 9936, pp. 301–316). Banff, Canada: Springer. https://doi.org/10.1007/978-3-319-46295-0_19
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 20556
Bodden, E., I Pun, K., Steffen, M., Stolz, V., & Wickert, A.-K. (2016). Information Flow Analysis for Go. Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}, 431–445. https://doi.org/10.1007/978-3-319-47166-2_30
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20716
Bodden, E., Eichberg, M., I Pun, K., Steffen, M., Stolz, V., & Wickert, A.-K. (2016). Don’t let data Go astray---A Context-Sensitive Taint Analysis for Concurrent Programs in Go. Nordic Workshop on Programming Theory (NWPT’16).
LibreCat
| Download (ext.)
2016 | Report | LibreCat-ID: 20717
Nguyen Quang Do, L., Ali, K., Livshits, B., Bodden, E., Smith, J., & Murphy-Hill, E. (2016). Just-in-Time Static Analysis. http://dx.doi.org/10.7939/DVN/10859
LibreCat
| DOI
| Download (ext.)