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.
9784 Publications
2012 | Conference Paper | LibreCat-ID: 26036
A SystemC Library for Advanced TLM Verification
M.F. Oliveira, C. Kuznik, W. Müller, W. Ecker, V. Esen, in: Proceeding of Design and Verification Conference (DVCON), 2012.
LibreCat
M.F. Oliveira, C. Kuznik, W. Müller, W. Ecker, V. Esen, in: Proceeding of Design and Verification Conference (DVCON), 2012.
2012 | Journal Article | LibreCat-ID: 26037
A model-driven engineering framework for embedded systems design
F.A.M. Nascimento, M.F. Oliveira, F. Wagner, Innovations in Systems and Software Engineering 8 (2012) 19–33.
LibreCat
F.A.M. Nascimento, M.F. Oliveira, F. Wagner, Innovations in Systems and Software Engineering 8 (2012) 19–33.
2012 | Conference Paper | LibreCat-ID: 26079
MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution
M. Becker, G.B. Gnokam Defo, W. Müller, F. Fummi, G. Pravadelli, S. Vinco, in: Design, Automation and Test in Europe (DATE 2012), Dresden, 2012.
LibreCat
M. Becker, G.B. Gnokam Defo, W. Müller, F. Fummi, G. Pravadelli, S. Vinco, in: Design, Automation and Test in Europe (DATE 2012), Dresden, 2012.
2012 | Conference Paper | LibreCat-ID: 26080
XEMU: A QEMU Based Binary Mutation Testing Framework
M. Becker, C. Kuznik, M. tech. M. Joy, T. Xie, W. Müller, in: Design, Automation and Test in Europe DATE, University Booth, Dresden, 2012.
LibreCat
M. Becker, C. Kuznik, M. tech. M. Joy, T. Xie, W. Müller, in: Design, Automation and Test in Europe DATE, University Booth, Dresden, 2012.
2012 | Conference Paper | LibreCat-ID: 26081
Real-Time Android: Deterministic Ease of use
W. Mauerer, G. Hillier, J. Sawallisch, S. Hönick, S. Oberthür, in: Proceedings of Embedded World Conference, 2012.
LibreCat
W. Mauerer, G. Hillier, J. Sawallisch, S. Hönick, S. Oberthür, in: Proceedings of Embedded World Conference, 2012.
2012 | Conference Paper | LibreCat-ID: 26086
Image Segmentation For Object Detection on a Deeply Embedded Miniature Robot
A. Jungmann, T. Schierbaum, B. Kleinjohann, in: Proceedings of the Seventh International Conference on Computer Vision Theory and Applications (VISAPP), INSTICC PRESS, 2012, pp. 441–444.
LibreCat
A. Jungmann, T. Schierbaum, B. Kleinjohann, in: Proceedings of the Seventh International Conference on Computer Vision Theory and Applications (VISAPP), INSTICC PRESS, 2012, pp. 441–444.
2012 | Conference Paper | LibreCat-ID: 26089
Deterministic Runtime Adaptation for Hard Real-time Embedded Systems with Processing Constraints
F. Bin Tariq, in: Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems, 2012.
LibreCat
F. Bin Tariq, in: Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems, 2012.
2012 | Conference Paper | LibreCat-ID: 26090
A Localized Link Removal and Addition based Planarization Algorithm
E. Mathews, H. Frey, in: 13th International Conference On Distributed Computing And Networking (ICDCN), Springer, The Hong Kong Polytechnic University, Hong Kong, China, 2012.
LibreCat
E. Mathews, H. Frey, in: 13th International Conference On Distributed Computing And Networking (ICDCN), Springer, The Hong Kong Polytechnic University, Hong Kong, China, 2012.
2012 | Journal Article | LibreCat-ID: 26091
Deployment of mobile routers ensuring coverage and connectivity
E. Mathews, C. Mathew, International Journal of Computer Networks and Communications 4(1) (2012) 175–192.
LibreCat
E. Mathews, C. Mathew, International Journal of Computer Networks and Communications 4(1) (2012) 175–192.
2012 | Conference Paper | LibreCat-ID: 26092
Virtual Prototyping of Cyber-Physical Systems
W. Müller, M. Becker, H. Zabel, A. Elfeky, A. DiPasquale, in: In Proceedings of 17th Asia and South Pacific Design Automation Conference (ASP-DAC 2012, Sydney, 2012.
LibreCat
W. Müller, M. Becker, H. Zabel, A. Elfeky, A. DiPasquale, in: In Proceedings of 17th Asia and South Pacific Design Automation Conference (ASP-DAC 2012, Sydney, 2012.
2012 | Book Chapter | LibreCat-ID: 26093
Swarm Robotic Time Synchronization for Object Tracking
Y. Khaluf, E. Mathews, F.-J. Rammig, in: M.T. Higuera-Toledano, U. Brinkschulte, A. Rettberg (Eds.), Self-Organization in Embedded Real-Time Systems, Springer, New York, Heidelberg, Dordrecht, London, 2012, pp. 75–92.
LibreCat
Y. Khaluf, E. Mathews, F.-J. Rammig, in: M.T. Higuera-Toledano, U. Brinkschulte, A. Rettberg (Eds.), Self-Organization in Embedded Real-Time Systems, Springer, New York, Heidelberg, Dordrecht, London, 2012, pp. 75–92.
2012 | Book Chapter | LibreCat-ID: 26094
Biologically Inspired Information Technology: Towards a Cyber Biosphere
F.-J. Rammig, in: T. Conradi, G. Ecker, N.O. Eke, F. Muhle (Eds.), Schemata Und Praktiken, Wilhelm Fink Verlag, München, 2012, pp. 141–160.
LibreCat
F.-J. Rammig, in: T. Conradi, G. Ecker, N.O. Eke, F. Muhle (Eds.), Schemata Und Praktiken, Wilhelm Fink Verlag, München, 2012, pp. 141–160.
2012 | Book Chapter | LibreCat-ID: 26102
Adaptive Web Services for Modular and Reusable Software Development
F. Bin Tariq, S. Korrapati, in: Kapitel: F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems, IGI Global, 2012, pp. 263–276.
LibreCat
F. Bin Tariq, S. Korrapati, in: Kapitel: F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems, IGI Global, 2012, pp. 263–276.
2012 | Conference Paper | LibreCat-ID: 26181
Towards an Integrated Service Rating and Ranking Methodology for Quality Based Service Selection in Automatic Service Composition
A. Jungmann, B. Kleinjohann, in: Proceedings of the Fourth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), Xpert Publishing Services, 2012, pp. 43–47.
LibreCat
A. Jungmann, B. Kleinjohann, in: Proceedings of the Fourth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), Xpert Publishing Services, 2012, pp. 43–47.
2012 | Conference Paper | LibreCat-ID: 26190
Towards the Application of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated Service Composition
A. Jungmann, B. Kleinjohann, in: Proceedings of the 9th IEEE International Conference on Services Computing (SCC), IEEE, 2012.
LibreCat
A. Jungmann, B. Kleinjohann, in: Proceedings of the 9th IEEE International Conference on Services Computing (SCC), IEEE, 2012.
2012 | Conference Paper | LibreCat-ID: 26212
Master Election for Time Synchronization in Swarm Robotic Systems
Y. Khaluf, F. Weiss, S. Micus, in: The 10th IEEE International Symposium on Parallel and Distributed Processing with Applications, Leganés, Madrid, 2012.
LibreCat
Y. Khaluf, F. Weiss, S. Micus, in: The 10th IEEE International Symposium on Parallel and Distributed Processing with Applications, Leganés, Madrid, 2012.
2012 | Conference Paper | LibreCat-ID: 26264
Connectivity of Autonomous Agents Using Ad-hoc Mobile Router Networks
E. Mathews, C. Mathew, in: Third International Conference on Networks & Communications, LNICST, Springer, Bangalore, India, 2012.
LibreCat
E. Mathews, C. Mathew, in: Third International Conference on Networks & Communications, LNICST, Springer, Bangalore, India, 2012.
2012 | Conference Paper | LibreCat-ID: 3812
Optimal Scheduling of Information Extraction Algorithms
H. Wachsmuth, B. Stein, in: Proceedings of COLING 2012: Posters, 2012, pp. 1281–1290.
LibreCat
| Download (ext.)
H. Wachsmuth, B. Stein, in: Proceedings of COLING 2012: Posters, 2012, pp. 1281–1290.
2012 | Book Chapter | LibreCat-ID: 2918
Certifying RSA
S. Kakvi, E. Kiltz, A. May, in: Advances in Cryptology – ASIACRYPT 2012, Springer Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 404–414.
LibreCat
| DOI
S. Kakvi, E. Kiltz, A. May, in: Advances in Cryptology – ASIACRYPT 2012, Springer Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 404–414.
2012 | Book Chapter | LibreCat-ID: 2919
Optimal Security Proofs for Full Domain Hash, Revisited
S. Kakvi, E. Kiltz, in: Advances in Cryptology – EUROCRYPT 2012, Springer Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 537–553.
LibreCat
| DOI
| Download (ext.)
S. Kakvi, E. Kiltz, in: Advances in Cryptology – EUROCRYPT 2012, Springer Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 537–553.