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.

5673 Publications


2010 | Conference Paper | LibreCat-ID: 8437
Test-driven Language Derivation with Graph Transformation-based Dynamic Meta Modeling
G. Engels, C. Soltenborn, in: Proceedings of the International Colloquium on Graph and Model Transformation (GraMoT 2010), Berlin (Germany), European Association of Software Science and Technology, 2010, pp. 240–257.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 8438
Agility vs. Model-based Testing: A fair Play?
B. Güldali, M. Mlynarski, in: Proceedings of the IWK2010 Workshops: The First International Workshop on Evolution Support for Model-Based Development and Testing (EMDT2010), 2010, pp. 55–58.
LibreCat | Download (ext.)
 

2010 | Conference Paper | LibreCat-ID: 8439
Verknüpfung von kombinatorischem Plattform- und individuellem Produkt-Test für Software-Produktlinien
A. Wübbeke, S. Oster, in: Proceedings of Produktlinien Im Kontext (PIK2010), 2010, p. to appear.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 8440
Towards Economical Software Release Recommendations
Y. Sancar, F. Brüseke, H. Voigt, S. Sauer, G. Engels, in: ECOOP 2010 - Workshop on Testing Object-Oriented Software Systems (ETOOS), 2010, pp. 59–67.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 8441
A Framework for Change Management of Business Process Models
C. Gerth, in: Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, 2010, pp. 183–184.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 8442
Reusing Security Requirements using an Extended Quality Model
M. Luckey, A. Baumann, D. Méndez Fernández, S. Wagner, in: Software Engineering for Secure Systems, 2010. SESS ’10. ICSE Workshop, 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 8443
Teststufenspezifische Qualitätsattribute für die Qualitätsbewertung von nichtfunktionalen Anforderungen
Y. Sancar, F. Brüseke, G. Engels, in: Proceedings of Software-Qualitätsmodellierung Und -Bewertung (SQMB ’10), Paderborn, Germany, Technische Universität München, München, Germany, 2010, pp. 50–57.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 8444
Knowledge Transfer in Global Software Development - Leveraging Ontologies, Tools and Assessments
F. Salger, S. Sauer, G. Engels, A. Baumann, in: 5th IEEE International Conference on Global Software Engineering (ICGSE 2010), 2010, pp. 336–341.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 8445
MDDAUI 2010 Workshop Report
J. Van den Bergh, G. Meixner, S. Sauer, in: Proc. 5th Intl. Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI 2010), urn:nbn:de:0074-617-8, 2010, pp. 53–56.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 8446
Pattern-based Generation of Test Plans for Open Distributed Processing Systems
B. Güldali, S. Sauer, P. Winkelhane, M. Jahnich, H. Funke, in: Proceedings of 5th International Workshop on Automation of Software Test (AST 2010), ICSE Workshop, ACM Press, 2010, pp. 119–126.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 8447
Architecture-Driven Derivation of Performance Metrics
F. Brüseke, Y. Sancar, G. Engels, in: Proceedings of Software-Qualitätsmodellierung Und -Bewertung (SQMB ’10), Paderborn, Germany, Technische Universität München, München, Germany, 2010, pp. 22–31.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 8448
Effort Comparison of Model-based Testing Scenarios
B. Güldali, M. Mlynarski, Y. Sancar, in: Proceedings of 3th International Conference on Software Testing, Verification, and Validation Workshops, IEEE Computer Society, 2010, pp. 28–36.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 8449
Test Case Generation for Visual Contracts Using AI Planning
M. Schnelte, B. Güldali, in: INFORMATIK 2010, Beiträge Der 40. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), Gesellschaft für Informatik (GI), Bonn, 2010, p. (accepted for publication).
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 16414 LibreCat | DOI
 

2010 | Book Chapter | LibreCat-ID: 16505
Preprocessed Global Visibility for Real-Time Rendering on Low-End Hardware
B. Eikel, C. Jähn, M. Fischer, in: Advances in Visual Computing, Berlin, Heidelberg, 2010.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 16851
Computergestützte traumatherapeutische Behandlungsmöglichkeiten bei Verkehrsunfallopfern von Kindern und Jugendlichen
W. Huck, A. Alakbarov, G. Domik, R. Radkowski, R. Tölke, A.-C. Mikus, S. Geisen, in: 12. Jahrestagung Der Deutschsprachigen Gesellschaft Für Psychotraumatologie (DeGPT), Göttingen, 2010.
LibreCat
 

