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 | 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
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.
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
J. Fürnkranz, E. Hüllermeier, in: J. Fürnkranz, E. Hüllermeier (Eds.), Preference Learning, Springer, 2010, pp. 1–18.
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
J. Bennedsen, C. Schulte, TOCE 10 (2010) 8:1-8:22.
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
A. Ehlert, C. Schulte, in: ITiCSE, ACM, 2010, pp. 108–112.
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
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.
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
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.
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
T. Fober, M. Mernberger, G. Klebe, E. Hüllermeier, in: In Proceedings GCB-2010 German Conference on Bioinformatics Braunschweig, Germany, 2010, pp. 51–60.
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
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.
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
S. Arens, G. Domik, R. Weise, H. Fricke, W. Burchert, in: Tagungsband Der Deutschen Gesellschaft Für Physikalische Medizin, Freiburg, Germany, 2010.
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
P. Wette, S. Arens, A. Elsner, G. Domik, in: Computer Graphics and Imaging, 2010.
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
S. Peters, M. Kelm, M. Huber, S. Seifert, A. Elsner, G. Domik, in: Proceedings of the 11th IASTED International Conference, 2010, p. 303.
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
T. Fober, E. Hüllermeier, in: In Proceedings WCCI-2010, World Congress on Computational Intelligence, Barcelona, Spain, 2010.
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
R. Senge, E. Hüllermeier, in: In Proceedings WCCI-2010, World Congress on Computational Intelligence, Barcelona, Spain, 2010.
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
S. Böttcher, R. Hartel, C. Messinger, in: ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, 2010, pp. 23–29.
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
S. Böttcher, R. Hartel, C. Krislin, in: ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, 2010, pp. 142–150.
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
S. Böttcher, R. Hartel, C. Messinger, in: Enterprise Information Systems - 12th International Conference, ICEIS 2010, Revised Selected Papers, Springer, 2010, pp. 451–463.
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
S. Böttcher, R. Hartel, C. Messinger, in: Database and XML Technologies - 7th International XML Database Symposium, XSym 2010, Springer, 2010, pp. 103–112.
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
P. Pfeffer, T. Fober, E. Hüllermeier, G. Klebe, Journal of Chemical Information and Modeling 50 (2010) 1644–1659.
2010 | Journal Article | LibreCat-ID: 16151
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
E. Hüllermeier, S. Vanderlooy, Pattern Recognition 43 (2010) 128–142.
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
E. Hüllermeier, J. Fürnkranz, Journal of Computer and System Sciences 76 (2010) 49–62.
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
B. Degener, B. Kempkes, P. Kling, F. Meyer auf der Heide, in: Structural Information and Communication Complexity, Berlin, Heidelberg, 2010, pp. 168–182.
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
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.
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
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.
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
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.
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.)
K. Miller, T. Biermann, H. Woesner, H. Karl, in: Network Coding (NetCod), 2010 IEEE International Symposium On, 2010, pp. 1--6.
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.)
J. Lischka, H. Karl, in: Proceedings of the Second ACM SIGCOMM Workshop on Virtualized Infrastructure Systems and Architectures, 2010, pp. 9--16.
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.)
D.H. Woldegebreal, H. Karl, in: Sensor Technologies and Applications (SENSORCOMM), 2010 Fourth International Conference On, 2010, pp. 513--520.
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
R.A.M. Khan, H. Karl, in: Proceedings of the Fourth International Conference on Mobile Ubiquitous Computing (UBICOMM 2010), 2010.
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
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.
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
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.
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
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.
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
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.
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
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.
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
E. Hüllermeier, in: In Proceedings SUM 2010, International Conference on Scalable Uncertainty Management , Springer, 2010, pp. 16–19.
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
H. Giefers, M. Platzner, in: Proceedings of the 20th International Conference on Field Programmable Logic and Applications (FPL), IEEE, 2010.
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
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.
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
H. Giefers, M. Platzner, in: Proceedings of the 10th International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2010.
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
F. Mischkalla, D. He, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
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
M.F.S. Oliveira, H. Zabel, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
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
K. Klobedanz, C. Kuznik, A. Thuy, W. Müller, in: Proceedings of DATE’10, Dresden, IEEE, Dresden, 2010.
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
A. Krupp, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
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
M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, T. Xie, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
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
M. Becker, H. Zabel, W. Müller, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.
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
K. Klobedanz, G.B. Defo, H. Zabel, W. Müller, Y. Zhi, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.
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
F. Mischkalla, W. Müller, D. He, in: Proceedings of the M-BED Workshop, Dresden, 2010.
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
A. Bol, W. Müller, A. Krupp, in: Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV), Dresden, 2010.
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
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.
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
W. Müller, A. Bol, A. Krupp, O. Lundkvist, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.
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
T. Xie, F. Letombe, W. Müller, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.
2010 | Conference Paper | LibreCat-ID: 37051
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
T. Xie, G.B. Defo, W. Müller, in: Paris, 2010.