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
2008 | Journal Article | LibreCat-ID: 3206
Brückner, Ingo, et al. “Slicing Abstractions.” Fundam. Inform., no. 4, 2008, pp. 369--392.
LibreCat
2008 | Conference Paper | LibreCat-ID: 3207
Engels, Gregor, et al. “From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations.” Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings, edited by Ina Schieferdecker and Alan Hartman, 2008, pp. 94--109, doi:10.1007/978-3-540-69100-6_7.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3208
Derrick, John, et al. “Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack.” Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings, edited by Gilles Barthe and Frank S. de Boer, 2008, pp. 78--95, doi:10.1007/978-3-540-68863-1_6.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3209
Metzler, Björn, et al. “Decomposition for Compositional Verification.” Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, edited by Shaoying Liu et al., 2008, pp. 105--125, doi:10.1007/978-3-540-88194-0_9.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3210
Wehrheim, Heike. “Bounded Model Checking for Partial Kripke Structures.” Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, edited by John S. Fitzgerald et al., 2008, pp. 380--394, doi:10.1007/978-3-540-85762-4_26.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3001
Stern, Claudius, et al. “Reliable Evidence of Data Integrity from an Untrusted Storage Service.” Fourth International Conference on Networking and Services (Icns 2008), IEEE, 2008, doi:10.1109/icns.2008.28.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3143
Gajek, Sebastian, et al. “A Browser-Based Kerberos Authentication Scheme.” Computer Security - ESORICS 2008, 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings, 2008, pp. 115--129, doi:10.1007/978-3-540-88313-5_8.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3144
Altmann, Kristina, et al. “On Black-Box Ring Extraction and Integer Factorization.” 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, 2008, pp. 437--448, doi:10.1007/978-3-540-70583-3_36.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3145
Jager, Tibor, and Jörg Schwenk. “On the Equivalence of Generic Group Models.” Provable Security, Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings, 2008, pp. 200--209, doi:10.1007/978-3-540-88733-1_14.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3146
Jager, Tibor, et al. “Nutzung von Selbstsignierten Client-Zertifikaten Zur Authentifikation Bei SSL/TLS.” 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., 2008, pp. 127--136.
LibreCat
2008 | Conference Paper | LibreCat-ID: 20938
Tichy, Matthias, et al. “Safety of Component-Based Systems: Analysis and Improvement Using Fujaba4Eclipse.” Companion Proceedings of the 30th International Conference on Software Engineering (ICSE), Leipzig, Germany, 2008.
LibreCat
2008 | Conference Paper | LibreCat-ID: 20957
Kindler, Ekkart, and David Schmelter. “Aspect-Oriented Modelling from a Different Angle.” Proceedings of the 2008 AOSD Workshop on Aspect-Oriented Modeling - AOM ’08, 2008, doi:10.1145/1404920.1404922.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 20964
Holtmann, Jörg, and Matthias Tichy. “Component Story Diagrams in Fujaba4Eclipse.” Proc. of the 6th International Fujaba Days 2008, Dresden, Germany, 2008, pp. 44–47.
LibreCat
2008 | Mastersthesis | LibreCat-ID: 20965
Holtmann, Jörg. Graphtransformationen Für Komponentenbasierte Softwarearchitekturen. Software Engineering Group, University of Paderborn, 2008.
LibreCat
2008 | Conference Paper | LibreCat-ID: 20966
Tichy, Matthias, et al. “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, vol. 236, Heinz Nixdorf Institut, 2008, pp. 27–38.
LibreCat
2008 | Mastersthesis | LibreCat-ID: 20968
Holtmann, Jörg. Graphtransformationen Für Komponentenbasierte Softwarearchitekturen. Software Engineering Group, University of Paderborn, 2008.
LibreCat
2008 | Conference Paper | LibreCat-ID: 17416
Suess, Tim, et al. “A System for Aggregated Visualization of Multiple Parallel Discrete Event Simulations.” IEEE International Symposium on Parallel and Distributed Processing with Applications, 2008, doi:10.1109/ispa.2008.30.
LibreCat
| DOI
2008 | Book | LibreCat-ID: 17566
Meyer auf der Heide, Friedhelm. The European Integrated Project "Dynamically Evolving, Large Scale Information Systems (DELIS). Vol. 222, Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn, 2008.
LibreCat
2008 | Conference Paper | LibreCat-ID: 17868
Dangelmaier, Wilhelm, et al. “Aggregated 3D-Visualization of a Distributed Simulation Experiment of a Queuing System.” 2008 Winter Simulation Conference, 2008, pp. 2012–20, doi:10.1109/wsc.2008.4736296.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 19003
Degener, Bastian, et al. “The Kinetic Facility Location Problem.” Proceedings of the 11th Scandinavian Workshop on Algorithm Theory (SWAT), 2008, pp. 378–89, doi:10.1007/978-3-540-69903-3_34.
LibreCat
| DOI