@inproceedingsAbshoff_Benter_Cord-Landwehr_Malatyali_Meyer auf der Heide_2013, series=Lecture Notes in Computer Science, title=Token Dissemination in Geometric Dynamic Networks, DOI=10.1007/978-3-642-45346-5_3, booktitle=Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2013, Sophia Antipolis, France, September 5-6, 2013, Revised Selected Papers, author=Abshoff, Sebastian and Benter, Markus and Cord-Landwehr, Andreas and Malatyali, Manuel and Meyer auf der Heide, Friedhelm, year=2013, pages=22–34, collection=Lecture Notes in Computer Science 

@bookTimm_2013, title=Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems, publisher=Universität Paderborn, author=Timm, Nils, year=2013 

@inproceedingsGraffi_Bremer_2013, title=Symbiotic Coupling of P and Cloud Systems: The Wikipedia Case, DOI=10.1109/ICC.2013.6655082, booktitle=Proceedings of the International Conference on Communications (ICC’13), author=Graffi, Kalman and Bremer, Lars, year=2013, pages=3444–3449 

@inproceedingsPlatenius_von Detten_Gerth_Schäfer_Engels_2013, title=Service Matching under Consideration of Explicitly Specified Service Variants, DOI=10.1109/ICWS.2013.98, booktitle=IEEE 20th International Conference on Web Services (ICWS 2013), author=Platenius, Marie Christin and von Detten, Markus and Gerth, Christian and Schäfer, Wilhelm and Engels, Gregor, year=2013, pages=613–614 

@inproceedingsMohr_Kleine Büning_2013, title=Semi-Automated Software Composition Through Generated Components, DOI=10.1145/2539150.2539235, booktitle=Proceedings of the 15th International Conference on Information Integration and Web-based Applications &; Services (iiWAS), author=Mohr, Felix and Kleine Büning, Hans, year=2013, pages=676–680 

@bookOtte_2013, title=Seitenkanalresistenz paarungsbasierter Kryptographie, publisher=Universität Paderborn, author=Otte, Oliver, year=2013 

@bookBobolz_2013, title=Security Proofs for Pairing-Based Cryptography in the Generic Group Model, publisher=Universität Paderborn, author=Bobolz, Jan, year=2013 

@inproceedingsBlömer_Günther_Krummel_2013, title=Securing Critical Unattended Systems with Identity Based Cryptography - A Case Study, booktitle=Proceedings of the 5th International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS), author=Blömer, Johannes and Günther, Peter and Krummel, Volker, year=2013, pages=98–105 

@bookWallaschek_2013, title=Routing in heterogenen OpenFlow Netzwerken, publisher=Universität Paderborn, author=Wallaschek, Felix, year=2013 

@bookRobbert_2013, title=Ressource-Optimized Deployment of Multi-Tier Applications - The Data Rate-Constrained Case, publisher=Universität Paderborn, author=Robbert, Christoph, year=2013 

@bookvon Detten_2013, title=Reengineering of Component-Based Software Systems in the Presence of Design Deficiencies, publisher=Universität Paderborn, author=von Detten, Markus, year=2013 

@inproceedingsMohr_Lettmann_Kleine Büning_2013, title=Reducing Nondeterminism in Automated Service Composition, DOI=10.1109/SOCA.2013.25, booktitle=Proceedings of the 6th International Conference on Service Oriented Computing and Applications (SOCA), author=Mohr, Felix and Lettmann, Theodor and Kleine Büning, Hans, year=2013, pages=154–161 

@inproceedingsBenter_Neumann_Frey_2013, title=Reactive Planar Spanner Construction in Wireless Ad Hoc and Sensor Networks, DOI=10.1109/INFCOM.2013.6567022, booktitle=Proceedings of the 32nd IEEE International Conference on Computer Communications (INFOCOM), author=Benter, Markus and Neumann, Florentin and Frey, Hannes, year=2013, pages=2193–2201 

