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.

5685 Publications


2012 | Journal Article | LibreCat-ID: 15669
Koli Calling 2009 and 2010
C. Schulte, J. Suhonen, Computer Science Education 22 (2012) 79–80.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 15670
Computer science at school/CS teacher education: Koli working-group report on CS at school
C. Schulte, M. Hornung, S. Sentance, V. Dagiene, T. Jevsikova, N. Thota, A. Eckerdal, A.-K. Peters, in: Koli Calling, ACM, 2012, pp. 29–38.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 15671 LibreCat
 

2012 | Conference Paper | LibreCat-ID: 15754
Learning conditional lexicographic preference trees
M. Bräuning, E. Hüllermeier, in: In Workshops on Preference Learning at ECAI, European Conference on Artiticial Intelligence, Montpellier, France, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 14871
A Syllable-based Prosody Modeling for L1 and L2 English Speeches
W.-F. Chen, C.-K. Kuo, Y.-R. Wang, S.-H. Chen, in: Proceedings of the 8th International Symposium on Chinese Spoken Language Processing, IEEE, 2012, pp. 281–285.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 15095
Efficient String-Based XML Stream Prefiltering
S. Böttcher, R. Hartel, S. Weber, in: Proceedings of the Twenty-Third Australasian Database Conference, Australian Computer Society, Inc., 2012, pp. 145–152.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 15096
Fast Insertion and Deletion in Compressed Texts
S. Böttcher, A. Bültmann, R. Hartel, J. Schlüßler, in: 2012 Data Compression Conference, IEEE, 2012, p. 393.
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 15114
On the VC dimension of the Choquet integral
E. Hüllermeier, A. Fallah Tehrani, in: In Proceedings IPMU-2012 14th International Conference on Information Processing and Management  of Uncertainty in Knowledge-Based Systems, Part 1, Catania, Italy, 2012.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 16084
Learning monotone nonlinear models using the Choquet integral
A. Fallah Tehrani, W. Cheng, K. Dembczynski, E. Hüllermeier, Machine Learning 89 (2012) 183–211.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 16085
Grouping, overlap and generalized bientropic functions for fuzzy modeling of pairwise comparisons
H. Bustince, M. Pagola, R. Mesiar, E. Hüllermeier, F. Herrera, IEEE Transactions on Fuzzy Systems 20 (2012) 405–415.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 16087
Preference-based reinforcement learning: A formal framework and a policy iteration algorithm
J. Fürnkranz, E. Hüllermeier, W. Cheng, S.H. Park, Machine Learning 89 (2012) 123–156.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 16088
On label dependence and loss minimization in multi-label classification
K. Dembczynski, W. Waegeman, W. Cheng, E. Hüllermeier, Machine Learning 88 (2012) 5–45.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 16089
IBL Streams: A system for instance-based classification and regression on data streams
A. Shaker, E. Hüllermeier, Evolving Systems 3 (2012) 235–249.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 16090
A formal and empirical analysis of the fuzzy gamma rank correlation coefficient
M. Dolorez Ruiz, E. Hüllermeier, Information Sciences 206 (2012) 1–17.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 16091
Preference learning using the Choquet integral: The case of multipartite ranking
A. Fallah Tehrani, W. Cheng, E. Hüllermeier, IEEE Transactions on Fuzzy Systems 20 (2012) 1102–1113.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 16092
Fingerprint kernels for protein structure comparison
T. Fober, M. Mernberger, G. Klebe, E. Hüllermeier, Molecular Informatics 31 (2012) 443–452.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 16093
Comparing fuzzy partitions: A generalization of the Rand index and related measures
E. Hüllermeier, M. Rifqi, S. Henzgen, R. Senge, IEEE Transactions on Fuzzy Systems 20 (2012) 546–556.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 16094
Fuzzy Pattern Trees: Ein alternativer Ansatz zur Fuzzy-Modellierung
R. Senge, T. Fober, N. Nasiri, E. Hüllermeier, At-Atomatisierungstechnik 60 (2012) 622–629.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 16408
Asynchronous Occlusion Culling on Heterogeneous PC Clusters for Distributed 3D Scenes
T. Suess, C. Koch, C. Jähn, M. Fischer, F. Meyer auf der Heide, in: Advances in Visual Computing, Berlin, Heidelberg, 2012, pp. 502–512.
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 13120
Label ranking with partial abstention based on thresholded probalistic models
W. Cheng, E. Hüllermeier, W. Waegeman, V. Welker, 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
Probability estimation for mulit-class classification based on label ranking
W. Cheng, E. Hüllermeier, 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
Consistent multilabel ranking through univariate loss minimization
K. Dembczynski, W. Kotlowski, E. Hüllermeier, in: J. Langford, J. Pineau (Eds.), In Proceedings ICML-2012,  International Conference on Machine Learning, Edinburgh, Scotland, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 13193
An analysis of chaining in multi-label classification
K. Dembczynski, W. Waegeman, E. Hüllermeier, in: In Proceedings ECAI-2012, 20th European Conference on Artificial Inteligence, Montpellier, France , IOS Press, 2012, pp. 294–299.
LibreCat
 

