Schnelleinstieg Reader

Home|Suche|Sitemap|Webmail

Startseite FSU

Dr. rer. nat. Thomas Heinze S.



Büro:

Zi. 3245
Ernst-Abbe-Platz 2

Telefon: 03641 9-46334
Fax:

03641 9-46302

E-Mail:

e_mail

Anschrift:

Friedrich-Schiller-Universität Jena
Fakultät für Mathematik und Informatik
Institut für Informatik
Lehrstuhl für Softwaretechnik

Ernst-Abbe-Platz 2
D-07743 Jena
Germany

Übersicht


Lehrveranstaltungen im aktuellen Semester

Projekte

Veröffentlichungen und Berichte

Buchveröffentlichung

  • Thomas S. Heinze, Thomas M. Prinz:
    Proceedings of the 7th Central European Workshop on Services and their Composition
    ZEUS 2015, Jena, Germany, February 19-20, 2015. CEUR Workshop Proceedings 1360, CEUR-WS.org 2015.

Konferenzen, Workshops

  • Heinze Thomas S., Møller Anders, Strocco Fabio:
    Type Safety Analysis for Dart
    In: Ierusalimschy, Roberto (Hrsg.): Proceedings of the 12th Symposium on Dynamic Languages, DLS'16, November 1, Amsterdam, Netherlands, ACM Press, S. 1-12, 2016.
  • Heinze Thomas S., Amme, Wolfram:
    SparseAnalysis of Variable Path Predicates Based upon SSA-Form
    In:Margaria, Tiziana ; Steffen, Bernhard (Hrsg.): Leveraging Applications of Formal Methods, Verification and Validation, Foundational Techniques, 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I, Springer-Verlag, (Lecture Notes in Computer Science 9952), S. 227-242, 2016.
  • Thomas S. Heinze, Wolfram Amme:
    Sparse Analysis of Variable Path Predicates Based Upon SSA-Form
    Technical Report, Faculty of Mathematics and Computer Science, Friedrich Schiller University Jena, 2016. (PDF)
  • Thomas M. Prinz, Thomas S. Heinze, Wolfram Amme, Johannes Kretzschmar, Clemens Beckstein:
    Towards a Compiler for Business Processes - A Research Agenda
    In: de Barros, Marcelo; Rückemann, Claus-Peter (Ed.): SERVICE COMPUTATION 2015, The Seventh International Conferences on Advanced Service Computing, Nice, France, March 22 - 27, IARIA XPS Press, pp. 49-55, 2015.
  • Thomas S. Heinze, Wolfram Amme, Simon Moser:
    Compiling More Precise Petri Net Models for an Improved Verification of Service Implementations

    7th IEEE International Conference on Service-Oriented Computing and Applications, SOCA 2014,
    pp. 25-32, 2014.
  • Thomas S. Heinze, Wolfram Amme, Simon Moser:
    Message Assertions and Predicate-Basd Control-Flow Unfolding Revisited
    ZEUS 17-20, 2014.
  • Thomas Heinze, Wolfram Amme, Simon Moser:
    Control flow Unfolding of Workflow Graphs Using Predicate Analysis and SMT Solving
    CEUR Workshop Proceedings 1029, Rostock, ZEUS 2013, S. 1-8, 2013
  • Thomas S. Heinze, Wolfram Amme, Simon Moser, Kai Gebhardt:
    Guided Control Flow Unfolding for Workflow Graphs Using Value Range Information.
    ZEUS 2012, pp. 128-135.
  • Thomas S. Heinze, Wolfram Amme, Simon Moser:
    Process Restructuring in the Presence of Message-Dependent Variables

    In: Michael E. Maximilien, Gustavo Rossi, Soe-Tsyr Yuan, Heiko Ludwig, Marcelo Fantinato (eds.): Service-Oriented Computing, ICSOC 2010 International Workshops PAASC, WESOA, SEE, and SOC-LOG, San Francisco, CA, USA, December 7-10, 2010, Revised Selected Papers, vol. 6568 of Lecture Notes in Computer Science, pp. 121-132, Springer-Verlag, 2011. http://dx.doi.org/10.1007/978-3-642-19394-1_13
  • Thomas S. Heinze, Wolfram Amme, Simon Moser:
    Effiziente Abschätzung von Datenflussfehlern in strukturierten Geschäftsprozessen
    Proceedings of the 3rd Central-European Workshop on Services and their Composition, ZEUS 2011, Karlsruhe, Germany, pp. 73-80, February 2011. (PDF)
  • Thomas Heinze, Wolfram Amme, Simon Moser:
    Verbesserung der Modellbildung und Analyse verteilter Geschäftsprozesse durch Prozessumstrukturierung
    Tagungsband des 15. Kolloquiums über Programmiersprachen und Grundlagen der Programmierung, KPS 2009, Maria Taferl, Austria, pp. 95-103, Oktober 2009.
  • Thomas Heinze, Wolfram Amme, Simon Moser:
    Prozessumstrukturierung unter Berücksichtigung von Nachrichteninhalten
    Proceedings of the 2nd Central-European Workshop on Service and their Composition, ZEUS 2010, Berlin, Germany, pp. 89-96, February 2010. (PDF)
  • Thomas S. Heinze, Wolfram Amme, Simon Moser:
    A Restructuring Method for WS-BPEL Business Processes Based on Extended Workflow Graphs
    In: Umeshwar Dayal, Johann Eder, Jana Koehler, Hajo A. Reijers (eds.): Proceedings of the 7th International Conference on Business Process Management (BPM 2009), September 8-10, 2009, Ulm, Germany, vol. 5701 of Lecture Notes in Computer Science, pp. 211-228, Springer-Verlag, 2009. http://dx.doi.org/10.1007/978-3-642-03848-8_15
  • Thomas Heinze, Wolfram Amme, S. Moser:
    Umstrukturierung von WS-BPEL-Prozessen zur Verbesserung des Validierungsverhaltens

    Proceedings of the 1st Central-European Workshop on Services and their Composition, ZEUS, Stuttgart, Germany, pp. 88-94, March 2009. (PDF)
  • Thomas Heinze, Wolfram Amme, Simon Moser:
    Generic CSSA-Based Pattern over Boolean Data for an Improved WS-BPEL to Petri Net Mapping
    Proceedings of the Third International Conference on Internet and Web Applications and Services (ICIW 2008), June 8-13, Athens, Greece, 2008. http://doi.ieeecomputersociety.org/10.1109/ICIW.2008.14
  • Wolfram Amme, Thomas Heinze, Jeffery von Ronne:
    Intermediate Representations of Mobile Code
    INFORMATICA, The International Journal of Computing and Informatics, Vol.32, SSI, Slovenia, pp. 1-25, 2008. (PDF)


Technische Berichte

  • Thomas S. Heinze, Wolfram Amme:
    Sparse Analysis of Variable Path Predicates Based Upon SSA-Form
    Technical Report, Faculty of Mathematics and Computer Science, Friedrich Schiller University Jena, 2016. (PDF)