2010 | Journal Article | LibreCat-ID: 10605
Proof-Carrying Hardware: Concept and Prototype Tool Flow for Online Verification
S. Drzevitzky, U. Kastens, M. Platzner, International Journal of Reconfigurable Computing 2010 (2010).
LibreCat | DOI
 

2010 | Mastersthesis | LibreCat-ID: 10614
Virtuelle Speicherverwaltung für Hardware Threads in Rekonfigurierbaren Systemen
A. Agne, Virtuelle Speicherverwaltung Für Hardware Threads in Rekonfigurierbaren Systemen, Paderborn University, 2010.
LibreCat
 

2010 | Mastersthesis | LibreCat-ID: 10629
EMG-basierte Ganganalyse
A. Boschmann, EMG-Basierte Ganganalyse, Paderborn University, 2010.
LibreCat
 

2010 | Mastersthesis | LibreCat-ID: 10642
Evolvable Cache Controller
D. Breitlauch, Evolvable Cache Controller, Paderborn University, 2010.
LibreCat
 

2010 | Bachelorsthesis | LibreCat-ID: 10649
Soft Microprocessors with tightly coupled Application-Specific Coprocessors
D. Dridger, Soft Microprocessors with Tightly Coupled Application-Specific Coprocessors, Paderborn University, 2010.
LibreCat
 

2010 | Bachelorsthesis | LibreCat-ID: 10657
Parallelization of the UCT Algorithm on HPC-Clusters
T. Graf, Parallelization of the UCT Algorithm on HPC-Clusters, Paderborn University, 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 10683
Fluctuating EMG Signals: Investigating Long-term Effects of Pattern Matching Algorithms
P. Kaufmann, K. Englehart, M. Platzner, in: International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), IEEE, 2010, pp. 6357–6360.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 10686
A Novel Hybrid Evolutionary Strategy and its Periodization with Multi-objective Genetic Optimizers
P. Kaufmann, T. Knieper, M. Platzner, in: IEEE World Congress on Computational Intelligence (WCCI), Congress on Evolutionary Computation (CEC), IEEE, 2010, pp. 541–548.
LibreCat
 

2010 | Journal Article | LibreCat-ID: 10694
Selected papers from the 18th International Conference on Field Programmable Logic and Applications, FPL 2008 (editorial)
U. Kebschull, M. Platzner, J. Teich, IET Computers Digital Techniques 4 (2010) 157–158.
LibreCat | DOI
 

2010 | Mastersthesis | LibreCat-ID: 10697
Hybridization of Global Multi-Objective and Local Search Techniques
T. Knieper, Hybridization of Global Multi-Objective and Local Search Techniques, Paderborn University, 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 10699
Coping with Resource Fluctuations: The Run-time Reconfigurable Functional Unit Row Classifier Architecture
T. Knieper, P. Kaufmann, K. Glette, M. Platzner, J. Torresen, in: IEEE Intl. Conf. on Evolvable Systems (ICES), Springer, 2010, pp. 250–261.
LibreCat
 

2010 | Book Chapter | LibreCat-ID: 10704
ReconOS: An Operating System for Dynamically Reconfigurable Hardware
E. Lübbers, M. Platzner, in: M. Platzner, J. Teich, N. Wehn (Eds.), Dynamically Reconfigurable Systems: Architectures, Design Methods and Applications, Springer-Verlag GmbH, 2010, pp. 269–290.
LibreCat | DOI
 

2010 | Mastersthesis | LibreCat-ID: 10710
FPGA/CPU Multicore-Plattform für ReconOS/eCos
R. Meiche, FPGA/CPU Multicore-Plattform Für ReconOS/ECos, Paderborn University, 2010.
LibreCat
 

2010 | Mastersthesis | LibreCat-ID: 10717
Transparente Hardwarebeschleunigung durch Shared Library Interposing
M. Niekamp, Transparente Hardwarebeschleunigung Durch Shared Library Interposing, Paderborn University, 2010.
LibreCat
 

