| Specification guidelines to avoid the state space explosion problem JF Groote, TWDM Kouters, A Osaiweran Software Testing, Verification and Reliability 25 (1), 4-33, 2015 | 58 | 2015 |
| Analyzing the effects of formal methods on the development of industrial control software JF Groote, A Osaiweran, JH Wesselius 2011 27th IEEE International Conference on Software Maintenance (ICSM), 467-472, 2011 | 41 | 2011 |
| Evaluating the effect of a lightweight formal technique in industry A Osaiweran, M Schuts, J Hooman, JF Groote, B van Rijnsoever International Journal on Software Tools for Technology Transfer 18, 93-108, 2016 | 18 | 2016 |
| Incorporating formal techniques into industrial practice: an experience report A Osaiweran, M Schuts, J Hooman, J Wesselius Electronic Notes in Theoretical Computer Science 295, 49-63, 2013 | 13 | 2013 |
| Experiences with incorporating formal techniques into industrial practice A Osaiweran, M Schuts, J Hooman Empirical Software Engineering 19, 1169-1194, 2014 | 9 | 2014 |
| Experience report on developing the front-end client unit under the control of formal methods JF Groote, A Osaiweran, J Wesselius Proceedings of the 27th Annual ACM Symposium on Applied Computing, 1183-1190, 2012 | 8 | 2012 |
| Formal development of control software in the medical systems domain AAH Osaiweran | 7 | 2012 |
| Experience report on designing and developing control components using formal methods A Osaiweran, T Fransen, JF Groote, B van Rijnsoever FM 2012: Formal Methods: 18th International Symposium, Paris, France, August …, 2012 | 5 | 2012 |
| Assessing the quality of tabular state machines through metrics A Osaiweran, J Marincic, JF Groote 2017 IEEE International Conference on Software Quality, Reliability and …, 2017 | 3 | 2017 |
| Formal verification of unreliable failure detectors in partially synchronous systems M Atif, MR Mousavi, A Osaiweran Proceedings of the 27th Annual ACM Symposium on Applied Computing, 478-485, 2012 | 3 | 2012 |
| Benefits of applying formal methods to industrial control software JF Groote, AAH Osaiweran, JH Wesselius Technische Universiteit Eindhoven, 2011 | 3 | 2011 |
| Investigating the effects of designing industrial control software using push and poll strategies JF Groote, AAH Osaiweran, MTW Schuts, JH Wesselius Technische Universiteit Eindhoven, 2011 | 3 | 2011 |
| Analyzing a controller of a power distribution unit using formal methods JF Groote, A Osaiweran, J Wesselius 2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012 | 2 | 2012 |
| Analytical software design: introduction and industrial experience report AAH Osaiweran, M Boosten, MR Mousavi Technische Universiteit Eindhoven, 2010 | 2 | 2010 |
| Osaiweran, Ammar. Wesselius, J H. 2011 JF Groote Analyzing The Effects of Formal Methods on the Development of Industrial …, 0 | 2 | |
| Metrics for control models in a model-driven engineering environment C Lambrechts, A Osaiweran, J Lukkien Technische Universiteit Eindhoven, 2017 | 1 | 2017 |
| Evaluating the effect of formal techniques in industry AAH Osaiweran, JF Groote, MTW Schuts, JJM Hooman, ... Technische Universiteit Eindhoven, 2012 | 1 | 2012 |
| A Practical Application of Model Learning and Code Generation G van der Meijde, F Vaandrager, A Osaiweran, GJ Tretmans | | 2018 |
| Incorporating formal techniques into industrial practice AAH Osaiweran, MTW Schuts, JJM Hooman Technische Universiteit Eindhoven, 2012 | | 2012 |
| Analysis of a Patient and Beam Restriction Interface A Osaiweran, JF Groote, MB PDEng, NB Franke, AHJ Mathijssen | | 2008 |
