Überblick

Zentrales Forschungsthema sind verschiedene Aspekte der Softwaretechnik und des Compilerbaus, insbesondere Requirements-Engineering-Methoden, -Formalismen und -Tools, Constraint-Programmierung, Model Driven Development, experimentelles Software-Engineering, formale Methoden in der Softwareentwicklung, sowie die Entwicklung innovativer Softwarewerkzeuge.

Aktuelles

Prof. Dr. Thom Frühwirth ist Mitglied im Programmkomitee der Opens external link in new window32nd International Conference on Logic Programming (ICLP 2016), New York City, 17-21. Oktober 2016.
Neue Veröffentlichung: Sinem Getir, Lars Grunske und Matthias Tichy. ENSURE: Ensurance of Software Evolution by Run-time Certification - Description of Selected Project Results . In Opens external link in new windowModellbasierte Entwicklung Eingebetteter Systeme (MBEES2016). Schloss Dagstuhl, 30. März - 1. April 2016.
Neue Veröffentlichung: Grischa Liebel, Nadja Marko, Matthias Tichy, Andrea Leitner und Jörgen Hansson. Model-Based Engineering in the Embedded Systems Domain - An Industrial Survey on the State-of-Practice. In Opens external link in new windowJournal of Software and Systems Modeling, Springer.
Neue Veröffentlichung: Michael Stegmaier, Marcel Dausend, Alexander Raschke, und Matthias Tichy. A Universal Control Construct for Abstract State Machines . In Opens external link in new window5th International ABZ Conference (ABZ 2016). Linz, Österreich, 23-27. Mai 2016.
Neue Veröffentlichung: Paolo Arcaini, Silvia Bonfanti, Marcel Dausend, Angelo Gargantini, Atif Mashkoor, Alexander Raschke, Elvinia Riccobene, Patrizia Scandurra und Michael Stegmaier. Unified Syntax for Abstract State Machines . In Opens external link in new window5th International ABZ Conference (ABZ 2016). Linz, Österreich, 23-27. Mai 2016.
Neue Veröffentlichung: Alexander Nassal und Matthias Tichy. Modeling Human Behavior for Software Engineering Simulation Games. In Opens external link in new windowFifth International Workshop on Games and Software Engineering (GAS 2016). Texas, 16. Mai 2016.
Die Deutsche Forschungsgemeinschaft (DFG) fördert das Projekt "ENsurance of Software evolUtion by Run-time cErtification" (Prof. Tichy, Universität Ulm, und Prof. Grunske, HU-Berlin) für die Jahre 2016-2018. Fördersumme Universität Ulm: 280.000 EUR. Das Projekt ist Teil des DFG-Schwerpunktprogramms "Design for Future - Managed Software Evolution".
Prof. Dr. Matthias Tichy ist Mitglied im Programmkomitee des Opens external link in new windowFirst International Workshop on Emerging Trends in DevOps and Infrastructure. Edinburgh, 24. Mai 2016.
Prof. Dr. Matthias Tichy ist Mitglied im Programmkomitee der Opens external link in new windowThe International Workshop on Models@run.time for Self-aware Computing Systems. Würzburg, 18. Juli 2016.
Prof. Dr. Matthias Tichy ist Co-Organisator des Opens external link in new windowInternational Workshop on Continuous Software Evolution and Delivery (CSED). ICSE, Austin, US. 14-15. Mai 2016.
Prof. Dr. Matthias Tichy ist Web-Chair der Opens external link in new window10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2016). Augsburg, 12-16. September 2016.
Neue Veröffentlichung: Darko Durisic, Miroslaw Staron, Matthias Tichy, und Jörgen Hansson. Addressing the Need for Strict Meta-Modeling in Practice - A Case Study of AUTOSAR. In Opens external link in new window4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2016). Rom, 19-21. Februar 2016.
Neue Veröffentlichung: Tobias Weck und Matthias Tichy. Visualizing Data-Flows in Functional Programs. In Opens external link in new window23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2016). Osaka, 14-18. März 2016.
Neue Veröffentlichung: Birgit Vogel-Heuser, Alexander Fay, Ina Schaefer, und Matthias Tichy. Evolution of Software in Automated Production Systems: Challenges and Research Directions. In Opens external link in new windowSE 2016, Wien, 23-26. Februar 2016
Prof. Dr. Thom Frühwirth ist Track Chair "Constraint Handling Rules" und Mitglied im Programmkommitee der Opens external link in new window10th International Web Rule Symposium - RuleML 2016, New York, Juli 2016.
Prof. Dr. Thom Frühwirth ist Mitglied im Programmkommitee der Opens external link in new window8th International Symposium on Practical Aspects of Declarative Languages - PADL 2016, St. Petersburg Florida, Januar 2016.
Prof. Dr. Thom Frühwirth ist ein externer Partner des Projektes Opens external link in new window Automatic Support for Proving Confluence Modulo Equivalence for Constraint Handling Rules, 2016.
Prof. Dr. Matthias Tichy ist Mitglied im Programmkommitee des Opens external link in new window Symposium on Software Engineering Technology and Application (SETA), Atlanta, Georgia, USA, 10-14. Juni 2016.
Prof. Dr. Matthias Tichy ist Mitglied im Programmkommitee der Opens external link in new window4th International Workshop on "Self-optimisation in Autonomic and Organic Computing Systems (SAOS16), Nürnberg, 4-7. April 2016.
Prof. Dr. Matthias Tichy ist Mitglied im Programmkommitee der Opens external link in new window9th International Conference on Graph Transformation, Wien, 5-6. Juli 2016.

Kontakt

  • Institut für Programmiermethodik und Compilerbau
  • Universität Ulm
  • D-89069 Ulm
  • Telefon: +49 (0)731/50-24161
  • Telefax: +49 (0)731/50-24162
  • Raum: o27-419