@inproceedingsRasche_Ziegert_2013, title=Multilevel Planning for Self-Optimizing Mechatronic Systems, booktitle=Proceedings of The Fifth International Conference on Adaptive and Self-Adaptive Systems and Applications, publisher=ThinkMind, author=Rasche, Christoph and Ziegert, Steffen, year=2013, pages=6 
LibreCat: /record/25296

@inproceedingsStahl_2013, title=AIS-based Anomaly Detection for Self-X Systems, booktitle=Proceedings of the First Organic Computing Doctoral Dissertation Colloquium (OC-DDC’13), publisher=Reports / Technische Berichte - Herausgeber: Fakultät für Angewandte Informatik der Universität Augsburg, author=Stahl, Katharina, year=2013, pages=24–26 
LibreCat: /record/25298

@inproceedingsGrösbrink_Rammig_2013, place=Brasilia, Brazil, title=Safe Self-Evolving Embedded Software via System Virtualization, booktitle=3rd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2013, publisher=SBC, author=Grösbrink, Stefan and Rammig, Franz-Josef, year=2013 
LibreCat: /record/25299

@inproceedingsGrösbrink_Almeida_de Sousa_Petters_2013, title=Fair Bandwidth Sharing among Virtual Machines in a Multi-criticality Scope, booktitle=5th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2013), author=Grösbrink, Stefan and Almeida, Luis and de Sousa, Mario and Petters, Stefan M., year=2013 
LibreCat: /record/25548

@inproceedingsQanadilo_Samara_Zhao_2013, title=Accelerating Online Model Checking, booktitle=6’th Latin-American Symposium on Dependable Computing (LADC 2013), author=Qanadilo, Mona and Samara, Sufyan and Zhao, Yuhong, year=2013 
LibreCat: /record/25557

@inproceedingsStern_Rasche_Kleinjohann_Kleinjohann_2013, title=Bildangereicherte Kartenerstellung zur Unterstützung bei Rettungseinsätzen, volume=311, booktitle=11. Paderborner Workshop Augmented &; Virtual Reality in der Produktentstehung, publisher=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Nr. 311, author=Stern, Claudius and Rasche, Christoph and Kleinjohann, Lisa and Kleinjohann, Bernd, year=2013 
LibreCat: /record/25573

@inproceedingsRasche_Bieshaar_Jungmann_Kleinjohann_Kleinjohann_2013, title=Statistisches Planen in einem realen Roboterszenario, volume=310, booktitle=Entwurf mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 310, publisher=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, author=Rasche, Christoph and Bieshaar, Maarten and Jungmann, Alexander and Kleinjohann, Lisa and Kleinjohann, Bernd, year=2013, pages=133–146 
LibreCat: /record/25574

@inproceedingsGrösbrink_Baldin_Oberthür_2013, title=Architecture for Adaptive Resource Assignment to Virtualized Mixed-Criticality Real-Time Systems, booktitle=ACM SIGBED Review, Band 10, publisher=ACM, author=Grösbrink, Stefan and Baldin, Daniel and Oberthür, Simon, year=2013 
LibreCat: /record/25575

@inproceedingsKuznik_F. S. Oliveira_Müller_2013, title=SystemC Verification Components - An enhanced OVM/UVM for SystemC, booktitle=edaWorkshop 13, author=Kuznik, Christoph and F. S. Oliveira, Marcio and Müller, Wolfgang, year=2013 
LibreCat: /record/25606

@inproceedingsMischkalla_Müller_2013, title=Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen, booktitle=Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), author=Mischkalla, Fabian and Müller, Wolfgang, year=2013 
LibreCat: /record/25612

@inproceedingsKuznik_F. S. Oliveira_Müller_2013, title=SC OVM: An Advanced SystemC Library for OVM-based Verification, booktitle=Open SANITAS SystemC Verification Workshop, author=Kuznik, Christoph and F. S. Oliveira, Marcio and Müller, Wolfgang, year=2013 
LibreCat: /record/25614

