Ammar Osaiweran
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2012–2017
Best venue rank
Multiconference
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | QRS | Assessing the Quality of Tabular State Machines through Metrics. | Ammar Osaiweran, Jelena Marincic, Jan Friso Groote |
| 2012 | FM | Experience Report on Designing and Developing Control Components Using Formal Methods. | Ammar Osaiweran, Tom Fransen, Jan Friso Groote, Bart J. van Rijnsoever |
| 2012 | ICST | Analyzing a Controller of a Power Distribution Unit Using Formal Methods. | Jan Friso Groote, Ammar Osaiweran, Jacco H. Wesselius |
| 2012 | SAC | Formal verification of Unreliable Failure Detectors in Partially Synchronous Systems. | Muhammad Atif, Mohammad Reza Mousavi, Ammar Osaiweran |
| 2012 | SAC | Experience report on developing the Front-end client unit under the control of formal methods. | Jan Friso Groote, Ammar Osaiweran, Jacco H. Wesselius |