@inproceedingsWonisch_Schremmer_Wehrheim_2013, series=LNCS, title=Programs from Proofs – A PCC Alternative, DOI=10.1007/978-3-642-39799-8_65, booktitle=Proceedings of the 25th International Conference on Computer Aided Verification (CAV), author=Wonisch, Daniel and Schremmer, Alexander and Wehrheim, Heike, year=2013, pages=912–927, collection=LNCS 

@inproceedingsKling_Pietrzyk_2013, title=Profitable Scheduling on Multiple Speed-Scalable Processors, DOI=10.1145/2486159.2486183, booktitle=Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), author=Kling, Peter and Pietrzyk, Peter, year=2013, pages=251–260 

@articlede Lemos_Giese_A. Müller_Shaw_Andersson_Litoiu_Schmerl_Tamura_M. Villegas_Vogel_et al._2013, title=Software Engineering for Self-Adaptive Systems: A Second Research Roadmap, DOI=10.1007/978-3-642-35813-5_1, journal=Software Engineering for Self-Adaptive Systems II, author=de Lemos, Rogrio and Giese, Holger and A. Müller, Hausi and Shaw, Mary and Andersson, Jesper and Litoiu, Marin and Schmerl, Bradley and Tamura, Gabriel and M. Villegas, Norha and Vogel, Thomas and et al., year=2013, pages=1–32 

@articleBouillon_Güldali_Herrmann_Keuler_Moldt_Riebisch_2013, title=Leichtgewichtige Traceability im agilen Entwicklungsprozess am Beispiel von Scrum, volume=33, number=1, journal=Softwaretechnik-Trends, author=Bouillon, Elke and Güldali, Baris and Herrmann, Andrea and Keuler, Thorsten and Moldt, Daniel and Riebisch, Matthias, year=2013, pages=29–30 

@articleGrieger_Güldali_Sauer_Mlynarski_2013, title=Testen bei Migrationsprojekten, journal=OBJEKTspektrum (Online Themenspecials), author=Grieger, Marvin and Güldali, Baris and Sauer, Stefan and Mlynarski, Michael, year=2013, pages=1–4 

@articleFazal-Baqaie_Güldali_Luckey_Sauer_Spijkerman_2013, title=Maßgeschneidert und werkzeugunterstützt Entwickeln angepasster Requirements Engineering-Methoden, number=RE/2013, journal=OBJEKTspektrum (Online Themenspecials), author=Fazal-Baqaie, Masud and Güldali, Baris and Luckey, Markus and Sauer, Stefan and Spijkerman, Michael, year=2013, pages=1–5 

@articleEngels_Luckey_2013, title=Editorial, volume=28, number=1, journal=Computer Science - Research and Development, author=Engels, Gregor and Luckey, Markus, year=2013, pages=1–2 

@articleEngels_Gerth_Kleinjohann_Kleinjohann_Müller_Sauer_2013, title=Informationstechnik spart Ressourcen, volume=16/2013, journal=Forschungsforum Paderborn, author=Engels, Gregor and Gerth, Christian and Kleinjohann, Bernd and Kleinjohann, Lisa and Müller, Wolfgang and Sauer, Stefan, year=2013, pages=54–61 

@articleGerth_Küster_Luckey_Engels_2013, title=Detection and Resolution of Conflicting Change Operations in Version Management of Process Models, volume=12, number=3, journal=Software and Systems Modeling, author=Gerth, Christian and Küster, Jochen and Luckey, Markus and Engels, Gregor, year=2013, pages=517–535 

@articleFaragó_Törsel_Mlynarski_Weißleder_Güldali_Brandes_2013, title=Wirtschaftlichkeitsberechnung für MBT: Wann sich modellbasiertes Testen lohnt, volume=4, journal=OBJEKTspektrum, author=Faragó, David and Törsel, Arne-Michael and Mlynarski, Michael and Weißleder, Stephan and Güldali, Baris and Brandes, Christian, year=2013, pages=32–38 

@inbookEngels_Sauer_2013, place=Singapore, title=Object-oriented Modeling of Multimedia Applications, volume=2, DOI=https://doi.org/10.1142/4603, booktitle=Handbook of Software Engineering and Knowledge Engineering, publisher=World Scientific Publishing Company, author=Engels, Gregor and Sauer, Stefan, editor=Chang, S KEditor, year=2013, pages=21--53 

