Jürgen F H Winkler, Publications

Jürgen F. H. WINKLER Publications & Talks (T)

2001 - | 1996 - 2000 | 1991 - 1995 | 1986 - 1990 | 1981 - 1985 | 1971 - 1980 | (dblp-list)

2001 -

T: Als die Informatik noch nicht Informatik hiess: der Relaisrechner Oprema im Zeisswerk am Ernst-Abbe-Platz
[When Informatics was not yet called Informatics: The Relay Computer Oprema in the Zeiss Works at the Ernst-Abbe-Platz].
Friedrich Schiller University, Jena, 2014Oct25. (pdf)
Konrad Zuse and Floating-Point Numbers. Letter to the Editor. CACM 55, 10 (2012) 6–7. (pdf (prelim. version))
Assignment Is Asymmetric. Letter to the Editor. CACM 55, 7 (2012) 7. (pdf)
Konrad Zuse and Switzerland. SPG-Mitteilungen 34 (2011) 42–44. (pdf)
Konrad Zuse und die Optik-Rechenmaschine in Jena [Konrad Zuse and the Optic Computer at Jena].
Log In (0720-8642) 166/167 (2010) 132–136. (pdf)
Kauer, Stefan; Winkler, Jürgen F. H.:
Mechanical inference of invariants for FOR-loops. Journal of Symbolic Computation 45 (2010) 1101–1113. (pdf)
Leserbrief zu "Was ist Informatik" von Peter Rechenberg. Informatik-Spektrum 33, 1 (2010) 414–416. (pdf)
T: Die Oprema - der Relaisrechner des Zeisswerks Jena [The Oprema - the Zeiss Works' Relay Computer].
Farewell Lecture, Friedrich Schiller University, Jena, 2008Oct25. (pdf)
T: Schule – Bildung – Informatik [School – Bildung – Informatics]. FSU, Jena, 2006March02. (pdf)
T: Ada und Charles Babbage - Aus der Frühzeit der Rechner: 1812 - 1843
[Ada and Charles Babbage - From the Early Days of Computers: 1812 - 1843]. Jena, 2004March. (pdf)
C#: eine Konkurrenz für Java? [C#: a Competitor of Java?]. it – Information Technology 46, 2 (2004) 85–93. (pdf)
T: Ein Vergleich der Programmbeweiser FPP, NPPV und SPARK [A Comparison of the Program Provers FPP, NPPV and SPARK].
DGLR-Workshop "Software hoher Zuverlässigkeit, Verfügbarkeit, Sicherheit [Software of High Reliability, Availability and Safety]",
TU Munich, 2002Oct10. (pdf) (flyer)
A Safe Variant of the Unsafe Integer Arithmetic of Java. Software - Practice and Experience 32, 7 (2002) 669–701. (pdf)
T: Ein Vergleich der Programmbeweiser FPP, NPPV und SPARK [A Comparison of the Program Provers FPP, NPPV and SPARK].
Ada Deutschland Tagung 2002 - Software für sicherheitskritische Systeme [Software for Safety-Critical Systems]. Jena, 2002Mar08.
Freining, Carsten; Kauer, Stefan; Winkler, Jürgen F. H.:
Ein Vergleich der Programmbeweiser FPP, NPPV und SPARK [A Comparison of the Program Provers FPP, NPPV and SPARK].
Ada-Deutschland Tagung 2002. Shaker Verlag, Aachen, 2002, S. 127–145. (pdf (prelim. version))
Winkler, Jürgen F. H.; Dencker, Peter; Keller, Hubert B.; Tonndorf, Michael (Hrsg):
Ada Deutschland Tagung 2002 - Software für sicherheitskritische Systeme [Software for Safety-Critical Systems].
Shaker Verlag, Aachen, 2002, 3-8265-9956-X Frontmatter & TOC (pdf) Flyer (pdf)
Tasks and Threads: Concurrency in Ada and Java.
Ada-Deutschland Tagung 2001. S. 143–166. Shaker Verlag, Aachen, 2001, 3-8265-9245-X Frontmatter & TOC (pdf)
T: Tasks and Threads: Concurrency in Ada and Java. Ada-Deutschland Tagung 2001, Munich, 2001.Mar.28. (pdf)

1996 - 2000 top of page

CHILL 2000. Telektronikk (0085-7130) 96, 4 (2000) 70–77. (pdf) (Z.200)
Characteristics of Computing and Informatics.
Friedrich Schiller University, Dept. of Math. & Comp. Sci., Report Math / Inf / 2000 / 02, 2000.02.22. (pdf)
Kauer, Stefan; Winkler, Jürgen F. H.:
FPP: An Automatic Program Prover for Ada Statements.
Ada-Deutschland Workshop "Objektorientierung und sichere Software mit Ada [Object Orientation and Safe Software with Ada]".
Karlsruhe 1999Apr21-22. (pdf) (Program)
Characteristics of Computing and Informatics.
Proc. XV. IFIP World Computer Congress. Vienna / Budapest, 1998Aug31 – Sep04. (pdf) (htm)
The Frege Program Prover FPP.
42. Internationales Wissenschaftliches Kolloquium, TU Ilmenau, 1997, 116–121. (pdf)
Winkler, Jürgen F. H.; Kauer, Stefan:
Proving Assertions is also Useful. SIGPLAN Notices 32,3 (1997) 38–41. (pdf (prelim. version))
Type Compatibility for Extensible Module Types, Their Reference Parameters, and Their Pointer Types.
Journal of Universal Computer Science (J.UCS) 3,2 (1997) 120–146. (pdf)
Objektorientierte Modellierung [Object-Oriented Modelling].
In: Riemann, Walter O. (Hrsg.): Wirtschaftsinformatik. 2. Aufl., R. Oldenbourg, München, Wien, 1996.
3-486-23828-0. S. 374–382. (pdf)
Objektorientierte Programmierung [Object-Oriented Programming].
In: Riemann, Walter O. (Hrsg.): Wirtschaftsinformatik. 2. Aufl., R. Oldenbourg, München, Wien, 1996.
3-486-23828-0. S. 213–234. (pdf)

1991 - 1995 top of page

T: Was ist und zu welchem Ende benutzt man SW? [What Is, and To What End Do We Use SW?]
Inaugural Lecture, FSU, 1995Jan12.
Günther, W.; Winkler, J.F.H.:
Anwendung der Objektorientierung in einem industriellen Telekommunikationsprojekt
[Use of Object-Orientation in an Industrial Telecom Project].
Informatik Spektrum 16, 6 (1993) 341–348. (pdf (prelim. version))
Winkler, Jürgen F.H.; Dießl, Georg:
Object CHILL - An Object Oriented Language for Telecom Applications.
Proc. XIV Int. Switching Symposium, Yokohama, 1992, Vol. 2, 204–208.
Objectivism: "Class" considered harmful. CACM 35,8 (1992) 128–130. (pdf (prelim. version))
Beispiele zur Rekursion von Reinhold Franck und anderen Autoren [Examples of Recursion by Reinhold Franck and Other Authors].
In: Kreowski, H.-J. (Hrsg): Informatik zwischen Wissenschaft und Gesellschaft - Zur Erinnerung an Reinhold Franck.
Springer, Berlin usw., 1992, 233–241. (pdf)
Winkler, Jürgen F.H.; Dießl, Georg:
Object CHILL - An Object Oriented Language for Systems Implementation.
ACM Computer Science Conference '92, 139–147. (pdf)
Object-CHILL - Eine objektorientierte Erweiterung von CHILL [Object-CHILL - An Object-Oriented Extension of CHILL].
Wiss. Zeitschrift der TH Leipzig, 15, 1 (1991) 149–157. (pdf)
Ein kurzer Überblick über Object-CHILL [A Short Survey of Object-CHILL].
Softwaretechnik-Trends 11,1 (1991) 68–76.
Visualisierung in der Software-Entwicklung. [Visualization in Software Development].
ONLINE '91, Congress VI - Software-Engineering und Software-Werkzeuge, VI.15.01–VI.15.34.

1986 - 1990 top of page

Object-CHILL - Eine objektorientierte Erweiterung von CHILL [Object-CHILL - An Object-Oriented Extension of CHILL].
Zorn, Werner (Hrsg.): TOOL'90, Karlsruhe, 1990, 272–280.
Beispiele zur Rekursion von Reinhold Franck und anderen Autoren. [Examples of Recursion by Reinhold Franck and Other Authors].
Softwaretechnik-Trends, 10,2 (1990) 13–21.
Visualisierung in der Software-Entwicklung. [Visualization in Software Development].
GI '90 - 20. Jahrestagung der GI, Invited Lecture, Informatik-Fachberichte Bd. 257, Springer, 1990, 40–72. (pdf)
Schleiermacher, A.; Winkler, J.F.H.:
The Implementation of ProTest: a Prolog Debugger for a Refined Box Model.
Software - Practice and Experience, 20, 10 (1990) 985–1006 (pdf)
Winkler, Jürgen F. H.; Reeken, Axel v.; Schleiermacher, Adolf:
A Prolog Debugger Based on a Refined Box Model.
Logic Programming Environments, ICLP Preconference Workshop, Eilat, June 1990, 46–51.
Adding Inheritance to Ada.
Proc. of WADAS '90, 7th.Washington Ada Symposium, June 1990, 241–244.
Functions not Equivalent.
Letter to the Editor. IEEE Software 7, 3 (May 1990) 10.
A Definition of Lines of Code for Ada.
Ada Letters X,2 (1990) 89–94.
Dießl, G.; Schulz, G.; Winkler, J.F.H.:
Object-CHILL: The Road to Object Oriented Programming with CHILL.
Proc. of the 5th CHILL Conference, Rio de Janeiro, March 1990, 118–125.
Tichy, W.F.; Winkler, J.F.H. (eds.):
Proceedings of the 2nd International Workshop on Software Configuration Management.
Software Engineering Notes, 17, 7 (November 1989). (Frontmatter (pdf))
Winkler, J.F.H.; Nievergelt, J.:
Wie soll die Fakultätsfunktion programmiert werden? [How Should the Factorial Function be Implemented?]
Informatik-Spektrum, 12,4 (1989) 220–221. (pdf)
Automatic Documentation of Programs.
Zalewski, J.; Ehrenberger, W. (eds.): Hardware and Software for Real Time Process Control.
North Holland, Amsterdam etc. 1989, 317–329. (pdf)
Proc. of the International Workshop on Software Version and Configuration Control, Grassau 27.–29.01.1988.
B.G. Teubner Stuttgart, 1988, xiii + 466 p. (contents)
Winkler, J.F.H.; Stoffel, C.: Program-Variations-in-the-Small.
Winkler, J.F.H. (ed.): Proc. of the International Workshop on Software Version and Configuration Control.
B.G. Teubner Stuttgart, 1988, 175–196. (pdf)
Lucas, J.; Schmitt, A.; Winkler, J.F.H.:
Ein Werkzeug für die Wartung und automatische Dokumentation modularer Pascal-Programme
[A Tool for Maintenance and Automatic Documentation of Modular Pascal Programs].
2. Kolloquium Software-Entwicklungs-Systeme und -Werkzeuge, Esslingen, 08.–10. September 1987, 7.2-1–7.2-6.
Version Control in Families of Large Programs.
9th International Conference on Software Engineering, 30.03.–02.04.1987, Monterey, 150–161. (pdf at ACM)
Some Improvements of ISO-Pascal.
Horowitz, Ellis (ed.): Programming Languages – A Grand Tour. Computer Science Press, Rockville, 1987, 123–153.
Wehrum, R.P.; Dießl, G.; Hoyer, W.; Winkler, J.F.H.:
Ein Ada-Compiler [An Ada-Compiler].
Schwärtzel, H. (ed.): Informatik in der Praxis. Springer, Berlin etc., 1986, 238–251. (pdf)
The Integration of Version Control into Programming Languages.
Conradi, R.; Didriksen, T.M.; Wanvik, D.H. (eds.): Advanced Programming Environments.
Lecture Notes in Computer Science Vol. 244, Springer, Berlin etc. 1986, 230–250. (pdf)
Die Programmiersprache CHILL, Teil 1, 2 [The Programming Language CHILL, Part 1, 2].
Automatisierungstechnische Praxis 28,5 (1986) 252–258, 28,6 (1986) 290–294. (pdf)
Erfahrungen in der Ada-Ausbildung [Experience in Ada Training].
2. Deutscher Ada-Anwender-Kongreß, Munich, 29.–30.04.1986.
Eine Konfigurationssprache für Ada [A Configuration Language for Ada].
Wippermann, H.-W. (ed.): Software-Architektur und modulare Programmierung. B.G. Teubner, Stuttgart, 1986, 107–122. (pdf)

1981 - 1985 top of page

Ein Vorschlag für eine integrierte Programmierumgebung für CHILL [A Proposal for an Integrated Programming Environment for CHILL].
Kolloquium Software-Entwicklungs-Systeme und -Werkzeuge, Esslingen, 03.–05.09.1985, 14.1-1..14.1-5.
Language Constructs and Library Support for Families of Large Ada Programs.
Workshop on Software Engineering Environments for Programming-in-the-Large. Harwichport, Mass., 9.–12.06.1985, 17–28.
The Realization of Data Abstractions in CHILL.
3rd CHILL Conference, Cambridge, UK, 23.–28.09.1984, 175–181. (pdf)
Mehner, T.; Winkler, J.F.H.:
An Implementation of the new CHILL-IO. 3rd CHILL Conference, Cambridge, UK, 23.–28.09.1984, 195–198. (pdf)
Mehner, T.; Tobiasch, R.; Winkler, J.F.H.:
A Proposal for an Integrated Programming Environment for CHILL. 3rd CHILL Conference, Cambridge, UK, 23.–28.09.1984, 65–71. (pdf)
Some Improvements of ISO-PASCAL. SIGPLAN Notices 19, 7 (1984) 65–78. (pdf)
More on Block-Structure using Ada. Ada Letters III, 6 (1984)48–56. (pdf)
T: Die Programmiersprache Ada [The Programming Language Ada]
Siemens Bildungszentrum Berlin, 1984Jun05.
A New Methodology for I/O and its Application to CHILL. 2nd CHILL Conference, Lisle Ill., 07.–10.03.1983, 217–233.
Ada: die neuen Konzepte [Ada: The New Concepts]. Elektron.Rechenanlagen 24,4 (1982)175–186. (pdf)
Remarks and Questions on ADA. Real-Time Data News No. 5 (March 1982) Associated Paper. (pdf)
Bonet, R.; Kung, A.; Ripken, K.; Yates, R.; Sommer, M.; Winkler, J.:
Top-down syntax diagrams for Ada. SIGPLAN Notices 16,9 (1981)29–41.
Formale Definition der Semantik von Prozeßoperationen [Formal Definition of the Semantics of Process Operations].
Nehmer, J. (ed.): Implementierungssprachen für nichtsequentielle Programmsysteme.
B.G. Teubner, Stuttgart, 1981, 26–36. (pdf)

1971 - 1980 top of page

Eine Theorie der Prozeßoperationen [A Theory of Process Operations].
PhD Dissertation, Univ. of Karlsruhe (now KIT), 1979.
Hochschulverlag, Freiburg, 1980. Hochschulsammlung Naturwissenschaft, Informatik, Bd. 7, 232 p.
Winkler, J.F.H.; Stoffel, C.:
Methode zur Erzeugung angepaßter und übertragbarer Betriebssysteme
[A Method for the Generation of Tailored and Portable Operating Systems].
Schneider, H.J. (ed.): Portable Software. B.G.Teubner, Stuttgart, 1980, 34–47.
Stoffel, C.; Winkler, J.F.H.:
Hilfsmittel zur Beschreibung der Struktur und Funktion von Rechenanlagen
[Aids for the Description of the Structure and Functionality of Computing Systems]
Elektron.Rechenanlagen 21,6(1979)274–287.
Das Prozeßkonzept in Betriebssystemen und Programmiersprachen I, II
[Tasks in Operating Systems and Programming Languages I, II].
Informatik Spektrum 2,4(1979)219–229 (pdf) and 3,1(1980)31–40 (pdf) .
Zum Begriff des Prozesses: am Beispiel PEARL [On the Task Concept: PEARL as an Example].
Elektron.Rechenanlagen 20,6(1978)277–282. (pdf)
Winkler, J.F.H.; Stoffel, C.:
Methode zur Betriebssystemgenerierung und -modularisierung für Prozeßrechensysteme
[A Method for the Generation and Modularization of Operation Systems for Process Control Computers].
Kernforschungszentrum Karlsruhe, KfK-PDV, Report 153, 1978.
Schleifen und strukturierte Programmierung [Loops and Stuctured Programming]
Elektron.Rechenanlagen 18,4(1976)172–179. (pdf)
Versuch einer benutzerorientierten, formalen Beschreibung der Semantik höherer Programmiersprachen
[An Approach to a User-Oriented Formal Specification of the Semantics of High-Level Programming Languages].
Diploma Thesis, University of Karlsruhe (now KIT), 1972.

top of page