2010 | Mastersthesis | LibreCat-ID: 10731
A Token-Ring Network-On-Chip for Message Passing in ReconOS
B. Runde, A Token-Ring Network-On-Chip for Message Passing in ReconOS, Paderborn University, 2010.
LibreCat
 

2010 | Mastersthesis | LibreCat-ID: 10752
Scheduling Support for Heterogeneous Hardware Accelerators under Linux
T. Wiersema, Scheduling Support for Heterogeneous Hardware Accelerators under Linux, Paderborn University, 2010.
LibreCat
 

2010 | Book (Editor) | LibreCat-ID: 10763
Dynamically Reconfigurable Systems: Architectures, Design Methods and Applications
M. Platzner, J. Teich, N. Wehn, eds., Dynamically Reconfigurable Systems: Architectures, Design Methods and Applications, Springer-Verlag GmbH, 2010.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 10776
Sub-threshold charge recovery circuits
M. Khatir, H. Ghasemzadeh Mohammadi, A. Ejlali, in: Computer Design (ICCD), 2010 IEEE International Conference On, IEEE, 2010, pp. 138–144.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 11992
On the Impact of Human Driver Behavior on Intelligent Transportation Systems
F. Dressler, C. Sommer, in: 2010 IEEE 71st Vehicular Technology Conference, 2010.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 12057
Emissions vs. Travel Time: Simulative Evaluation of the Environmental Impact of ITS
C. Sommer, R. Krul, R. German, F. Dressler, in: 2010 IEEE 71st Vehicular Technology Conference, 2010.
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 12058
On the feasibility of UMTS-based Traffic Information Systems
C. Sommer, A. Schmidt, Y. Chen, R. German, W. Koch, F. Dressler, Ad Hoc Networks (2010) 506–517.
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 12059
Improving the Accuracy of IVC Simulation Using Crowd-sourced Geodata
C. Sommer, D. Eckhoff, F. Dressler, PIK - Praxis Der Informationsverarbeitung Und Kommunikation (2010).
LibreCat | DOI
 

2010 | Book Chapter | LibreCat-ID: 15297
An Analysis of the FURIA algorithm for fuzzy rule induction
E. Hüllermeier, J. Hühn, in: J. Koronacki, Z.W. Ras, S.T. Wierzchon, J. Kacprzyk (Eds.), Advances in Machine Learning I: Dedicated to the Memory of Professor Ryszard S.Michalski, Springer, 2010, pp. 321–344.
LibreCat
 

2010 | Book Chapter | LibreCat-ID: 15298
Preference Learning: An Introduction
J. Fürnkranz, E. Hüllermeier, in: J. Fürnkranz, E. Hüllermeier (Eds.), Preference Learning, Springer, 2010, pp. 1–18.
LibreCat
 

2010 | Journal Article | LibreCat-ID: 15676
BlueJ Visual Debugger for Learning the Execution of Object-Oriented Programs?
J. Bennedsen, C. Schulte, TOCE 10 (2010) 8:1-8:22.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 15677
Comparison of OOP first and OOP later: first results regarding the role of comfort level
A. Ehlert, C. Schulte, in: ITiCSE, ACM, 2010, pp. 108–112.
LibreCat
 

2010 | Conference (Editor) | LibreCat-ID: 15678
10th Koli Calling International Conference on Computing Education Research, Koli Calling '10, Koli, Finland, October 28-31, 2010
C. Schulte, J. Suhonen, eds., 10th Koli Calling International Conference on Computing Education Research, Koli Calling ’10, Koli, Finland, October 28-31, 2010, ACM, 2010.
LibreCat
 