2012 | Misc | LibreCat-ID: 13462
An outlook for self-awareness in computing systems
P. Lewis, M. Platzner, X. Yao, An Outlook for Self-Awareness in Computing Systems, Awareness Magazine, 2012.
LibreCat
 

2012 | Book Chapter | LibreCat-ID: 10153
Fuzzy rules in data mining: From fuzzy associations to gradual dependencies
E. Hüllermeier, in: E. Trillas, P.P. Bonissone, L. Magdalena, J. Kacprzyk (Eds.), Combining Experimentation and Theory, Springer, 2012, pp. 123–135.
LibreCat
 

2012 | Book Chapter | LibreCat-ID: 26695
Extending UML for Electronic Systems Design: A Code Generation Perspective
Y. Vanderperren, W. Müller, D. He, F. Mischkalla, W. Dahaene, in: G. Nicolescu, I. O’Connor, C. Piguet (Eds.), Design Technology for Heterogeneous Embedded Systems, 1st Edition. Auflage, Springer Verlag, 2012, pp. 13–39.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 36922
An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems
K. Klobedanz, W. Müller, A. Rettberg, in: IEEE, Shenzhen, China , 2012.
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 36921
Towards an Enhanced UVM for SystemC
M.F. Oliveira, C. Kuznik, W. Müller, V. Esen, W. Ecker, in: Proceedings of the Design & Verification Conference (DVCon), San Jose, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 36994
Mutation-Analysis Driven Functional Verification of a Soft Microprocessor
T. Xie, W. Müller, F. Letombe, in: Proceedings of SOCC2012, IEEE, Niagara Falls, NY, USA , 2012.
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 36997
An IP-XACT-TO-SystemC Model Generator for Mutation Analysis
T. Xie, W. Müller, in: Proceedings of the MeCoES’12, Tampere, Finnland, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 8169 | OA
Hardness of Approximation for Quantum Problems
S. Gharibian, J. Kempe, in: A. Czumaj, K. Mehlhorn, A. Pitts, R. Wattenhofer (Eds.), International Colloquium on Automata, Languages, and Programming (ICALP 2012), Springer Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 387–398.
LibreCat | DOI | Download (ext.) | arXiv
 

2012 | Journal Article | LibreCat-ID: 8175 | OA
Approximation Algorithms for QMA-Complete Problems
S. Gharibian, J. Kempe, SIAM Journal on Computing 41 (2012) 1028–1050.
LibreCat | DOI | Download (ext.) | arXiv
 

2012 | Journal Article | LibreCat-ID: 8174 | OA
Quantifying nonclassicality with local unitary operations
S. Gharibian, Physical Review A 86 (2012) 042106.
LibreCat | DOI | Download (ext.) | arXiv
 

2012 | Conference Paper | LibreCat-ID: 2106
Convey Vector Personalities – FPGA Acceleration with an OpenMP-like Effort?
B. Meyer, J. Schumacher, C. Plessl, J. Förstner, in: Proc. Int. Conf. on Field Programmable Logic and Applications (FPL), IEEE, 2012, pp. 189–196.
LibreCat | Files available | DOI
 

2012 | Journal Article | LibreCat-ID: 2108
IMORC: An Infrastructure and Architecture Template for Implementing High-Performance Reconfigurable FPGA Accelerators
T. Schumacher, C. Plessl, M. Platzner, Microprocessors and Microsystems 36 (2012) 110–126.
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 615
Eight Ways to put your FPGA on Fire – A Systematic Study of Heat Generators
M. Happe, H. Hangmann, A. Agne, C. Plessl, in: Proceedings of the International Conference on Reconfigurable Computing and FPGAs (ReConFig), IEEE, 2012, pp. 1–8.
LibreCat | Files available | DOI
 

