| 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 | 38 | 2011 |
| 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 | 31 | 2015 |
| Specification guidelines to avoid the state space explosion problem JF Groote, TWDM Kouters, A Osaiweran Fundamentals of Software Engineering: 4th IPM International Conference, FSEN …, 2012 | 19 | 2012 |
| 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 | 16 | 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 | 8 | 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 A Osaiweran Eindhoven: Technische Universiteit Eindhoven, 2012 | 7 | 2012 |
| Experience Report on Designing and Developing Control Components Using Formal Methods. A Osaiweran, T Fransen, JF Groote, BJ van Rijnsoever FM 7436, 341-355, 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 |
| 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 J Groote, A Osaiweran, M Schuts, J Wesselius Eindhoven University of Technology, the Netherlands, Computer Science Report …, 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 |
| 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 | 2 | 2012 |
| Evaluating the effect of formal techniques in industry AAH Osaiweran, JF Groote, M Schuts, J Hooman, BJ van Rijnsoever Computer Science Report, 21, 2012 | 1 | 2012 |
| Specification guidelines to avoid the state space explosion problem JF Groote, T Kouters, AAH Osaiweran Technische Universiteit Eindhoven, 2010 | 1 | 2010 |
| Analytical software design: introduction and industrial experience report A Osaiweran, M Boosten, MR Mousavi Computer science reports 1001, 2010 | 1 | 2010 |
| 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 Computer science reports 1214, 2012 | | 2012 |
| Analysis of a Patient and Beam Restriction Interface A Osaiweran, JF Groote, MB PDEng, NB Franke, AHJ Mathijssen | | 2008 |
