Direkt zum InhaltDirekt zur SucheDirekt zur Navigation
▼ Zielgruppen ▼

Humboldt-Universität zu Berlin - Faculty of Mathematics and Natural Sciences - Department of Computer Science

Theory of Programming

Prof. Dr. Wolfgang Reisig

 

Welcome to the research group Theory of Programming at Humboldt-Universität zu Berlin.

 

News

  1. October 1 – November 30, 2019: Prof. Reisig visits the University of Melbourne, hosted by Prof. Marcello la Rosa, as well as the Royal Melbourne Institute for Technology (RMIT), hosted by Prof. Heinz Schmidt
  2. Prof. Reisig ist a member of the program committees of the Conferences Modelsward 2019, FSEN 2019, Service Computation 2019, ICSOC 2019, PSI 29, BPM 2019, WESOACS’19, Modelsward 20, Service Computation 2020, MOD2020.

  3. Invited Talks:

  •  118th Japan National Informatics Institute Meeting, on "Modelling and Analysing Resilient Cyber-Physical Systems" Shonan, Japan, 2018

  •  German Informatics Society, GI, „40 years EMISA“: Komposition von Komponenten: Der Schlüssel zur Konstruktion großer Systeme Tutzing, May 16, 2019

  •  13th Summer School on Service-Oriented Computing: Conceptual Foundations of Service Orientation Hersonissos, Crete, June 19 2019

  •  ATAED Workshop: How to analyze BIG systems? Aachen, June 25 2019

  •  13th ACM International Conference on Distributed and Event-Based Systems: Conceptual Modeling of Event-Based Sytems Darmstadt Germany, June 26, 2019

  1. Publications 2019:

  •  W. Reisig: Associative composition of components with double-sided interfaces. Acta Informartica 56 (3) S. 229-253 (2019)

  •  Amel Bennacewur et al: Modelling and analyzing resilient cyber-physical systems. 14th SEAMS@ICSE 2019: Montreal, QC, Canada ACM, pp. 70 – 77

  •  Wolfgang Reisig: Composition: A Fresh Look at an Old Topic. In: Models, Mindsets, Meta LNCS 11200 pp 372-389 (2019)

  •  Wolfgang Reisig, Grzegorz Rozenberg (eds.): Carl Adam Petri: Ideas, Personality, Impact. Springer 2019

  •  Wolfgang Reisig,  Stefan Strecker: Carl Adam Petri und die Geschichte der Informatik - Gespräch mit Wolfgang Reisig. Podcast 2019