2010 | Conference (Editor) | LibreCat-ID: 15679
Didaktik der Informatik - Möglichkeiten empirischer Forschungsmethoden und Perspektiven der Fachdidaktik. 6. Workshop der GI-Fachgruppe "Didaktik der Informatik", 16. - 17. September 2010 in Oldenburg
I. Diethelm, C. Dörge, C. Hildebrandt, C. Schulte, eds., Didaktik der Informatik - Möglichkeiten empirischer Forschungsmethoden und Perspektiven der Fachdidaktik. 6. Workshop der GI-Fachgruppe “Didaktik der Informatik”, 16. - 17. September 2010 in Oldenburg, GI, 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 15765
Efficient similarity retrieval for protein binding sites based on histogram comparison
T. Fober, M. Mernberger, G. Klebe, E. Hüllermeier, in: In Proceedings GCB-2010 German Conference on Bioinformatics Braunschweig, Germany, 2010, pp. 51–60.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 15772
On label dependence in multi-label classification
K. Dembczynski, W. Waegeman, W. Cheng, E. Hüllermeier, in: In Proceedings MLD-2010, 2nd International Workshop on Learning from Multi-Label Data, Haifa, Israel, 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 15000
Weniger Sehen-mehr Verstehen: Größen-basierte und Textur-basierte Transferfunktionen zur Volumenvisualisierung von CT Daten der Koronargefäße
S. Arens, G. Domik, R. Weise, H. Fricke, W. Burchert, in: Tagungsband Der Deutschen Gesellschaft Für Physikalische Medizin, Freiburg, Germany, 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 15035
Extending the corkscrew algorithm to find bifurcations of vessels
P. Wette, S. Arens, A. Elsner, G. Domik, in: Computer Graphics and Imaging, 2010.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 15041
Visual representations for supporting an ontology-based semantic navigation of medical volume data
S. Peters, M. Kelm, M. Huber, S. Seifert, A. Elsner, G. Domik, in: Proceedings of the 11th IASTED International Conference, 2010, p. 303.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 15118
Similarity measures for protein structures based on fuzzy histogram comparison
T. Fober, E. Hüllermeier, in: In Proceedings WCCI-2010, World Congress on Computational Intelligence, Barcelona, Spain, 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 15119
Pattern trees for regression and fuzzy systems modeling
R. Senge, E. Hüllermeier, in: In Proceedings WCCI-2010, World Congress on Computational Intelligence, Barcelona, Spain, 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 15134
Queryable SEPA Message Compression by XML Schema Subtraction
S. Böttcher, R. Hartel, C. Messinger, in: ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, 2010, pp. 23–29.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 15135
CluX - Clustering XML Sub-trees
S. Böttcher, R. Hartel, C. Krislin, in: ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, 2010, pp. 142–150.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 15136
Using XML Schema Subtraction to Compress Electronic Payment Messages
S. Böttcher, R. Hartel, C. Messinger, in: Enterprise Information Systems - 12th International Conference, ICEIS 2010, Revised Selected Papers, Springer, 2010, pp. 451–463.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 15137
Searchable Compression of Office Documents by XML Schema Subtraction
S. Böttcher, R. Hartel, C. Messinger, in: Database and XML Technologies - 7th International XML Database Symposium, XSym 2010, Springer, 2010, pp. 103–112.
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 16121
GARLig: A fully automated tool for subset selection of large fragment spaces via a self-adaptive genetic algorithm
P. Pfeffer, T. Fober, E. Hüllermeier, G. Klebe, Journal of Chemical Information and Modeling 50 (2010) 1644–1659.
LibreCat
 

2010 | Journal Article | LibreCat-ID: 16151 LibreCat
 

2010 | Journal Article | LibreCat-ID: 16152
On predictive accuracy and risk minimization in pairwise label ranking
E. Hüllermeier, J. Fürnkranz, Journal of Computer and System Sciences 76 (2010) 49–62.
LibreCat
 

2010 | Book Chapter | LibreCat-ID: 16365
A Continuous, Local Strategy for Constructing a Short Chain of Mobile Robots
B. Degener, B. Kempkes, P. Kling, F. Meyer auf der Heide, in: Structural Information and Communication Complexity, Berlin, Heidelberg, 2010, pp. 168–182.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 16401
A local O(n2) gathering algorithm
B. Degener, B. Kempkes, F. Meyer auf der Heide, in: Proceedings of the 22nd ACM Symposium on Parallelism in Algorithms and Architectures - SPAA ’10, 2010.
LibreCat | DOI
 

2010 | Book (Editor) | LibreCat-ID: 16403
Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II.
S. Abramsky, C. Gavoille, C. Kirchner, F. Meyer auf der Heide, P.G. Spirakis, eds., Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II., Berlin, Heidelberg, 2010.
LibreCat | DOI
 

