Published in: LIPIcs, Volume 139, 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019)
Mihai Codescu. Hybridisation of Institutions in HETS (Tool Paper). In 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 139, pp. 17:1-17:10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{codescu:LIPIcs.CALCO.2019.17, author = {Codescu, Mihai}, title = {{Hybridisation of Institutions in HETS}}, booktitle = {8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019)}, pages = {17:1--17:10}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-120-7}, ISSN = {1868-8969}, year = {2019}, volume = {139}, editor = {Roggenbach, Markus and Sokolova, Ana}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2019.17}, URN = {urn:nbn:de:0030-drops-114451}, doi = {10.4230/LIPIcs.CALCO.2019.17}, annote = {Keywords: hybrid logics, formal verification, institutions, reconfigurable systems} }
Published in: LIPIcs, Volume 72, 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017)
Alexander Knapp and Till Mossakowski. UML Interactions Meet State Machines - An Institutional Approach. In 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 72, pp. 15:1-15:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{knapp_et_al:LIPIcs.CALCO.2017.15, author = {Knapp, Alexander and Mossakowski, Till}, title = {{UML Interactions Meet State Machines - An Institutional Approach}}, booktitle = {7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017)}, pages = {15:1--15:15}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-033-0}, ISSN = {1868-8969}, year = {2017}, volume = {72}, editor = {Bonchi, Filippo and K\"{o}nig, Barbara}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2017.15}, URN = {urn:nbn:de:0030-drops-80346}, doi = {10.4230/LIPIcs.CALCO.2017.15}, annote = {Keywords: UML, state machines, interactions, composite structure diagrams, institutions, multi-view consistency} }
Published in: Dagstuhl Seminar Proceedings, Volume 5491, Spatial Cognition: Specialization and Integration (2007)
Stefan Wölfl, Till Mossakowski, and Lutz Schröder. Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables. In Spatial Cognition: Specialization and Integration. Dagstuhl Seminar Proceedings, Volume 5491, pp. 1-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{wolfl_et_al:DagSemProc.05491.9, author = {W\"{o}lfl, Stefan and Mossakowski, Till and Schr\"{o}der, Lutz}, title = {{Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables}}, booktitle = {Spatial Cognition: Specialization and Integration}, pages = {1--12}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {5491}, editor = {Anthony G. Cohn and Christian Freksa and Bernhard Nebel}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05491.9}, URN = {urn:nbn:de:0030-drops-9798}, doi = {10.4230/DagSemProc.05491.9}, annote = {Keywords: Knowledge representation and reasoning, geometric and spatial reasoning, qualitative reasoning, automated versus interaction proving, heterogeneous} }
Published in: Dagstuhl Seminar Proceedings, Volume 4391, Semantic Interoperability and Integration (2005)
Till Mossakowski. Heterogeneous Theories and the Heterogeneous Tool Set. In Semantic Interoperability and Integration. Dagstuhl Seminar Proceedings, Volume 4391, pp. 1-9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{mossakowski:DagSemProc.04391.7, author = {Mossakowski, Till}, title = {{Heterogeneous Theories and the Heterogeneous Tool Set}}, booktitle = {Semantic Interoperability and Integration}, pages = {1--9}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4391}, editor = {Y. Kalfoglou and M. Schorlemmer and A. Sheth and S. Staab and M. Uschold}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.04391.7}, URN = {urn:nbn:de:0030-drops-437}, doi = {10.4230/DagSemProc.04391.7}, annote = {Keywords: Heterogeneity , logic , theory mediation , tool integration} }
Feedback for Dagstuhl Publishing