2012 | Conference Paper | LibreCat-ID: 591
Pragma based parallelization - Trading hardware efficiency for ease of use?
T. Kenter, C. Plessl, H. Schmitz, in: Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), IEEE, 2012, pp. 1–8.
LibreCat | Files available | DOI
 

2012 | Conference Paper | LibreCat-ID: 609
Hardware/Software Platform for Self-aware Compute Nodes
M. Happe, A. Agne, C. Plessl, M. Platzner, in: Proceedings of the Workshop on Self-Awareness in Reconfigurable Computing Systems (SRCS), 2012, pp. 8–9.
LibreCat | Files available
 

2012 | Conference Paper | LibreCat-ID: 567
Turning control flow graphs into function calls: Code generation for heterogeneous architectures
P. Barrio, C. Carreras, R. Sierra, T. Kenter, C. Plessl, in: Proceedings of the International Conference on High Performance Computing and Simulation (HPCS), IEEE, 2012, pp. 559–565.
LibreCat | Files available | DOI
 

2012 | Conference Paper | LibreCat-ID: 612
Exploration of Ring Oscillator Design Space for Temperature Measurements on FPGAs
C. Rüthing, M. Happe, A. Agne, C. Plessl, in: Proceedings of the International Conference on Field Programmable Logic and Applications (FPL), IEEE, 2012, pp. 559–562.
LibreCat | Files available | DOI
 

2012 | Conference Paper | LibreCat-ID: 2180
Programming and Scheduling Model for Supporting Heterogeneous Accelerators in Linux
T. Beisel, T. Wiersema, C. Plessl, A. Brinkmann, in: Proc. Workshop on Computer Architecture and Operating System Co-Design (CAOS), 2012.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 2177
On the Feasibility and Limitations of Just-In-Time Instruction Set Extension for FPGA-based Reconfigurable Processors
M. Grad, C. Plessl, Int. Journal of Reconfigurable Computing (IJRC) (2012).
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 46397
On the Properties of the R2 Indicator
D. Brockhoff, T. Wagner, H. Trautmann, in: Proceedings of the 14th Annual Conference on Genetic and Evolutionary Computation, Association for Computing Machinery, New York, NY, USA, 2012, pp. 465–472.
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 46396
Algorithm Selection Based on Exploratory Landscape Analysis and Cost-Sensitive Learning
B. Bischl, O. Mersmann, H. Trautmann, M. Preuß, in: Proceedings of the 14th Annual Conference on Genetic and Evolutionary Computation, Association for Computing Machinery, New York, NY, USA, 2012, pp. 313–320.
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 46398
Local Search and the Traveling Salesman Problem: A Feature-Based Characterization of Problem Hardness
O. Mersmann, B. Bischl, J. Bossek, H. Trautmann, M. Wagner, F. Neumann, in: Y. Hamadi, M. Schoenauer (Eds.), Learning and Intelligent Optimization, Springer Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 115–129.
LibreCat | DOI
 

2012 | Journal Article | LibreCat-ID: 46399
Resampling Methods in Model Validation
B. Bischl, O. Mersmann, H. Trautmann, C. Weihs, Evolutionary Computation Journal 20 (2012) 249–275.
LibreCat | DOI
 

2012 | Journal Article | LibreCat-ID: 46400
Homogene Approximation der Paretofront bei mehrkriteriellen Kontrollproblemen
G. Rudolph, H. Trautmann, O. Schütze, At-Automatisierungstechnik 60 (2012) 610–621.
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 48890
Local Search and the Traveling Salesman Problem: A Feature-Based Characterization of Problem Hardness
O. Mersmann, B. Bischl, J. Bossek, H. Trautmann, M. Wagner, F. Neumann, in: Revised Selected Papers of the 6th International Conference on Learning and Intelligent Optimization - Volume 7219, Springer-Verlag, Berlin, Heidelberg, 2012, pp. 115–129.
LibreCat
 

2012 | Book Chapter | LibreCat-ID: 48888
Local Search and the Traveling Salesman Problem: A Feature-Based Characterization of Problem Hardness
O. Mersmann, B. Bischl, J. Bossek, H. Trautmann, M. Wagner, F. Neumann, in: Learning and Intelligent Optimization, Springer Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 115–129.
LibreCat | DOI
 

2012 | Journal Article | LibreCat-ID: 26038
SYSTEMC UVM VERIFICATION COMPONENTS
C. Kuznik, M.F. Oliveira, W. Müller, Design, Automation and Test in Europe DATE (2012).
LibreCat
 

