Author of the publication

Self-Repairing systems modeling and verification using AGG.

, , , and . WICSA/ECSA, page 181-190. IEEE Computer Society, (2009)

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

From Requirements to code: an Architecture-centric Approach for producing Quality Systems, , , and . CoRR, (2009)Ethical and Social Aspects of Self-Driving Cars., , and . CoRR, (2018)Charmy: A Framework for Designing and Validating Architectural Specifications, , , and . Ercim News n.58, (2004)Magazine..Wiley Encyclopedia of Computer Science and Engineering 6th Edition, , and . 3, chapter Model Checking, page 1904-1920. Benjamin W. Wah, NEW YORK – USA, (2009)Automatic generation of detailed flight plans from high-level mission descriptions., , , and . MoDELS, page 45-55. ACM, (2016)Report of the 1st International Workshop on Context-aware Autonomous and Smart Architectures (CASA@ECSA 2017)., , , , , , and . ACM SIGSOFT Softw. Eng. Notes, 43 (4): 24-27 (2018)Reducing Software Architecture Models Complexity: A Slicing and Abstraction Approach., , , and . FORTE, volume 4229 of Lecture Notes in Computer Science, page 243-258. Springer, (2006)Reference architectures modelling and compliance checking., , , , and . Softw. Syst. Model., 22 (3): 891-917 (2023)Self-Adaptation in Industry: A Survey., , , , , , , , , and 6 other author(s). CoRR, (2022)Modelling centralised automotive E/E software architectures., , and . Adv. Eng. Informatics, (2024)