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.
6035 Publications
2005 | Book Chapter | LibreCat-ID: 33822
T. Schattkowsky, W. Müller, and A. Rettberg, “Model Based Specification for Platform Independent Hardware Execution,” in UML for SoC Design, G. Martin and W. Müller, Eds. Kluwer, 2005, pp. 63–88.
LibreCat
2005 | Book Chapter | LibreCat-ID: 33824
G. Martin and W. Müller, “When Worlds Collide: Can UML help SoC Design?,” in UML for SoC Design, G. Martin and W. Müller, Eds. Kluwer, 2005, pp. 1–15.
LibreCat
2005 | Bachelorsthesis | LibreCat-ID: 47647
C. Hornkamp, Implementierung von wichtigen Teilen des Schoof-Elkies-Atkin Algorithmus zum Bestimmen der Punktanzahl einer elliptischen Kurve. 2005.
LibreCat
2005 | Bachelorsthesis | LibreCat-ID: 47646
T. Süß, Laufzeitanalyse- und vergleich verschiedener Algorithmen zur schnellen skalaren Multiplikation auf elliptischen Kurven. 2005.
LibreCat
2005 | Misc | LibreCat-ID: 47693
M. Ernst, Analyse von RSA mittels Coppersmith Methode. 2005.
LibreCat
2005 | Misc | LibreCat-ID: 47694 | 
C. Spanke, Implementierung der Coppersmith-Methode zur Untersuchung von Schwachstellen bei RSA. 2005.
LibreCat
| Files available
2005 | Conference Paper | LibreCat-ID: 39029
T. Schattkowsky, W. Müller, and A. Rettberg, “A Model-Based Approach for Executable Specification on Reconfigurable Hardware,” 2005, doi: 10.1109/DATE.2005.20.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39030
T. Schattkowsky and W. Müller, “A UML Virtual Machine for Embedded Systems,” 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39032
T. Schattkowsky and W. Müller, “Transformation of UML State Machines for Direct Execution,” 2005, doi: 10.1109/VLHCC.2005.64.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39036
A. Krupp and W. Müller, “Testmuster für nichtkontinuierliche Reglerelemente in der Klassifikationsbaummethode für eingebettete Systeme.” Bonn, 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39038
A. Krupp and W. Müller, “Modelchecking von Klassifikationsbaum-Testsequenzen.” Munich, Germany, 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39039
H. Zabel and W. Müller, “Analyse von synchronen Kommunikationsnetzwerken durch laufzeiteffiziente formale Verifikation.” Munich, Germany, 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39041
S. Bleul, R. Schäfer, and W. Müller, “A Dialog Model for Multi Device Interfaces with Different Modalities,” 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39050
M. Ziegler, W. Müller, R. Schäfer, and C. Loeser, “Secure Profile Management in Smart Home Networks,” presented at the 16th International Workshop on Database and Expert Systems Applications (DEXA’05), Copenhagen, Denmark , 2005, doi: 10.1109/DEXA.2005.171.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39052
J. Groppe and W. Müller, “Profile Management technology for Smart Customization in Private Home Applications,” presented at the 16th International Workshop on Database and Expert Systems Applications (DEXA’05), Copenhagen, Denmark , 2005, doi: 10.1109/DEXA.2005.156.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 2529
A. Köpke, H. Karl, and A. Wolisz, “Consensus in WSN – Identifying critical protocol mechanisms,” in GI / ITG Fachgespräche Drahtlose Sensornetzwerke, 2004.
LibreCat
| Files available
2004 | Dissertation | LibreCat-ID: 19616
K. Salzwedel, Data Distribution Algorithms for Storage Networks, vol. 153. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2004.
LibreCat
| Files available
2004 | Conference Paper | LibreCat-ID: 19693
A. Schweer et al., “Experimental Supplements to the Theoretical Analysis of EAs on Problems from Combinatorial Optimization,” in Parallel Problem Solving from Nature - PPSN VIII, 2004.
LibreCat