@bookSoltenborn_2013, title=Quality Assurance with Dynamic Meta Modeling, DOI=http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420, publisher=Universität Paderborn, author=Soltenborn, Christian, year=2013 

@bookGerth_2013, title=Business Process Models - Change Management, author=Gerth, Christian, year=2013 

@articleBiermann_Scalia_Choi_Kellerer_Karl_2013, title=How backhaul networks influence the feasibility of coordinated multipoint in cellular networks, DOI=10.1109/MCOM.2013.6576356, number=8, journal=IEEE Communications Magazine, author=Biermann, Thorsten and Scalia, Luca and Choi, Changsoon and Kellerer, Wolfgang and Karl, Holger, year=2013 

@inproceedingsSpijkerman_2013, series=LNI, title=Ein pragmatischer Ansatz zur Entwicklung situationsgerechter Entwicklungsmethoden, volume=215, booktitle=Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium) SE 2013 (to appear), publisher=GI, author=Spijkerman, Michael , year=2013, pages=425--434, collection=LNI 

@inproceedingsNagel _Gerth _Post_Engels_2013, series=CEUR Workshop Proceedings, title=KaoSOA - Extending KAOS Models with Temporal and Logical Dependencies, volume=998, booktitle=Proceedings of the CAiSE’13 Forum at the 25th International Conference on Advanced Information Systems Engineering (CAiSE’13), publisher=CEUR-WS.org, author=Nagel , Benjamin  and Gerth , Christian  and Post, Jennifer  and Engels, Gregor, year=2013, pages=9--16, collection=CEUR Workshop Proceedings 

@inproceedingsKehrer _Gerth_2013, series=Softwaretechnik-Trends, title=CVSM 2013 Challenge: Recognizing High-level Edit Operations in Evolving Models., volume=33, number=2, booktitle=Proceedings of the Workshop on Comparison and Versioning of Software Models (CVSM’13), publisher=FG Softwaretechnik, Gesellschaft für Informatik e.v. (GI), author=Kehrer , Timo  and Gerth, Christian , year=2013, pages=32–34, collection=Softwaretechnik-Trends 

@inproceedingsGrieger _Sauer_2013, title=Wiederverwendbarkeit von Migrationswissen durch Techniken der modellgetriebenen Softwareentwicklung, booktitle=Software Engineering 2013 Workshopband, publisher=GI, Köllen Druck+Verlag GmbH, Bonn, author=Grieger , Marvin  and Sauer, Stefan, year=2013, pages=189–200 

@inproceedingsNagel _Gerth _Engels_2013, title=Goal-driven Composition of Business Process Models, booktitle=Proceedings of the 9th Workshop on Engineering Service-Oriented Applications (WESOA 2013) (accepted for application), author=Nagel , Benjamin  and Gerth , Christian  and Engels, Gregor, year=2013 

@inproceedingsFazal-Baqaie _Luckey _Engels_2013, title=Assembly-based Method Engineering with Method Patterns, booktitle=Software Engineering 2013 Workshopband, publisher=GI, Köllen Druck+Verlag GmbH, Bonn, author=Fazal-Baqaie , Masud  and Luckey , Markus  and Engels, Gregor, year=2013, pages=435–444 

@bookHappe_2013, place=Berlin, title=Performance and thermal management on self-adaptive hybrid multi-cores, publisher=Logos Verlag Berlin GmbH, author=Happe, Markus, year=2013 

@inproceedingsEngels_2013, series=LNI, title=On-The-Fly Computing -- Das Entwicklungs- und Betriebsparadigma fürSoftwaresysteme der Zukunft, booktitle=Proceedings of the Multikonferenz Sofware Engineering 2013 (SE 2013), author=Engels, Gregor, year=2013, pages=17–18, collection=LNI 

