Cited By
View all- Amram GMa'ayan DMaoz SPistiner ORingert J(2023)Triggers for Reactive Synthesis Specifications2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)10.1109/ICSE48619.2023.00070(729-741)Online publication date: May-2023
- Wiecher CGreenyer JKorte JPretschner AVoss SBurgueño L(2019)Test-driven scenario specification of automotive software componentsProceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems Companion10.1109/MODELS-C.2019.00009(12-17)Online publication date: 15-Sep-2019
- Amram GMaoz SPistiner O(2019)GR(1)*: GR(1) Specifications Extended with Existential GuaranteesFormal Methods – The Next 30 Years10.1007/978-3-030-30942-8_7(83-100)Online publication date: 23-Sep-2019
- Show More Cited By