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.

5678 Publications


2010 | Journal Article | LibreCat-ID: 7358
Tabellarischer Vergleich der Prozessmodelle für modellbasiertes Testen aus Managementsicht
D. Beulen, B. Güldali, M. Mlynarski, Softwaretechnik-Trends 30 (2010) 6–9.
LibreCat
 

2010 | Journal Article | LibreCat-ID: 7359 LibreCat | Download (ext.)
 

2010 | Journal Article | LibreCat-ID: 7364
Automated acceptance testing tools for web applications using Test-Driven Development
M. Jureczko, M. Mlynarski, Electrical Review 86 (2010) 198–202.
LibreCat
 

2010 | Book Chapter | LibreCat-ID: 7556
Model-Based Software Product Lines Testing Survey
S. Oster, A. Wübbeke, G. Engels, A. Schürr, in: P. Mosterman, I. Schieferdecker, J. Zander (Ed.), Model-Based Testing For Embedded Systems, CRC Press, 2010, pp. 339–381.
LibreCat
 

2010 | Dissertation | LibreCat-ID: 7573
Variabilitätsmanagement in Anforderungs- und Testfallspezifikation für Software-Produktlinien
A. Wübbeke, Variabilitätsmanagement in Anforderungs- Und Testfallspezifikation Für Software-Produktlinien, 2010.
LibreCat
 

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
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Export / Embed