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.
5711 Publications
2010 | Conference Paper | LibreCat-ID: 3141
Simple and Efficient Public-Key Encryption from Computational Diffie-Hellman in the Standard Model
K. Haralambiev, T. Jager, E. Kiltz, V. Shoup, in: Public Key Cryptography - PKC 2010, 13th International Conference on Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010. Proceedings, 2010, pp. 1--18.
LibreCat
| DOI
K. Haralambiev, T. Jager, E. Kiltz, V. Shoup, in: Public Key Cryptography - PKC 2010, 13th International Conference on Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010. Proceedings, 2010, pp. 1--18.
2010 | Journal Article | LibreCat-ID: 3189
Model transformations across views
J. Derrick, H. Wehrheim, Sci. Comput. Program. (2010) 192--210.
LibreCat
| DOI
J. Derrick, H. Wehrheim, Sci. Comput. Program. (2010) 192--210.
2010 | Conference Paper | LibreCat-ID: 3191
Model-Driven Development with Mechatronic {UML}
W. Schäfer, H. Wehrheim, in: G. Engels, C. Lewerentz, W. Sch{\"{a}}fer, A. Sch{\"{u}}rr, B. Westfechtel (Eds.), Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of His 65th Birthday, 2010, pp. 533--554.
LibreCat
| DOI
W. Schäfer, H. Wehrheim, in: G. Engels, C. Lewerentz, W. Sch{\"{a}}fer, A. Sch{\"{u}}rr, B. Westfechtel (Eds.), Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of His 65th Birthday, 2010, pp. 533--554.
2010 | Conference Paper | LibreCat-ID: 3193
On Symmetries and Spotlights - Verifying Parameterised Systems
N. Timm, H. Wehrheim, in: J. Song Dong, H. Zhu (Eds.), Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings, 2010, pp. 534--548.
LibreCat
| DOI
N. Timm, H. Wehrheim, in: J. Song Dong, H. Zhu (Eds.), Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings, 2010, pp. 534--548.
2010 | Conference Paper | LibreCat-ID: 3194
Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques
M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim, in: D. M{\’{e}}ry, S. Merz (Eds.), Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, 2010, pp. 183--198.
LibreCat
| DOI
M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim, in: D. M{\’{e}}ry, S. Merz (Eds.), Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, 2010, pp. 183--198.
2010 | Conference Paper | LibreCat-ID: 27159
Real-time Adaptation and Load Balancing Aware OS Services for Distributed Reconfigurable System on Chip
S. Samara, G. Schomaker, in: 2010 10th IEEE International Conference on Computer and Information Technology, 2010.
LibreCat
| DOI
S. Samara, G. Schomaker, in: 2010 10th IEEE International Conference on Computer and Information Technology, 2010.
2010 | Conference Paper | LibreCat-ID: 20934
Reverse Engineering with the Reclipse Tool Suite
M. von Detten, M. Meyer, D. Travkin, in: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2-8, 2010, ACM Press, New York, NY, USA, 2010, pp. 299–300.
LibreCat
M. von Detten, M. Meyer, D. Travkin, in: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2-8, 2010, ACM Press, New York, NY, USA, 2010, pp. 299–300.
2010 | Report | LibreCat-ID: 20935
Reclipse - A Reverse Engineering Tool Suite
M. von Detten, M. Meyer, D. Travkin, Reclipse - A Reverse Engineering Tool Suite, 2010.
LibreCat
M. von Detten, M. Meyer, D. Travkin, Reclipse - A Reverse Engineering Tool Suite, 2010.
2010 | Conference Paper | LibreCat-ID: 20936
Formal Scenario-based Requirements Specification and Test Case Generation in Healthcare Applications
R. Löffler, M. Meyer, M. Gottschalk, in: Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care, ACM, New York, NY, USA, 2010, pp. 57–67.
LibreCat
R. Löffler, M. Meyer, M. Gottschalk, in: Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care, ACM, New York, NY, USA, 2010, pp. 57–67.
2010 | Book Chapter | LibreCat-ID: 20961
Designing Self-healing in Automotive Systems
H. Seebach, F. Nafz, J. Holtmann, J. Meyer, M. Tichy, W. Reif, W. Schäfer, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 2010.
LibreCat
| DOI
H. Seebach, F. Nafz, J. Holtmann, J. Meyer, M. Tichy, W. Reif, W. Schäfer, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 2010.