@articleEngels_Gerth_Kleinjohann_Kleinjohann_Müller_2013, title= Informationstechnik spart Ressourcen, journal=ForschungsForum Paderborn , author=Engels, Gregor and Gerth, Christian and Kleinjohann, Lisa and Kleinjohann, Bernd and Müller, Wolfgang, year=2013 
LibreCat: /record/25615

@articleGrösbrink_2013, title=Basics of Virtual Machine Migration on Heterogeneous Architectures for Self-optimizing Mechatronic Systems - Necessary Conditions and Implementation Issues, journal=Production Engineering Research &; Development 7(1), author=Grösbrink, Stefan, year=2013, pages=69–79 
LibreCat: /record/25616

@articleJungmann_Kleinjohann_Kleinjohann_2013, title=Learning Service Recommendations, journal=International Journal of Business Process Integration and Management 6(4), author=Jungmann, Alexander and Kleinjohann, Bernd and Kleinjohann, Lisa, year=2013, pages=284–297 
LibreCat: /record/25618

@inproceedingsKuznik_Oliveira_Defo_Müller_2013, title=Systematic Application of UCIS to Improve the Automation on Verification Closure, booktitle=Proceedings of DVCON, author=Kuznik, Christoph and Oliveira, Marcio F. and Defo, Bertrand and Müller, Wolfgang, year=2013 
LibreCat: /record/25620

@inbookRasche_Stern_Kleinjohann_Kleinjohann_2013, place=Berlin Heidelberg, title=A 3D Path Planning Approach Extended by Bifurcation Theory for Formation Flights, volume=480, booktitle=Recent Advances in Robotics and Automation, Studies in Computational Intelligence, Band 480, publisher=Springer , author=Rasche, Christoph and Stern, Claudius and Kleinjohann, Lisa and Kleinjohann, Bernd, editor=Sen Gupta, Gourab and Bailey, Donald and Demidenko, Serge and Carnegie, Dale, year=2013, pages=103–113 
LibreCat: /record/25625

@inproceedingsKlobedanz_Jatzkowski_Rettberg_Müller_2013, title=Fault-Tolerant Deployment of Real-Time Software in AUTOSAR ECU Networks, booktitle=International Embedded Systems Symposium (IESS) 2013, publisher=Springer, author=Klobedanz, Kay and Jatzkowski, Jan and Rettberg, Achim and Müller, Wolfgang, year=2013 
LibreCat: /record/25632

@articleMertsching_Divband Soorati_Kotthauser_2013, title=Automatic Reconstruction of Polygonal Room Models from 3D Point Clouds, journal=IEEE International Conference on Robotics and Biomimetics (ROBIO), author=Mertsching, Bärbel and Divband Soorati, Mohammad and Kotthauser, Tobias, year=2013, pages=661–667 
LibreCat: /record/19981

@articleHamann_Karsai_Schmickl_2013, title=Time delay implies cost on task switching: A model to investigate the efficiency of task partitioning, volume=75, DOI=10.1007/s11538-013-9851-4 , number=7, journal=Bulletin of Mathematical Biology, author=Hamann, Heiko and Karsai, Istvan and Schmickl, Thomas, year=2013, pages=1181–1206 
LibreCat: /record/20148
DOI: 10.1007/s11538-013-9851-4 

@articleHamann_Schmickl_Stradner_Crailsheim_Thenius_Zahadat_2013, title=Algorithmic Requirements for Swarm Intelligence in Differently Coupled Collective Systems, volume=50, DOI=10.1016/j.chaos.2013.01.011, journal=Chaos, Solitons &; Fractals, author=Hamann, Heiko and Schmickl, Thomas and Stradner, Jürgen and Crailsheim, Karl and Thenius, Ronald and Zahadat, Payam, year=2013, pages=100–114 
LibreCat: /record/20150
DOI: 10.1016/j.chaos.2013.01.011

