Ammar Osaiweran

According to our database, Ammar Osaiweran authored at least 10 papers between 2011 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Assessing the Quality of Tabular State Machines through Metrics.

Ammar Osaiweran, Jelena Marincic, Jan Friso Groote

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

2016

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

2015

Specification guidelines to avoid the state space explosion problem.

Jan Friso Groote, Tim W. D. M. Kouters, Ammar Osaiweran

Softw. Test. Verification Reliab., 2015

2014

Experiences with incorporating formal techniques into industrial practice.

Ammar Osaiweran, Mathijs Schuts, Jozef Hooman

Empir. Softw. Eng., 2014

2012

Incorporating Formal Techniques into Industrial Practice: an Experience Report.

Ammar Osaiweran, Mathijs Schuts, Jozef Hooman, Jacco H. Wesselius

Proceedings of the Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2012

Experience report on developing the Front-end client unit under the control of formal methods.

Jan Friso Groote, Ammar Osaiweran, Jacco H. Wesselius

Proceedings of the ACM Symposium on Applied Computing, 2012

Formal verification of Unreliable Failure Detectors in Partially Synchronous Systems.

Muhammad Atif, Mohammad Reza Mousavi, Ammar Osaiweran

Proceedings of the ACM Symposium on Applied Computing, 2012

Analyzing a Controller of a Power Distribution Unit Using Formal Methods.

Jan Friso Groote, Ammar Osaiweran, Jacco H. Wesselius

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Experience Report on Designing and Developing Control Components Using Formal Methods.

Ammar Osaiweran, Tom Fransen, Jan Friso Groote, Bart J. van Rijnsoever

Proceedings of the FM 2012: Formal Methods, 2012

2011

Analyzing the effects of formal methods on the development of industrial control software.

Jan Friso Groote, Ammar Osaiweran, Jacco H. Wesselius

Proceedings of the IEEE 27th International Conference on Software Maintenance, 2011