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.
5786 Publications
2010 | Conference Paper | LibreCat-ID: 13590
@inproceedings{Cheng_Dembczynski_Hüllermeier_2010, title={Label ranking based on the Plackett-Luce model}, booktitle={in Proceedings ICML-2010, 27th International Conference on Machine Learning, Haifa, Israel}, author={Cheng, W. and Dembczynski, K. and Hüllermeier, Eyke}, editor={Fürnkranz, J. and Joachims, T.Editors}, year={2010}, pages={215–222} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 13591
@inproceedings{Cheng_Dembczynski_Hüllermeier_2010, title={Graded multi-label classification: The ordinal case}, booktitle={in Proceedings ICML-2010, 27th International Conference on Machine Learning, Haifa, Israel}, author={Cheng, W. and Dembczynski, K. and Hüllermeier, Eyke}, editor={Fürnkranz, J. and Joachims, T.Editors}, year={2010} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 13593
@inproceedings{Dembczynski_Waegeman_Cheng_Hüllermeier_2010, title={Regret analysis for performance metrics in multi-label classification: The case of Hamming and subset zero-one loss}, booktitle={In Proceedings ECML/PKDD-2010, European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ,Bareclona, Spain}, author={Dembczynski, K. and Waegeman, W. and Cheng, W. and Hüllermeier, Eyke}, year={2010} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 13594
@inproceedings{Cheng_Rademaker_De Beats_Hüllermeier_2010, title={Predicting partial orders: Ranking with abstention}, booktitle={In Proceedings ECML/PKDD-2010, European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ,Bareclona, Spain}, author={Cheng, W. and Rademaker, M. and De Beats, B. and Hüllermeier, Eyke}, year={2010} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 13597
@inproceedings{Hüllermeier_2010, title={Uncertainty in clustering and classification }, volume={6379}, number={LNCS}, booktitle={in Proceedings SUM 2010, International Conference on Scalable Uncertainty Management }, publisher={Springer}, author={Hüllermeier, Eyke}, year={2010}, pages={16–19} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 13640
@inproceedings{Giefers_Platzner_2010, title={A Triple Hybrid Interconnect for Many-Cores: Reconfigurable Mesh, NoC and Barrier}, booktitle={Proceedings of the 20th International Conference on Field Programmable Logic and Applications (FPL)}, publisher={IEEE}, author={Giefers, Heiner and Platzner, Marco}, year={2010} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 13641
@inproceedings{Schäfer_Birattari_Blömer_Dorigo_Engels_O’Grady_Platzner_Rammig_Reif_Trächtler_2010, title={Engineering Self-Coordinating Software Intensive Systems}, booktitle={Proceedings of the Foundations of Software Engineering (FSE) and NITR & D/SPD Working Conference on the Future of Software Engineering Research (FoSER)}, author={Schäfer, Wilhelm and Birattari, Mauro and Blömer, Johannes and Dorigo, Marco and Engels, Gregor and O’Grady, Rehan and Platzner, Marco and Rammig, Franz-Josef and Reif, Wolfgang and Trächtler, Ansgar}, year={2010}, pages={321–324} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 13642
@inproceedings{Giefers_Platzner_2010, title={A Self-Reconfigurable Lightweight Interconnect for Scalable Processor Fabrics}, booktitle={Proceedings of the 10th International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA)}, publisher={CSREA Press}, author={Giefers, Heiner and Platzner, Marco}, year={2010} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 37007
@inproceedings{Mischkalla_He_Müller_2010, place={Dresden}, title={Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems}, DOI={10.1109/DATE.2010.5456990}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Mischkalla, Fabian and He, Da and Müller, Wolfgang}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37009
@inproceedings{Oliveira_Zabel_Müller_2010, place={Dresden}, title={Assertion-Based Verification of RTOS Properties}, DOI={10.1109/DATE.2010.5457130}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Oliveira, Marcio F. S. and Zabel, Henning and Müller, Wolfgang}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37011
@inproceedings{Klobedanz_Kuznik_Thuy_Müller_2010, place={Dresden}, title={Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study}, DOI={10.1109/DATE.2010.5457125}, booktitle={Proceedings of DATE’10, Dresden}, publisher={IEEE}, author={Klobedanz, Kay and Kuznik, Christoph and Thuy, Andre and Müller, Wolfgang}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37037
@inproceedings{Krupp_Müller_2010, place={Dresden}, title={A Systematic Approach to Combined HW/SW System Test}, DOI={10.1109/DATE.2010.5457186}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Krupp, Alexander and Müller, Wolfgang}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37040
@inproceedings{Becker_Di Guglielmo_Fummi_Müller_Pravadelli_Xie_2010, place={Dresden}, title={RTOS-Aware Refinement for TLM2.0-based HW/SW Design}, DOI={10.1109/DATE.2010.5456965}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Becker, Markus and Di Guglielmo, Giuseppe and Fummi, Franco and Müller, Wolfgang and Pravadelli, Graziano and Xie, Tao}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37046
@inproceedings{Becker_Zabel_Müller_2010, place={Dordrecht}, title={A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement}, DOI={10.1007/978-3-642-15234-4_15}, publisher={Springer Verlag}, author={Becker, Markus and Zabel, Henning and Müller, Wolfgang}, editor={Kleinjohann, L. and Kleinjohann, B.}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37044
@inproceedings{Klobedanz_Defo_Zabel_Müller_Zhi_2010, place={Dordrecht}, title={Task Migration for Fault-Tolerant FlexRay Networks}, DOI={10.1007/978-3-642-15234-4_7}, publisher={Springer Verlag}, author={Klobedanz, Kay and Defo, Gilles B. and Zabel, Henning and Müller, Wolfgang and Zhi, Yuan}, editor={Kleinjohann, L. and Kleinjohann, B.}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37042
@inproceedings{Mischkalla_Müller_He_2010, place={Dresden}, title={A UML Profile for SysML-Based Comodeling for Embedded Systems Simulation and Synthesis}, booktitle={Proceedings of the M-BED Workshop}, author={Mischkalla, Fabian and Müller, Wolfgang and He, Da}, year={2010} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 37043
@inproceedings{Bol_Müller_Krupp_2010, place={Dresden}, title={Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen}, booktitle={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)}, author={Bol, Alexander and Müller, Wolfgang and Krupp, Alexander}, year={2010} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 37050
@inproceedings{Müller_He_Mischkalla_Wegele_Larkham_Whiston_Penil_Villar_Mitas_Kritharidis_et al._2010, series={Lecture Notes in Electrical Engineering}, title={The SATURN Approach to SysML-based HW/SW Codesign}, DOI={10.1007/978-94-007-1488-5_9}, booktitle={Proceedings of the IEEE Computer Society Annual Symposium on VLSI}, author={Müller, Wolfgang and He, Da and Mischkalla, Fabian and Wegele, Arthur and Larkham, Adrian and Whiston, Paul and Penil, Pablo and Villar, Eugenio and Mitas, Nikolaos and Kritharidis, Dimitros and et al.}, year={2010}, collection={Lecture Notes in Electrical Engineering} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37048
@inproceedings{Müller_Bol_Krupp_Lundkvist_2010, place={Dordrecht}, title={Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems}, DOI={10.1007/978-3-642-15234-4_9}, publisher={Springer Verlag}, author={Müller, Wolfgang and Bol, Alexander and Krupp, Alexander and Lundkvist, Ola}, editor={Kleinjohann, L. and Kleinjohann, B.}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37049
@inproceedings{Xie_Letombe_Müller_2010, place={Dordrecht}, title={Mutation-Analysis Directed Constrained Random Verification}, publisher={Springer Verlag}, author={Xie, Tao and Letombe, Florian and Müller, Wolfgang}, editor={Kleinjohann, L. and Kleinjohann, B.}, year={2010} }
LibreCat