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
472015
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
382011
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 (1), 93-108, 2016
152016
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
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
102012
Experiences with incorporating formal techniques into industrial practice
A Osaiweran, M Schuts, J Hooman
Empirical Software Engineering 19 (4), 1169-1194, 2014
82014
Formal development of control software in the medical systems domain
A Osaiweran
Eindhoven: Technische Universiteit Eindhoven, 2012
72012
Experience report on designing and developing control components using formal methods
A Osaiweran, T Fransen, JF Groote, B Rijnsoever
International Symposium on Formal Methods, 341-355, 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
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
32012
Investigating the effects of designing industrial control software using push and poll strategies
J Groote, A Osaiweran, M Schuts, J Wesselius
Eindhoven University of Technology, the Netherlands, Computer Science Report …, 2011
32011
Benefits of applying formal methods to industrial control software
JF Groote, AAH Osaiweran, J Wesselius
Computer Science Report 11 (04), 2011
22011
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
12012
Evaluating the effect of formal techniques in industry
A Osaiweran, JF Groote, M Schuts, J Hooman, BJ van Rijnsoever
Computer Science Report, 21, 2012
12012
Analytical software design: introduction and industrial experience report
A Osaiweran, M Boosten, MR Mousavi
Computer science reports 1001, 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
Computer science reports 1214, 2012
2012
Analysis of a Patient and Beam Restriction Interface
A Osaiweran, JF Groote, MB PDEng, NB Franke, AHJ Mathijssen
2008
ISSN 0926-4515 All rights reserved editors: prof. dr. PME De Bra prof. dr. ir. JJ van Wijk
A Osaiweran, T Fransen, JF Groote, B van Rijnsoever
The system can't perform the operation now. Try again later.
Articles 1–19