Author of the publication

Non-intrusive Repair of Safety and Liveness Violations in Reactive Programs.

, , , and . Trans. Computational Collective Intelligence, (2014)

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

Model-checking behavioral programs., , , and . EMSOFT, page 279-288. ACM, (2011)A decentralized approach for programming interactive applications with JavaScript and blockly., , and . AGERE!@SPLASH, page 59-70. ACM, (2012)Towards Automated Defect Analysis Using Execution Traces of Scenario-Based Models., , , and . MODELSWARD (Revised Selected Papers), volume 991 of Communications in Computer and Information Science, page 335-354. Springer, (2018)Distributing Scenario-based Models: A Replicate-and-Project Approach., , , , , and . MODELSWARD, page 182-195. SciTePress, (2017)Towards Integration of Context-Based and Scenario-Based Development., , , and . STAF Workshops, volume 10748 of Lecture Notes in Computer Science, page 225-231. Springer, (2017)First Steps Towards a Wise Development Environment for Behavioral Models., , , and . Int. J. Inf. Syst. Model. Des., 7 (3): 1-22 (2016)Wise Computing: Toward Endowing System Development with Proactive Wisdom., , , and . Computer, 51 (2): 14-26 (2018)Expecting the unexpected: developing autonomous-system design principles for reacting to unpredicted events and conditions., , , and . SEAMS@ICSE, page 167-173. ACM, (2020)Toward Scenario-Based Algorithmics., and . Adventures Between Lower Bounds and Higher Altitudes, volume 11011 of Lecture Notes in Computer Science, page 549-567. Springer, (2018)Learning String Patterns and Tree Patterns from Examples., , and . ML, page 384-391. Morgan Kaufmann, (1990)