@inproceedingsAbshoff_Benter_Malatyali_Meyer auf der Heide_2013, series=LNCS, title=On Two-Party Communication Through Dynamic Networks, DOI=10.1007/978-3-319-03850-6_2, booktitle=Proceedings of the 17th International Conference on Principles of Distributed Systems (OPODIS), author=Abshoff, Sebastian and Benter, Markus and Malatyali, Manuel and Meyer auf der Heide, Friedhelm, year=2013, pages=11–22, collection=LNCS 

@inproceedingsWette_Karl_2013, title=On the Quality of Selfish Virtual Topology Reconfiguration in IP-over-WDM Networks, DOI=10.1109/LANMAN.2013.6528271, booktitle=Proceedings of the 19th IEEE International Workshop on Local and Metropolitan Area Networks (IEEE LANMAN), author=Wette, Philip and Karl, Holger, year=2013, pages=1–6 

@inproceedingsAutenrieth_Frey_2013, title=On Greedy Routing in Degree-bounded Graphs over d-Dimensional Internet Coordinate Embeddings, DOI=10.1109/NetSys.2013.10, booktitle=Proceedings of the Conference on Networked Systems (NetSys), author=Autenrieth, Marcus and Frey, Hannes, year=2013, pages=126–131 

@bookSplietker_2013, title=MapReduce in Software Defined Networks, publisher=Universität Paderborn, author=Splietker, Malte, year=2013 

@inproceedingsAvin_Häupler_Lotker_Scheideler_Schmid_2013, title=Locally Self-Adjusting Tree Networks, DOI=10.1109/IPDPS.2013.40, booktitle=Proceedings of the 27th IEEE International Parallel and Distributed Processing Symposium (IPDPS), author=Avin, Chen and Häupler, Bernhard and Lotker, Zvi and Scheideler, Christian and Schmid, Stefan, year=2013, pages=395–406 

@bookPietrzyk_2013, title=Local and Online Algorithms for Facility Location, publisher=Universität Paderborn, author=Pietrzyk, Peter, year=2013 

@inproceedingsWalther_Wehrheim_2013, title=Knowledge-Based Verification of Service Compositions - An SMT approach, DOI=10.1109/ICECCS.2013.14, booktitle=Proceedings of the 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), author=Walther, Sven and Wehrheim, Heike, year=2013, pages=24–32 

@inproceedingsEikel_Scheideler_2013, title=IRIS: A Robust Information System Against Insider DoS-Attacks, DOI=10.1145/2486159.2486186, booktitle=Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), author=Eikel, Martina and Scheideler, Christian, year=2013, pages=119–129 

@inproceedingsWette_Karl_2013, title=Incorporating feedback from application layer into routing and wavelength assignment algorithms, DOI=10.1109/INFCOMW.2013.6970733, booktitle=Proceedings of the 32nd IEEE International Conference on Computer Communications (INFOCOM), author=Wette, Philip and Karl, Holger, year=2013, pages=51–52 

@bookRiebler_2013, title=Identifikation und Wiederherstellung von kryptographischen Schlüsseln mit FPGAs, publisher=Universität Paderborn, author=Riebler, Heinrich, year=2013 

@bookFeldotto_2013, title=HSkip+: A Self-Stabilizing Overlay Network for Nodes with Heterogeneous Bandwidths, publisher=Universität Paderborn, author=Feldotto, Matthias, year=2013 

@articleMeyer auf der Heide_Swirkot_2013, title=Hierarchies in Local Distributed Decision, publisher=arXiv, author=Meyer auf der Heide, Friedhelm and Swirkot, Kamil, year=2013 

@bookNiklas Vinkemeier_2013, title=Haptics - Hadoop performance testing in concurrent job scenarios, publisher=Universität Paderborn, author=Niklas Vinkemeier, Tim, year=2013 

@inproceedingsChristin Platenius_2013, title=Fuzzy Service Matching in On-The-Fly Computing, DOI=10.1145/2491411.2492405, booktitle=Proceedings of the Doctoral Symposium of the 9th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), author=Christin Platenius, Marie, year=2013, pages=715–718 

@bookSatya_2013, title=Emulating Wavelength Division Multiplexing using Openflow, publisher=Universität Paderborn, author=Satya, Suhas, year=2013