FIT: Future Internet Toolbox
T. Biermann, C. Dannewitz, H. Karl, in: Testbeds and Research Infrastructures. Development of Networks and Communities - 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010, Revised Selected Papers, 2010, pp. 442--453.
LibreCat: /record/811
DOI: 10.1007/978-3-642-17851-1_34

Prototyping with the Future Internet Toolbox
C. Dannewitz, T. Biermann, M. Dräxler, F. Beister, H. Karl, in: Testbeds and Research Infrastructures. Development of Networks and Communities - 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010, Revised Selected Papers, 2010, pp. 609--611.
LibreCat: /record/812
DOI: 10.1007/978-3-642-17851-1_56

Detection of Semantically Equivalent Fragments for Business Process Model Change Management
C. Gerth, M. Luckey, J. Küster, G. Engels, Detection of Semantically Equivalent Fragments for Business Process Model Change Management, IBM Research, Zurich, 2010.
LibreCat: /record/8219

Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques
M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim, Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques, Centre for Telematics and Information Technology of the University of Twente, Enschede, The Netherlands, 2010.
LibreCat: /record/8220

Erfolgsfaktoren von Testprozessbewertungsmodellen
F. Brüseke, Y. Sancar, E. Yigitbas, in: Proceedings of the Conference on Software &; Systems Engineering Essentials 2010 (SEE 2010), Köln (Germany), Technische Universität München, 2010, pp. 277–298.
LibreCat: /record/5756

Towards Model-based Acceptance Testing for Scrum
R. Löffler, B. Güldali, S. Geisen, Softwaretechnik-Trends 30 (2010) 9–12.
LibreCat: /record/7356

Starthilfe für modellbasiertes Testen
B. Güldali, S. Jungmayr, M. Mlynarski, S. Neumann, M. Winter, OBJEKTspektrum (2010) 63–69.
LibreCat: /record/7357

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

Agiles Testen in Großprojekten mit TDD und Testaspekten: Beobachtungen und erste Erfahrungen
M. Späth, M. Mlynarski, Softwaretechnik-Trends 30 (2010).
LibreCat: /record/7359

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

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: /record/7556

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: /record/7573

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: /record/8437

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 (EM), 2010, pp. 55–58.
LibreCat: /record/8438

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: /record/8439

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: /record/8440

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: /record/8441

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: /record/8442

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: /record/8443

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: /record/8444
DOI: http://doi.ieeecomputersociety.org/10.1109/ICGSE.2010.46

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: /record/8445

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: /record/8446

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: /record/8447

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: /record/8448

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: /record/8449

Proceedings of the 22nd ACM symposium on Parallelism in algorithms and architectures - SPAA 
F. Meyer auf der Heide, C.A. Phillips, in: 2010.
LibreCat: /record/16414
DOI: 10.1145/1810479

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: /record/16505
DOI: 10.1007/978-3-642-17289-2_60

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: /record/16851

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: /record/10605
DOI: 10.1155/2010/180242

Virtuelle Speicherverwaltung für Hardware Threads in Rekonfigurierbaren Systemen
A. Agne, Virtuelle Speicherverwaltung Für Hardware Threads in Rekonfigurierbaren Systemen, Paderborn University, 2010.
LibreCat: /record/10614

EMG-basierte Ganganalyse
A. Boschmann, EMG-Basierte Ganganalyse, Paderborn University, 2010.
LibreCat: /record/10629

Evolvable Cache Controller
D. Breitlauch, Evolvable Cache Controller, Paderborn University, 2010.
LibreCat: /record/10642

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

Parallelization of the UCT Algorithm on HPC-Clusters
T. Graf, Parallelization of the UCT Algorithm on HPC-Clusters, Paderborn University, 2010.
LibreCat: /record/10657

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: /record/10683

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: /record/10686

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: /record/10694
DOI: 10.1049/iet-cdt.2010.9044

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

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: /record/10699

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: /record/10704
DOI: 10.1007/978-90-481-3485-4_13

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

