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.
12166 Publications
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 | Bachelorsthesis | LibreCat-ID: 18026
Burkhardt, M. (2017). Untersuchungen zum Cone-Hashing. Universität Paderborn.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 18027
Banh, N. C. (2017). An Asynchronous Adaption of a Churn-resistant Overlay Network. Universität Paderborn.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 18028
Schenk, A. (2017). Monotone Suchbarkeit in mehrdimensionalen verteilten Datenstrukturen. Universität Paderborn.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 18029
Beckendorf, B. (2017). Visualisierung zu Algorithmen verteilter Netzwerksysteme. Universität Paderborn.
LibreCat
2017 | Journal Article | LibreCat-ID: 1812
Koutsopoulos, A., Scheideler, C., & Strothmann, T. F. (2017). Towards a universal approach for the finite departure problem in overlay networks. Inf. Comput., 408--424. https://doi.org/10.1016/j.ic.2016.12.006
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 1813
P. Fekete, S., W. Richa, A., Römer, K., & Scheideler, C. (2017). Algorithmic Foundations of Programmable Matter Dagstuhl Seminar 16271. SIGACT News, (2), 87--94. https://doi.org/10.1145/3106700.3106713
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 1814
Derakhshandeh, Z., Gmyr, R., W. Richa, A., Scheideler, C., & Strothmann, T. F. (2017). Universal coating for programmable matter. Theor. Comput. Sci., 56--68. https://doi.org/10.1016/j.tcs.2016.02.039
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 1815
J. Daymude, J., Gmyr, R., W. Richa, A., Scheideler, C., & Strothmann, T. F. (2017). Improved Leader Election for Self-organizing Programmable Matter. In Algorithms for Sensor Systems - 13th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2017, Vienna, Austria, September 7-8, 2017, Revised Selected Papers (pp. 127--140). https://doi.org/10.1007/978-3-319-72751-6_10
LibreCat
| DOI
2017 | Conference (Editor) | LibreCat-ID: 1820
Scheideler, C., & Taghi Hajiaghayi, M. (Eds.). (2017). Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2017, Washington DC, USA, July 24-26, 2017. https://doi.org/10.1145/3087556
LibreCat
| DOI
2017 | Book | LibreCat-ID: 22419
Künneke, T., & Zimmer, D. (2017). Funktionsintegration additiv gefertigter Dämpfungsstrukturen bei Biegeschwingungen (pp. 61–74). Springer Fachmedien Wiesbaden GmbH. https://doi.org/10.1007/978-3-658-17780-5
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 22420
Lammers, S., Quattrone, F., Mrozek, R., Zimmer, D., Schmid, H.-J., Ponick, B., & Hoffmann, M. (2017). Entwicklung und additive Herstellung einer Leichtbau-Rotorwelle für eine permanentmagneterregte Synchronmaschine. In Proceedings of the 14th Rapid.Tech Conference (pp. 80–93). Hanser Verlag. https://doi.org/10.3139/9783446454606.006
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 22421
Lieneke, T., Adam, G., Josupeit, S., Delfs, P., & Zimmer, D. (2017). Maßtoleranzen für die additive Fertigung: Experimentelle Untersuchungen für das Lasersintern. In Proceedings of the 14th Rapid.Tech Conference (pp. 327–344). Hanser Verlag. https://doi.org/10.3139/9783446454606.024
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 22425
Lieneke, T., Denzer, V., & Zimmer, D. (2017). Geometrische Toleranzen für additive Fertigungsverfahren. In 3. Summer School Toleranzmangement 2017 (Vol. 3).
LibreCat