2011 | Dissertation | LibreCat-ID: 19619
Dynamic Load Balancing in Peer-to-Peer Networks
M. Korzeniowski, Dynamic Load Balancing in Peer-to-Peer Networks, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011.
LibreCat | Files available
 

2011 | Journal Article | LibreCat-ID: 19677
Stackelberg Network Pricing Games
P. Briest, P. Krysta, M. Hoefer, Algorithmica 62 (2011) 733–753.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 19845
PADrend: Platform for Algorithm Development and Rendering
C. Jähn, R. Petring, B. Eikel, in: Augmented & Virtual Reality in Der Produktentstehung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011, pp. 159--170.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 20180
Coupled inverted pendulums: A benchmark for evolving decentral controllers in modular robotics
H. Hamann, T. Schmickl, K. Crailsheim, N. Krasnogor, P. Luca Lanzi, in: Proceedings of the 13th Annual Genetic and Evolutionary Computation Conference, GECCO 2011, 2011, pp. 195--202.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 20181
Thermodynamics of Emergence: Langton's Ant Meets Boltzmann
H. Hamann, T. Schmickl, K. Crailsheim, in: IEEE Symposium on Artificial Life (IEEE ALIFE 2011), 2011, pp. 62--69.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 20183
Evolving for Creativity: Maximizing Complexity in a Self-organized Multi-particle System
H. Hamann, T. Schmickl, K. Crailsheim, in: 10th European Conference on Artificial Life (ECAL’09), 2011, pp. 442--449.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 20184
Robotic Organisms: Artificial Homeostatic Hormone System and Virtual Embryogenesis as Examples for Adaptive Reaction-Diffusion Controllers
H. Hamann, T. Schmickl, J. Stradner, K. Crailsheim, R. Thenius, R. Fitch, in: Robotic Organisms: Artificial Homeostatic Hormone System and Virtual Embryogenesis as Examples, 2011.
LibreCat
 

2011 | Book Chapter | LibreCat-ID: 20193
{BEECLUST}: {A} Swarm Algorithm Derived from Honeybees
H. Hamann, T. Schmickl, in: Y. Xiao (Ed.), Bio-Inspired Computing and Communication Networks, CRC Press, Boca Raton, FL, USA, 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 20194
Evolving a novel bio-inspired controller in reconfigurable robots
H. Hamann, I. Karsai, T. Schmickl, J. Stradner, K. Crailsheim, R. Thenius, G. Kampis, E. Szathmary, in: Advances in Artificial Life, 10th European Conference, ECAL 2009, 2011, pp. 132--139.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 20195
Embodiment of Honeybee's Thermotaxis in a Mobile Robot Swarm
H. Hamann, T. Schmickl, K. Crailsheim, R. Thenius, D. Kengyel, in: 10th European Conference on Artificial Life (ECAL’09), 2011.
LibreCat | DOI
 

2011 | Book Chapter | LibreCat-ID: 20196
Explaining Emergent Behavior in a Swarm System Based on an Inversion of the Fluctuation Theorem
H. Hamann, T. Schmickl, K. Crailsheim, in: T. Lenaerts, M. Giacobini, H. Bersini, P. Bourgine, M. Dorigo, R. Doursat (Eds.), Advances in Artificial Life, ECAL 2011: Proceedings of the 11th European Conference on the Synthesis and Simulation of Living Systems, MIT Press, 2011, pp. 302--309.
LibreCat
 

2011 | Book Chapter | LibreCat-ID: 20214
Major Feedback Loops Supporting Artificial Evolution in Multi-modular Robotics
H. Hamann, T. Schmickl, J. Stradner, K. Crailsheim, L. Winkler, in: New Horizons in Evolutionary Robotics, Springer, Berlin, Heidelberg, 2011.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 20215
Modelling a hormone-inspired controller for individual- and multi-modular robotic systems
T. Schmickl, H. Hamann, K. Crailsheim, Mathematical and Computer Modelling of Dynamical Systems 17 (2011) 221–242.
LibreCat | DOI
 

2011 | Bachelorsthesis | LibreCat-ID: 2872
Bicriteria-Approximation für das k-Median-Clustering mit Bregman-Divergenzen
T. Böttger, Bicriteria-Approximation Für Das k-Median-Clustering Mit Bregman-Divergenzen, 2011.
LibreCat | Files available
 

