Author of the publication

Towards Hybrid Reasoning for Verifying and Validating Multilevel Models.

, , , and . EKAW, volume 6317 of Lecture Notes in Computer Science, page 411-420. Springer, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

An Ontology-based Approach for Enabling Linked Data Capabilities to MOF Compliant Models., , and . ICEIS (2), page 126-131. SciTePress, (2012)Change-a-LOD: Does the Schema on the Linked Data Cloud Change or Not?, , , and . COLD, volume 1034 of CEUR Workshop Proceedings, CEUR-WS.org, (2013)Validation of Families of Business Processes., , , , , , , and . CAiSE, volume 6741 of Lecture Notes in Computer Science, page 551-565. Springer, (2011)Ranking RDF with Provenance via Preference Aggregation., , , and . EKAW, volume 7603 of Lecture Notes in Computer Science, page 154-163. Springer, (2012)Modelling and Reasoning in Metamodelling Enabled Ontologies., , and . KSEM, volume 6291 of Lecture Notes in Computer Science, page 51-62. Springer, (2010)Modeling and query pattern for process retrieval in OWL., and . K-CAP, page 189-190. ACM, (2009)Goal-oriented modeling and verification of feature-oriented product lines., , , and . Software and Systems Modeling, 15 (1): 257-279 (2016)Towards a Marketplace of Open Source Software Data., , , and . HICSS, page 3651-3660. IEEE Computer Society, (2015)From Changes to Dynamics: Dynamics Analysis of Linked Open Data Sources., , , and . PROFILES@ESWC, volume 1151 of CEUR Workshop Proceedings, CEUR-WS.org, (2014)Towards Hybrid Reasoning for Verifying and Validating Multilevel Models., , , and . EKAW, volume 6317 of Lecture Notes in Computer Science, page 411-420. Springer, (2010)