Ammar Osaiweran

Publication Activity (10 Years)

Years Active: 2011-2017
Publications (10 Years): 3

Top Topics

Provably Correct

Formal Verification

Industrial Environment

Top Venues

Int. J. Softw. Tools Technol. Transf.

Softw. Test. Verification Reliab.

Publications

Ammar Osaiweran, Jelena Marincic, Jan Friso Groote
Assessing the Quality of Tabular State Machines through Metrics. QRS (2017)
Ammar Osaiweran, Mathijs Schuts, Jozef Hooman, Jan Friso Groote, Bart J. van Rijnsoever
Evaluating the effect of a lightweight formal technique in industry. Int. J. Softw. Tools Technol. Transf. 18 (1) (2016)
Jan Friso Groote, Tim W. D. M. Kouters, Ammar Osaiweran
Specification guidelines to avoid the state space explosion problem. Softw. Test. Verification Reliab. 25 (1) (2015)
Ammar Osaiweran, Mathijs Schuts, Jozef Hooman
Experiences with incorporating formal techniques into industrial practice. Empir. Softw. Eng. 19 (4) (2014)
Ammar Osaiweran, Mathijs Schuts, Jozef Hooman, Jacco H. Wesselius
Incorporating Formal Techniques into Industrial Practice: an Experience Report. Electron. Notes Theor. Comput. Sci. 295 (2013)
Muhammad Atif, Mohammad Reza Mousavi, Ammar Osaiweran
Formal verification of Unreliable Failure Detectors in Partially Synchronous Systems. SAC (2012)
Ammar Osaiweran, Tom Fransen, Jan Friso Groote, Bart J. van Rijnsoever
Experience Report on Designing and Developing Control Components Using Formal Methods. FM (2012)
Jan Friso Groote, Ammar Osaiweran, Jacco H. Wesselius
Experience report on developing the Front-end client unit under the control of formal methods. SAC (2012)
Jan Friso Groote, Ammar Osaiweran, Jacco H. Wesselius
Analyzing a Controller of a Power Distribution Unit Using Formal Methods. ICST (2012)
Jan Friso Groote, Ammar Osaiweran, Jacco H. Wesselius
Analyzing the effects of formal methods on the development of industrial control software. ICSM (2011)
Jan Friso Groote, Tim W. D. M. Kouters, Ammar Osaiweran
Specification Guidelines to Avoid the State Space Explosion Problem. FSEN (2011)