2011 | Conference Paper | LibreCat-ID: 26276
Implementation of a Singular Value Decomposition Module on an FPGA
M. Hosseinimehr, N. Montealegre, in: The 23rd IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2011), ACTA Press, Calgary, Canada, 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26279
Automatic Feature Classification for Object Detection based on Motion Analysis
A. Jungmann, B. Kleinjohann, in: Proceedings of the 5th International Conference on Automation, Robotics and Applications (ICARA), IEEE, Wellington, New Zealand, 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26281
Towards Using Virtual Forces for Image Registration
C. Stern, C. Rasche, L. Kleinjohann, B. Kleinjohann, in: The 5th International Conference on Automation, Robotics and Applications (ICARA 2011), Wellington, New Zealand, 2011.
LibreCat
 

2011 | Book Chapter | LibreCat-ID: 2662
How to manage and Search/Retrieve Information Objects
C. Dannewitz, et al, in: Architecture and Design for the Future Internet, 2011.
LibreCat | Download (ext.)
 

2011 | Book Chapter | LibreCat-ID: 2663
Integrating Generic Paths and NetInf
C. Dannewitz, et al, in: Architecture and Design for the Future Internet, 2011.
LibreCat | Download (ext.)
 

2011 | Conference Paper | LibreCat-ID: 26660
A Distributed Multi-UAV Path Planning Approach for 3D Environments
C. Rasche, C. Stern, L. Kleinjohann, B. Kleinjohann, in: The 5th International Conference on Automation, Robotics and Applications (ICARA 2011), Wellington, New Zealand, 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26663
A Bio-inspired Coverage and Connectivity Maintenance Algorithm
E. Mathews, T. Graf, K.S.S.B. Kulathunga, 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
Aspect enhanced functional coverage driven verification in the SystemC HDVL
C. Kuznik, W. Müller, in: Proc. of the 8th International SoC Design Conference 2011 (ISOCC 2011), 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26669
IP-XACT based System Level Mutation Testing
T. Xie, W. Müller, in: Proceedings of the 16th IEEE International High Level Design Validation and Test Workshop (HLDVT), 2011.
LibreCat
 

2011 | Journal Article | LibreCat-ID: 26670
Model-driven runtime resource predictions for advanced mechatronic systems with dynamic data structures
S. Henkler, S. Oberthür, H. Giese, A. Seibel, International Journal of Computer Systems Science & Engineering 26 (6) (2011).
LibreCat
 

2011 | Journal Article | LibreCat-ID: 26671
Enabling Constraint-based Binary Reconfiguration by Binary Analysis
D. Baldin, S. Grösbrink, S. Oberthür, International Journal on Computing (JoC) 1(4) (2011).
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26673
F-DRARE: A Framework for Deterministic runtime adaptation of Cyber Physical Systems
F. Bin Tariq, in: 1st International Workshop on Adaptive Services for the Future Internet, 4th European Conference, ServiceWave 2011, Springer-Verlag, Poznan, Poland, 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26687
High-Level Construction of Emergent Self-Organizing Behavior in Massively Distributed Embedded Systems
D. Orfanus, P. Janacik, F. Eliassen, P. Orten, in: Proceedings of Third World Congress on Nature and Biologically Inspired Computing (NaBIC2011), IEEE Computer Society, Salamanca, Spain, 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26698
HDL-Mutation Based Simulation Data Generation by Propagation Guided Search
T. Xie, W. Müller, in: Proceedings of the 14th Euromicro Conference on Digital System Design (DSD), 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26699
A Test Bed for Investigating Self-X Properties in Multi-Robot Societies
A. Jungmann, J. Lutterbeck, B. Werdehausen, B. Kleinjohann, in: Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN), IEEE, 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26701
Miniature Robot BeBot: Mechatronic Test Platform for Self-X Properties
J. Gausemeier, T. Schierbaum, R. Dumitrescu, S. Herbrechtsmeier, A. Jungmann, in: Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN), IEEE, 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26702
Comparison of periodic and aperiodic task models for cyber-physical-systems
A. Thuy, in: Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC), 2011 6th International Workshop On , IEEE Xplore, 2011.
LibreCat
 

2011 | Journal Article | LibreCat-ID: 26705
Verification Closure of SystemC Designs with Functional Coverage
C. Kuznik, W. Müller, North American SystemC User Group Meeting (16th) (2011).
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26707
A Localized Planarization Algorithm for Realistic Wireless Networks
E. Mathews, H. Frey, in: IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM), IEEE Computer Society, 2011, pp. 1–9.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26710
Virtual Prototyping softwareintensiver mechatronischer Systeme – Eine Fallstudie
M. Becker, H. Zabel, W. Müller, A. Elfeky, A. DiPasquale, in: 8. Paderborner Workshop Entwurf Mechatronischer Systeme, Band 294, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011, pp. 315–327.
LibreCat
 

