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
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
372011
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
192015
Specification guidelines to avoid the state space explosion problem
JF Groote, TWDM Kouters, A Osaiweran
International Conference on Fundamentals of Software Engineering, 112-127, 2011
192011
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
122016
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
122013
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
92012
Formal development of control software in the medical systems domain
A Osaiweran
Eindhoven: Technische Universiteit Eindhoven, 2012
72012
Experiences with incorporating formal techniques into industrial practice
A Osaiweran, M Schuts, J Hooman
Empirical Software Engineering 19 (4), 1169-1194, 2014
52014
Experience report on designing and developing control components using formal methods
A Osaiweran, T Fransen, JF Groote, B Van Rijnsoever
International Symposium on Formal Methods, 341-355, 2012
52012
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
JF Groote, A Osaiweran, MTW Schuts, JH 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
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
12017
Evaluating the effect of formal techniques in industry
AAH Osaiweran, JF Groote, MTW Schuts, JJM Hooman, ...
Computer Science Report, 21, 2012
12012
Specification guidelines to avoid the state space explosion problem
JF Groote, T Kouters, AAH Osaiweran
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
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
2012
Incorporating formal techniques into industrial practice
AAH Osaiweran, MTW Schuts, JJM Hooman
Computer science reports 1214, 2012
2012
Analytical software design: introduction and industrial experience report
A Osaiweran, M Boosten, MR Mousavi
Computer science reports 1001, 2010
2010
Analysis of a Patient and Beam Restriction Interface
A Osaiweran, JF Groote, MB PDEng, NB Franke, AHJ Mathijssen
Technische Universiteit Eindhoven, 2008
2008
The system can't perform the operation now. Try again later.
Articles 1–20