@inproceedingsHamann_Schmickl_Stradner_Schwarzer_Michiels_Esparcia-Alcazar_2013, title=Virtual Spatiality in Agent Controllers: Encoding Compartmentalization, volume=7835, DOI=10.1007/978-3-642-37192-9_58, booktitle=Applications of Evolutionary Computation - 16th European Conference (EvoApplications 2013), author=Hamann, Heiko and Schmickl, Thomas and Stradner, Jürgen and Schwarzer, Christopher and Michiels, Nico K. and Esparcia-Alcazar, Anna Isabel, year=2013, pages=579–588 
LibreCat: /record/20151
DOI: 10.1007/978-3-642-37192-9_58

@inproceedingsHamann_2013, title=A Reductionist Approach to Hypothesis-Catching for the Analysis of Self-Organizing Decision-Making Systems, DOI=10.1109/SASO.2013.10, booktitle=7th IEEE Int. Conf. on Self-Adaptive and Self-Organizing Systems (SASO 2013), publisher=IEEE Press, author=Hamann, Heiko, year=2013, pages=227–236 
LibreCat: /record/20160
DOI: 10.1109/SASO.2013.10

@inproceedingsHamann_Lio_Miglino_Nicosia_Nolfi_Pavone_2013, title=Speciation Dynamics: Generating Selective Pressure Towards Diversity, booktitle=12th European Conference on Artificial Life (ECAL 2013), publisher=MIT Press, author=Hamann, Heiko and Lio, Pietro and Miglino, Orazio and Nicosia, Giuseppe and Nolfi, Stefano and Pavone, Mario, year=2013 
LibreCat: /record/20161

@articleHamann_2013, title=Towards Swarm Calculus: Urn Models of Collective Decisions and Universal Properties of Swarm Performance, volume=7, DOI=10.1007/s11721-013-0080-0, number=3, journal=Swarm Intelligence, author=Hamann, Heiko, year=2013, pages=145–172 
LibreCat: /record/20162
DOI: 10.1007/s11721-013-0080-0

@bookLaudemann_2013, title=Themenmodellierung zur Identifikation und Gruppierung von Spam-Webseiten, author=Laudemann, Stefan, year=2013 
LibreCat: /record/2868

@bookLeder_2013, title=Nichtapproximierbarkeitsresultate zu Radius- und Durchmesserclustering unter Verwendung von L_p-Metriken, author=Leder, Lennart, year=2013 
LibreCat: /record/2869

@articleHe_Müller_2013, title= A heuristic energy-aware approach for hard real-time systems on multi-core platforms, journal=Microprocessors and Microsystems - Embedded Hardware Design 37(6-7), author=He, Da and Müller, Wolfgang, year=2013, pages=845–857 
LibreCat: /record/25740

@bookSchirner_Götz_Rettberg_Zanella_Rammig_2013, series=Band IFIP AICT 403 , title=Embedded Systems: Design, Analysis and Verification. Proceedings of the 4th IFIP T International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 2013, publisher=Springer, year=2013, collection=Band IFIP AICT 403  
LibreCat: /record/25741

@inproceedingsKhaluf_Rammig_2013, title=Organic Programming of Real-Time Operating Systems, booktitle=The Ninth International Conference on Autonomic and Autonomous Systems, author=Khaluf, Lial and Rammig, Franz-Josef, year=2013 
LibreCat: /record/25742

@inbookAnacker_Dellnitz_Flaßkamp_Grösbrink_Hartmann_Heinzemann_Horenkamp_Kleinjohann_Kleinjohann_Korf_et al._2013, place=Heidelberg, title=Methods for the Design and Development, booktitle=Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, publisher=Springer-Verlag, author=Anacker, Harald and Dellnitz, Michael and Flaßkamp, Kathrin and Grösbrink, Stefan and Hartmann, Philip and Heinzemann, Christian and Horenkamp, Christian and Kleinjohann, Lisa and Kleinjohann, Bernd and Korf, Sebastian and et al., year=2013, pages=187–356 
LibreCat: /record/25743

@inproceedingsWachsmuth_Stein_Engels_2013, series=Lecture Notes in Computer Science, title=Learning Efficient Information Extraction on Heterogeneous Texts, booktitle=Proceedings of the Sixth International Joint Conference on Natural Language Processing, author=Wachsmuth, Henning and Stein, Benno and Engels, Gregor, editor=Gelbukh, AlexanderEditor, year=2013, pages=534–542, collection=Lecture Notes in Computer Science 
LibreCat: /record/3813

