Forschungsprojekt
OMoC - Ontology-Driven Management of Change
Kontakt
Ansprechpartner:
Prof. Dr. Dieter Hutter
Projektleitung:
Prof. Dr. Dieter Hutter
Beteiligte Forschungsbereiche
Publikationen
- 2010
- Serge Autexier; Normen Müller
Semantics-Based Change Impact Analysis for Heterogeneous Collections of Documents.
In: Michael Gormish; Rolf Ingold (Hrsg.). Proceedings of 10th ACM Symposium on Document Engineering. ACM Symposium on Document Engineering (DocEng-10), September 21-24, Manchester, United Kingdom, ACM, 9/2010. - Serge Autexier; Christoph Lüth
Adding Change Impact Analysis to the Formal Verification of C Programs.
In: Dominique Méry; Stephan Merz (Hrsg.). Proceedings 8th International Conference on Integrated Formal Methods. International Conference on Integrated Formal Methods (IFM-10), October 11-14, Nancy, France, LNCS, Springer, 10/2010.
- 2008
- Serge Autexier; Christoph Benzmüller; Dominik Dietrich; Marc Wagner
Organisation, Transformation, and Propagation of Mathematical Knowledge in OMEGA.
In: Mathematics in Computer Science, Special Issue on Mathematical Knowledge Management. Vol. Online First, Pages o.A-o.A. Birkhäuser, 2008. - Serge Autexier; John Campbell; Julio Rubio; Volker Sorge; Masakazu Suzuki; Freek Wiedijk (Hrsg.)
Intelligent Computer Mathematics. Proceedings of the 9th International Conference (AISC-2008), 15th Symposium (Calculemus-2008), 7th International Conference (MKM-2008).
Intelligent Computer Mathematics. 9th International Conference (AISC-2008), 15th Symposium (Calculemus-2008), 7th International Conference (MKM-2008) (MKM-08), located at Conferences on Intelligent Computer Mathematics, CICM'08, July 28 - August 1, Birmingham, United Kingdom, Lecture Notes in Computer Science/ Lecture Notes in Artificial Intelligence (LNCS/ LNAI), Vol. 5144, ISBN 978-3-540-85109-7, Springer, Berlin, Heidelberg, 2008. - Serge Autexier; Heiko Mantel; Stephan Merz; Tobias Nipkow (Hrsg.)
Special Issue on Formal Modeling and Verification of Critical Systems.
Journal of Automated Reasoning, Vol. 41, No. 3-4, Springer Netherlands, 12/2008.