Transparente Hardwarebeschleunigung durch Shared Library Interposing
M. Niekamp, Transparente Hardwarebeschleunigung Durch Shared Library Interposing, Paderborn University, 2010.
LibreCat: /record/10717

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: /record/10731

Scheduling Support for Heterogeneous Hardware Accelerators under Linux
T. Wiersema, Scheduling Support for Heterogeneous Hardware Accelerators under Linux, Paderborn University, 2010.
LibreCat: /record/10752

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: /record/10763
DOI: 10.1007/978-90-481-3485-4

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: /record/10776
DOI: 10.1109/ICCD.2010.5647815

On the Impact of Human Driver Behavior on Intelligent Transportation Systems
F. Dressler, C. Sommer, in: 2010 IEEE 71st Vehicular Technology Conference, 2010.
LibreCat: /record/11992
DOI: 10.1109/vetecs.2010.5493964

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: /record/12057
DOI: 10.1109/vetecs.2010.5493943

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: /record/12058
DOI: 10.1016/j.adhoc.2009.12.003

Improving the Accuracy of IVC Simulation Using Crowd-sourced Geodata
C. Sommer, D. Eckhoff, F. Dressler, PIK - Praxis Der Informationsverarbeitung Und Kommunikation (2010).
LibreCat: /record/12059
DOI: 10.1515/piko.2010.047

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: /record/15297

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: /record/15298

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

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: /record/15677

10th Koli Calling International Conference on Computing Education Research, Koli Calling , 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: /record/15678

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: /record/15679

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: /record/15765

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: /record/15772

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: /record/15000

Extending the corkscrew algorithm to find bifurcations of vessels
P. Wette, S. Arens, A. Elsner, G. Domik, in: Computer Graphics and Imaging, 2010.
LibreCat: /record/15035
DOI: 10.2316/P.2010.679-081

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: /record/15041
DOI: 10.2316/P.2010.679-088

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: /record/15118

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: /record/15119

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: /record/15134

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: /record/15135

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: /record/15136
DOI: 10.1007/978-3-642-19802-1_31

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: /record/15137
DOI: 10.1007/978-3-642-15684-7_9

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: /record/16121

Combining predictions in pairwise classification: An optimal adaptive voting strategy and its relation to weighted voting
E. Hüllermeier, S. Vanderlooy, Pattern Recognition 43 (2010) 128–142.
LibreCat: /record/16151

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: /record/16152

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: /record/16365
DOI: 10.1007/978-3-642-13284-1_14

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: /record/16401
DOI: 10.1145/1810479.1810523

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: /record/16403
DOI: 10.1007/978-3-642-14162-1

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: /record/16404
DOI: 10.1007/978-3-642-14165-2

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: /record/1004

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: /record/1021

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: /record/1022

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: /record/1023

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: /record/13589

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: /record/13590

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: /record/13591

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: /record/13593

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: /record/13594

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: /record/13597

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: /record/13640

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: /record/13641

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: /record/13642

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: /record/37007
DOI: 10.1109/DATE.2010.5456990

Assertion-Based Verification of RTOS Properties
M.F.S. Oliveira, H. Zabel, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
LibreCat: /record/37009
DOI: 10.1109/DATE.2010.5457130

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: /record/37011
DOI: 10.1109/DATE.2010.5457125

A Systematic Approach to Combined HW/SW System Test
A. Krupp, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
LibreCat: /record/37037
DOI: 10.1109/DATE.2010.5457186

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: /record/37040
DOI: 10.1109/DATE.2010.5456965

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: /record/37046
DOI: 10.1007/978-3-642-15234-4_15

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: /record/37044
DOI: 10.1007/978-3-642-15234-4_7

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: /record/37042

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: /record/37043

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: /record/37050
DOI: 10.1007/978-94-007-1488-5_9

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: /record/37048
DOI: 10.1007/978-3-642-15234-4_9

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

An Eclipse-based Framework for the IP-XACT-enabled Assembly of Mixed-Level IPs
T. Xie, G.B. Defo, W. Müller, in: Paris, 2010.
LibreCat: /record/37051