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.
5711 Publications
2012 | Journal Article | LibreCat-ID: 16091
Fallah Tehrani A, Cheng W, Hüllermeier E. Preference learning using the Choquet integral: The case of multipartite ranking. IEEE Transactions on Fuzzy Systems. 2012;20(6):1102-1113.
LibreCat
2012 | Journal Article | LibreCat-ID: 16092
Fober T, Mernberger M, Klebe G, Hüllermeier E. Fingerprint kernels for protein structure comparison. Molecular Informatics. 2012;31(6-7):443-452.
LibreCat
2012 | Journal Article | LibreCat-ID: 16093
Hüllermeier E, Rifqi M, Henzgen S, Senge R. Comparing fuzzy partitions: A generalization of the Rand index and related measures. IEEE Transactions on Fuzzy Systems. 2012;20(3):546-556.
LibreCat
2012 | Journal Article | LibreCat-ID: 16094
Senge R, Fober T, Nasiri N, Hüllermeier E. Fuzzy Pattern Trees: Ein alternativer Ansatz zur Fuzzy-Modellierung. At-Atomatisierungstechnik. 2012;60(10):622-629.
LibreCat
2012 | Conference Paper | LibreCat-ID: 16408
Suess T, Koch C, Jähn C, Fischer M, Meyer auf der Heide F. Asynchronous Occlusion Culling on Heterogeneous PC Clusters for Distributed 3D Scenes. In: Advances in Visual Computing. Vol 7431. Lecture Notes in Computer Science. ; 2012:502-512. doi:10.1007/978-3-642-33179-4_48
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 13120
Cheng W, Hüllermeier E, Waegeman W, Welker V. Label ranking with partial abstention based on thresholded probalistic models. In: In Proceedings NIPS-2012, 26th Annual Conference on Neural Information Processing Systems, Lake Tahoe, Nevada, USA. ; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 13191
Cheng W, Hüllermeier E. Probability estimation for mulit-class classification based on label ranking. In: Proceedings ECML/PKDD-2012, European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Bristol, UK. ; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 13192
Dembczynski K, Kotlowski W, Hüllermeier E. Consistent multilabel ranking through univariate loss minimization. In: Langford J, Pineau J, eds. In Proceedings ICML-2012, International Conference on Machine Learning, Edinburgh, Scotland. ; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 13193
Dembczynski K, Waegeman W, Hüllermeier E. An analysis of chaining in multi-label classification. In: In Proceedings ECAI-2012, 20th European Conference on Artificial Inteligence, Montpellier, France . IOS Press; 2012:294-299.
LibreCat
2012 | Misc | LibreCat-ID: 13462
Lewis P, Platzner M, Yao X. An Outlook for Self-Awareness in Computing Systems. Awareness Magazine; 2012.
LibreCat
2012 | Book Chapter | LibreCat-ID: 10153
Hüllermeier E. Fuzzy rules in data mining: From fuzzy associations to gradual dependencies. In: Trillas E, Bonissone PP, Magdalena L, Kacprzyk J, eds. Combining Experimentation and Theory. Vol 271. Studies in Fuzziness and Soft Computing. Springer; 2012:123-135.
LibreCat
2012 | Book Chapter | LibreCat-ID: 26695
Vanderperren Y, Müller W, He D, Mischkalla F, Dahaene W. Extending UML for Electronic Systems Design: A Code Generation Perspective. In: Nicolescu G, O’Connor I, Piguet C, eds. Design Technology for Heterogeneous Embedded Systems. 1st Edition. Auflage. Springer Verlag; 2012:13-39.
LibreCat
2012 | Conference Paper | LibreCat-ID: 36922
Klobedanz K, Müller W, Rettberg A. An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems. In: IEEE; 2012. doi:10.1109/ISORCW.2012.41
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 36921
Oliveira MF, Kuznik C, Müller W, Esen V, Ecker W. Towards an Enhanced UVM for SystemC. In: Proceedings of the Design & Verification Conference (DVCon). ; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 36994
Xie T, Müller W, Letombe F. Mutation-Analysis Driven Functional Verification of a Soft Microprocessor. In: Proceedings of SOCC2012. IEEE; 2012. doi:10.1109/SOCC.2012.6398362
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 36997
Xie T, Müller W. An IP-XACT-TO-SystemC Model Generator for Mutation Analysis. In: Proceedings of the MeCoES’12. ; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 8169 | 
Gharibian S, Kempe J. Hardness of Approximation for Quantum Problems. In: Czumaj A, Mehlhorn K, Pitts A, Wattenhofer R, eds. International Colloquium on Automata, Languages, and Programming (ICALP 2012). Springer Berlin Heidelberg; 2012:387-398. doi:10.1007/978-3-642-31594-7_33
LibreCat
| DOI
| Download (ext.)
| arXiv
2012 | Journal Article | LibreCat-ID: 8175 |
Gharibian S, Kempe J. Approximation Algorithms for QMA-Complete Problems. SIAM Journal on Computing. 2012;41(4):1028-1050. doi:10.1137/110842272
LibreCat
| DOI
| Download (ext.)
| arXiv
2012 | Journal Article | LibreCat-ID: 8174 |
Gharibian S. Quantifying nonclassicality with local unitary operations. Physical Review A. 2012;86:042106. doi:10.1103/PhysRevA.86.042106
LibreCat
| DOI
| Download (ext.)
| arXiv
2012 | Conference Paper | LibreCat-ID: 2106
Meyer B, Schumacher J, Plessl C, Förstner J. Convey Vector Personalities – FPGA Acceleration with an OpenMP-like Effort? In: Proc. Int. Conf. on Field Programmable Logic and Applications (FPL). IEEE; 2012:189-196. doi:10.1109/FPL.2012.6339370
LibreCat
| Files available
| DOI
2012 | Journal Article | LibreCat-ID: 2108
Schumacher T, Plessl C, Platzner M. IMORC: An Infrastructure and Architecture Template for Implementing High-Performance Reconfigurable FPGA Accelerators. Microprocessors and Microsystems. 2012;36(2):110-126. doi:10.1016/j.micpro.2011.04.002
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 615
Happe M, Hangmann H, Agne A, Plessl C. Eight Ways to put your FPGA on Fire – A Systematic Study of Heat Generators. In: Proceedings of the International Conference on Reconfigurable Computing and FPGAs (ReConFig). IEEE; 2012:1-8. doi:10.1109/ReConFig.2012.6416745
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 591
Kenter T, Plessl C, Schmitz H. Pragma based parallelization - Trading hardware efficiency for ease of use? In: Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig). IEEE; 2012:1-8. doi:10.1109/ReConFig.2012.6416773
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 609
Happe M, Agne A, Plessl C, Platzner M. Hardware/Software Platform for Self-aware Compute Nodes. In: Proceedings of the Workshop on Self-Awareness in Reconfigurable Computing Systems (SRCS). ; 2012:8-9.
LibreCat
| Files available
2012 | Conference Paper | LibreCat-ID: 567
Barrio P, Carreras C, Sierra R, Kenter T, Plessl C. Turning control flow graphs into function calls: Code generation for heterogeneous architectures. In: Proceedings of the International Conference on High Performance Computing and Simulation (HPCS). IEEE; 2012:559-565. doi:10.1109/HPCSim.2012.6266973
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 612
Rüthing C, Happe M, Agne A, Plessl C. Exploration of Ring Oscillator Design Space for Temperature Measurements on FPGAs. In: Proceedings of the International Conference on Field Programmable Logic and Applications (FPL). IEEE; 2012:559-562. doi:10.1109/FPL.2012.6339370
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 2180
Beisel T, Wiersema T, Plessl C, Brinkmann A. Programming and Scheduling Model for Supporting Heterogeneous Accelerators in Linux. In: Proc. Workshop on Computer Architecture and Operating System Co-Design (CAOS). ; 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 2177
Grad M, Plessl C. On the Feasibility and Limitations of Just-In-Time Instruction Set Extension for FPGA-based Reconfigurable Processors. Int Journal of Reconfigurable Computing (IJRC). Published online 2012. doi:10.1155/2012/418315
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 46397
Brockhoff D, Wagner T, Trautmann H. On the Properties of the R2 Indicator. In: Proceedings of the 14th Annual Conference on Genetic and Evolutionary Computation. GECCO ’12. Association for Computing Machinery; 2012:465–472. doi:10.1145/2330163.2330230
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 46396
Bischl B, Mersmann O, Trautmann H, Preuß M. Algorithm Selection Based on Exploratory Landscape Analysis and Cost-Sensitive Learning. In: Proceedings of the 14th Annual Conference on Genetic and Evolutionary Computation. GECCO ’12. Association for Computing Machinery; 2012:313–320. doi:10.1145/2330163.2330209
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 46398
Mersmann O, Bischl B, Bossek J, Trautmann H, Wagner M, Neumann F. Local Search and the Traveling Salesman Problem: A Feature-Based Characterization of Problem Hardness. In: Hamadi Y, Schoenauer M, eds. Learning and Intelligent Optimization. Springer Berlin Heidelberg; 2012:115–129. doi:https://doi.org/10.1007/978-3-642-34413-8_9
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 46399
Bischl B, Mersmann O, Trautmann H, Weihs C. Resampling Methods in Model Validation. Evolutionary Computation Journal. 2012;20(2):249–275. doi:10.1162/EVCO_a_00069
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 46400
Rudolph G, Trautmann H, Schütze O. Homogene Approximation der Paretofront bei mehrkriteriellen Kontrollproblemen. at-Automatisierungstechnik. 2012;60:610–621. doi:10.1524/auto.2012.1033
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 48890
Mersmann O, Bischl B, Bossek J, Trautmann H, Wagner M, Neumann F. Local Search and the Traveling Salesman Problem: A Feature-Based Characterization of Problem Hardness. In: Revised Selected Papers of the 6th International Conference on Learning and Intelligent Optimization - Volume 7219. LION 6. Springer-Verlag; 2012:115–129.
LibreCat
2012 | Book Chapter | LibreCat-ID: 48888
Mersmann O, Bischl B, Bossek J, Trautmann H, Wagner M, Neumann F. Local Search and the Traveling Salesman Problem: A Feature-Based Characterization of Problem Hardness. In: Learning and Intelligent Optimization. Vol 7219. Springer Berlin Heidelberg; 2012:115–129. doi:10.1007/978-3-642-34413-8_9
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 26038
Kuznik C, Oliveira MF, Müller W. SYSTEMC UVM VERIFICATION COMPONENTS. Design, Automation and Test in Europe DATE. Published online 2012.
LibreCat
2011 | Dissertation | LibreCat-ID: 19619
Korzeniowski M. Dynamic Load Balancing in Peer-to-Peer Networks. Vol 289. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2011.
LibreCat
| Files available
2011 | Journal Article | LibreCat-ID: 19677
Briest P, Krysta P, Hoefer M. Stackelberg Network Pricing Games. Algorithmica. 2011;62:733–753. doi:10.1007/s00453-010-9480-3
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 19845
Jähn C, Petring R, Eikel B. PADrend: Platform for Algorithm Development and Rendering. In: Augmented & Virtual Reality in Der Produktentstehung. Vol 295. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2011:159--170.
LibreCat
2011 | Conference Paper | LibreCat-ID: 20180
Hamann H, Schmickl T, Crailsheim K, Krasnogor N, Luca Lanzi P. Coupled inverted pendulums: A benchmark for evolving decentral controllers in modular robotics. In: Proceedings of the 13th Annual Genetic and Evolutionary Computation Conference, GECCO 2011. ; 2011:195--202. doi:10.1145/2001576.2001604
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 20181
Hamann H, Schmickl T, Crailsheim K. Thermodynamics of Emergence: Langton’s Ant Meets Boltzmann. In: IEEE Symposium on Artificial Life (IEEE ALIFE 2011). ; 2011:62--69. doi:10.1109/ALIFE.2011.5954660
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 20183
Hamann H, Schmickl T, Crailsheim K. Evolving for Creativity: Maximizing Complexity in a Self-organized Multi-particle System. In: 10th European Conference on Artificial Life (ECAL’09). Vol 5777. ; 2011:442--449. doi:10.1007/978-3-642-21283-3_55
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 20184
Hamann H, Schmickl T, Stradner J, Crailsheim K, Thenius R, Fitch R. Robotic Organisms: Artificial Homeostatic Hormone System and Virtual Embryogenesis as Examples for Adaptive Reaction-Diffusion Controllers. In: Robotic Organisms: Artificial Homeostatic Hormone System and Virtual Embryogenesis as Examples. ; 2011.
LibreCat
2011 | Book Chapter | LibreCat-ID: 20193
Hamann H, Schmickl T. {BEECLUST}: {A} Swarm Algorithm Derived from Honeybees. In: Xiao Y, ed. Bio-Inspired Computing and Communication Networks. Boca Raton, FL, USA: CRC Press; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 20194
Hamann H, Karsai I, Schmickl T, et al. Evolving a novel bio-inspired controller in reconfigurable robots. In: Advances in Artificial Life, 10th European Conference, ECAL 2009. ; 2011:132--139.
LibreCat
2011 | Conference Paper | LibreCat-ID: 20195
Hamann H, Schmickl T, Crailsheim K, Thenius R, Kengyel D. Embodiment of Honeybee’s Thermotaxis in a Mobile Robot Swarm. In: 10th European Conference on Artificial Life (ECAL’09). ; 2011. doi:10.1007/978-3-642-21314-4_9
LibreCat
| DOI
2011 | Book Chapter | LibreCat-ID: 20196
Hamann H, Schmickl T, Crailsheim K. Explaining Emergent Behavior in a Swarm System Based on an Inversion of the Fluctuation Theorem. In: Lenaerts T, Giacobini M, Bersini H, Bourgine P, Dorigo M, Doursat R, eds. Advances in Artificial Life, ECAL 2011: Proceedings of the 11th European Conference on the Synthesis and Simulation of Living Systems. MIT Press; 2011:302--309.
LibreCat
2011 | Book Chapter | LibreCat-ID: 20214
Hamann H, Schmickl T, Stradner J, Crailsheim K, Winkler L. Major Feedback Loops Supporting Artificial Evolution in Multi-modular Robotics. In: New Horizons in Evolutionary Robotics. Berlin, Heidelberg: Springer; 2011. doi:10.1007/978-3-642-18272-3_13
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 20215
Schmickl T, Hamann H, Crailsheim K. Modelling a hormone-inspired controller for individual- and multi-modular robotic systems. Mathematical and Computer Modelling of Dynamical Systems. 2011;17(3):221-242. doi:10.1080/13873954.2011.557862
LibreCat
| DOI
2011 | Bachelorsthesis | LibreCat-ID: 2872
Böttger T. Bicriteria-Approximation Für Das k-Median-Clustering Mit Bregman-Divergenzen.; 2011.
LibreCat
| Files available
2011 | Conference Paper | LibreCat-ID: 26276
Hosseinimehr M, Montealegre N. Implementation of a Singular Value Decomposition Module on an FPGA. In: The 23rd IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2011). ACTA Press; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26279
Jungmann A, Kleinjohann B. Automatic Feature Classification for Object Detection based on Motion Analysis. In: Proceedings of the 5th International Conference on Automation, Robotics and Applications (ICARA). IEEE; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26281
Stern C, Rasche C, Kleinjohann L, Kleinjohann B. Towards Using Virtual Forces for Image Registration. In: The 5th International Conference on Automation, Robotics and Applications (ICARA 2011). ; 2011.
LibreCat
2011 | Book Chapter | LibreCat-ID: 2662
Dannewitz C, al et. How to manage and Search/Retrieve Information Objects. In: Architecture and Design for the Future Internet. ; 2011.
LibreCat
| Download (ext.)
2011 | Book Chapter | LibreCat-ID: 2663
Dannewitz C, al et. Integrating Generic Paths and NetInf. In: Architecture and Design for the Future Internet. ; 2011.
LibreCat
| Download (ext.)
2011 | Conference Paper | LibreCat-ID: 26660
Rasche C, Stern C, Kleinjohann L, Kleinjohann B. A Distributed Multi-UAV Path Planning Approach for 3D Environments. In: The 5th International Conference on Automation, Robotics and Applications (ICARA 2011). ; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26663
Mathews E, Graf T, Kulathunga KSSB. A Bio-inspired Coverage and Connectivity Maintenance Algorithm. In: Sixth International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems. Lecture Notes of ICST; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26667
Kuznik C, Müller W. Aspect enhanced functional coverage driven verification in the SystemC HDVL. In: Proc. of the 8th International SoC Design Conference 2011 (ISOCC 2011). ; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26669
Xie T, Müller W. IP-XACT based System Level Mutation Testing. In: Proceedings of the 16th IEEE International High Level Design Validation and Test Workshop (HLDVT). ; 2011.
LibreCat
2011 | Journal Article | LibreCat-ID: 26670
Henkler S, Oberthür S, Giese H, Seibel A. Model-driven runtime resource predictions for advanced mechatronic systems with dynamic data structures. International Journal of Computer Systems Science & Engineering 26 (6). Published online 2011.
LibreCat
2011 | Journal Article | LibreCat-ID: 26671
Baldin D, Grösbrink S, Oberthür S. Enabling Constraint-based Binary Reconfiguration by Binary Analysis. International Journal on Computing (JoC) 1(4). Published online 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26673
Bin Tariq F. F-DRARE: A Framework for Deterministic runtime adaptation of Cyber Physical Systems. In: 1st International Workshop on Adaptive Services for the Future Internet, 4th European Conference, ServiceWave 2011. Springer-Verlag; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26687
Orfanus D, Janacik P, Eliassen F, Orten P. High-Level Construction of Emergent Self-Organizing Behavior in Massively Distributed Embedded Systems. In: Proceedings of Third World Congress on Nature and Biologically Inspired Computing (NaBIC2011). IEEE Computer Society; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26698
Xie T, Müller W. HDL-Mutation Based Simulation Data Generation by Propagation Guided Search. In: Proceedings of the 14th Euromicro Conference on Digital System Design (DSD). ; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26699
Jungmann A, Lutterbeck J, Werdehausen B, Kleinjohann B. A Test Bed for Investigating Self-X Properties in Multi-Robot Societies. In: Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN). IEEE; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26701
Gausemeier J, Schierbaum T, Dumitrescu R, Herbrechtsmeier S, Jungmann A. Miniature Robot BeBot: Mechatronic Test Platform for Self-X Properties. In: Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN). IEEE; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26702
Thuy A. Comparison of periodic and aperiodic task models for cyber-physical-systems. In: Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC), 2011 6th International Workshop On . IEEE Xplore; 2011.
LibreCat
2011 | Journal Article | LibreCat-ID: 26705
Kuznik C, Müller W. Verification Closure of SystemC Designs with Functional Coverage. North American SystemC User Group Meeting (16th). Published online 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26707
Mathews E, Frey H. A Localized Planarization Algorithm for Realistic Wireless Networks. In: IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM). IEEE Computer Society; 2011:1-9.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26710
Becker M, Zabel H, Müller W, Elfeky A, DiPasquale A. Virtual Prototyping softwareintensiver mechatronischer Systeme Eine Fallstudie. In: 8. Paderborner Workshop Entwurf Mechatronischer Systeme, Band 294. Vol 294. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2011:315-327.
LibreCat
2011 | Journal Article | LibreCat-ID: 26711
Rasche C, Stern C, Kleinjohann L, Kleinjohann B. Coordinated Exploration and Goal-Oriented Path Planning using Multiple UAVs. ThinkMind, International Journal On Advances in Software 3 (3&4). Published online 2011:351-370.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26712
Khaluf Y, Mathews E, Rammig F-J. Self-Organized Cooperation in Swarm Robotics. In: 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW). IEEE Computer Society; 2011:217-226.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26713
Klobedanz K, König A, Müller W. A Reconfiguration Approach for Fault-Tolerant FlexRay Networks. In: Proceedings of Design, Automation, Test Europe - DATE2011. IEEE Computer Society Press; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26714
Klobedanz K, König A, Müller W, Rettberg A. Self-Reconfiguration for Fault-Tolerant FlexRay Networks. In: Second IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2011. IEEE Computer Society Press; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26715
Kuznik C, Müller W. Functional Coverage-driven Verification with SystemC on Multiple Level of Abstraction. In: Proceedings of DVCON . ; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26716
Mischkalla F, He D, Müller W. A Retargetable SysML-based Front-End for High-Level Synthesis. In: Proceedings of 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED). ; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26717
He D, Mischkalla F, Müller W. A SysML-based Framework with QEMU-SystemC Code Generation. In: Proceedings of 1st International QEMU Users Forum. ; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26782
Becker M. QEMU/SystemC Cosimulation at Different Abstraction Levels. In: 1st International QEMU Users Forum (QUF’11). ; 2011.
LibreCat
2011 | Book Chapter | LibreCat-ID: 26783
Adelt P, Esau N, Hölscher C, et al. Hybrid Planning for Self-Optimization in Railbound Mechatronic Systems. In: Intelligent Mechatronics; Kapitel 10. InTech Open Access Publisher; 2011:169-194.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26784
Gnokam Defo GB, Müller W. Synchronisation eines SystemC Restbus-Simulators mit einem Hardware-In-the-Loop FlexRay Netzwerk. In: Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV). ; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26787
Khaluf L, Gerth C, Engels G. Pattern-Based Modeling and Formalizing of Business Process Quality Constraints. In: Proceedings of the 23rd International Conference on Advanced Information Systems Engineering (CAiSE’11). Springer Verlag; 2011:521-535.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26789
Kuznik C, Müller W. Native binary mutation analysis for embedded software and virtual prototypes in SystemC. In: Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing. ; 2011.
LibreCat
2011 | Book Chapter | LibreCat-ID: 26792
Esau N, Kleinjohann L. Emotional Robot Competence and Its Use in Robot Behavior Control. In: Emotional Engineering. Springer-Verlag London; 2011:119-142.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26794
Jungmann A, Lutterbeck J, Werdehausen B, Kleinjohann B, Kleinjohann L. Towards a Real-World Scenario for Investigating Organic Computing Principles in Heterogeneous Societies of Robots. In: Proceedings of the 2011 Workshop on Organic Computing. ACM; 2011:41-50.
LibreCat
2011 | Book Chapter | LibreCat-ID: 26805
Jungmann A, Kleinjohann B, Richert W. A Fast Hierarchical Learning Approach for Autonomous Robots. In: Organic Computing A Paradigm Shift for Complex Systems, Autonomic Systems. Springer Basel; 2011:545-558. doi:10.1007/978-3-0348-0130-0_36
LibreCat
| DOI
2011 | Book Chapter | LibreCat-ID: 26810
Jungmann A, Kleinjohann B, Richert W. Increasing Learning Speed by Imitation in Multi-robot Societies. In: Organic Computing A Paradigm Shift for Complex Systems, Autonomic Systems, Band 1 . Springer Basel; 2011:295-307. doi:10.1007/978-3-0348-0130-0_19
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3811
Wachsmuth H, Bujna K. Back to the Roots of Genres: Text Classification by Language Function. In: Berendt B, de Vries A, Fan W, Macdonald C, Ounis I, Ruthven I, eds. Proceedings of 5th International Joint Conference on Natural Language Processing. ; 2011:632-640.
LibreCat
| Download (ext.)
2011 | Conference Paper | LibreCat-ID: 3875
Wachsmuth H, Stein B, Engels G. Constructing Efficient Information Extraction Pipelines. In: Berendt B, de Vries A, Fan W, Macdonald C, Ounis I, Ruthven I, eds. 20th ACM International Conference on Information and Knowledge Management. ; 2011:2237-2240.
LibreCat
| Download (ext.)
2011 | Mastersthesis | LibreCat-ID: 2902
Märtens M. The Monotone Complexity of Computing K-Clique on Random Graphs.; 2011.
LibreCat
2011 | Dissertation | LibreCat-ID: 2910
Naewe S. Algorithms for Lattice Problems with Respect to General Norms. Universität Paderborn; 2011.
LibreCat
| Download (ext.)
2011 | Conference Paper | LibreCat-ID: 2985
Ackermann MR, Blömer J, Scholz C. Hardness and Non-Approximability of Bregman Clustering Problems. 2011.
LibreCat
2011 | Book Chapter | LibreCat-ID: 2986
Blömer J. How to Share a Secret. In: Algorithms Unplugged. Berlin, Heidelberg: Springer Berlin Heidelberg; 2011:159-168. doi:10.1007/978-3-642-15328-0_17
LibreCat
| DOI
2011 | Preprint | LibreCat-ID: 2987
Blömer J, Naewe S. Solving the Closest Vector Problem with respect to Lp Norms. arXiv:11043720. 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 3137
Hofheinz D, Jager T, Kiltz E. Short Signatures from Weaker Assumptions. In: Advances in Cryptology - ASIACRYPT 2011 - 17th International Conference on the Theory and Application of Cryptology and Information Security, Seoul, South Korea, December 4-8, 2011. Proceedings. ; 2011:647--666. doi:10.1007/978-3-642-25385-0_35
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3138
Jager T, Somorovsky J. How to break XML encryption. In: Proceedings of the 18th ACM Conference on Computer and Communications Security, CCS 2011, Chicago, Illinois, USA, October 17-21, 2011. ; 2011:413--422. doi:10.1145/2046707.2046756
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 3183
Schneider S, Treharne H, Wehrheim H. Bounded Retransmission in Event-B{\(\parallel\)}CSP: a Case Study. Electr Notes Theor Comput Sci. 2011:69--80. doi:10.1016/j.entcs.2011.11.019
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 3184
Derrick J, Schellhorn G, Wehrheim H. Mechanically verified proof obligations for linearizability. {ACM} Trans Program Lang Syst. 2011;(1):4:1--4:43. doi:10.1145/1889997.1890001
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3185
Ruhroth T, Wehrheim H, Ziegert S. ReL: {A} Generic Refactoring Language for Specification and Execution. In: 37th {EUROMICRO} Conference on Software Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011. ; 2011:83--90. doi:10.1109/SEAA.2011.22
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3186
Derrick J, Schellhorn G, Wehrheim H. Verifying Linearisability with Potential Linearisation Points. In: J. Butler M, Schulte W, eds. {FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings. Lecture Notes in Computer Science. ; 2011:323--337. doi:10.1007/978-3-642-21437-0_25
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3187
Steenken D, Wehrheim H, Wonisch D. Sound and Complete Abstract Graph Transformation. In: da Silva Sim{\~{a}}o A, Morgan C, eds. Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers. Lecture Notes in Computer Science. ; 2011:92--107. doi:10.1007/978-3-642-25032-3_7
LibreCat
| DOI