Forschungsprojekt
SHIP - Semantic Integration of Heterogenous Processes
SHIP aims at utilizing, extending, and adapting semantic modelling, analysis and verification technologies to design, simulate, implement and adapt reliable distributed heterogeneous processes.
Kontakt
Ansprechpartner:
Prof. Dr. Dieter Hutter
Projektleitung:
Prof. Dr. Dieter Hutter
Beteiligte Forschungsbereiche
Publikationen
- 2012
- David Aspinall; Ewen Denney; Christoph Lüth
Querying Proofs.
In: 18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-18). International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-18), 18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, March 10-15, Merida, Venezuela, Pages 92-106, Lecture Notes in Computer Science (LNCS), Vol. 7180, Springer Verlag, Berlin Heidelberg, 2012. - Serge Autexier; Dominik Dietrich; Marvin Schiller
Towards an Intelligent Tutor for Mathematical Proofs.
In: Pedro Quaresma; Ralph-Johan Back (Hrsg.). Electronic Proceedings in Theoretical Computer Science (EPTCS), Vol. 79, Pages 1-28, ArXiv, 2/2012. - Serge Autexier; Dominik Dietrich; Dieter Hutter; Christoph Lüth; Christian Maeder
SmartTies - Management of Safety-Critical Developments.
In: Tiziana Margaria; Bernhard Steffen (Hrsg.). Proceedings 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLa'12). International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA-12), 5th, October 15-18, Amirandes, Heraclion, Crete, Greece, Lecture Notes in Computer Science (LNCS), Springer, 10/2012.
- 2011
- Sergey Goncharov; Lutz Schröder
Powermonads and Tensors of Unranked Effects.
In: Martin Grohe (Hrsg.). Proceedings of the 26th Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE. IEEE Symposium on Logic in Computer Science (LICS-2011), June 21-24, Toronto, Ontario, Canada, IEEE Computer Society, 2011. - Serge Autexier; Catalin David; Dominik Dietrich; Michael Kohlhase; Vyacheslav Zholudev
Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics .
In: James H. Davenport; William Farmer; Florian Rabe; Joseph Urban (Hrsg.). Proceedings of Calculemus/MKM 2011. Conferences on Intelligent Computer Mathematics (CICM-11), 10th International Conference on Mathematical Knowledge Management , located at Conference on Intelligent Computer Mathematics, July 18-23, Bertonori, Italy, Pages 164-179, LNAI, No. 6824, Springer-Verlag, Berlin Heidelberg, 7/2011. - Serge Autexier; Dominik Dietrich; Marvin Schiller
Cognitive Tutoring in Mathematics based on Assertion Level Reasoning and Proof Strategies (Extended Abstract).
In: Pedro Quaresma; Ralph-Johan Back (Hrsg.). THedu'11, Workshop associated to CADE-23. THedu - CTP Components for Educational Software (ThEdu-11), located at Conference on Automated Deduction, July 31, Wroclaw, Poland, Pages 11-15, CISUC Technical Report, No. 2011/001, University of Coimbra, Portugal, 7/2011.