Analyzing the effects of formal methods on the development of industrial control software. - Jan Friso Groote; Ammar Osaiweran; Jacco H. Wesselius (ICSM, 2011)

Experience Report on Designing and Developing Control Components Using Formal Methods. - Ammar Osaiweran; Tom Fransen; Jan Friso Groote; Bart J. van Rijnsoever (FM, 2012)

Analyzing a Controller of a Power Distribution Unit Using Formal Methods. - Jan Friso Groote; Ammar Osaiweran; Jacco H. Wesselius (ICST, 2012)

Formal verification of Unreliable Failure Detectors in Partially Synchronous Systems. - Muhammad Atif; Mohammad Reza Mousavi 001; Ammar Osaiweran (SAC, 2012)

Experience report on developing the Front-end client unit under the control of formal methods. - Jan Friso Groote; Ammar Osaiweran; Jacco H. Wesselius (SAC, 2012)

Incorporating Formal Techniques into Industrial Practice: an Experience Report. - Ammar Osaiweran; Mathijs Schuts; Jozef Hooman; Jacco H. Wesselius (FESCA, 2012)

Experiences with incorporating formal techniques into industrial practice. - Ammar Osaiweran; Mathijs Schuts; Jozef Hooman (Empir. Softw. Eng., 2014)

Specification guidelines to avoid the state space explosion problem. - Jan Friso Groote; Tim W. D. M. Kouters; Ammar Osaiweran (Softw. Test. Verification Reliab., 2015)

Evaluating the effect of a lightweight formal technique in industry. - Ammar Osaiweran; Mathijs Schuts; Jozef Hooman; Jan Friso Groote; Bart J. van Rijnsoever (Int. J. Softw. Tools Technol. Transf., 2016)

Assessing the Quality of Tabular State Machines through Metrics. - Ammar Osaiweran; Jelena Marincic; Jan Friso Groote (QRS, 2017)