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.
5792 Publications
2007 | Journal Article | LibreCat-ID: 3211
Derrick, J., & Wehrheim, H. (2007). On using data abstractions for model checking refinements. Acta Inf., (1), 41--71. https://doi.org/10.1007/s00236-007-0042-3
LibreCat
| DOI
2007 | Journal Article | LibreCat-ID: 3212
Metzler, B., & Wehrheim, H. (2007). Extending a Component Specification Language with Time. Electr. Notes Theor. Comput. Sci., (2), 47--67. https://doi.org/10.1016/j.entcs.2006.02.031
LibreCat
| DOI
2007 | Journal Article | LibreCat-ID: 3213
Estler, H. .-}Christian, Ruhroth, T., & Wehrheim, H. (2007). Modelchecking Correctness of Refactorings - Some Experiments. Electr. Notes Theor. Comput. Sci., 3--17. https://doi.org/10.1016/j.entcs.2006.08.041
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 3214
Engels, G., Güldali, B., Soltenborn, C., & Wehrheim, H. (2007). Assuring Consistency of Business Process Models and Web Services Using Visual Contracts. In A. Sch{\"{u}}rr, M. Nagl, & A. Z{\"{u}}ndorf (Eds.), Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers (pp. 17--31). https://doi.org/10.1007/978-3-540-89020-1_2
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 3215
Engels, G., Soltenborn, C., & Wehrheim, H. (2007). Analysis of {UML} Activities Using Dynamic Meta Modeling. In M. M. Bonsangue & E. Broch Johnsen (Eds.), Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings (pp. 76--90). https://doi.org/10.1007/978-3-540-72952-5_5
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 3216
Ruhroth, T., & Wehrheim, H. (2007). Refactoring Object-Oriented Specifications with Data and Processes. In M. M. Bonsangue & E. Broch Johnsen (Eds.), Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings (pp. 236--251). https://doi.org/10.1007/978-3-540-72952-5_15
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 3221
Schäfer, W., & Wehrheim, H. (2007). The Challenges of Building Advanced Mechatronic Systems. In L. C. Briand & A. L. Wolf (Eds.), International Conference on Software Engineering, {ISCE} 2007, Workshop on the Future of Software Engineering, {FOSE} 2007, May 23-25, 2007, Minneapolis, MN, {USA} (pp. 72--84). https://doi.org/10.1109/FOSE.2007.28
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 3222
Derrick, J., Schellhorn, G., & Wehrheim, H. (2007). Proving Linearizability Via Non-atomic Refinement. In J. Davies & J. Gibbons (Eds.), Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings (pp. 195--214). https://doi.org/10.1007/978-3-540-73210-5_11
LibreCat
| DOI
2007 | Dissertation | LibreCat-ID: 2912
Krummel, V. (2007). Tamper Resistance of AES -- Models, Attacks and Countermeasures. Universität Paderborn.
LibreCat
| Download (ext.)
2007 | Book Chapter | LibreCat-ID: 3002 | 
Blömer, J., & Krummel, V. (2007). Analysis of Countermeasures Against Access Driven Cache Attacks on AES. In Selected Areas in Cryptography (pp. 96–109). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-77360-3_7
LibreCat
| DOI
| Download (ext.)
2007 | Book Chapter | LibreCat-ID: 3019
May, A. (2007). Cryptanalysis of Unbalanced RSA with Small CRT-Exponent. In Advances in Cryptology — CRYPTO 2002 (pp. 242–256). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/3-540-45708-9_16
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 3020
Blömer, J., & May, A. (2007). Low Secret Exponent RSA Revisited. In Lecture Notes in Computer Science (pp. 4–19). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/3-540-44670-2_2
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 3021
Blömer, J., & May, A. (2007). Key Revocation with Interval Cover Families. In Selected Areas in Cryptography (pp. 325–341). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/3-540-45537-x_26
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 3022
May, A., & Silverman, J. H. (2007). Dimension Reduction Methods for Convolution Modular Lattices. In Lecture Notes in Computer Science (pp. 110–125). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/3-540-44670-2_10
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 3026
Blömer, J. (2007). A Probabilistic Zero-Test for Expressions Involving Roots of Rational Numbers. In Algorithms — ESA’ 98 (pp. 151–162). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/3-540-68530-8_13
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 20949
Delic, A., Avdagic, Z., Schäfer, W., Boskovic, D., & Meyer, M. (2007). Program evaluation using fuzzy logic with bad smells as inputs. Proc. of the 21st International Symposium on Information, Communication and Automation Technologies (ICAT 2007), Sarajevo, Bosnia Herzegovina.
LibreCat
2007 | Journal Article | LibreCat-ID: 17567
Leonardi, S., Mahlmann, P., Meyer auf der Heide, F., Spirakis, P. G., & Weikum, G. (2007). Guarding our digital society’s well-being. E-Strategies, Www.Britishpublishers.Com, 3-10–2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 18928
Dynia, M., Łopuszański, J., & Schindelhauer, C. (2007). Why Robots Need Maps. In Proc. of the 14th Colloquium on Structural Information and Communication Complexity (SIROCCO) (pp. 37-- 46). https://doi.org/10.1007/978-3-540-72951-8_5
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 18929
Dynia, M., Korzeniowski, M., & Kutyłowski, J. (2007). Competitive Maintenance of Minimum Spanning Trees in Dynamic Graphs. In Proc. of the 33rd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM’07) (Vol. 4362, pp. 260--271). https://doi.org/10.1007/978-3-540-69507-3_21
LibreCat
| DOI
2007 | Dissertation | LibreCat-ID: 18931
Kutylowski, J. (2007). Using Mobile Relays for Ensuring Connectivity in Sparse Networks.
LibreCat
| Files available