Ammar Osaiweran

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