@inproceedingsWiersema_Drzevitzky_Platzner_2014, title=Memory Security in Reconfigurable Computers: Combining Formal Verification with Monitoring, DOI=10.1109/FPT.2014.7082771, booktitle=Proceedings of the International Conference on Field-Programmable Technology (FPT), author=Wiersema, Tobias and Drzevitzky, Stephanie and Platzner, Marco, year=2014, pages=167–174 
LibreCat: /record/399
DOI: 10.1109/FPT.2014.7082771

@inproceedingsPlatenius_Arifulina_Petrlic_Schäfer_2014, series=Communications in Computer and Information Science, title=Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching, DOI=10.1007/978-3-319-14886-1_2, booktitle=Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet, author=Platenius, Marie Christin and Arifulina, Svetlana and Petrlic, Ronald and Schäfer, Wilhelm, year=2014, pages=6–17, collection=Communications in Computer and Information Science 
LibreCat: /record/401
DOI: 10.1007/978-3-319-14886-1_2

@inproceedingsArifulina_Platenius_Gerth_Becker_Engels_Schäfer_2014, series=LNCS, title=Market-optimized Service Specification and Matching, DOI=10.1007/978-3-662-45391-9_47, booktitle=Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014), author=Arifulina, Svetlana and Platenius, Marie Christin and Gerth, Christian and Becker, Steffen and Engels, Gregor and Schäfer, Wilhelm, editor=Franch, Xavier and Ghose, AdityaK. and Lewis, GraceA. and Bhiri, SamiEditors, year=2014, pages=543–550, collection=LNCS 
LibreCat: /record/402
DOI: 10.1007/978-3-662-45391-9_47

@inproceedingsJakobs_Platzner_Wiersema_Wehrheim_2014, series=LNCS, title=Integrating Software and Hardware Verification, DOI=10.1007/978-3-319-10181-1_19, booktitle=Proceedings of the 11th International Conference on Integrated Formal Methods (iFM), author=Jakobs, Marie-Christine and Platzner, Marco and Wiersema, Tobias and Wehrheim, Heike, editor=Albert, Elvira and Sekerinski, EmilEditors, year=2014, pages=307–322, collection=LNCS 
LibreCat: /record/408
DOI: 10.1007/978-3-319-10181-1_19

@inproceedingsPlatenius_Becker_Schäfer_2014, series=LNCS, title=Integrating Service Matchers into a Service Market Architecture, DOI=10.1007/978-3-319-09970-5_19, booktitle=Proceedings of the 8th European Conference on Software Architecture (ECSA 2014), author=Platenius, Marie Christin and Becker, Steffen and Schäfer, Wilhelm, editor=Avgeriou, Paris and Zdun, UweEditors, year=2014, pages=210–217, collection=LNCS 
LibreCat: /record/409
DOI: 10.1007/978-3-319-09970-5_19

@inproceedingsFeldotto_Scheideler_Graffi_2014, title=HSkip+: A Self-Stabilizing Overlay Network for Nodes with Heterogeneous Bandwidths, DOI=10.1109/P2P.2014.6934300, booktitle=Proceedings of the 14th IEEE International Conference on Peer-to-Peer Computing (P), author=Feldotto, Matthias and Scheideler, Christian and Graffi, Kalman, year=2014, pages=1–10 
LibreCat: /record/412
DOI: 10.1109/P2P.2014.6934300
arXiv: 1408.0395

@bookJochheim_2014, title=Hiding software components using functional encryption, publisher=Universität Paderborn, author=Jochheim, Janek, year=2014 
LibreCat: /record/414

@bookBemmann_2014, title=Group Signature Schemes with Strong Exculpability, publisher=Universität Paderborn, author=Bemmann, Pascal, year=2014 
LibreCat: /record/416

@inproceedingsBesova_Steenke_Wehrheim_2014, title=Grammar-based model transformations, DOI=10.1016/j.cl.2015.05.003, booktitle=Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD), author=Besova, Galina and Steenke, Dominik and Wehrheim, Heike, year=2014, pages=1601–1610 
LibreCat: /record/417
DOI: 10.1016/j.cl.2015.05.003

@bookPauck_2014, title=Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren, publisher=Universität Paderborn, author=Pauck, Felix, year=2014 
LibreCat: /record/418

@bookLippert_2014, title=Fujisaki-Okamoto Transformation, publisher=Universität Paderborn, author=Lippert, Jan, year=2014 
LibreCat: /record/421

@bookDornseifer_2014, title=Evaluation of a Hybrid Packet-/Circuit-Switched Data Center Network, publisher=Universität Paderborn, author=Dornseifer, Veit, year=2014 
LibreCat: /record/426

@inproceedingsMohr_2014, series=LNCS, title=Estimating Functional Reusability of Services, booktitle=Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC), author=Mohr, Felix, year=2014, pages=411–418, collection=LNCS 
LibreCat: /record/428

@bookKling_2014, title=Energy-efficient Scheduling Algorithms, publisher=Universität Paderborn, author=Kling, Peter, year=2014 
LibreCat: /record/431

@inproceedingsGrynko_Zubko_2014, title=Light Scattering By Random Irregular Particles With Different Morphology, author=Grynko, Yevgen and Zubko, Evgenij, year=2014 
LibreCat: /record/4315

@bookBredenbals_2014, title=Energy-Efficient Queuing with Delayed Deactivation, publisher=Universität Paderborn, author=Bredenbals, Nico, year=2014 
LibreCat: /record/432

@inproceedingsWiersema_Bockhorn_Platzner_2014, title=Embedding FPGA Overlays into Configurable Systems-on-Chip: ReconOS meets ZUMA, DOI=10.1109/ReConFig.2014.7032514, booktitle=Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), author=Wiersema, Tobias and Bockhorn, Arne and Platzner, Marco, year=2014, pages=1–6 
LibreCat: /record/433
DOI: 10.1109/ReConFig.2014.7032514

@inproceedingsAntoniadis_Barcelo_Consuegra_Kling_Nugent_Pruhs_Scquizzato_2014, series=LIPIcs, title=Efficient Computation of Optimal Energy and Fractional Weighted Flow Trade-off Schedules, DOI=10.4230/LIPIcs.STACS.2014.63, booktitle=Proceedings of the 31st Symposium on Theoretical Aspects of Computer Science (STACS), author=Antoniadis, Antonios and Barcelo, Neal and Consuegra, Mario and Kling, Peer and Nugent, Michael and Pruhs, Kirk and Scquizzato, Michele, year=2014, pages=63--74, collection=LIPIcs 
LibreCat: /record/435
DOI: 10.4230/LIPIcs.STACS.2014.63

@inproceedingsArzt_Rasthofer_Fritz_Bodden_Bartel_Klein_Le Traon_Octeau_McDaniel_2014, title=FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps, DOI=10.1145/2594291.2594299, booktitle=Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI ’14, publisher=ACM Press, author=Arzt, Steven and Rasthofer, Siegfried and Fritz, Christian and Bodden, Eric and Bartel, Alexandre and Klein, Jacques and Le Traon, Yves and Octeau, Damien and McDaniel, Patrick, year=2014 
LibreCat: /record/5189
DOI: 10.1145/2594291.2594299

@inproceedingsArzt_Rasthofer_Lovat_Bodden_2014, title=DroidForce: Enforcing Complex, Data-Centric, System-Wide Policies in Android, booktitle=International Conference on Availability, Reliability and Security (ARES 2014), publisher=IEEE, author=Arzt, Steven and Rasthofer, Siegfried and Lovat, Enrico and Bodden, Eric, year=2014, pages=40–49 
LibreCat: /record/5190