Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Nadezhda Baklanova"'
Autor:
Nadezhda Baklanova, Jon Haël Brenas, Amani Makhlouf, Christian Percebois, Martin Strecker, Hanh Nhi Tran
Publikováno v:
Proceedings of GCM 2016
International Workshop Graph Computation Models, Part of STAF 2016 (GCM 2016)
International Workshop Graph Computation Models, Part of STAF 2016 (GCM 2016), Jul 2016, Vienna, Austria. pp.1-15
HAL
International Workshop Graph Computation Models, Part of STAF 2016 (GCM 2016)
International Workshop Graph Computation Models, Part of STAF 2016 (GCM 2016), Jul 2016, Vienna, Austria. pp.1-15
HAL
International audience; This paper gives an overview of small-tALCQe, an experi-mental programming environment for a graph transformation languagethat is based on the ALCQ description logic. small-tALCQe not onlyallows developers coding and executing
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0fb7d9a1ed2ad6e17487c6aed972f598
https://hal.archives-ouvertes.fr/hal-02879713/file/balklanova_26151.pdf
https://hal.archives-ouvertes.fr/hal-02879713/file/balklanova_26151.pdf
Publikováno v:
Information and Communication Technologies in Education, Research, and Industrial Applications-11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers
11th International Conference onICT in Education, Research, and Industrial Applications (ICTERI 2015)
11th International Conference onICT in Education, Research, and Industrial Applications (ICTERI 2015), May 2015, Lviv, Ukraine. pp.109-123, ⟨10.1007/978-3-319-30246-1_7⟩
Information and Communication Technologies in Education, Research, and Industrial Applications ISBN: 9783319302454
ICTERI
11th International Conference onICT in Education, Research, and Industrial Applications (ICTERI 2015)
11th International Conference onICT in Education, Research, and Industrial Applications (ICTERI 2015), May 2015, Lviv, Ukraine. pp.109-123, ⟨10.1007/978-3-319-30246-1_7⟩
Information and Communication Technologies in Education, Research, and Industrial Applications ISBN: 9783319302454
ICTERI
International audience; There is an apparent similarity between the descriptions of small-step operational semantics of imperative programs and the semantics of finite automata, so defining an abstraction mapping from semantics to automata and provin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9d5d842b7fe9dbaf6d421e48e4e0c266
http://arxiv.org/abs/1409.7841
http://arxiv.org/abs/1409.7841
Autor:
Martin Strecker, Nadezhda Baklanova
Publikováno v:
8th International Conference on ICT in Education, Research, and Industrial Applications (ICTERI 2013)
8th International Conference on Information in Education, Research, and Industrial Applications (ICTERI 2012)
8th International Conference on Information in Education, Research, and Industrial Applications (ICTERI 2012), Jun 2012, Kherson, Ukraine. pp.1-18
ICT in Education, Research, and Industrial Applications ISBN: 9783642357367
ICTERI
HAL
8th International Conference on Information in Education, Research, and Industrial Applications (ICTERI 2012)
8th International Conference on Information in Education, Research, and Industrial Applications (ICTERI 2012), Jun 2012, Kherson, Ukraine. pp.1-18
ICT in Education, Research, and Industrial Applications ISBN: 9783642357367
ICTERI
HAL
International audience; We present a tool for analysing resource sharing conflicts in multithreaded Java programs. Java programs are translated to timed automata models verified afterwards by the Uppaal model checker. Analysed programs are annotated
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6dbbf37199e5896dbaf73679901b7f85
https://oatao.univ-toulouse.fr/12408/
https://oatao.univ-toulouse.fr/12408/