PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Legay, Axel"

Author of the publication

copydeleteadd this publication to your clipboard
Contract-Based Requirement Modularization via Synthesis of Correct Decompositions.

, , , and . ACM Trans. Embedded Comput. Syst., 15 (2): 33:1-33:26 (2016)

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.

Dr. phil. Axel Pichler University of Stuttgart

Vorwort. (2017)
Vorwort. (2017)Exposé. Textologie: Theorie und Praxis eines neuen Ansatzes interdisziplinärer Textforschung., (2019)

Axel Körner University of Stuttgart

FlectoSol : A pneumatically activable PV-functionalized façade shading module with bending motion in two directions for solar tracking, , , , , and . Developments in the built environment, 18 (April): 100372 (2024)

Dr. Axel Forslund University of Stuttgart

Axel Steffens University of Stuttgart

Apl. Prof. Dr. Axel Kuhn University of Stuttgart

 

Other publications of authors with the same name

On simulation-based probabilistic model checking of mixed-analog circuits., , and . Formal Methods in System Design, 36 (2): 97-113 (2010)Formal semantics, modular specification, and symbolic verification of product-line behaviour., , , , and . Sci. Comput. Program., (2014)A modal specification theory for components with data., , , , and . Sci. Comput. Program., (2014)Extending modal transition systems with structured labels., , , , and . Mathematical Structures in Computer Science, 22 (4): 581-617 (2012)Rigorous embedded design: challenges and perspectives., , and . STTT, 15 (3): 149-154 (2013)µ-calculus Pushdown Module Checking with Imperfect State Information., , , and . IFIP TCS, volume 273 of IFIP, page 333-348. Springer, (2008)Simulation + Hypothesis Testing for Model Checking of Probabilistic Systems., and . QEST, page 3. IEEE Computer Society, (2009)A framework for the rigorous design of highly adaptive timed systems., , , and . FormaliSE@ICSE, page 64-70. IEEE Computer Society, (2013)Incremental Invariant Generation for Compositional Design., , , , and . TASE, page 157-167. IEEE Computer Society, (2010)Hardness of preorder checking for basic formalisms., , and . Theor. Comput. Sci., 412 (49): 6795-6808 (2011)