@inproceedingsWachsmuth_Stein_Engels_2013, title=Information Extraction as a Filtering Task, booktitle=Proceedings of the 22nd ACM International Conference on Conference on Information &; Knowledge Management, author=Wachsmuth, Henning and Stein, Benno and Engels, Gregor, year=2013, pages=2049–2058 
LibreCat: /record/3814

@inproceedingsWachsmuth_Rose_Engels_2013, series=Lecture Notes in Computer Science, title=Automatic Pipeline Construction for Real-Time Annotation, booktitle=14th International Conference on Intelligent Text Processing and Computational Linguistics, author=Wachsmuth, Henning and Rose, Mirko and Engels, Gregor, editor=Gelbukh, AlexanderEditor, year=2013, pages=38–49, collection=Lecture Notes in Computer Science 
LibreCat: /record/3876

@bookKuntze_2013, title=Practical algorithms for clustering and modeling large data sets - Analysis and improvements, publisher=Universität Paderborn, author=Kuntze, Daniel, year=2013 
LibreCat: /record/2909

@bookJuhnke_Lefmann_Strehl_2013, title=An Approach for Determining Optimal Contrast in Visual Cryptography, publisher=Fortschritt-Berichte VDI, author=Juhnke, Jakob and Lefmann, Hanno and Strehl, Volker, year=2013 
LibreCat: /record/2917

@inbookBlömer_Günther_Liske_2013, place=Berlin, Heidelberg, title=Improved Side Channel Attacks on Pairing Based Cryptography, DOI=10.1007/978-3-642-40026-1_10, booktitle=Constructive Side-Channel Analysis and Secure Design, publisher=Springer Berlin Heidelberg, author=Blömer, Johannes and Günther, Peter and Liske, Gennadij, year=2013, pages=154–168 
LibreCat: /record/2979
DOI: 10.1007/978-3-642-40026-1_10

@articleJager_Schwenk_2013, title=On the Analysis of Cryptographic Assumptions in the Generic Ring Model, DOI=10.1007/s00145-012-9120-y, number=2, journal=J. Cryptology, author=Jager, Tibor and Schwenk, Jörg, year=2013, pages=225--245 
LibreCat: /record/3129
DOI: 10.1007/s00145-012-9120-y

@inproceedingsBöhl_Hofheinz_Jager_Koch_Hong Seo_Striecks_2013, title=Practical Signatures from Standard Assumptions, DOI=10.1007/978-3-642-38348-9_28, booktitle=Advances in Cryptology - EUROCRYPT 2013, 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013. Proceedings, author=Böhl, Florian and Hofheinz, Dennis and Jager, Tibor and Koch, Jessica and Hong Seo, Jae and Striecks, Christoph, year=2013, pages=461--485 
LibreCat: /record/3130
DOI: 10.1007/978-3-642-38348-9_28

@inproceedingsJager_Paterson_Somorovsky_2013, title=One Bad Apple: Backwards Compatibility Attacks on State-of-the-Art Cryptography, booktitle=20th Annual Network and Distributed System Security Symposium, NDSS 2013, San Diego, California, USA, February 24-27, 2013, author=Jager, Tibor and Paterson, Kenneth G. and Somorovsky, Juraj, year=2013 
LibreCat: /record/3131

@inproceedingsIsenberg_Steenken_Wehrheim_2013, series=Lecture Notes in Computer Science, title=Bounded Model Checking of Graph Transformation Systems via SMT Solving, DOI=10.1007/978-3-642-38592-6_13, booktitle=Formal Techniques for Distributed Systems - Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings, author=Isenberg, Tobias and Steenken, Dominik and Wehrheim, Heike, editor=Beyer, Dirk and Boreale, MicheleEditors, year=2013, pages=178--192, collection=Lecture Notes in Computer Science 
LibreCat: /record/3176
DOI: 10.1007/978-3-642-38592-6_13