2010 | Book (Editor) | LibreCat-ID: 16404
Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I.
S. Abramsky, C. Gavoille, C. Kirchner, F. Meyer auf der Heide, P.G. Spirakis, eds., Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I., Berlin, Heidelberg, 2010.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 1004
Network coding in passive optical networks
K. Miller, T. Biermann, H. Woesner, H. Karl, in: Network Coding (NetCod), 2010 IEEE International Symposium On, 2010, pp. 1--6.
LibreCat | Download (ext.)
 

2010 | Conference Paper | LibreCat-ID: 1021
RiaS: overlay topology creation on a PlanetLab infrastructure
J. Lischka, H. Karl, in: Proceedings of the Second ACM SIGCOMM Workshop on Virtualized Infrastructure Systems and Architectures, 2010, pp. 9--16.
LibreCat | Download (ext.)
 

2010 | Conference Paper | LibreCat-ID: 1022
Energy efficiency model of network-coded cooperation in wireless sensor networks
D.H. Woldegebreal, H. Karl, in: Sensor Technologies and Applications (SENSORCOMM), 2010 Fourth International Conference On, 2010, pp. 513--520.
LibreCat | Download (ext.)
 

2010 | Conference Paper | LibreCat-ID: 1023
Cooperative communication to improve reliability and efficient neighborhood wakeup in wireless sensor networks
R.A.M. Khan, H. Karl, in: Proceedings of the Fourth International Conference on Mobile Ubiquitous Computing (UBICOMM 2010), 2010.
LibreCat | Files available
 

2010 | Conference Paper | LibreCat-ID: 13589
Bayes optimal multilabel classification via probalistic classifier chains
K. Dembczynski, W. Cheng, E. Hüllermeier, in: J. Fürnkranz, T. Joachims (Eds.), In Proceedings ICML-2010, 27th International Conference on Machine Learning, Haifa, Israel, 2010, pp. 279–286.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 13590
Label ranking based on the Plackett-Luce model
W. Cheng, K. Dembczynski, E. Hüllermeier, in: J. Fürnkranz, T. Joachims (Eds.), In Proceedings ICML-2010, 27th International Conference on Machine Learning, Haifa, Israel, 2010, pp. 215–222.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 13591
Graded multi-label classification: The ordinal case
W. Cheng, K. Dembczynski, E. Hüllermeier, in: J. Fürnkranz, T. Joachims (Eds.), In Proceedings ICML-2010, 27th International Conference on Machine Learning, Haifa, Israel, 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 13593
Regret analysis for performance metrics in multi-label classification: The case of Hamming and subset zero-one loss
K. Dembczynski, W. Waegeman, W. Cheng, E. Hüllermeier, in: In Proceedings ECML/PKDD-2010, European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ,Bareclona, Spain, 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 13594
Predicting partial orders: Ranking with abstention
W. Cheng, M. Rademaker, B. De Beats, E. Hüllermeier, in: In Proceedings ECML/PKDD-2010, European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ,Bareclona, Spain, 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 13597
Uncertainty in clustering and classification
E. Hüllermeier, in: In Proceedings SUM 2010, International Conference on Scalable Uncertainty Management , Springer, 2010, pp. 16–19.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 13640
A Triple Hybrid Interconnect for Many-Cores: Reconfigurable Mesh, NoC and Barrier
H. Giefers, M. Platzner, in: Proceedings of the 20th International Conference on Field Programmable Logic and Applications (FPL), IEEE, 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 13641
Engineering Self-Coordinating Software Intensive Systems
W. Schäfer, M. Birattari, J. Blömer, M. Dorigo, G. Engels, R. O’Grady, M. Platzner, F.-J. Rammig, W. Reif, A. Trächtler, in: Proceedings of the Foundations of Software Engineering (FSE) and NITR & D/SPD Working Conference on the Future of Software Engineering Research (FoSER), 2010, pp. 321–324.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 13642
A Self-Reconfigurable Lightweight Interconnect for Scalable Processor Fabrics
H. Giefers, M. Platzner, in: Proceedings of the 10th International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 37007
Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems
F. Mischkalla, D. He, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37009
Assertion-Based Verification of RTOS Properties
M.F.S. Oliveira, H. Zabel, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37011
Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study
K. Klobedanz, C. Kuznik, A. Thuy, W. Müller, in: Proceedings of DATE’10, Dresden, IEEE, Dresden, 2010.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37037
A Systematic Approach to Combined HW/SW System Test
A. Krupp, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37040
RTOS-Aware Refinement for TLM2.0-based HW/SW Design
M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, T. Xie, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37046
A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement
M. Becker, H. Zabel, W. Müller, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37044
Task Migration for Fault-Tolerant FlexRay Networks
K. Klobedanz, G.B. Defo, H. Zabel, W. Müller, Y. Zhi, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37042
A UML Profile for SysML-Based Comodeling for Embedded Systems Simulation and Synthesis
F. Mischkalla, W. Müller, D. He, in: Proceedings of the M-BED Workshop, Dresden, 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 37043
Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen
A. Bol, W. Müller, A. Krupp, in: Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV), Dresden, 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 37050
The SATURN Approach to SysML-based HW/SW Codesign
W. Müller, D. He, F. Mischkalla, A. Wegele, A. Larkham, P. Whiston, P. Penil, E. Villar, N. Mitas, D. Kritharidis, F. Azcarate, M. Carballeda, in: Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2010.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37048
Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems
W. Müller, A. Bol, A. Krupp, O. Lundkvist, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37049
Mutation-Analysis Directed Constrained Random Verification
T. Xie, F. Letombe, W. Müller, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 37051 LibreCat
 

