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.
9305 Publications
2008 | Journal Article | LibreCat-ID: 3205
Möller, M., Olderog, E.-R., Rasch, H., & Wehrheim, H. (2008). Integrating a formal method into a software engineering process with {UML} and Java. Formal Asp. Comput., (2), 161--204. https://doi.org/10.1007/s00165-007-0042-7
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 3206
Brückner, I., Dräger, K., Finkbeiner, B., & Wehrheim, H. (2008). Slicing Abstractions. Fundam. Inform., (4), 369--392.
LibreCat
2008 | Conference Paper | LibreCat-ID: 3207
Engels, G., Kleppe, A., Rensink, A., Semenyak, M., Soltenborn, C., & Wehrheim, H. (2008). From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations. In I. Schieferdecker & A. Hartman (Eds.), Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings (pp. 94--109). https://doi.org/10.1007/978-3-540-69100-6_7
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3208
Derrick, J., Schellhorn, G., & Wehrheim, H. (2008). Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack. In G. Barthe & F. S. de Boer (Eds.), Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings (pp. 78--95). https://doi.org/10.1007/978-3-540-68863-1_6
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3209
Metzler, B., Wehrheim, H., & Wonisch, D. (2008). Decomposition for Compositional Verification. In S. Liu, T. S. E. Maibaum, & K. Araki (Eds.), Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings (pp. 105--125). https://doi.org/10.1007/978-3-540-88194-0_9
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3210
Wehrheim, H. (2008). Bounded Model Checking for Partial Kripke Structures. In J. S. Fitzgerald, A. Elisabeth Haxthausen, & H. Yenig{\"{u}}n (Eds.), Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings (pp. 380--394). https://doi.org/10.1007/978-3-540-85762-4_26
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3001
Stern, C., Adelt, P., Krummel, V., & Ackermann, M. R. (2008). Reliable Evidence of Data Integrity from an Untrusted Storage Service. In Fourth International Conference on Networking and Services (icns 2008). IEEE. https://doi.org/10.1109/icns.2008.28
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3143
Gajek, S., Jager, T., Manulis, M., & Schwenk, J. (2008). A Browser-Based Kerberos Authentication Scheme. In Computer Security - ESORICS 2008, 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings (pp. 115--129). https://doi.org/10.1007/978-3-540-88313-5_8
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3144
Altmann, K., Jager, T., & Rupp, A. (2008). On Black-Box Ring Extraction and Integer Factorization. In Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming & Track C: Security and Cryptography Foundations (pp. 437--448). https://doi.org/10.1007/978-3-540-70583-3_36
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3145
Jager, T., & Schwenk, J. (2008). On the Equivalence of Generic Group Models. In Provable Security, Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings (pp. 200--209). https://doi.org/10.1007/978-3-540-88733-1_14
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3146
Jager, T., Jäkel, H., & Schwenk, J. (2008). Nutzung von selbstsignierten Client-Zertifikaten zur Authentifikation bei SSL/TLS. In Sicherheit 2008: Sicherheit, Schutz und Zuverlässigkeit. Konferenzband der 4. Jahrestagung des Fachbereichs Sicherheit der Gesellschaft für Informatik e.V. (GI), 2.-4. April 2008 im Saarbrücker Schloss. (pp. 127--136).
LibreCat
2008 | Journal Article | LibreCat-ID: 27773
Toeller, M., Buyken, A., Heitkamp, G., Berg, G., & Scherbaum, W. (2008). Prevalence of Chronic Complications, Metabolic Control and Nutritional Intake in Type 1 Diabetes: Comparison Between Different European Regions. Hormone and Metabolic Research, 680–685. https://doi.org/10.1055/s-2007-978820
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 1108
Geierhos, M., Blanc, O., & Bsiri, S. (2008). iBeCOOL - Extraction d’informations biographiques dans les textes financiers. In Proceedings of the Lexis and Grammar Conference 2008 (pp. 241–248). L’Aquila, Italy.
LibreCat
2008 | Book Chapter | LibreCat-ID: 1109
Geierhos, M., & Bsiri, S. (2008). ProfilPro: Reconstitution automatique d’un profil professionnel à partir des documents du Web. In G. Gross & K. U. Schulz (Eds.), Linguistics, Computer Science and Language Processing: Festschrift for Franz Guenthner on the Occasion of His 60th Birthday (Tributes 6) (1st ed., Vol. 6, pp. 103–126). London, UK: College Publications.
LibreCat
2008 | Journal Article | LibreCat-ID: 1110
Geierhos, M., Blanc, O., & Bsiri, S. (2008). RELAX - Extraction de relations sémantiques dans les contextes biographiques. Traitement Automatique des Langues (TAL), 49(1), 167–190.
LibreCat
2008 | Conference Paper | LibreCat-ID: 20938
Tichy, M., Henkler, S., Meyer, M., & von Detten, M. (2008). Safety of Component-Based Systems: Analysis and Improvement using Fujaba4Eclipse. Companion Proceedings of the 30th International Conference on Software Engineering (ICSE), Leipzig, Germany.
LibreCat
2008 | Conference Paper | LibreCat-ID: 20957
Kindler, E., & Schmelter, D. (2008). Aspect-oriented modelling from a different angle. Proceedings of the 2008 AOSD Workshop on Aspect-Oriented Modeling - AOM ’08. https://doi.org/10.1145/1404920.1404922
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 20964
Holtmann, J., & Tichy, M. (2008). Component Story Diagrams in Fujaba4Eclipse. Proc. of the 6th International Fujaba Days 2008, Dresden, Germany, 44–47.
LibreCat
2008 | Mastersthesis | LibreCat-ID: 20965
Holtmann, J. (2008). Graphtransformationen für komponentenbasierte Softwarearchitekturen. Software Engineering Group, University of Paderborn.
LibreCat
2008 | Conference Paper | LibreCat-ID: 20966
Tichy, M., Henkler, S., Holtmann, J., & Oberthür, S. (2008). Component Story Diagrams: A Transformation Language for Component Structures in Mechatronic Systems. Proceedings of the 4th Workshop on Object-Oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany, 236, 27–38.
LibreCat