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.
327 Publications
2012 | Conference Paper | LibreCat-ID: 26030
@inproceedings{Mathews_2012, title={Planarization of Geographic Cluster-based Overlay Graphs in Realistic Wireless Networks}, booktitle={Ninth International Conference On Information Technology : New Generations (ITNG)}, publisher={IEEE Computer Society}, author={Mathews, Emi}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26031
@inproceedings{He_Müller_2012, title={Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented Systems}, booktitle={2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC)}, publisher={IEEE Xplore}, author={He, Da and Müller, Wolfgang}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26032
@inproceedings{Stern_Rasche_Kleinjohann_Kleinjohann_2012, place={St. Maarten, Netherlands Antilles}, title={Efficient Alignment of Aerial Images Based on Virtual Forces}, booktitle={Proceedings of The Eighth International Conference on Autonomic and Autonomous Systems (ICAS)}, publisher={IEEE Xplore}, author={Stern, Claudius and Rasche, Christoph and Kleinjohann, Lisa and Kleinjohann, Bernd}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26034
@inproceedings{Jungmann_Kleinjohann_Kleinjohann_Bieshaar_2012, title={Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems}, booktitle={Proceedings of the 4th International Conference on Resource Intensive Applications and Services (INTENSIVE)}, publisher={Xpert Publishing Services}, author={Jungmann, Alexander and Kleinjohann, Bernd and Kleinjohann, Lisa and Bieshaar, Maarten}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26035
@inproceedings{Grösbrink_Oberthür_Baldin_2012, title={Dynamic Resource Management for Virtualized Mixed-Criticality Systems}, booktitle={Quo Vadis, Virtual Platforms? (in conjunction with Design, Automation and Test in Europe DATE 2012)}, author={Grösbrink, Stefan and Oberthür, Simon and Baldin, Daniel}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26036
@inproceedings{Oliveira_Kuznik_Müller_Ecker_Esen_2012, title={A SystemC Library for Advanced TLM Verification}, booktitle={Proceeding of Design and Verification Conference (DVCON)}, author={Oliveira, Marcio F. and Kuznik, Christoph and Müller, Wolfgang and Ecker, Wolfgang and Esen, Volkan}, year={2012} }
LibreCat
2012 | Journal Article | LibreCat-ID: 26037
@article{Nascimento_Oliveira_Wagner_2012, title={A model-driven engineering framework for embedded systems design}, journal={Innovations in Systems and Software Engineering 8}, author={Nascimento, Francisco A. M. and Oliveira, Marcio F. and Wagner, Flavio}, year={2012}, pages={19–33} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26079
@inproceedings{Becker_Gnokam Defo_Müller_Fummi_Pravadelli_Vinco_2012, place={Dresden}, title={MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution}, booktitle={Design, Automation and Test in Europe (DATE 2012)}, author={Becker, Markus and Gnokam Defo, Gilles Bertrand and Müller, Wolfgang and Fummi, F. and Pravadelli, G. and Vinco, Sara}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26080
@inproceedings{Becker_Kuznik_Joy_Xie_Müller_2012, place={University Booth, Dresden}, title={XEMU: A QEMU Based Binary Mutation Testing Framework}, booktitle={Design, Automation and Test in Europe DATE}, author={Becker, Markus and Kuznik, Christoph and Joy, M. tech. Mabel and Xie, Tao and Müller, Wolfgang}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26081
@inproceedings{Mauerer_Hillier_Sawallisch_Hönick_Oberthür_2012, title={Real-Time Android: Deterministic Ease of use}, booktitle={Proceedings of Embedded World Conference}, author={Mauerer, Wolfgang and Hillier, Gernot and Sawallisch, Jan and Hönick, Stefan and Oberthür, Simon}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26086
@inproceedings{Jungmann_Schierbaum_Kleinjohann_2012, title={Image Segmentation For Object Detection on a Deeply Embedded Miniature Robot}, booktitle={Proceedings of the Seventh International Conference on Computer Vision Theory and Applications (VISAPP)}, publisher={ INSTICC PRESS}, author={Jungmann, Alexander and Schierbaum, Thomas and Kleinjohann, Bernd}, year={2012}, pages={441–444} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26089
@inproceedings{Bin Tariq_2012, title={Deterministic Runtime Adaptation for Hard Real-time Embedded Systems with Processing Constraints}, booktitle={Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems}, author={Bin Tariq, Fahad}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26090
@inproceedings{Mathews_Frey_2012, place={The Hong Kong Polytechnic University, Hong Kong, China}, title={A Localized Link Removal and Addition based Planarization Algorithm}, booktitle={13th International Conference On Distributed Computing And Networking (ICDCN)}, publisher={Springer}, author={Mathews, Emi and Frey, Hannes}, year={2012} }
LibreCat
2012 | Journal Article | LibreCat-ID: 26091
@article{Mathews_Mathew_2012, title={Deployment of mobile routers ensuring coverage and connectivity}, journal={International Journal of Computer Networks and Communications 4(1)}, author={Mathews, Emi and Mathew, Ciby}, year={2012}, pages={175–192} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26092
@inproceedings{Müller_Becker_Zabel_Elfeky_DiPasquale_2012, place={Sydney}, title={Virtual Prototyping of Cyber-Physical Systems}, booktitle={In Proceedings of 17th Asia and South Pacific Design Automation Conference (ASP-DAC 2012}, author={Müller, Wolfgang and Becker, Markus and Zabel, Henning and Elfeky, Ahmed and DiPasquale, Anthony}, year={2012} }
LibreCat
2012 | Book Chapter | LibreCat-ID: 26093
@inbook{Khaluf_Mathews_Rammig_2012, place={New York, Heidelberg, Dordrecht, London}, title={Swarm Robotic Time Synchronization for Object Tracking}, booktitle={Self-Organization in Embedded Real-Time Systems}, publisher={Springer}, author={Khaluf, Yara and Mathews, Emi and Rammig, Franz-Josef}, editor={Higuera-Toledano, M. Theresa and Brinkschulte, Uwe and Rettberg, Achim}, year={2012}, pages={75–92} }
LibreCat
2012 | Book Chapter | LibreCat-ID: 26094
@inbook{Rammig_2012, place={München}, title={Biologically Inspired Information Technology: Towards a Cyber Biosphere}, booktitle={Schemata und Praktiken}, publisher={Wilhelm Fink Verlag}, author={Rammig, Franz-Josef}, editor={Conradi, Tobias and Ecker, Gisela and Eke, Norbert Otto and Muhle, Florian}, year={2012}, pages={141–160} }
LibreCat
2012 | Book Chapter | LibreCat-ID: 26102
@inbook{Bin Tariq_Korrapati_2012, title={Adaptive Web Services for Modular and Reusable Software Development}, booktitle={Kapitel: F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems}, publisher={ IGI Global}, author={Bin Tariq, Fahad and Korrapati, Sandeep}, year={2012}, pages={263–276} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26181
@inproceedings{Jungmann_Kleinjohann_2012, title={Towards an Integrated Service Rating and Ranking Methodology for Quality Based Service Selection in Automatic Service Composition}, booktitle={Proceedings of the Fourth International Conferences on Advanced Service Computing (SERVICE COMPUTATION)}, publisher={Xpert Publishing Services}, author={Jungmann, Alexander and Kleinjohann, Bernd}, year={2012}, pages={43–47} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26190
@inproceedings{Jungmann_Kleinjohann_2012, title={Towards the Application of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated Service Composition}, booktitle={Proceedings of the 9th IEEE International Conference on Services Computing (SCC)}, publisher={IEEE}, author={Jungmann, Alexander and Kleinjohann, Bernd}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26212
@inproceedings{Khaluf_Weiss_Micus_2012, place={ Leganés, Madrid}, title={Master Election for Time Synchronization in Swarm Robotic Systems}, booktitle={The 10th IEEE International Symposium on Parallel and Distributed Processing with Applications}, author={Khaluf, Yara and Weiss, Fabian and Micus, Sebastian}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26264
@inproceedings{Mathews_Mathew_2012, place={Bangalore, India}, title={Connectivity of Autonomous Agents Using Ad-hoc Mobile Router Networks}, booktitle={Third International Conference on Networks & Communications, LNICST}, publisher={Springer}, author={Mathews, Emi and Mathew, Ciby}, year={2012} }
LibreCat
2012 | Book Chapter | LibreCat-ID: 26695
@inbook{Vanderperren_Müller_He_Mischkalla_Dahaene_2012, edition={1st Edition. Auflage}, title={Extending UML for Electronic Systems Design: A Code Generation Perspective}, booktitle={Design Technology for Heterogeneous Embedded Systems}, publisher={Springer Verlag}, author={Vanderperren, Yves and Müller, Wolfgang and He, Da and Mischkalla, Fabian and Dahaene, Wim}, editor={Nicolescu, Gabriela and O’Connor, Ian and Piguet, Christian}, year={2012}, pages={13–39} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 36922
@inproceedings{Klobedanz_Müller_Rettberg_2012, place={Shenzhen, China }, title={An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems}, DOI={10.1109/ISORCW.2012.41}, publisher={IEEE}, author={Klobedanz, Kay and Müller, Wolfgang and Rettberg, Achim}, year={2012} }
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 36921
@inproceedings{Oliveira_Kuznik_Müller_Esen_Ecker_2012, place={San Jose}, title={Towards an Enhanced UVM for SystemC}, booktitle={Proceedings of the Design & Verification Conference (DVCon)}, author={Oliveira, M. F. and Kuznik, Christoph and Müller, Wolfgang and Esen, V. and Ecker, W.}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 36994
@inproceedings{Xie_Müller_Letombe_2012, place={ Niagara Falls, NY, USA }, title={Mutation-Analysis Driven Functional Verification of a Soft Microprocessor}, DOI={10.1109/SOCC.2012.6398362}, booktitle={Proceedings of SOCC2012}, publisher={IEEE}, author={Xie, Tao and Müller, Wolfgang and Letombe, Florian}, year={2012} }
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 36997
@inproceedings{Xie_Müller_2012, place={Tampere, Finnland}, title={An IP-XACT-TO-SystemC Model Generator for Mutation Analysis}, booktitle={Proceedings of the MeCoES’12}, author={Xie, Tao and Müller, Wolfgang}, year={2012} }
LibreCat
2012 | Journal Article | LibreCat-ID: 26038
@article{Kuznik_Oliveira_Müller_2012, title={SYSTEMC UVM VERIFICATION COMPONENTS}, journal={Design, Automation and Test in Europe DATE}, author={Kuznik, Christoph and Oliveira, Marcio F. and Müller, Wolfgang}, year={2012} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 26276
@inproceedings{Hosseinimehr_Montealegre_2011, place={Calgary, Canada}, title={Implementation of a Singular Value Decomposition Module on an FPGA}, booktitle={The 23rd IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2011)}, publisher={ACTA Press}, author={Hosseinimehr, Masoud and Montealegre, Norma}, year={2011} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 26279
@inproceedings{Jungmann_Kleinjohann_2011, place={Wellington, New Zealand}, title={Automatic Feature Classification for Object Detection based on Motion Analysis}, booktitle={Proceedings of the 5th International Conference on Automation, Robotics and Applications (ICARA)}, publisher={IEEE}, author={Jungmann, Alexander and Kleinjohann, Bernd}, year={2011} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 26281
@inproceedings{Stern_Rasche_Kleinjohann_Kleinjohann_2011, place={Wellington, New Zealand}, title={Towards Using Virtual Forces for Image Registration}, booktitle={The 5th International Conference on Automation, Robotics and Applications (ICARA 2011)}, author={Stern, Claudius and Rasche, Christoph and Kleinjohann, Lisa and Kleinjohann, Bernd}, year={2011} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 26660
@inproceedings{Rasche_Stern_Kleinjohann_Kleinjohann_2011, place={Wellington, New Zealand,}, title={A Distributed Multi-UAV Path Planning Approach for 3D Environments}, booktitle={The 5th International Conference on Automation, Robotics and Applications (ICARA 2011)}, author={Rasche, Christoph and Stern, Claudius and Kleinjohann, Lisa and Kleinjohann, Bernd}, year={2011} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 26663
@inproceedings{Mathews_Graf_Kulathunga_2011, title={A Bio-inspired Coverage and Connectivity Maintenance Algorithm}, booktitle={Sixth International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems}, publisher={Lecture Notes of ICST}, author={Mathews, Emi and Graf, Tobias and Kulathunga, K. S. S. B.}, year={2011} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 26667
@inproceedings{Kuznik_Müller_2011, title={Aspect enhanced functional coverage driven verification in the SystemC HDVL}, booktitle={Proc. of the 8th International SoC Design Conference 2011 (ISOCC 2011)}, author={Kuznik, Christoph and Müller, Wolfgang}, year={2011} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 26669
@inproceedings{Xie_Müller_2011, title={IP-XACT based System Level Mutation Testing}, booktitle={Proceedings of the 16th IEEE International High Level Design Validation and Test Workshop (HLDVT)}, author={Xie, Tao and Müller, Wolfgang}, year={2011} }
LibreCat
2011 | Journal Article | LibreCat-ID: 26670
@article{Henkler_Oberthür_Giese_Seibel_2011, title={Model-driven runtime resource predictions for advanced mechatronic systems with dynamic data structures}, journal={International Journal of Computer Systems Science & Engineering 26 (6)}, author={Henkler, Stefan and Oberthür, Simon and Giese, Holger and Seibel, Andreas}, year={2011} }
LibreCat
2011 | Journal Article | LibreCat-ID: 26671
@article{Baldin_Grösbrink_Oberthür_2011, title={Enabling Constraint-based Binary Reconfiguration by Binary Analysis}, journal={International Journal on Computing (JoC) 1(4)}, author={Baldin, Daniel and Grösbrink, Stefan and Oberthür, Simon}, year={2011} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 26673
@inproceedings{Bin Tariq_2011, place={Poznan, Poland}, title={F-DRARE: A Framework for Deterministic runtime adaptation of Cyber Physical Systems}, booktitle={ 1st International Workshop on Adaptive Services for the Future Internet, 4th European Conference, ServiceWave 2011}, publisher={Springer-Verlag}, author={Bin Tariq, Fahad}, year={2011} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 26687
@inproceedings{Orfanus_Janacik_Eliassen_Orten_2011, place={Salamanca, Spain}, title={High-Level Construction of Emergent Self-Organizing Behavior in Massively Distributed Embedded Systems}, booktitle={Proceedings of Third World Congress on Nature and Biologically Inspired Computing (NaBIC2011)}, publisher={IEEE Computer Society}, author={Orfanus, Dalimir and Janacik, Peter and Eliassen, Frank and Orten, Pal}, year={2011} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 26698
@inproceedings{Xie_Müller_2011, title={HDL-Mutation Based Simulation Data Generation by Propagation Guided Search}, booktitle={Proceedings of the 14th Euromicro Conference on Digital System Design (DSD)}, author={Xie, Tao and Müller, Wolfgang}, year={2011} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 26699
@inproceedings{Jungmann_Lutterbeck_Werdehausen_Kleinjohann_2011, title={A Test Bed for Investigating Self-X Properties in Multi-Robot Societies}, booktitle={Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN)}, publisher={IEEE}, author={Jungmann, Alexander and Lutterbeck, Jan and Werdehausen, Benjamin and Kleinjohann, Bernd}, year={2011} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 26701
@inproceedings{Gausemeier_Schierbaum_Dumitrescu_Herbrechtsmeier_Jungmann_2011, title={Miniature Robot BeBot: Mechatronic Test Platform for Self-X Properties}, booktitle={Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN)}, publisher={IEEE}, author={Gausemeier, Jürgen and Schierbaum, Thomas and Dumitrescu, Roman and Herbrechtsmeier, Stefan and Jungmann, Alexander}, year={2011} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 26702
@inproceedings{Thuy_2011, title={ Comparison of periodic and aperiodic task models for cyber-physical-systems}, booktitle={Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC), 2011 6th International Workshop on }, publisher={IEEE Xplore}, author={Thuy, Andreas}, year={2011} }
LibreCat
2011 | Journal Article | LibreCat-ID: 26705
@article{Kuznik_Müller_2011, title={Verification Closure of SystemC Designs with Functional Coverage}, journal={North American SystemC User Group Meeting (16th)}, author={Kuznik, Christoph and Müller, Wolfgang}, year={2011} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 26707
@inproceedings{Mathews_Frey_2011, title={A Localized Planarization Algorithm for Realistic Wireless Networks}, booktitle={IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM)}, publisher={ IEEE Computer Society}, author={Mathews, Emi and Frey, Hannes}, year={2011}, pages={1–9} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 26710
@inproceedings{Becker_Zabel_Müller_Elfeky_DiPasquale_2011, title={Virtual Prototyping softwareintensiver mechatronischer Systeme Eine Fallstudie}, volume={294}, booktitle={8. Paderborner Workshop Entwurf mechatronischer Systeme, Band 294}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Becker, Markus and Zabel, Henning and Müller, Wolfgang and Elfeky, Ahmed and DiPasquale, Anthony}, year={2011}, pages={315–327} }
LibreCat
2011 | Journal Article | LibreCat-ID: 26711
@article{Rasche_Stern_Kleinjohann_Kleinjohann_2011, title={Coordinated Exploration and Goal-Oriented Path Planning using Multiple UAVs}, journal={ThinkMind, International Journal On Advances in Software 3 (3&4)}, author={Rasche, Christoph and Stern, Claudius and Kleinjohann, Lisa and Kleinjohann, Bernd}, year={2011}, pages={351–370} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 26712
@inproceedings{Khaluf_Mathews_Rammig_2011, place={Newport Beach, California, USA}, title={ Self-Organized Cooperation in Swarm Robotics}, booktitle={14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW)}, publisher={IEEE Computer Society}, author={Khaluf, Yara and Mathews, Emi and Rammig, Franz-Josef}, year={2011}, pages={217–226} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 26713
@inproceedings{Klobedanz_König_Müller_2011, place={Grenoble, France}, title={A Reconfiguration Approach for Fault-Tolerant FlexRay Networks}, booktitle={Proceedings of Design, Automation, Test Europe - DATE2011}, publisher={IEEE Computer Society Press}, author={Klobedanz, Kay and König, A. and Müller, Wolfgang}, year={2011} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 26714
@inproceedings{Klobedanz_König_Müller_Rettberg_2011, place={Newport Beach, California, USA}, title={Self-Reconfiguration for Fault-Tolerant FlexRay Networks}, booktitle={Second IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2011}, publisher={IEEE Computer Society Press}, author={Klobedanz, Kay and König, A. and Müller, Wolfgang and Rettberg, Achim}, year={2011} }
LibreCat