Follow
Ammar Osaiweran
Ammar Osaiweran
Phd Student at the Technical university of Eindhoven
Verified email at tu.edu.ye - Homepage
Title
Cited by
Cited by
Year
Specification guidelines to avoid the state space explosion problem
JF Groote, TWDM Kouters, A Osaiweran
Software Testing, Verification and Reliability 25 (1), 4-33, 2015
542015
Analyzing the effects of formal methods on the development of industrial control software
JF Groote, A Osaiweran, JH Wesselius
2011 27th IEEE International Conference on Software Maintenance (ICSM), 467-472, 2011
392011
Evaluating the effect of a lightweight formal technique in industry
A Osaiweran, M Schuts, J Hooman, JF Groote, B van Rijnsoever
International Journal on Software Tools for Technology Transfer 18, 93-108, 2016
172016
Incorporating formal techniques into industrial practice: an experience report
A Osaiweran, M Schuts, J Hooman, J Wesselius
Electronic Notes in Theoretical Computer Science 295, 49-63, 2013
132013
Experiences with incorporating formal techniques into industrial practice
A Osaiweran, M Schuts, J Hooman
Empirical Software Engineering 19, 1169-1194, 2014
92014
Experience report on developing the front-end client unit under the control of formal methods
JF Groote, A Osaiweran, J Wesselius
Proceedings of the 27th Annual ACM Symposium on Applied Computing, 1183-1190, 2012
82012
Formal development of control software in the medical systems domain
AAH Osaiweran
72012
Experience report on designing and developing control components using formal methods
A Osaiweran, T Fransen, JF Groote, B van Rijnsoever
FM 2012: Formal Methods: 18th International Symposium, Paris, France, August …, 2012
52012
Assessing the quality of tabular state machines through metrics
A Osaiweran, J Marincic, JF Groote
2017 IEEE International Conference on Software Quality, Reliability and …, 2017
32017
Formal verification of unreliable failure detectors in partially synchronous systems
M Atif, MR Mousavi, A Osaiweran
Proceedings of the 27th Annual ACM Symposium on Applied Computing, 478-485, 2012
32012
Benefits of applying formal methods to industrial control software
JF Groote, AAH Osaiweran, JH Wesselius
Technische Universiteit Eindhoven, 2011
32011
Investigating the effects of designing industrial control software using push and poll strategies
JF Groote, AAH Osaiweran, MTW Schuts, JH Wesselius
Technische Universiteit Eindhoven, 2011
32011
Analyzing a controller of a power distribution unit using formal methods
JF Groote, A Osaiweran, J Wesselius
2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012
22012
Osaiweran, Ammar. Wesselius, J H. 2011
JF Groote
Analyzing The Effects of Formal Methods on the Development of Industrial …, 0
2
Metrics for control models in a model-driven engineering environment
C Lambrechts, A Osaiweran, J Lukkien
Technische Universiteit Eindhoven, 2017
12017
Evaluating the effect of formal techniques in industry
AAH Osaiweran, JF Groote, MTW Schuts, JJM Hooman, ...
Technische Universiteit Eindhoven, 2012
12012
Analytical software design: introduction and industrial experience report
AAH Osaiweran, M Boosten, MR Mousavi
Technische Universiteit Eindhoven, 2010
12010
A Practical Application of Model Learning and Code Generation
G van der Meijde, F Vaandrager, A Osaiweran, GJ Tretmans
2018
Incorporating formal techniques into industrial practice
AAH Osaiweran, MTW Schuts, JJM Hooman
Technische Universiteit Eindhoven, 2012
2012
Analysis of a Patient and Beam Restriction Interface
A Osaiweran, JF Groote, MB PDEng, NB Franke, AHJ Mathijssen
2008
The system can't perform the operation now. Try again later.
Articles 1–20