( en | de | ru )

 

Disambiguation of "Legay, Axel"

Author of the publication

copydeleteadd this publication to your clipboard
A Modal Specification Theory for Components with Data.

, , , , and . FACS, volume 7253 of Lecture Notes in Computer Science, page 61-78. Springer, (2011)

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.

Sylvain Legay

Jürgen Axel

Bertil Axelson

Erik Axell

Katrin Axel-Tober

 

Other publications of authors with the same name

Search-based Similarity-driven Behavioural SPL Testing., , , , and . VaMoS, page 89-96. ACM, (2016)Homotopy Bisimilarity for Higher-Dimensional Automata., and . CoRR, (2014)Towards statistical prioritization for software product lines testing., , , , , and . VaMoS, page 10:1-10:7. ACM, (2014)Modal interfaces: unifying interface automata and modal specifications., , , , , and . EMSOFT, page 87-96. ACM, (2009)Sequential Relational Decomposition., , , and . CoRR, (2019)PyEcdar: Towards Open Source Implementation for Timed Systems., and . ATVA, volume 8172 of Lecture Notes in Computer Science, page 460-463. Springer, (2013)A Tag Contract Framework for Heterogeneous Systems., , , and . ESOCC Workshops, volume 393 of Communications in Computer and Information Science, page 204-217. Springer, (2013)Towards sampling and simulation-based analysis of featured weighted automata., , , and . FormaliSE@ICSE, page 61-64. IEEE / ACM, (2019)Efficient customisable dynamic motion planning for assistive robots in complex human environments., , , , and . J. Ambient Intell. Smart Environ., 7 (5): 617-634 (2015)Generalized abstraction-refinement for game-based CTL lifted model checking., , and . Theor. Comput. Sci., (2020)