Grouping: [TypesYears 

Peer-Reviewed Journal and Magazine Articles

[115] Aleksandar Milenkoski, Marco Vieira, Samuel Kounev, Alberto Avritzer, and Bryan D. Payne. Evaluating Computer Intrusion Detection Systems: A Survey of Common Practices. ACM Computing Surveys, 48(1):12:1--12:41, September 2015, ACM, New York, NY, USA. 5-year Impact Factor (2014): 5.949. [ bib | abstract  | pdf  | http  ]
[114] Oliver Heimlich, Marco Nehmeier, and Jürgen Wolff von Gudenberg. Variants of the general interval power function. Soft Computing, 17(8):1357--1366, 2013, Springer Berlin Heidelberg. [ bib | abstract  | DOI  | http  ]
[113] Stefan Siegel, and Jürgen Wolff von Gudenberg. A long accumulator like a carry-save adder. Computing, 94:203--213, 2012, Springer Wien. 10.1007/s00607-011-0164-x. [ bib | abstract  | http  ]
[112] Marco Nehmeier. Interval arithmetic using expression templates, template meta programming and the upcoming C++ standard. Computing, 94(2-4):215--228, 2012, Springer Vienna. [ bib | abstract  | DOI  | http  ]
[111] Marco Nehmeier, Stefan Siegel, and Jürgen Wolff von Gudenberg. Specification of hardware for interval arithmetic. Computing, 94(2-4):243--255, 2012, Springer Vienna. [ bib | abstract  | DOI  | http  ]
[110] German Tischler, and Jürgen Wolff von Gudenberg. Solving decidability problems with interval arithmetic. Reliable Computing, 15(3):279--289, 2011. [ bib | http  ]
[109] Marco Nehmeier, and Jürgen Wolff von Gudenberg. filib++, Expression Templates and the Coming Interval Standard. Reliable Computing, 15(4):312--320, 2011. [ bib | abstract  | http  ]
[108] Ramon Nou, Samuel Kounev, Ferran Julia, and Jordi Torres. Autonomic QoS control in enterprise Grid environments using online simulation. Journal of Systems and Software, 82(3):486--502, March 2009, Elsevier Science Publishers B. V., Amsterdam, The Netherlands. [ bib | abstract  | pdf  | DOI  ]
[107] G. Fischer, J. Lusiardi, and Jürgen Wolff von Gudenberg. Modeling source code with orthogonal hierarchies. Workshop MMSS bei ECMDA 2008, Berlin, 2008. [ bib ]
[106] Jürgen Wolff von Gudenberg. Interval arithmetic and standardization. Dagstuhl Seminar Proceedings 08021, 2008. [ bib ]
[105] G. Fischer, J. Lusiardi, and Jürgen Wolff von Gudenberg. Abstract syntax trees and their role in model driven software development. ICSEA 2007 Online proceedings, 2007. [ bib ]
[104] D. Glaser, G. Fischer, and Jürgen Wolff von Gudenberg. Automated component bridge generator. Proceedings of the 11th Workshop on Component Oriented Programming, R. Reussner, C. Szypersky, W. Weck (Eds), Interner Bericht 2006-11, Informatik Uni Karlsruhe, 2006. [ bib ]
[103] Jürgen Wolff von Gudenberg, A. Niederle, M. Ebner, and H. Eichelberger. Evolutionary layout of uml class diagrams. SoftVis06, ACM Symposium on Software Visualization, Brighton 2006, p. 163-164, 2006. [ bib ]
[102] G. Fischer, and Jürgen Wolff von Gudenberg. Improving the quality of programming education by online assessment. Proceedings of PPPJ-06, Mannheim 2006, p. 208-212, 2006. [ bib ]
[101] W. Hofschuster, W. Krämer, M. Lerch, G. Tischler, and Jürgen Wolff von Gudenberg. filib++ a fast interval library supporting containment computations. TOMS Vol 32 No 2, pp.299 - 324, 2006, 2005. [ bib ]
[100] G. Fischer, and Jürgen Wolff von Gudenberg. Online assessment of programming exercises. ECOOP 2004 Eighth Workshop on Pedagogies and Tools for the Teaching and Learning of Object Oriented Concepts, 2004. [ bib | http  ]
[99] V. Kreinovich, and Jürgen Wolff von Gudenberg. A full function-based calculus of directed and undirected intervals: Markov's interval arithmetic revisited. Numerical Algorithms, 37 (1-4): 417-428, 2004, 2004. [ bib ]
[98] H. Eichelberger, and Jürgen Wolff von Gudenberg. Jtransform, a tool for source code analysis. Softwaretechnik Trends, 24 (2), pp 65-66, 2004. [ bib ]
[97] V. Wahler, D. Seipel, Jürgen Wolff von Gudenberg, and G. Fischer. Clone detection in source code by frequent itemset techniques. 4th IEEE Workshop on Source Code Analysis and Manipulation, 2004 pp 128-135, 2004. [ bib ]
[96] H. Eichelberger, and Jürgen Wolff von Gudenberg. Object-oriented processing of java source code. Software Practice and Experience, 34, 2004, 2004. [ bib ]
[95] Jürgen Wolff von Gudenberg. Oop and interval arithmetic - language support and libraries. Numerical Software with Result Verification, R. Alt, A. Frommer, B. Kearfott, W. Luther (eds), Springer Lecture Notes in Computer Science., 2003. [ bib ]
[94] H. Eichelberger, G. Fischer, F. Grupp, and Jürgen Wolff von Gudenberg. Programmierausbildung online. DeLFI 2003, A.Bode,J.Desel,S.Rathmayer,M.Wessner (eds), Lecture Notes in Informatics, GI, p.134-143, 2003. [ bib ]
[93] H. Eichelberger, and Jürgen Wolff von Gudenberg. Demonstration of advanced layout of uml class diagrams by sugibib. Vissoft 2003, Amsterdam, p.53-54, 2003. [ bib ]
[92] H. Eichelberger, and Jürgen Wolff von Gudenberg. Uml class diagrams - state of the art in layout techniques. Vissoft 2003, Amsterdam, p. 30-34, 2003. [ bib ]
[91] G. Fischer, M. Hopfner, D. Seipel, and Jürgen Wolff von Gudenberg. Reasoning about source code in xml-representation. Softwaretechnik Trends 23(2), pp.51-52, 2003, 2003. [ bib ]
[90] G. Fischer, and Jürgen Wolff von Gudenberg. Java online pedagogy. ECOOP'03 Workshop on Pedagogies and Tools for Learning Object-Oriented Concepts., 2003. [ bib ]
[89] G. Fischer, and Jürgen Wolff von Gudenberg. Simplifying source code analysis by an xml representation. Softwaretechnik Trends 23(2), pp.49-50, 2003, 2003. [ bib ]
[88] M. Hopfner, D. Seipel, and Jürgen Wolff von Gudenberg. Comprehending and visualizing software based on xml-representations and call graphs. 11th Int. Workshop on Program Comprehension, pp 290-291, IEEE 2003, 2003. [ bib ]
[87] W. Krämer, and Jürgen Wolff von Gudenberg. Extended interval power function. Proceedings of Validated Computing, Reliable Computing, 2003, 2003. [ bib ]
[86] G. Fischer, and Jürgen Wolff von Gudenberg. Jop ein java online praktikum der vhb. Softwaretechnik-Trends 22(4) pp.15-18, 2002, 2002. [ bib ]
[85] Jürgen Wolff von Gudenberg. Interval arithmetic on multimedia architectures. Reliable Computing, Reliable Computing 8 (4), 2002, 2002. [ bib ]
[84] H. Eichelberger, and Jürgen Wolff von Gudenberg. On the visualization of java programs. in S. Diehl (ed.) Software Visualization, LNCS 2269, p.295-306, 2002, 2002. [ bib ]
[83] H. Eichelberger, and Jürgen Wolff von Gudenberg. Uml description of the stl. First Workshop on C++ Template Programming, Erfurt, Okt. 2000,, 2000. [ bib ]
[82] J. Seemann, and Jürgen Wolff von Gudenberg. Software-entwurf mit uml objektorientierte modellierung mit beispielen in java. Springer, Heidelberg, 2000. [ bib ]
[81] V. Kreinovich, and Jürgen Wolff von Gudenberg. An optimality criterion for arithmetic on complex sets. Geombinatorics (ISSN 1065-7371), Vol X, 1, p. 31-37, 2000, 2000. [ bib ]
[80] M. Lerch, and Jürgen Wolff von Gudenberg. fi_lib++ specification. Implementation and Test of a Library for Extended Interval Arithmetic, in P. Kornerup (ed.) RNC4 Fourth Real Numbers and Computers, p. 111-124, 2000, Online Proceedings RNC 4,, 2000. [ bib ]
[79] G. Mayer, and Jürgen Wolff von Gudenberg. Stichwörter zur intervallrechnung. Lexikon der Mathematik, Spektrum, 1999-2001, 1999. [ bib ]
[78] Jürgen Wolff von Gudenberg. Cheap extension of floating-point units for interval arithmetic. in Electronics '99, Proceedings Vol. 1, TU Sofia, ISBN954-438-260-7, p. 96-101, 1999, 1999. [ bib ]
[77] V. Kreinovich, and Jürgen Wolff von Gudenberg. Candidate sets for complex interval arithmetic. in H. Mohanty, C. Baral: CIT 99 Trends in Information Technology, Tata McGraw-Hill, New Delhi, p. 230-233, 1999, 1999. [ bib ]
[76] R. Kolla, A. Vodopivec, and Jürgen Wolff von Gudenberg. Splitting double precision fpus for single precision interval arithmetic. in W. Erhard et al. (Hrsg.) ARCS'99 Workshops zur Architektur von Rechensystemen, Uni Jena, 1999, p. 5-16,1999, 1999. [ bib ]
[75] V. Kreinovich, and Jürgen Wolff von Gudenberg. Arithmetic of complex sets. Nickel's Classical Paper Revisited from a Geometric Viewpoint", 1999. [ bib ]
[74] M. Lerch, and Jürgen Wolff von Gudenberg. Multiaspect interval types. in Developments in Reliable Computing, T. Csendes (ed.), Kluwer, p. 365-372, 1999, 1999. [ bib ]
[73] M. Lerch, and Jürgen Wolff von Gudenberg. Expression templates for dotproduct expressions. Interval 98, Reliable Computing 5 (1), p. 69-80, 1999, 1999. [ bib ]
[72] M. Lerch, and Jürgen Wolff von Gudenberg. Parallel accurate linear algebra in java. (Abstract) Reliable Computing 5 (1), p. 99, 1999, 1999. [ bib ]
[71] J. Seemann, and Jürgen Wolff von Gudenberg. Extension of uml sequence diagrams for real-time systems. International UML Workshop, Mulhouse, June 1998, und LNCS 1618, Springer, 1999, 1999. [ bib ]
[70] Jürgen Wolff von Gudenberg. Java for scientific computation pros and cons. J. Universal Computer Science 4, 1, p. 11-15, 1998, 1998. [ bib ]
[69] J. Seemann, and Jürgen Wolff von Gudenberg. Pattern-based design recovery of java software. Symposium on Foundations of Software Engineering, FSE-6, p. 10-16, ACM, 1998, 1998. [ bib ]
[68] J. Seemann, and Jürgen Wolff von Gudenberg. Aktuelles schlagwort uml unified modeling language. Informatik Spekrum 21, p.89-90, 1998, 1998. [ bib ]
[67] J. Seemann, and Jürgen Wolff von Gudenberg. Visualization of differences between versions of object-oriented sofware. Proc. of 2nd Euromicro Working Conference on Software Maintenance and Reengineering, IEEE, p. 201-204, 1998, 1998. [ bib ]
[66] J. Seemann, and Jürgen Wolff von Gudenberg. Umlscript a programming language for object-oriented design. Proceedings of the UML-Workshop 97, Physika-Verlag, p.160-169, 1998, 1998. [ bib ]
[65] Jürgen Wolff von Gudenberg. Proceedings of the conference interval-96. Reliable Computing 3 (3), 1997. [ bib ]
[64] J. Seemann, and Jürgen Wolff von Gudenberg. Eine omt-beschreibung durch attributierte grammatiken und hornklauseln. (Abstract), Softwaretechnik-Trends, 1997, 1997. [ bib ]
[63] T. Urlaub, J. Seemann, and Jürgen Wolff von Gudenberg. Xomt. Informatik Forschung und Entwicklung 11, p.218, 1996, 1996. [ bib ]
[62] Jürgen Wolff von Gudenberg. Algorithmen Datenstrukturen Funktionale Programmierung Eine praktische Einführung mit Caml Light. Addison-Wesley, Bonn, 1996. [ bib ]
[61] Jürgen Wolff von Gudenberg. Objektorientiert programmieren von anfang an eine einführung mit c++. 2. Auflage :Spektrum AkademischerVerlag, Heidelberg, 1996. [ bib ]
[60] M. Lerch, W. Wiechert, and Jürgen Wolff von Gudenberg. Objektorientierte entwurfsmuster für die wiederverwendung numerischer softwarekomponenten. in Mackens/ Rump (eds.) Software Engineering im Scientific Computing, Vieweg, p. 51-62, 1996, 1996. [ bib ]
[59] Jürgen Wolff von Gudenberg. Objektorientierter entwurf im wissenschaftlichen rechnen. in Mackens/ Rump (eds.) Software Engineering im Scientific Computing, Vieweg, p. 31-37, 1996, 1996. [ bib ]
[58] Jürgen Wolff von Gudenberg. Hardware support for interval arithmetic. in Alefeld/ Frommer/ Lang (eds.) Scientific Computing and Validated Numerics, Akademie Verlag, p. 32-37, 1996, 1996. [ bib ]
[57] J. Seemann, T. Urlaub, and Jürgen Wolff von Gudenberg. Xomt - ein graphischer editor für omt-objektmodelle. in Beiträge der GI-Fachtagung Softwaretechnik 95, Braunschweig, 1995, p.162, 1995. [ bib ]
[56] Jürgen Wolff von Gudenberg. Parallel accurate linear algebra subroutines. Reliable Computing, 1 (2), p.189-199, 1995, 1995. [ bib ]
[55] Jürgen Wolff von Gudenberg. Design of a parallel linear algebra library for verified computation. Reliable Computing, 1 (4), p.411-420, 1995, 1995. [ bib ]
[54] Jürgen Wolff von Gudenberg. Hardware support for interval arithmetic - extended version. Inst. für Informatik, Universität W"urzburg, Bericht Nr. 125, 1995, 1995. [ bib ]
[53] A. Yakovlev, and Jürgen Wolff von Gudenberg. Enhanced evaluation of mathematical expressions. Interval'94 Abstracts, Reliable Computing, p.248, 1994, 1994. [ bib ]
[52] A. Yakovlev, and Jürgen Wolff von Gudenberg. Multiaspect data types in scientific computation. in S. Markov (ed.) : Mathematical Modelling and Scientific Computation, Datecs Publishing, Sofia, 1993, 1993. [ bib ]
[51] J. Puchan, W. Stucky, and Jürgen Wolff von Gudenberg. Programmieren mit modula-2. BG Teubner, Stuttgart, 2. Auflage, 1993. [ bib ]
[50] Jürgen Wolff von Gudenberg. Objektorientiert programmieren von anfang an eine einführung mit c++. BI Wissenschaftsverlag, Mannheim, 1993. [ bib ]
[49] Jürgen Wolff von Gudenberg. Implementation of accurate matrix multiplication on the cm-2. Computing Suppl. 9, p.287-291, 1993, 1993. [ bib ]
[48] Jürgen Wolff von Gudenberg. Arithmetische und programmiersprachliche werkzeuge für die numerik (teil 2). Computer Theoretikum und Praktikum für Physiker, No. 6, 1993, 1993. [ bib ]
[47] Ch. Ullrich, and Jürgen Wolff von Gudenberg. Introduction to tools and languages for scientific computation. Applied Mathematics I -- Algorithms and Theory, North Holland, 1992, 1992. [ bib ]
[46] A.P. Voshchinin, and Jürgen Wolff von Gudenberg. Proceedings of the conference 'interval-92'. Interval Computations No. 3(5) und No. 4(6), St. Petersburg--Moskau, 1992. [ bib ]
[45] Jürgen Wolff von Gudenberg. Programming language support for scientific computation. Proceedings of INTERVAL-92, Moskau, 1992 und Interval ComputationsNo. 4(6), p.116-126, 1992, 1992. [ bib ]
[44] Jürgen Wolff von Gudenberg. Accurate matrix operations on hypercube computers. in J. Herzberger, L. Atanassova (eds): Computer Arithmetic and Closure Methods, North Holland, p. 167-176, 1992, 1992. [ bib ]
[43] Jürgen Wolff von Gudenberg. Modelling simd - type parallel arithmetic operations in ada. in D. Christodoulakis (Ed.): Ada: The Choice for '92, LNCS 499, Springer Berlin 1991, 1991. [ bib ]
[42] Jürgen Wolff von Gudenberg. Object-oriented concepts for scientific computation. in Kaucher/Markov/Mayer(Eds.), Computer Arithmetic, Scientific Computation and Mathematical Modelling, J.C. Baltzer, p.181-192, 1991, 1991. [ bib ]
[41] G. Bohlender, W.L. Miranker, and Jürgen Wolff von Gudenberg. Floating-point systems for theorem proving. in K.Meyer, D. Schmidt (Eds.) Computer Aided Proofs in Analysis, Springer, p. 22-32, 1991, 1991. [ bib ]
[40] G. Bohlender, and Jürgen Wolff von Gudenberg. Accurate matrix multiplication on the array processor amt-dap. in Kaucher/Markov/Mayer (Eds.), Computer Arithmetic, Scientific Computation and Mathematical Modelling, J.C. Baltzer, p.133-150, 1991, 1991. [ bib ]
[39] Ch. Ullrich, and Jürgen Wolff von Gudenberg. Different approaches to interval arithmetic. ESPRIT DIAMOND consortium, No. 03/4/1/K2, 1986, in P.J.L. Wallis (Ed.), Improving Floating Point Programming, Wiley, p.61-72, 1990, 1990. [ bib ]
[38] G. Bohlender, Ch. Ullrich, and Jürgen Wolff von Gudenberg. The module concepts in pascal-sc, ada, modula-2 and fortran 8x,. Journal for Pascal, Ada &amp C, 1990. [ bib ]
[37] G. Schumacher, and Jürgen Wolff von Gudenberg. E-methods for improving accuracy. in P.J.L. Wallis (Ed.) Improving Floating Point Programming, Wiley 1990, 1990. [ bib ]
[36] Jürgen Wolff von Gudenberg. Arithmetic for vector and parallel computers. Decision Support Systems 7, p. 285-292, 1991 (Abstract in Methods of Operations Research 62, 1990), 1990. [ bib ]
[35] Jürgen Wolff von Gudenberg. Einsatz genauer nullstellenverfahren bei der berechnung zweiseitig gekühlter halbleiterbauelemente. ZAMM 70,p. T549-T551, 1990, 1990. [ bib ]
[34] Jürgen Wolff von Gudenberg. A symbolic generic expression concept. in C. Ullrich (Ed.), Contributions to Computer Arithmetic and Self-Validating numerical methods, IMACS, p. 459-464, 1990, 1990. [ bib ]
[33] Jürgen Wolff von Gudenberg. Arithmetische und programmiersprachliche werkzeuge für die numerik (teil 1). Computer Theoretikum und Praktikum für Physiker,p. 15-42, 1990, 1990. [ bib ]
[32] Jürgen Wolff von Gudenberg. The embedding of accurate arithmetic in pascal-sc. in P.J.L. Wallis (Ed), Improving Floating Point Programming, Wiley, 1990, 1990. [ bib ]
[31] Jürgen Wolff von Gudenberg. The karlsruhe accurate arithmetic approach. in P.J.L. Wallis (Ed), Improving Floating Point Programming, Wiley, 1990, 1990. [ bib ]
[30] G. Schumacher, and Jürgen Wolff von Gudenberg. A set of highly accurate numerical algorithms. ESPRIT DIAMOND consortium, Deliverable D 3-6, 1989, 1989. [ bib ]
[29] Ch. Ullrich, and Jürgen Wolff von Gudenberg. Accurate numerical algorithms. Springer Research Reports ESPRIT, 1989. [ bib ]
[28] G. Schumacher, and Jürgen Wolff von Gudenberg. Highly accurate numerical algorithms. in Ullrich/ Wolff von Gudenberg (Eds.), Accurate Numerical Algorithms, Springer, p. 1-58, 1989, 1989. [ bib ]
[27] R. Klatte, Ch. Ullrich, and Jürgen Wolff von Gudenberg. Implementation of arithmetic for scientific computation in ada. "Journal for Pascal, Ada &amp C, 1989. [ bib ]
[26] Jürgen Wolff von Gudenberg. Pascal-sc (level 2) language extension. ESPRIT '88, Putting the Technology to Use, p. 460-466, North-Holland, 1988, 1988. [ bib ]
[25] Jürgen Wolff von Gudenberg. Reliable expression evaluation in pascal-sc. in R. E. Moore (Ed) Reliability in Computing Academic Press, p. 81-98, 1988, 1988. [ bib ]
[24] G. Bohlender, Ch. Ullrich, and Jürgen Wolff von Gudenberg. New developments in pascal-sc. SIGPLAN Notices, Vol 23, No 8, p. 83-92, 1988, 1988. [ bib ]
[23] R. Klatte, Ch. Ullrich, and Jürgen Wolff von Gudenberg. Pascal-sc and numerical and non numerical applications. in B. Krause, A. Schreiner (Eds) HECTOR Vol. 1, New Ways in Education and Research, Springer, Berlin 1988, 1988. [ bib ]
[22] G. Bohlender, L.B. Rall, C. Ullrich, and Jürgen Wolff von Gudenberg. Pascal-sc, a computer language for scientific computation. Academic Press, Boston, 1987. [ bib ]
[21] Jürgen Wolff von Gudenberg. Standard functions with maximum accuracy computed in single precision arithmetic. IMACS 1985 Trans. on Scientific Computation, Vol. 2, Computer Systems: Performance and Simulation, North-Holland, 1986, 1986. [ bib ]
[20] R. Klatte, Ch. Ullrich, and Jürgen Wolff von Gudenberg. Optimal arithmetic and ada. IMACS 1985 Trans. on Scientific Computation, Vol. 2, Computer Systems: Perfomance and Simulation, North-Holland, 1986, 1986. [ bib ]
[19] G. Bohlender, L.B. Rall, C. Ullrich, and Jürgen Wolff von Gudenberg. Pascal-sc, wirkungsvoll programmieren, kontrolliert rechnen. BI Wissenschaftsverlag, Mannheim, 1986. [ bib ]
[18] Jürgen Wolff von Gudenberg. Rechnerarithmetik für wissenschaftliches rechnen. PASCAL-SC, Computer Theoretikum und Praktikum für Physiker, Fachinformationszentrum Karlsruhe, p. 43-50, 1985, 1985. [ bib ]
[17] Jürgen Wolff von Gudenberg. Pascal-sc demonstration. accurate arithmetic for verified results. Lecture Notes in Computer Science 204, Eurocal '85, p. 325-326, Springer 1985, 1985. [ bib ]
[16] Jürgen Wolff von Gudenberg. Floating-point computation in pascal-sc with verified results. Lecture Notes in Computer Science 204, Eurocal '85, p. 322 - 324, Springer 1985, 1985. [ bib ]
[15] Jürgen Wolff von Gudenberg. Standard functions with maximum accuracy computed in single precision arithmetic. Proceedings of the 11th IMACS World Congress, Vol. 1, Oslo, p. 171-183, 1985, 1985. [ bib ]
[14] R. Lohner, and Jürgen Wolff von Gudenberg. Complex interval division with maximum accuracy. Proceedings of the 7 Symposium on Computer Arithmetic, IEEE, p. 332-336, 1985, 1985. [ bib ]
[13] R. Klatte, Ch. Ullrich, and Jürgen Wolff von Gudenberg. Optimal arithmetic and ada. Proceedings of the 11th IMACS World Congress, Vol. 1, Oslo, p. 179-181, 1985, 1985. [ bib ]
[12] G. Bohlender, H. Böhm, K. Gr"uner, E. Kaucher, R. Klatte, W. Krämer, U. Kulisch, W. L. Miranker, S. M. Rump, Ch. Ullrich, and Jürgen Wolff von Gudenberg. Proposal for arithmetic specification in fortran 8x. in B. Ford, J.C. Rault, F. Thomasset (Eds.): Tools Methods and Languages for Scientific and Engineering Computation, North-Holland, INRIA, 1984, 1984. [ bib ]
[11] Jürgen Wolff von Gudenberg. Berechnung maximal genauer standardfunktionen mit einfacher mantissenlänge. Elektron. Rechenanlagen 26, H.5, p. 230 - 238, 1984, 1984. [ bib ]
[10] E. Kaucher, R. Klatte, C. Ullrich, and Jürgen Wolff von Gudenberg. Programmiersprachen im Griff, Band 6: Übungen und Tests in Pascal. BI Wissenschaftsverlag, Mannheim, 1984. [ bib ]
[9] G. Bohlender, H. Böhm, K. Gr"uner, E. Kaucher, R. Klatte, W. Krämer, U. Kulisch, W. L. Miranker, S. M. Rump, Ch. Ullrich, and Jürgen Wolff von Gudenberg. Matrix pascal. in Kulisch/Miranker (Hrsg): A New Approach to Scientific Computation. Academic Press, p. 312-384, 1983, 1983. [ bib ]
[8] E. Kaucher, R. Klatte, C. Ullrich, and Jürgen Wolff von Gudenberg. Programmiersprachen im griff, band 4: Ada. BI Wissenschaftsverlag, Mannheim, 1983. [ bib ]
[7] Jürgen Wolff von Gudenberg. An introduction to matrix pascal: A pascal extension for scientific computation. in Kulisch/Miranker (Hrsg): A New Approach to Scientific Computation, Academic Press, 1983, 1983. [ bib ]
[6] Jürgen Wolff von Gudenberg. Computing zy with maximum accuracy. Computing 31, p. 185-189, 1983, 1983. [ bib ]
[5] Jürgen Wolff von Gudenberg. Pascal-erweiterung für wissenschaftliches rechnen. in Kulisch/Ullrich (Hrsg): Wissenschaftliches Rechnen und Programmiersprachen, German Chapter of the ACM, Berichte 10, Teubner, p. 71-95, 1982, 1982. [ bib ]
[4] Jürgen Wolff von Gudenberg. Syntax und semantik der vorliegenden implementierung der pascal spracherweiterung. in Kulisch/Ullrich (Hrsg): Wissenschaftliches Rechnen und Programmiersprachen, German Chapter of the ACM, Berichte 10, Teubner, p. 207-231,1982, 1982. [ bib ]
[3] G. Bohlender, K. Gr"uner, and Jürgen Wolff von Gudenberg. Realisierung einer optimalen arithmetik. Elektron. Rechenanlagen 24, H.2, p. 68-72, 1982, 1982. [ bib ]
[2] G. Bohlender, E. Kaucher, R. Klatte, U. Kulisch, W. L. Miranker, Ch. Ullrich, and Jürgen Wolff von Gudenberg. Fortran for contemporary numerical computation. Computing 26, p. 277-314, 1981, 1981. [ bib ]
[1] Jürgen Wolff von Gudenberg. Determination of minimum sets of the set of zeros of a function. Computing 24, p. 203-212, 1980, 1980. [ bib ]

Peer-Reviewed International Conference, Workshop Papers, and Book Chapters

[17] Diogo Carvalho, Nuno Antunes, Marco Vieira, Aleksandar Milenkoski, and Samuel Kounev. Challenges of Assessing the Hypercall Interface Robustness (Fast Abstract). In The 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2015), Rio de Janeiro, Brazil, June 2015. IEEE. June 2015. [ bib | abstract  | pdf  | http  ]
[16] Aleksandar Milenkoski, Bryan D. Payne, Nuno Antunes, Marco Vieira, and Samuel Kounev. Experience Report: An Analysis of Hypercall Handler Vulnerabilities. In Proceedings of The 25th IEEE International Symposium on Software Reliability Engineering (ISSRE 2014) --- Research Track, Naples, Italy, November 2014. IEEE, IEEE Computer Society, Washington DC, USA. November 2014, Acceptance Rate: 25%, Best Paper Award Nomination. [ bib | abstract  | pdf  | slides  | http  ]
[15] Marco Nehmeier. libieeep1788: A C++ Implementation of the IEEE interval standard P1788. In Norbert Wiener in the 21st Century (21CW), 2014 IEEE Conference on, June 2014, pages 1--6. [ bib | abstract  | pdf  | DOI  ]
[14] Aleksandar Milenkoski, Bryan D. Payne, Nuno Antunes, Marco Vieira, and Samuel Kounev. HInjector: Injecting Hypercall Attacks for Evaluating VMI-based Intrusion Detection Systems (Poster Paper). In The 2013 Annual Computer Security Applications Conference (ACSAC 2013), New Orleans, Louisiana, USA, March 2013. Applied Computer Security Associates (ACSA), Maryland, USA. March 2013. [ bib | pdf  | http  ]
[13] Philip-Daniel Beck, and Marco Nehmeier. Parallel Interval Newton Method on CUDA. In Applied Parallel and Scientific Computing, Pekka Manninen, and Per Öster, editors, volume 7782 of Lecture Notes in Computer Science, pages 454--464. Springer Berlin Heidelberg, 2013. [ bib | abstract  | pdf  | DOI  | http  ]
[12] Marco Nehmeier, Stefan Siegel, and Jürgen Wolff von Gudenberg. Parallel Detection of Interval Overlapping. In Applied Parallel and Scientific Computing, Kristjän Jönasson, editor, volume 7134 of Lecture Notes in Computer Science, pages 127--136. Springer Berlin Heidelberg, 2012. [ bib | abstract  | pdf  | DOI  | http  ]
[11] Uwe Bawidamann, and Marco Nehmeier. Expression Templates and OpenCL. In Parallel Processing and Applied Mathematics, Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, and Jerzy Waśniewski, editors, volume 7204 of Lecture Notes in Computer Science, pages 71--80. Springer Berlin Heidelberg, 2012. [ bib | abstract  | pdf  | DOI  | http  ]
[10] Marco Nehmeier. Generative Programming for Automatic Differentiation. In Recent Advances in Algorithmic Differentiation, Shaun Forth, Paul Hovland, Eric Phipps, Jean Utke, and Andrea Walther, editors, volume 87 of Lecture Notes in Computational Science and Engineering, pages 261--271. Springer Berlin Heidelberg, 2012. [ bib | abstract  | DOI  | http  ]
[9] Marco Vieira, Henrique Madeira, Kai Sachs, and Samuel Kounev. Resilience Benchmarking. In Resilience Assessment and Evaluation of Computing Systems, K. Wolter, A. Avritzer, M. Vieira, and A. van Moorsel, editors, XVIII. Springer-Verlag, Berlin, Heidelberg, 2012. ISBN: 978-3-642-29031-2. [ bib | pdf  | http  ]
[8] Samuel Kounev, Philipp Reinecke, Fabian Brosig, Jeremy T. Bradley, Kaustubh Joshi, Vlastimil Babka, Anton Stefanek, and Stephen Gilmore. Providing dependability and resilience in the cloud: Challenges and opportunities. In Resilience Assessment and Evaluation of Computing Systems, K. Wolter, A. Avritzer, M. Vieira, and A. van Moorsel, editors, XVIII. Springer-Verlag, Berlin, Heidelberg, 2012. ISBN: 978-3-642-29031-2. [ bib | abstract  | pdf  | http  ]
[7] Nikolaus Huber, Fabian Brosig, N. Dingle, K. Joshi, and Samuel Kounev. Providing Dependability and Performance in the Cloud: Case Studies. In Resilience Assessment and Evaluation of Computing Systems, K. Wolter, A. Avritzer, M. Vieira, and A. van Moorsel, editors, XVIII. Springer-Verlag, Berlin, Heidelberg, 2012. ISBN: 978-3-642-29031-2. [ bib | pdf  | http  ]
[6] Katja Gilly, Fabian Brosig, Ramon Nou, Samuel Kounev, and Carlos Juiz. Online prediction: Four case studies. In Resilience Assessment and Evaluation of Computing Systems, K. Wolter, A. Avritzer, M. Vieira, and A. van Moorsel, editors, XVIII. Springer-Verlag, Berlin, Heidelberg, 2012. ISBN: 978-3-642-29031-2. [ bib | abstract  | pdf  | http  ]
[5] Samuel Kounev, Fabian Brosig, and Nikolaus Huber. Self-Aware QoS Management in Virtualized Infrastructures (Poster Paper). In 8th International Conference on Autonomic Computing (ICAC 2011), Karlsruhe, Germany, June 14--18, 2011. [ bib | abstract  | pdf  ]
[4] Marco Nehmeier, and Jürgen Wolff von Gudenberg. Interval Comparisons and Lattice Operations based on the Interval Overlapping Relation. In Proceedings of the World Conference on Soft Computing 2011 (WConSC'11), 2011. San Francisco, CA, USA. [ bib | abstract  | http  ]
[3] Samuel Kounev. Self-Aware Software and Systems Engineering: A Vision and Research Roadmap. In GI Softwaretechnik-Trends, 31(4), November 2011, ISSN 0720-8928, 2011. Karlsruhe, Germany. [ bib | pdf  | http  ]
[2] Samuel Kounev. Engineering of Self-Aware IT Systems and Services: State-of-the-Art and Research Challenges. In Proceedings of the 8th European Performance Engineering Workshop (EPEW'11), Borrowdale, The English Lake District, October 12--13, 2011. (Extended Abstract of Keynote Talk). [ bib | pdf  ]
[1] Samuel Kounev. Engineering of Next Generation Self-Aware Software Systems: A Research Roadmap. In Emerging Research Directions in Computer Science. Contributions from the Young Informatics Faculty in Karlsruhe. KIT Scientific Publishing, Karlsruhe, Germany, July 2010. [ bib | pdf  | http  ]

Other

[2] M. Klingspor, and Jürgen Wolff von Gudenberg. Modula-2o. An object-oriented extension of Modula-2, ISO Document ISO/IEC JTC1/SC22/WG13/D199, 1994, 1994. [ bib ]
[1] Jürgen Wolff von Gudenberg. Mathematics on computers. a commented list of references. ESPRIT DIAMOND consortium, No. 03/2a-6/3/K2, 1987, 1987. [ bib ]

Technical Reports

[39] Nikolas Herbst, Rouven Krebs, Giorgos Oikonomou, George Kousiouris, Athanasia Evangelinou, Alexandru Iosup, and Samuel Kounev. Ready for Rain? A View from SPEC Research on the Future of Cloud Metrics. Technical Report SPEC-RG-2016-01, SPEC Research Group --- Cloud Working Group, Standard Performance Evaluation Corporation (SPEC), 2016. [ bib | http  ]
[38] Aleksandar Milenkoski, Marco Vieira, Bryan D. Payne, Nuno Antunes, and Samuel Kounev. Technical Information on Vulnerabilities of Hypercall Handlers. Technical Report SPEC-RG-2014-001 v.1.0, SPEC Research Group - IDS Benchmarking Working Group, Standard Performance Evaluation Corporation (SPEC), 7001 Heritage Village Plaza Suite 225, Gainesville, VA 20155, USA, August 2014. [ bib | abstract  | pdf  ]
[37] Aleksandar Milenkoski, Samuel Kounev, Alberto Avritzer, Nuno Antunes, and Marco Vieira. On Benchmarking Intrusion Detection Systems in Virtualized Environments. Technical Report SPEC-RG-2013-002 v.1.0, SPEC Research Group - IDS Benchmarking Working Group, Standard Performance Evaluation Corporation (SPEC), 7001 Heritage Village Plaza Suite 225, Gainesville, VA 20155, USA, June 2013. [ bib | abstract  | pdf  ]
[36] Marco Nehmeier. Generative Programming for Automatic Differentiation in C++0x. Technical Report 483, Department of Computer Science, University of Würzburg, December 2011. [ bib | abstract  | http  ]
[35] Marco Nehmeier, and Jürgen Wolff von Gudenberg. Interval Comparisons and Lattice Operations based on the Interval Overlapping Relation. Technical Report 476, Department of Computer Science, University of Würzburg, September 2010. [ bib | abstract  | pdf  ]
[34] G. Fischer, J. Lusiardi, and Jürgen Wolff von Gudenberg. Source code model hierarchies. Technical report, TR 444, Institut f. Informatik, Uni Würzburg, 2008. [ bib ]
[33] Jürgen Wolff von Gudenberg, A. Niederle, M. Ebner, and H. Eichelberger. An evolutionary algorithm for the layout of uml class diagrams. Technical report, Informatik. TR 391, Uni W"urzburg, 2006. [ bib ]
[32] W. Hofschuster, W. Krämer, M. Lerch, G. Tischler, and Jürgen Wolff von Gudenberg. The interval library fi_lib++ 2.0. Technical report, Design, Features and Sample Programs, Preprint 2001/4,Universität Wuppertal, Dec 2001, 2001. [ bib ]
[31] M. Lerch, G. Tischler, and Jürgen Wolff von Gudenberg. fi_lib++ interval library. Technical report, Specification and Reference Manual, Inst. f. Informatik, Universität W"urzburg, TR 279, Aug. 2001, 2001. [ bib ]
[30] H. Eichelberger, and Jürgen Wolff von Gudenberg. Umlscript sprachspezifikation. Technical report, Inst. f. Informatik, Universität W"urzburg, TR 272, Feb. 2001, 2001. [ bib ]
[29] H. Eichelberger, G. Tischler, and Jürgen Wolff von Gudenberg. Comprehensive graphical description of the stl. Technical report, Inst. f. Informatik, UniversitätW"urzburg, TR 270, Feb. 2001, 2001. [ bib ]
[28] Jürgen Wolff von Gudenberg. Multimedia architectures and interval arithmetic. Technical report, Inst. f. Informatik, Universität W"urzburg, TR 265, Okt. 2000, 2000. [ bib ]
[27] Jürgen Wolff von Gudenberg. Software engineering -- 30 jahre softwarekrise ? Technical report, Lehrerfortbildung,Inst. f. Informatik, UniversitätW"urzburg, Okt. 2000, 2000. [ bib ]
[26] R. Kolla, A. Vodopivec, and Jürgen Wolff von Gudenberg. The iax,interval arithmetic extension architecture. Technical report, University of W"urzburg, 1999. [ bib ]
[25] G. Corliss, C. Hu, B. Kearfott, B. Walster, and Jürgen Wolff von Gudenberg. Interval blas. Technical report, chapter 5 of Document for the Basic Linear Algebra Subprograms, University of Tennessee, Knoxville, 1999, 1999. [ bib ]
[24] J. Seemann, and Jürgen Wolff von Gudenberg. Omt-script eine programmiersprache für objektorientierten entwurf. Technical report, Inst. f. Informatik, Universität W"urzburg, TR 187, Okt. 1997, 1997. [ bib ]
[23] Jürgen Wolff von Gudenberg. Objektorientiertes programmieren im wissenschaftlichen rechnen. Technical report, Inst. f. Informatik, Universität W"urzburg, TR 181, Sept. 1997, 1997. [ bib ]
[22] Jürgen Wolff von Gudenberg. Structure of a c++ library for parallel accurate linear algebra. Technical report, in Alefeld/ Mahrenholtz/ Mennicken(eds.) Numerical Analysis, Scientific Computing, Computer Science ICIAM 95 Proceedings, Akademie Verlag ISBN 3-05-501744-7, 1996, 1996. [ bib ]
[21] Jürgen Wolff von Gudenberg. Parallelisierung mittels einer klassenbibliothek. Technical report, Tagungsberichte GI FG 2.1.4 Alternative Sprachen und Konzepte, Universität Koblenz, 1995, 1995. [ bib ]
[20] Jürgen Wolff von Gudenberg. Comparison of accurate dot product algorithms. Technical report, Research report 881IRISA, Rennes 1994, 1994. [ bib ]
[19] B. Menzel, and Jürgen Wolff von Gudenberg. Kommentierte syntaxdiagramme für c++. Technical report, Inst. für Informatik, Universität W"urzburg, Bericht Nr. 47, 1992, 1992. [ bib ]
[18] Jürgen Wolff von Gudenberg. Grundroutinen für sichere, numerische algorithmen auf parallelrechnern. Technical report, Wiss. Zeitschrift der TH Leipzig 15, p.421-426, 1991, 1991. [ bib ]
[17] Jürgen Wolff von Gudenberg. Typvererbung in objektorienten datenbanken. Technical report, Kolloquium Angewandte Informatik Karlsruhe 1989, Universität Karlsruhe, 1990, 1990. [ bib ]
[16] Jürgen Wolff von Gudenberg. Project no 1072 - diamond. Technical report, ESPRIT, Information Processing Systems, Results and Progress of Esprit Projects 1989, p. 51-56, 1989, 1989. [ bib ]
[15] G. Bohlender, W.L. Miranker, and Jürgen Wolff von Gudenberg. Floating-point systems for theorem proving. Technical report, IBM Research Report RC 15 101, 1989, 1989. [ bib ]
[14] Jürgen Wolff von Gudenberg. Esprit-projekt diamond. Technical report, in U. Kulisch (Ed.) Wissenschaftliches Rechnen mit Ergebnisverifikation, Akademie und Vieweg, p. 251-259, 1989, 1989. [ bib ]
[13] M. Neaga, and Jürgen Wolff von Gudenberg. The pascal-sc level 2 compiler. Technical report, Architecture and Implementation Description, ESPRIT DIAMOND consotium, Deliverable D1-1, 1988, 1988. [ bib ]
[12] W. Klein, M. Erl, and Jürgen Wolff von Gudenberg. Verified results for linear systems with sparse matrices. esprit diamond consortium. Technical report, Deliverable D3-3, 1988, 1988. [ bib ]
[11] L. Bamberger, H.C. Fischer, G. Schumacher, D. Winter, A. Zöllner, and Jürgen Wolff von Gudenberg. Local transformations to obtain accuracy esprit-diamond consortium. Technical report, Deliverable D2a-5, 1988, 1988. [ bib ]
[10] Jürgen Wolff von Gudenberg. Transformation of dotproduct expressions in pascal-sc. Technical report, DIAMOND consortium, No. 03/2a-6/3/K2, 1987, 1987. [ bib ]
[9] M. Neaga, and Jürgen Wolff von Gudenberg. Implementation of dynamic arrays in pascal-sc. Technical report, ESPRIT DIAMOND consortium, No. 03/1-1/2/K2, 1987, 1987. [ bib ]
[8] R. Klatte, and Jürgen Wolff von Gudenberg. Forschungsschwerpunkt computerarithmetik und programmiersysteme für ingenieurwissenschaftliche anwendungen. Technical report, Institut für Angewandte Mathematik, Universität Karlsruhe, 1986, 1986. [ bib ]
[7] M. Neaga, and Jürgen Wolff von Gudenberg. Functional and design specification of the pascal-sc compiler: Pass 1. Technical report, ESPRIT DIAMOND consortium, No. 03/1/1/K1, 1986, 1986. [ bib ]
[6] R. Klatte, Ch. Ullrich, and Jürgen Wolff von Gudenberg. Arithmetic for scientific computation in ada. Technical report, Bericht des Instituts für Angewandte Mathematik, Universität Karlsruhe, 1983, IEEE Transactions on Computers, Vol. C -34, No. 11, p. 996-1006, 1985, 1985. [ bib ]
[5] G. Bohlender, H. Böhm, K. Braune, W. Gr"uner, E. Kaucher, R. Kirchner, R. Klatte, W. Krämer, U. Kulisch, W. L. Miranker, Ch. Ullrich, and Jürgen Wolff von Gudenberg. Modified proposal for arithmetic specification according to guidelines of the x3j3 meetings in tulsa and chapel hill. Technical report, Bericht des Instituts für Angewandte Mathematik, Universität Karlsruhe, 1983, 1983. [ bib ]
[4] G. Bohlender, H. Böhm, K. Gr"uner, E. Kaucher, R. Klatte, W. Krämer, U. Kulisch, W. L. Miranker, S. M. Rump, Ch. Ullrich, and Jürgen Wolff von Gudenberg. Proposal for arithmetic specification in fortran 8x. Technical report, Bericht des Instituts für Angewandte Mathematik, Universität Karlsruhe, 1982, 1982. [ bib ]
[3] G. Bohlender, H. Böhm, K. Gr"uner, E. Kaucher, R. Klatte, W. Krämer, U. Kulisch, W. L. Miranker, S. M. Rump, Ch. Ullrich, and Jürgen Wolff von Gudenberg. Matrix pascal. Technical report, IBM Research Report, RC 9577, 1982, 1982. [ bib ]
[2] Jürgen Wolff von Gudenberg. Gesamte arithmetik des pascal-sc rechners, benutzerhandbuch. Technical report, Universität Karlsruhe, 1982, 1982. [ bib ]
[1] G. Bohlender, K. Grüner, E. Kaucher, R. Klatte, W. Krämer, U. Kulisch, W. L. Miranker, S. M. Rump, Ch. Ullrich, and Jürgen Wolff von Gudenberg. Pascal-sc: A pascal for contemporary scientific computation. Technical report, IBM Research Report, RC 9009, 1981, 1981. [ bib ]

Theses

[2] Marco Nehmeier. Effiziente Intervallarithmetik mit C++. Diplomarbeit, Lehrstuhl für Informatik 2, Universität Würzburg, 2009. [ bib | abstract  | http  ]
[1] Jürgen Wolff von Gudenberg. Einbettung allgemeiner Rechnerarithmetik in PASCAL mittels eines Operatorkonzeptes und Implementierung der Standardfunktionen mit optimaler Genauigkeit. PhD thesis, University of Karlsruhe, 1980, 1980. [ bib ]