2010 | Conference Paper | LibreCat-ID: 37057
Verification of a CAN Bus Model in SystemC with Functional Coverage
G.B. Defo, W. Müller, C. Kuznik, in: Proceedings of SIES 2010, IEEE, Trento, Italy, 2010.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37056
Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks
K. Klobedanz, G.B. Defo, W. Müller, T. Kerstan, in: Proceedings of SIES 2010, Trento, Italien, 2010.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37053
Verification of Real-Time Properties for Hardware-Dependant Software
W. Müller, M.F. da S. Oliveira, H. Zabel, M. Becker, in: Proceedings of HLDVT2010, IEEE, 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 37060
Design Space Abstraction and Metamodeling for Embedded Systems Design Space Exploration
M.F.S. Oliveira, F.A.M. do Nascimento, W. Müller, in: Proceedings of MoMPES 2010, Antwerp, Belgium, 2010.
LibreCat
 

2010 | Journal Article | LibreCat-ID: 8179 | OA
Strong NP-hardness of the quantum separability problem
S. Gharibian, Quantum Information & Computation 10 (2010) 343–360.
LibreCat | Download (ext.) | arXiv
 

2010 | Conference Paper | LibreCat-ID: 2223
Towards Adaptive Networking for Embedded Devices based on Reconfigurable Hardware
E. Lübbers, M. Platzner, C. Plessl, A. Keller, B. Plattner, in: Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2010, pp. 225–231.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 2216
Pruning the Design Space for Just-In-Time Processor Customization
M. Grad, C. Plessl, in: Proc. Int. Conf. on ReConFigurable Computing and FPGAs (ReConFig), IEEE Computer Society, Los Alamitos, CA, USA, 2010, pp. 67–72.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 2224
An Open Source Circuit Library with Benchmarking Facilities
M. Grad, C. Plessl, in: Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2010, pp. 144–150.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 2220
Configurable Processor Architectures: History and Trends
D. Andrews, C. Plessl, in: Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2010, p. 165.
LibreCat
 

2010 | Conference (Editor) | LibreCat-ID: 2222
Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA)
T.P. Plaks, D. Andrews, R. DeMara, H. Lam, J. Lee, C. Plessl, G. Stitt, eds., Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 2226
Using Shared Library Interposing for Transparent Acceleration in Systems with Heterogeneous Hardware Accelerators
T. Beisel, M. Niekamp, C. Plessl, in: Proc. Int. Conf. on Application-Specific Systems, Architectures, and Processors (ASAP), IEEE Computer Society, 2010, pp. 65–72.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 2206
Reconfigurable Nodes for Future Networks
A. Keller, B. Plattner, E. Lübbers, M. Platzner, C. Plessl, in: Proc. IEEE Globecom Workshop on Network of the Future (FutureNet), IEEE, 2010, pp. 372–376.
LibreCat | DOI
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed