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
2010 | Conference Paper | LibreCat-ID: 37042
Mischkalla, Fabian, Wolfgang Müller, and Da He. “A UML Profile for SysML-Based Comodeling for Embedded Systems Simulation and Synthesis.” In Proceedings of the M-BED Workshop. Dresden, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37043
Bol, Alexander, Wolfgang Müller, and Alexander Krupp. “Eine Strukturierte Methode Zur Generierung von SystemVerilog-Testumgebungen Aus Textuellen Anforderungsbeschreibungen.” In Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV). Dresden, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37050
Müller, Wolfgang, Da He, Fabian Mischkalla, Arthur Wegele, Adrian Larkham, Paul Whiston, Pablo Penil, et al. “The SATURN Approach to SysML-Based HW/SW Codesign.” In Proceedings of the IEEE Computer Society Annual Symposium on VLSI. Lecture Notes in Electrical Engineering, 2010. https://doi.org/10.1007/978-94-007-1488-5_9.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37048
Müller, Wolfgang, Alexander Bol, Alexander Krupp, and Ola Lundkvist. “Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems.” edited by L. Kleinjohann and B. Kleinjohann. Dordrecht: Springer Verlag, 2010. https://doi.org/10.1007/978-3-642-15234-4_9.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37049
Xie, Tao, Florian Letombe, and Wolfgang Müller. “Mutation-Analysis Directed Constrained Random Verification.” edited by L. Kleinjohann and B. Kleinjohann. Dordrecht: Springer Verlag, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37051
Xie, Tao, Gilles B. Defo, and Wolfgang Müller. “An Eclipse-Based Framework for the IP-XACT-Enabled Assembly of Mixed-Level IPs.” Paris, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37057
Defo, Gilles B., Wolfgang Müller, and Christoph Kuznik. “Verification of a CAN Bus Model in SystemC with Functional Coverage.” In Proceedings of SIES 2010. Trento, Italy: IEEE, 2010. https://doi.org/10.1109/SIES.2010.5551379.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37056
Klobedanz, Kay, Gilles B. Defo, Wolfgang Müller, and Timo Kerstan. “Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks.” In Proceedings of SIES 2010. Trento, Italien, 2010. https://doi.org/10.1109/SIES.2010.5551384.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37053
Müller, Wolfgang, Marcio F. da S. Oliveira, Henning Zabel, and Markus Becker. “Verification of Real-Time Properties for Hardware-Dependant Software.” In Proceedings of HLDVT2010. IEEE, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37060
Oliveira, Marcio F. S., Francisco Assis M. do Nascimento, and Wolfgang Müller. “Design Space Abstraction and Metamodeling for Embedded Systems Design Space Exploration.” In Proceedings of MoMPES 2010. Antwerp, Belgium, 2010.
LibreCat
2010 | Journal Article | LibreCat-ID: 8179 | 
Gharibian, Sevag. “Strong NP-Hardness of the Quantum Separability Problem.” Quantum Information & Computation 10, no. 3{\ & }4 (2010): 343–60.
LibreCat
| Download (ext.)
| arXiv
2010 | Conference Paper | LibreCat-ID: 2223
Lübbers, Enno, Marco Platzner, Christian Plessl, Ariane Keller, and Bernhard Plattner. “Towards Adaptive Networking for Embedded Devices Based on Reconfigurable Hardware.” In Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), 225–31. CSREA Press, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 2216
Grad, Mariusz, and Christian Plessl. “Pruning the Design Space for Just-In-Time Processor Customization.” In Proc. Int. Conf. on ReConFigurable Computing and FPGAs (ReConFig), 67–72. Los Alamitos, CA, USA: IEEE Computer Society, 2010. https://doi.org/10.1109/ReConFig.2010.19.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 2224
Grad, Mariusz, and Christian Plessl. “An Open Source Circuit Library with Benchmarking Facilities.” In Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), 144–50. CSREA Press, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 2220
Andrews, David, and Christian Plessl. “Configurable Processor Architectures: History and Trends.” In Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), 165. CSREA Press, 2010.
LibreCat
2010 | Conference (Editor) | LibreCat-ID: 2222
Plaks, Toomas P., David Andrews, Ronald DeMara, Herman Lam, Jooheung Lee, Christian Plessl, and Greg Stitt, eds. Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA). CSREA Press, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 2226
Beisel, Tobias, Manuel Niekamp, and Christian Plessl. “Using Shared Library Interposing for Transparent Acceleration in Systems with Heterogeneous Hardware Accelerators.” In Proc. Int. Conf. on Application-Specific Systems, Architectures, and Processors (ASAP), 65–72. IEEE Computer Society, 2010. https://doi.org/10.1109/ASAP.2010.5540798.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 2206
Keller, Ariane, Bernhard Plattner, Enno Lübbers, Marco Platzner, and Christian Plessl. “Reconfigurable Nodes for Future Networks.” In Proc. IEEE Globecom Workshop on Network of the Future (FutureNet), 372–76. IEEE, 2010. https://doi.org/10.1109/GLOCOMW.2010.5700341.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 2227
Woehrle, Matthias, Christian Plessl, and Lothar Thiele. “Rupeas: Ruby Powered Event Analysis DSL.” In Proc. Int. Conf. Networked Sensing Systems (INSS), 245–48. IEEE, 2010. https://doi.org/10.1109/INSS.2010.5572211.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 2228
Kenter, Tobias, Marco Platzner, Christian Plessl, and Michael Kauschke. “Performance Estimation for the Exploration of CPU-Accelerator Architectures.” In Proc. Workshop on Architectural Research Prototyping (WARP), International Symposium on Computer Architecture (ISCA), edited by Omar Hammami and Sandra Larrabee, 2010.
LibreCat
2010 | Misc | LibreCat-ID: 47684 |
Postler, Tim. Smart Card basierte Berechnung einer Gruppensignatur als Teil einer biometrischen Authentisierung, 2010.
LibreCat
| Files available
2010 | Conference Paper | LibreCat-ID: 46408
Mostaghim, Sanaz, Heike Trautmann, and Olaf Mersmann. “Preference-Based Multi-Objective Particle Swarm Optimization Using Desirabilities.” In Parallel Problem Solving from Nature, PPSN XI, edited by Robert Schaefer, Carlos Cotta, Joanna Kołodziej, and Günter Rudolph, 101–110. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. https://doi.org/10.1007/978-3-642-15871-1_11.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 46405
Mersmann, Olaf, Mike Preuss, and Heike Trautmann. “Benchmarking Evolutionary Algorithms: Towards Exploratory Landscape Analysis.” In Proceedings of the 11th International Conference on Parallel Problem Solving from Nature: Part I, 73–82. PPSN’10. Berlin, Heidelberg: Springer-Verlag, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 46406
Mersmann, O, Heike Trautmann, B Naujoks, and C Weihs. “On the Distribution of EMOA Hypervolumes.” In Learning and Intelligent Optimization, 4$^th$ International Conference, LION 4, Venice, Italy, edited by C Blum and R Battiti, 6073:333–337. Lecture Notes in Computer Science. Springer, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 46407
Mersmann, Olaf, Heike Trautmann, Boris Naujoks, and Claus Weihs. “Benchmarking Evolutionary Multiobjective Optimization Algorithms.” In IEEE Congress on Evolutionary Computation, 1–8, 2010. https://doi.org/10.1109/CEC.2010.5586241.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 46404
Ding, J, S Wessing, Heike Trautmann, J Mehnen, and B Naujoks. “Sequential Parameter Optimisation for Multi-Objective Evolutionary Optimisation of Additive Layer Manufacturing.” In Proceedings of the 7$^th$ CIRP International Seminar on Intelligent Computation in Manufacturing Engineering (CIRP ICME ’10), edited by R Teti. Capri, Italy: Copyright C.O.C. Com. org. Conv., 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 46409
Voß, Thomas, Heike Trautmann, and Christian Igel. “New Uncertainty Handling Strategies in Multi-Objective Evolutionary Optimization.” In Parallel Problem Solving from Nature, PPSN XI, edited by Robert Schaefer, Carlos Cotta, Joanna Kołodziej, and Günter Rudolph, 260–269. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. https://doi.org/10.1007/978-3-642-15871-1_27.
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 46412
Wagner, Tobias, and Heike Trautmann. “Integration of Preferences in Hypervolume-Based Multiobjective Evolutionary Algorithms by Means of Desirability Functions.” IEEE Transactions on Evolutionary Computation 14, no. 5 (2010): 688–701. https://doi.org/10.1109/TEVC.2010.2058119.
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 46411
Azene, Y.T., R. Roy, D. Farrugia, C. Onisa, J. Mehnen, and Heike Trautmann. “Work Roll Cooling System Design Optimisation in Presence of Uncertainty and Constrains.” CIRP Journal of Manufacturing Science and Technology 2, no. 4 (2010): 290–98. https://doi.org/10.1016/j.cirpj.2010.06.001.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 46410
Wagner, Tobias, and Heike Trautmann. “Online Convergence Detection for Evolutionary Multi-Objective Algorithms Revisited.” In IEEE Congress on Evolutionary Computation, 1–8, 2010. https://doi.org/10.1109/CEC.2010.5586474.
LibreCat
| DOI
2009 | Dissertation | LibreCat-ID: 19605
Lürwer-Brüggemeier, Katharina. Mächtigkeit Und Komplexität von Berechnungen Mit Der Ganzzahligen Division. Vol. 261. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2009.
LibreCat
| Files available
2009 | Dissertation | LibreCat-ID: 19614
Mense, Mario. On Fault-Tolerant Data Placement in Storage Networks. Vol. 260. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2009.
LibreCat
| Files available
2009 | Dissertation | LibreCat-ID: 19617
Kortenjan, Michael. Size Equivalent Cluster Trees - Rendering CAD Models in Industrial Scenes. Vol. 258. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2009.
LibreCat
| Files available
2009 | Dissertation | LibreCat-ID: 19618
Bonorden, Olaf. Versatility of Bulk Synchronous Parallel Computing: From the Heterogeneous Cluster to the System on Chip. Vol. 257. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2009.
LibreCat
| Files available
2009 | Report | LibreCat-ID: 19722
Bonorden, Olaf, Bastian Degener, Peter Pietrzyk, and Barbara Kempkes. Complexity and Approximation of a Geometric Local Robot Assignment Problem, 2009.
LibreCat
| Files available
2009 | Book Chapter | LibreCat-ID: 19724
Bonorden, Olaf, Bastian Degener, Barbara Kempkes, and Peter Pietrzyk. “Complexity and Approximation of a Geometric Local Robot Assignment Problem.” In Algorithmic Aspects of Wireless Sensor Networks, 252–62. Berlin, Heidelberg: Springer, 2009. https://doi.org/10.1007/978-3-642-05434-1_25.
LibreCat
| DOI
2009 | Report | LibreCat-ID: 19825
Schindelhauer, Christian, Peter Mahlmann, and Thomas Janson. 3nuts: A Locality-Aware Peer-to-Peer Network Combining Random Networks, Search Trees, and DHTs. Paderborn, Germany, 2009.
LibreCat
| Files available
2009 | Journal Article | LibreCat-ID: 19830
Ooi, Chia Ching, and Christian Schindelhauer. “Minimal Energy Path Planning for Wireless Robots.” Mobile Networks and Applications (MONET), 2009, 309–21. https://doi.org/10.1007/s11036-008-0150-5.
LibreCat
| DOI
2009 | Journal Article | LibreCat-ID: 19831
Ooi, Chia Ching, and Christian Schindelhauer. “Utilizing Detours for Energy Conservation in Mobile Wireless Networks.” Telecommunication Systems 43 (2009): 25–37. https://doi.org/10.1007/s11235-009-9188-3.
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 19901
Raptopoulos, Christoforos L., Sotiris E. Nikoletseas, and Paul G. Spirakis. “Colouring Non-Sparse Random Intersection Graphs.” In 34st International Symposium on Mathematical Foundations of Computer Science, 600--611, 2009. https://doi.org/10.1007/978-1-4939-2864-4_597.
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 19904
Nikoletseas, Sotiris E., Christoforos L. Raptopoulos, and Paul G. Spirakis. “Combinatorial Properties for Efficient Communication in Distributed Networks with Local Interactions.” In Proceedings of IPDPS - IEEE International Parallel & Distributed Processing Symposium, 1--11, 2009. https://doi.org/10.1109/IPDPS.2009.5161002.
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 19934
Deveci, Deniz, Michael Kortenjan, and Gunnar Schomaker. “Distributed Heterogeneous Hashing and Deterministic Dynamical Decompositions.” In Parallel and Distributed Computing and Systems, Nr. 21, 2009.
LibreCat
2009 | Conference Paper | LibreCat-ID: 20254
Stradner, Jürgen, Heiko Hamann, Thomas Schmickl, and Karl Crailsheim. “Analysis and Implementation of an Artificial Homeostatic Hormone System: A First Case Study in Robotic Hardware.” In 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2009. https://doi.org/10.1109/iros.2009.5354056.
LibreCat
| DOI
2009 | Journal Article | LibreCat-ID: 20255
Schmickl, Thomas, Heiko Hamann, Heinz Wörn, and Karl Crailsheim. “Two Different Approaches to a Macroscopic Model of a Bio-Inspired Robotic Swarm.” Robotics and Autonomous Systems 6, no. 9 (2009): 913–21. https://doi.org/10.1016/j.robot.2009.06.002.
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 20259
Hamann, Heiko, Inge Troch, and F. Breitenecker. “Pattern Formation as a Transient Phenomenon in the Nonlinear Dynamics of a Multi-Agent System.” In MATHMOD 2009 - 6th Vienna International Conference on Mathematical Modelling, 2009.
LibreCat
2009 | Journal Article | LibreCat-ID: 3199
Wehrheim, Heike, and Daniel Wonisch. “Compositional {CSP} Traces Refinement Checking.” Electr. Notes Theor. Comput. Sci., no. 2 (2009): 135--151. https://doi.org/10.1016/j.entcs.2009.08.022.
LibreCat
| DOI
2009 | Journal Article | LibreCat-ID: 3200
Ruhroth, Thomas, and Heike Wehrheim. “Static Class Elements for Object-Z.” Electr. Notes Theor. Comput. Sci., 2009, 193--205. https://doi.org/10.1016/j.entcs.2009.12.025.
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 3201
Ruhroth, Thomas, Hendrik Voigt, and Heike Wehrheim. “Measure, Diagnose, Refactor: {A} Formal Quality Cycle for Software Models.” In 35th Euromicro Conference on Software Engineering and Advanced Applications, {SEAA} 2009, Patras, Greece, August 27-29, 2009, Proceedings, 360--367, 2009. https://doi.org/10.1109/SEAA.2009.39.
LibreCat
| DOI
2009 | Conference (Editor) | LibreCat-ID: 3202
Leuschel, Michael, and Heike Wehrheim, eds. Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings. Lecture Notes in Computer Science, 2009. https://doi.org/10.1007/978-3-642-00255-7.
LibreCat
| DOI
2009 | Bachelorsthesis | LibreCat-ID: 2880
Schröer, Carsten. Hierarchisches Clustering Mit Minimalen Cluster-Durchmessern, 2009.
LibreCat
| Files available