2011 | Journal Article | LibreCat-ID: 26711
Coordinated Exploration and Goal-Oriented Path Planning using Multiple UAVs
C. Rasche, C. Stern, L. Kleinjohann, B. Kleinjohann, ThinkMind, International Journal On Advances in Software 3 (3&4) (2011) 351–370.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26712
Self-Organized Cooperation in Swarm Robotics
Y. Khaluf, E. Mathews, F.-J. Rammig, in: 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), IEEE Computer Society, Newport Beach, California, USA, 2011, pp. 217–226.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26713
A Reconfiguration Approach for Fault-Tolerant FlexRay Networks
K. Klobedanz, A. König, W. Müller, in: Proceedings of Design, Automation, Test Europe - DATE2011, IEEE Computer Society Press, Grenoble, France, 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26714
Self-Reconfiguration for Fault-Tolerant FlexRay Networks
K. Klobedanz, A. König, W. Müller, A. Rettberg, in: Second IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2011, IEEE Computer Society Press, Newport Beach, California, USA, 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26715
Functional Coverage-driven Verification with SystemC on Multiple Level of Abstraction
C. Kuznik, W. Müller, in: Proceedings of DVCON , 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26716
A Retargetable SysML-based Front-End for High-Level Synthesis
F. Mischkalla, D. He, W. Müller, in: Proceedings of 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED), 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26717
A SysML-based Framework with QEMU-SystemC Code Generation
D. He, F. Mischkalla, W. Müller, in: Proceedings of 1st International QEMU Users Forum, 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26782
QEMU/SystemC Cosimulation at Different Abstraction Levels
M. Becker, in: 1st International QEMU Users Forum (QUF’11), 2011.
LibreCat
 

2011 | Book Chapter | LibreCat-ID: 26783
Hybrid Planning for Self-Optimization in Railbound Mechatronic Systems
P. Adelt, N. Esau, C. Hölscher, B. Kleinjohann, L. Kleinjohann, M. Krüger, D. Zimmer, in: Intelligent Mechatronics; Kapitel 10, InTech Open Access Publisher, 2011, pp. 169–194.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26784
Synchronisation eines SystemC Restbus-Simulators mit einem Hardware-In-the-Loop FlexRay Netzwerk
G.B. Gnokam Defo, W. Müller, in: Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV), 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26787
Pattern-Based Modeling and Formalizing of Business Process Quality Constraints
L. Khaluf, C. Gerth, G. Engels, in: Proceedings of the 23rd International Conference on Advanced Information Systems Engineering (CAiSE’11), Springer Verlag, 2011, pp. 521–535.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26789
Native binary mutation analysis for embedded software and virtual prototypes in SystemC
C. Kuznik, W. Müller, in: Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011.
LibreCat
 

2011 | Book Chapter | LibreCat-ID: 26792
Emotional Robot Competence and Its Use in Robot Behavior Control
N. Esau, L. Kleinjohann, in: Emotional Engineering, Springer-Verlag London, 2011, pp. 119–142.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26794
Towards a Real-World Scenario for Investigating Organic Computing Principles in Heterogeneous Societies of Robots
A. Jungmann, J. Lutterbeck, B. Werdehausen, B. Kleinjohann, L. Kleinjohann, in: Proceedings of the 2011 Workshop on Organic Computing, ACM, 2011, pp. 41–50.
LibreCat
 

2011 | Book Chapter | LibreCat-ID: 26805
A Fast Hierarchical Learning Approach for Autonomous Robots
A. Jungmann, B. Kleinjohann, W. Richert, in: Organic Computing — A Paradigm Shift for Complex Systems, Autonomic Systems, Springer Basel, 2011, pp. 545–558.
LibreCat | DOI
 

2011 | Book Chapter | LibreCat-ID: 26810
Increasing Learning Speed by Imitation in Multi-robot Societies
A. Jungmann, B. Kleinjohann, W. Richert, in: Organic Computing — A Paradigm Shift for Complex Systems, Autonomic Systems, Band 1 , Springer Basel, 2011, pp. 295–307.
LibreCat | DOI
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Export / Embed