Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems.

U. Fahrenberg, K. Larsen, A. Legay, and C. Thrane. Engineering Dependable Software Systems, volume 34 of NATO Science for Peace and Security Series, D: Information and Communication Security, IOS Press, (2013)

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. Axel Forslund University of Stuttgart

Dr. phil. Axel Pichler University of Stuttgart

Axel Steffens University of Stuttgart

Axel Körner University of Stuttgart

apl. Prof. Dr. Axel Kuhn University of Stuttgart

Other publications of authors with the same name

µ-calculus Pushdown Module Checking with Imperfect State Information.B. Aminof, A. Legay, A. Murano, and O. Serre. IFIP TCS, volume 273 of IFIP, page 333-348. Springer, (2008)On simulation-based probabilistic model checking of mixed-analog circuits.E. Clarke, A. Donzé, and A. Legay. Formal Methods in System Design, 36 (2): 97-113 (2010)Simulation + Hypothesis Testing for Model Checking of Probabilistic Systems.A. Legay, and M. Viswanathan. QEST, page 3. IEEE Computer Society, (2009)A framework for the rigorous design of highly adaptive timed systems.M. Cordy, A. Legay, P. Schobbens, and L. Traonouez. FormaliSE@ICSE, page 64-70. IEEE Computer Society, (2013)Incremental Invariant Generation for Compositional Design.S. Bensalem, A. Legay, T. Nguyen, J. Sifakis, and R. Yan. TASE, page 157-167. IEEE Computer Society, (2010)A modal specification theory for components with data.S. Bauer, K. Larsen, A. Legay, U. Nyman, and A. Wasowski. Sci. Comput. Program., (2014)Formal semantics, modular specification, and symbolic verification of product-line behaviour.A. Classen, M. Cordy, P. Heymans, A. Legay, and P. Schobbens. Sci. Comput. Program., (2014)Extending modal transition systems with structured labels.S. Bauer, L. Juhl, K. Larsen, A. Legay, and J. Srba. Mathematical Structures in Computer Science, 22 (4): 581-617 (2012)Constraint Markov Chains.B. Caillaud, B. Delahaye, K. Larsen, A. Legay, M. Pedersen, and A. Wasowski. Theor. Comput. Sci., 412 (34): 4373-4404 (2011)Hardness of preorder checking for basic formalisms.L. Bozzelli, A. Legay, and S. Pinchinat. Theor. Comput. Sci., 412 (49): 6795-6808 (2011)