Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5685 Publications
2010 | Conference Paper | LibreCat-ID: 811
T. Biermann, C. Dannewitz, and H. Karl, “FIT: Future Internet Toolbox,” 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
| DOI
2010 | Conference Paper | LibreCat-ID: 812
C. Dannewitz, T. Biermann, M. Dräxler, F. Beister, and H. Karl, “Prototyping with the Future Internet Toolbox,” 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
| DOI
2010 | Report | LibreCat-ID: 8219
C. Gerth, M. Luckey, J. Küster, and G. Engels, Detection of Semantically Equivalent Fragments for Business Process Model Change Management. Zurich: IBM Research, 2010.
LibreCat
2010 | Report | LibreCat-ID: 8220
M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, and H. Wehrheim, Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques. Enschede, The Netherlands: Centre for Telematics and Information Technology of the University of Twente, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 5756
F. Brüseke, Y. Sancar, and E. Yigitbas, “Erfolgsfaktoren von Testprozessbewertungsmodellen,” in Proceedings of the Conference on Software & Systems Engineering Essentials 2010 (SEE 2010), Köln (Germany), 2010, pp. 277–298.
LibreCat
2010 | Journal Article | LibreCat-ID: 7356
R. Löffler, B. Güldali, and S. Geisen, “Towards Model-based Acceptance Testing for Scrum,” Softwaretechnik-Trends, vol. 30, no. 3, pp. 9–12, 2010.
LibreCat
2010 | Journal Article | LibreCat-ID: 7357
B. Güldali, S. Jungmayr, M. Mlynarski, S. Neumann, and M. Winter, “Starthilfe für modellbasiertes Testen,” OBJEKTspektrum, no. 3, pp. 63–69, 2010.
LibreCat
2010 | Journal Article | LibreCat-ID: 7358
D. Beulen, B. Güldali, and M. Mlynarski, “Tabellarischer Vergleich der Prozessmodelle für modellbasiertes Testen aus Managementsicht,” Softwaretechnik-Trends, vol. 30, no. 2, pp. 6–9, 2010.
LibreCat
2010 | Journal Article | LibreCat-ID: 7359
M. Späth and M. Mlynarski, “Agiles Testen in Großprojekten mit TDD und Testaspekten: Beobachtungen und erste Erfahrungen,” Softwaretechnik-Trends, vol. 30, 2010.
LibreCat
| Download (ext.)
2010 | Journal Article | LibreCat-ID: 7364
M. Jureczko and M. Mlynarski, “Automated acceptance testing tools for web applications using Test-Driven Development,” Electrical Review, vol. 86, pp. 198–202, 2010.
LibreCat
2010 | Book Chapter | LibreCat-ID: 7556
S. Oster, A. Wübbeke, G. Engels, and A. Schürr, “Model-Based Software Product Lines Testing Survey,” in Model-Based Testing For Embedded Systems, P. Mosterman, I. Schieferdecker, J. Zander , Ed. CRC Press, 2010, pp. 339–381.
LibreCat
2010 | Dissertation | LibreCat-ID: 7573
A. Wübbeke, Variabilitätsmanagement in Anforderungs- und Testfallspezifikation für Software-Produktlinien. 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 8437
G. Engels and C. Soltenborn, “Test-driven Language Derivation with Graph Transformation-based Dynamic Meta Modeling,” in Proceedings of the International Colloquium on Graph and Model Transformation (GraMoT 2010), Berlin (Germany), 2010, vol. 30, pp. 240–257.
LibreCat
2010 | Conference Paper | LibreCat-ID: 8438
B. Güldali and M. Mlynarski, “Agility vs. Model-based Testing: A fair Play?,” in Proceedings of the IWK2010 Workshops: The First International Workshop on Evolution Support for Model-Based Development and Testing (EMDT2010), 2010, vol. 646, pp. 55–58.
LibreCat
| Download (ext.)
2010 | Conference Paper | LibreCat-ID: 8439
A. Wübbeke and S. Oster, “Verknüpfung von kombinatorischem Plattform- und individuellem Produkt-Test für Software-Produktlinien,” in Proceedings of Produktlinien im Kontext (PIK2010), 2010, p. to appear.
LibreCat
2010 | Conference Paper | LibreCat-ID: 8440
Y. Sancar, F. Brüseke, H. Voigt, S. Sauer, and G. Engels, “Towards Economical Software Release Recommendations,” in ECOOP 2010 - Workshop on Testing Object-Oriented Software Systems (ETOOS), 2010, pp. 59–67.
LibreCat
2010 | Conference Paper | LibreCat-ID: 8441
C. Gerth, “A Framework for Change Management of Business Process Models,” 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
M. Luckey, A. Baumann, D. Méndez Fernández, and S. Wagner, “Reusing Security Requirements using an Extended Quality Model,” in Software Engineering for Secure Systems, 2010. SESS ’10. ICSE Workshop, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 8443
Y. Sancar, F. Brüseke, and G. Engels, “Teststufenspezifische Qualitätsattribute für die Qualitätsbewertung von nichtfunktionalen Anforderungen,” in Proceedings of Software-Qualitätsmodellierung und -bewertung (SQMB ’10), Paderborn, Germany, 2010, pp. 50–57.
LibreCat
2010 | Conference Paper | LibreCat-ID: 8444
F. Salger, S. Sauer, G. Engels, and A. Baumann, “Knowledge Transfer in Global Software Development - Leveraging Ontologies, Tools and Assessments,” in 5th IEEE International Conference on Global Software Engineering (ICGSE 2010), 2010, pp. 336–341.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 8445
J. Van den Bergh, G. Meixner, and S. Sauer, “MDDAUI 2010 Workshop Report,” in Proc. 5th Intl. Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI 2010), 2010, vol. 617, pp. 53–56.
LibreCat
2010 | Conference Paper | LibreCat-ID: 8446
B. Güldali, S. Sauer, P. Winkelhane, M. Jahnich, and H. Funke, “Pattern-based Generation of Test Plans for Open Distributed Processing Systems,” in Proceedings of 5th International Workshop on Automation of Software Test (AST 2010), ICSE Workshop, 2010, pp. 119–126.
LibreCat
2010 | Conference Paper | LibreCat-ID: 8447
F. Brüseke, Y. Sancar, and G. Engels, “Architecture-Driven Derivation of Performance Metrics,” in Proceedings of Software-Qualitätsmodellierung und -bewertung (SQMB ’10), Paderborn, Germany, 2010, pp. 22–31.
LibreCat
2010 | Conference Paper | LibreCat-ID: 8448
B. Güldali, M. Mlynarski, and Y. Sancar, “Effort Comparison of Model-based Testing Scenarios,” in Proceedings of 3th International Conference on Software Testing, Verification, and Validation Workshops, 2010, pp. 28–36.
LibreCat
2010 | Conference Paper | LibreCat-ID: 8449
M. Schnelte and B. Güldali, “Test Case Generation for Visual Contracts Using AI Planning,” in INFORMATIK 2010, Beiträge der 40. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2010, p. (accepted for publication).
LibreCat
2010 | Conference Paper | LibreCat-ID: 16851
W. Huck et al., “Computergestützte traumatherapeutische Behandlungsmöglichkeiten bei Verkehrsunfallopfern von Kindern und Jugendlichen,” in 12. Jahrestagung der Deutschsprachigen Gesellschaft für Psychotraumatologie (DeGPT), 2010.
LibreCat
2010 | Mastersthesis | LibreCat-ID: 10614
A. Agne, Virtuelle Speicherverwaltung für Hardware Threads in Rekonfigurierbaren Systemen. Paderborn University, 2010.
LibreCat
2010 | Mastersthesis | LibreCat-ID: 10629
A. Boschmann, EMG-basierte Ganganalyse. Paderborn University, 2010.
LibreCat
2010 | Mastersthesis | LibreCat-ID: 10642
D. Breitlauch, Evolvable Cache Controller. Paderborn University, 2010.
LibreCat
2010 | Bachelorsthesis | LibreCat-ID: 10649
D. Dridger, Soft Microprocessors with tightly coupled Application-Specific Coprocessors. Paderborn University, 2010.
LibreCat
2010 | Bachelorsthesis | LibreCat-ID: 10657
T. Graf, Parallelization of the UCT Algorithm on HPC-Clusters. Paderborn University, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 10683
P. Kaufmann, K. Englehart, and M. Platzner, “Fluctuating EMG Signals: Investigating Long-term Effects of Pattern Matching Algorithms,” in International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), 2010, pp. 6357–6360.
LibreCat
2010 | Conference Paper | LibreCat-ID: 10686
P. Kaufmann, T. Knieper, and M. Platzner, “A Novel Hybrid Evolutionary Strategy and its Periodization with Multi-objective Genetic Optimizers,” in IEEE World Congress on Computational Intelligence (WCCI), Congress on Evolutionary Computation (CEC), 2010, pp. 541–548.
LibreCat
2010 | Mastersthesis | LibreCat-ID: 10697
T. Knieper, Hybridization of Global Multi-Objective and Local Search Techniques. Paderborn University, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 10699
T. Knieper, P. Kaufmann, K. Glette, M. Platzner, and J. Torresen, “Coping with Resource Fluctuations: The Run-time Reconfigurable Functional Unit Row Classifier Architecture,” in IEEE Intl. Conf. on Evolvable Systems (ICES), 2010, vol. 6274, pp. 250–261.
LibreCat
2010 | Book Chapter | LibreCat-ID: 10704
E. Lübbers and M. Platzner, “ReconOS: An Operating System for Dynamically Reconfigurable Hardware,” in Dynamically Reconfigurable Systems: Architectures, Design Methods and Applications, M. Platzner, J. Teich, and N. Wehn, Eds. Springer-Verlag GmbH, 2010, pp. 269–290.
LibreCat
| DOI
2010 | Mastersthesis | LibreCat-ID: 10710
R. Meiche, FPGA/CPU Multicore-Plattform für ReconOS/eCos. Paderborn University, 2010.
LibreCat
2010 | Mastersthesis | LibreCat-ID: 10717
M. Niekamp, Transparente Hardwarebeschleunigung durch Shared Library Interposing. Paderborn University, 2010.
LibreCat
2010 | Mastersthesis | LibreCat-ID: 10731
B. Runde, A Token-Ring Network-On-Chip for Message Passing in ReconOS. Paderborn University, 2010.
LibreCat
2010 | Mastersthesis | LibreCat-ID: 10752
T. Wiersema, Scheduling Support for Heterogeneous Hardware Accelerators under Linux. Paderborn University, 2010.
LibreCat
2010 | Book Chapter | LibreCat-ID: 15297
E. Hüllermeier and J. Hühn, “An Analysis of the FURIA algorithm for fuzzy rule induction,” in Advances in Machine Learning I: Dedicated to the Memory of Professor Ryszard S.Michalski, vol. 262, J. Koronacki, Z. W. Ras, S. T. Wierzchon, and J. Kacprzyk, Eds. Springer, 2010, pp. 321–344.
LibreCat
2010 | Book Chapter | LibreCat-ID: 15298
J. Fürnkranz and E. Hüllermeier, “Preference Learning: An Introduction,” in Preference Learning, J. Fürnkranz and E. Hüllermeier, Eds. Springer, 2010, pp. 1–18.
LibreCat
2010 | Journal Article | LibreCat-ID: 15676
J. Bennedsen and C. Schulte, “BlueJ Visual Debugger for Learning the Execution of Object-Oriented Programs?,” TOCE, vol. 10, no. 2, pp. 8:1-8:22, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 15677
A. Ehlert and C. Schulte, “Comparison of OOP first and OOP later: first results regarding the role of comfort level,” in ITiCSE, 2010, pp. 108–112.
LibreCat
2010 | Conference (Editor) | LibreCat-ID: 15678
C. Schulte and 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
I. Diethelm, C. Dörge, C. Hildebrandt, and 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, vol. P-168. GI, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 15765
T. Fober, M. Mernberger, G. Klebe, and E. Hüllermeier, “Efficient similarity retrieval for protein binding sites based on histogram comparison,” in In Proceedings GCB-2010 German Conference on Bioinformatics Braunschweig, Germany, 2010, pp. 51–60.
LibreCat
2010 | Conference Paper | LibreCat-ID: 15772
K. Dembczynski, W. Waegeman, W. Cheng, and E. Hüllermeier, “On label dependence in multi-label classification,” in In Proceedings MLD-2010, 2nd International Workshop on Learning from Multi-Label Data, Haifa, Israel, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 15000
S. Arens, G. Domik, R. Weise, H. Fricke, and W. Burchert, “Weniger Sehen-mehr Verstehen: Größen-basierte und Textur-basierte Transferfunktionen zur Volumenvisualisierung von CT Daten der Koronargefäße,” in Tagungsband der Deutschen Gesellschaft für physikalische Medizin, 2010, vol. 41.
LibreCat
2010 | Conference Paper | LibreCat-ID: 15041
S. Peters, M. Kelm, M. Huber, S. Seifert, A. Elsner, and G. Domik, “Visual representations for supporting an ontology-based semantic navigation of medical volume data,” in Proceedings of the 11th IASTED International Conference, 2010, vol. 679, no. 088, p. 303.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 15118
T. Fober and E. Hüllermeier, “Similarity measures for protein structures based on fuzzy histogram comparison,” in in Proceedings WCCI-2010, World Congress on Computational Intelligence, Barcelona, Spain, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 15119
R. Senge and E. Hüllermeier, “Pattern trees for regression and fuzzy systems modeling,” in in Proceedings WCCI-2010, World Congress on Computational Intelligence, Barcelona, Spain, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 15134
S. Böttcher, R. Hartel, and C. Messinger, “Queryable SEPA Message Compression by XML Schema Subtraction,” in ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, 2010, pp. 23–29.
LibreCat
2010 | Conference Paper | LibreCat-ID: 15135
S. Böttcher, R. Hartel, and C. Krislin, “CluX - Clustering XML Sub-trees,” in ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, 2010, pp. 142–150.
LibreCat
2010 | Journal Article | LibreCat-ID: 16121
P. Pfeffer, T. Fober, E. Hüllermeier, and G. Klebe, “GARLig: A fully automated tool for subset selection of large fragment spaces via a self-adaptive genetic algorithm,” Journal of Chemical Information and Modeling, vol. 50, no. 9, pp. 1644–1659, 2010.
LibreCat
2010 | Journal Article | LibreCat-ID: 16151
E. Hüllermeier and S. Vanderlooy, “Combining predictions in pairwise classification: An optimal adaptive voting strategy and its relation to weighted voting,” Pattern Recognition, vol. 43, no. 1, pp. 128–142, 2010.
LibreCat
2010 | Journal Article | LibreCat-ID: 16152
E. Hüllermeier and J. Fürnkranz, “On predictive accuracy and risk minimization in pairwise label ranking,” Journal of Computer and System Sciences, vol. 76, no. 1, pp. 49–62, 2010.
LibreCat
2010 | Book (Editor) | LibreCat-ID: 16403
S. Abramsky, C. Gavoille, C. Kirchner, F. Meyer auf der Heide, and 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
S. Abramsky, C. Gavoille, C. Kirchner, F. Meyer auf der Heide, and 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
K. Miller, T. Biermann, H. Woesner, and H. Karl, “Network coding in passive optical networks,” in Network Coding (NetCod), 2010 IEEE International Symposium on, 2010, pp. 1--6.
LibreCat
| Download (ext.)
2010 | Conference Paper | LibreCat-ID: 1021
J. Lischka and H. Karl, “RiaS: overlay topology creation on a PlanetLab infrastructure,” 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
D. H. Woldegebreal and H. Karl, “Energy efficiency model of network-coded cooperation in wireless sensor networks,” in Sensor Technologies and Applications (SENSORCOMM), 2010 Fourth International Conference on, 2010, pp. 513--520.
LibreCat
| Download (ext.)
2010 | Conference Paper | LibreCat-ID: 1023
R. A. M. Khan and H. Karl, “Cooperative communication to improve reliability and efficient neighborhood wakeup in wireless sensor networks,” in Proceedings of the Fourth International Conference on Mobile Ubiquitous Computing (UBICOMM 2010), 2010.
LibreCat
| Files available
2010 | Conference Paper | LibreCat-ID: 13589
K. Dembczynski, W. Cheng, and E. Hüllermeier, “Bayes optimal multilabel classification via probalistic classifier chains,” in in Proceedings ICML-2010, 27th International Conference on Machine Learning, Haifa, Israel, 2010, pp. 279–286.
LibreCat
2010 | Conference Paper | LibreCat-ID: 13590
W. Cheng, K. Dembczynski, and E. Hüllermeier, “Label ranking based on the Plackett-Luce model,” in in Proceedings ICML-2010, 27th International Conference on Machine Learning, Haifa, Israel, 2010, pp. 215–222.
LibreCat
2010 | Conference Paper | LibreCat-ID: 13591
W. Cheng, K. Dembczynski, and E. Hüllermeier, “Graded multi-label classification: The ordinal case,” in in Proceedings ICML-2010, 27th International Conference on Machine Learning, Haifa, Israel, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 13593
K. Dembczynski, W. Waegeman, W. Cheng, and E. Hüllermeier, “Regret analysis for performance metrics in multi-label classification: The case of Hamming and subset zero-one loss,” 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
W. Cheng, M. Rademaker, B. De Beats, and E. Hüllermeier, “Predicting partial orders: Ranking with abstention,” 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
E. Hüllermeier, “Uncertainty in clustering and classification ,” in in Proceedings SUM 2010, International Conference on Scalable Uncertainty Management , 2010, vol. 6379, no. LNCS, pp. 16–19.
LibreCat
2010 | Conference Paper | LibreCat-ID: 13640
H. Giefers and M. Platzner, “A Triple Hybrid Interconnect for Many-Cores: Reconfigurable Mesh, NoC and Barrier,” in Proceedings of the 20th International Conference on Field Programmable Logic and Applications (FPL), 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 13641
W. Schäfer et al., “Engineering Self-Coordinating Software Intensive Systems,” 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
H. Giefers and M. Platzner, “A Self-Reconfigurable Lightweight Interconnect for Scalable Processor Fabrics,” in Proceedings of the 10th International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA), 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37007
F. Mischkalla, D. He, and W. Müller, “Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems,” presented at the 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden, 2010, doi: 10.1109/DATE.2010.5456990.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37009
M. F. S. Oliveira, H. Zabel, and W. Müller, “Assertion-Based Verification of RTOS Properties,” presented at the 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden, 2010, doi: 10.1109/DATE.2010.5457130.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37011
K. Klobedanz, C. Kuznik, A. Thuy, and W. Müller, “Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study,” presented at the 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden, 2010, doi: 10.1109/DATE.2010.5457125.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37037
A. Krupp and W. Müller, “A Systematic Approach to Combined HW/SW System Test,” presented at the Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden, 2010, doi: 10.1109/DATE.2010.5457186.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37040
M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, and T. Xie, “RTOS-Aware Refinement for TLM2.0-based HW/SW Design,” presented at the Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden, 2010, doi: 10.1109/DATE.2010.5456965.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37046
M. Becker, H. Zabel, and W. Müller, “A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement,” 2010, doi: 10.1007/978-3-642-15234-4_15.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37044
K. Klobedanz, G. B. Defo, H. Zabel, W. Müller, and Y. Zhi, “Task Migration for Fault-Tolerant FlexRay Networks,” 2010, doi: 10.1007/978-3-642-15234-4_7.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37042
F. Mischkalla, W. Müller, and D. He, “A UML Profile for SysML-Based Comodeling for Embedded Systems Simulation and Synthesis,” 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37043
A. Bol, W. Müller, and A. Krupp, “Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen,” 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37050
W. Müller et al., “The SATURN Approach to SysML-based HW/SW Codesign,” 2010, doi: 10.1007/978-94-007-1488-5_9.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37048
W. Müller, A. Bol, A. Krupp, and O. Lundkvist, “Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems,” 2010, doi: 10.1007/978-3-642-15234-4_9.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37049
T. Xie, F. Letombe, and W. Müller, “Mutation-Analysis Directed Constrained Random Verification,” 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37051
T. Xie, G. B. Defo, and W. Müller, “An Eclipse-based Framework for the IP-XACT-enabled Assembly of Mixed-Level IPs,” presented at the First Workshop on Hands-on Platforms and tools for model-based engineering of Embedded Systems (HoPES 2010), Paris, 2010.
LibreCat