@inproceedingsTravkin_Mütze_Wehrheim_2013, series=Lecture Notes in Computer Science, title=SPIN as a Linearizability Checker under Weak Memory Models, DOI=10.1007/978-3-319-03077-7_21, booktitle=Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings, author=Travkin, Oleg and Mütze, Annika and Wehrheim, Heike, editor=Bertacco, Valeria and Legay, AxelEditors, year=2013, pages=311--326, collection=Lecture Notes in Computer Science 
LibreCat: /record/3177
DOI: 10.1007/978-3-319-03077-7_21

@inproceedingsDongol_Travkin_Derrick_Wehrheim_2013, series=Lecture Notes in Computer Science, title=A High-Level Semantics for Program Execution under Total Store Order Memory, DOI=10.1007/978-3-642-39718-9_11, booktitle=Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, author=Dongol, Brijesh and Travkin, Oleg and Derrick, John and Wehrheim, Heike, editor=Liu, Zhiming and Woodcock, Jim and Zhu, HuibiaoEditors, year=2013, pages=177--194, collection=Lecture Notes in Computer Science 
LibreCat: /record/3178
DOI: 10.1007/978-3-642-39718-9_11

@inproceedingsZiegert_Wehrheim_2013, series=LNI, title=Temporal Reconfiguration Plans for Self-Adaptive Systems, booktitle=Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar - 2. M\'22arz 2013 in Aachen, author=Ziegert, Steffen and Wehrheim, Heike, editor=Kowalewski, Stefan and Rumpe, BernhardEditors, year=2013, pages=271--284, collection=LNI 
LibreCat: /record/3179

@inproceedingsGausemeier_Grafe_Meyer auf der Heide_2013, title=11. Paderborner Workshop Augmented &; Virtual Reality in der Produktentstehung, volume=311, publisher=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 311 , author=Gausemeier, Jürgen and Grafe, Michael and Meyer auf der Heide, Friedhelm, year=2013 
LibreCat: /record/27054

@inproceedingsKeil_Winkelnkemper_2013, title=Approaches for an informational separation of powers in learning platforms, publisher=Society for Informatics, author=Keil, Reinhard and Winkelnkemper, Felix, year=2013, pages=131–142 
LibreCat: /record/27168

@inproceedingsFischer_Geis _Molich_Kluge_Heimg\'22artner_Hunkirchen_Polkehn_2013, title=eDo You Speak Usability?“3 Aktueller Stand des Glossars und des Curriculums f\'22ur den eCertified Professional for Usability and User Experience (CPUX)“der German UPA, publisher=German UPA, author=Fischer, Holger Gerhard and Geis, Thomas and  Molich, Rolf and Kluge, Oliver  and Heimg\'22artner,  R\'22udiger and Hunkirchen,  Peter  and Polkehn, Knut, year=2013, pages=28334 
LibreCat: /record/27169

@bookK  "u hnel_2013, place=Universit \'22 a t Paderborn, Heinz Nixdorf Institute, Contextual Computer Science, title=Contextual tagging in the coactive knowledge organization, publisher=Heinz Nixdorf Institute, Universit  "a t Paderborn, author=K  "u hnel, Birger, year=2013 
LibreCat: /record/27171

@articleFischer_Strenge_Nebe_2013, series=LNCS 8012, title=Towards a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting Human-Centered Design, publisher=Springer Verlag, author=Fischer, Holger Gerhard and Strenge, Benjamin and Nebe,  Karsten, year=2013, pages=252–261, collection=LNCS 8012 
LibreCat: /record/27172

@articleKeil_Selke_Winkelnkemper_2013, title=Computer science and education - A struggle for creative sovereignty in society?, journal=FIfF-Kommunikation, author=Keil,  Reinhard and Selke, Harald and Winkelnkemper, Felix, year=2013, pages=61–65 
LibreCat: /record/27173

@inproceedingsKeil_2013, place=Berlin, title=Media contexts - context media, publisher=Verbrecher Verlag, author=Keil, Reinhard, year=2013, pages=217–226 
LibreCat: /record/27174