Skip to main content

Research Repository

Advanced Search

All Outputs (31)

AI and OR in management of operations: history and trends (2007)
Journal Article
Kobbacy, K., Vadera, S., & Rasmy, M. (2007). AI and OR in management of operations: history and trends. Journal of the Operational Research Society, 58(1), 10-28. https://doi.org/10.1057/palgrave.jors.2602132

The last decade has seen a considerable growth in the use of Artificial Intelligence (AI) for operations management with the aim of finding solutions to problems that are increasing in complexity and scale. This paper begins by setting the context fo... Read More about AI and OR in management of operations: history and trends.

A probabilistic model for information and sensor validation (2006)
Journal Article
Ibargüengoytia, P., Vadera, S., & Sucar, L. (2006). A probabilistic model for information and sensor validation. Computer Journal, 49(1), 113-126. https://doi.org/10.1093/comjnl/bxh142

This paper develops a new theory and model for information and sensor validation. The model represents relationships between variables using Bayesian networks and utilizes probabilistic propagation to estimate the expected values of variables. If the... Read More about A probabilistic model for information and sensor validation.

Inducing safer oblique trees without costs (2005)
Journal Article
Vadera, S. (2005). Inducing safer oblique trees without costs. Expert Systems, 22(4), 206-221. https://doi.org/10.1111/j.1468-0394.2005.00311.x

Decision tree induction has been widely studied and applied. In safety applications, such as determining whether a chemical process is safe or whether a person has a medical condition, the cost of misclassification in one of the classes is significan... Read More about Inducing safer oblique trees without costs.

Experience with mural in formalising Dust-Expert (2001)
Journal Article
Vadera, S., Meziane, F., & Huang, M. (2001). Experience with mural in formalising Dust-Expert. Information and Software Technology, 43(4), 231-240. https://doi.org/10.1016/S0950-5849%2800%2900161-0

The mural system was an outcome of a significant effort to develop a support tool for the effective use of a full formal methods development cycle. Experience with it, however, has been limited to a small number of illustrative examples that have bee... Read More about Experience with mural in formalising Dust-Expert.

Intelligent systems in manufacturing: current developments and future prospects (2000)
Journal Article
Meziane, F., Vadera, S., Kobbacy, K., & Proudlove, N. (2000). Intelligent systems in manufacturing: current developments and future prospects. https://doi.org/10.1108/09576060010326221

Global competition and rapidly changing customer requirements are demanding increasing changes in manufacturing environments. Enterprises are required to constantly redesign their products and continuously reconfigure their manufacturing systems. Tra... Read More about Intelligent systems in manufacturing: current developments and future prospects.

Tools for producing formal specifications : a view of current architectures and future directions (1997)
Journal Article
Vadera, S., & Meziane, F. (1997). Tools for producing formal specifications : a view of current architectures and future directions. Annals of Software Engineering, 3(1), 273-290. https://doi.org/10.1023/A%3A1018950324254

During the last decade, one important contribution towards requirements engineering has been the advent of formal specification languages. They offer a well-defined notation that can improve consistency and avoid ambiguity in specifications. However... Read More about Tools for producing formal specifications : a view of current architectures and future directions.

Towards automatic modelling of requirements (1996)
Journal Article
Meziane, F., & Vadera, S. (1996). Towards automatic modelling of requirements. Malaysian journal of computer science, 9(2), 1-13

The first phases of the FORSEN system that helps the analyst to use an informal specification as the basis of producing a formal specification and concerns the modelisation of the requirements into entity relationship models (ERM) is described. The m... Read More about Towards automatic modelling of requirements.

Review of heuristics for generalisation (1995)
Journal Article
Vadera, S. (1995). Review of heuristics for generalisation. Software engineering journal, 10(4), 118-123

Proof by induction plays a central role in showing that recursive programs satisfy their specification. Sometimes a key step is to generalise a lemma so that its inductive proof is easier. Existing heuristics for generalisation for induction are... Read More about Review of heuristics for generalisation.

TheMD shell and its use to develop Dust-Expert(TM) (1995)
Journal Article
Vadera, S., & Nechab, S. (1995). TheMD shell and its use to develop Dust-Expert(TM). Expert Systems, 12(3), 231-237. https://doi.org/10.1111/j.1468-0394.1995.tb00112.x

In this paper we describe TheMD (The Methods Designer) shell and its use in the development of an expert system, known as Dust-Expert, for the relief of dust explosions. We begin by providing the motivation for the development of TheMD Shell by evalu... Read More about TheMD shell and its use to develop Dust-Expert(TM).

From English to formal specifications (1994)
Journal Article
Vadera, S., & Meziane, F. (1994). From English to formal specifications. Computer Journal, 37(9), 753-763. https://doi.org/10.1093/comjnl/37.9.753

Formal methods provide an approach in which design steps can be shown to satisfy a specification. However, if a formal specification is wrong, then although the design steps may satisfy the formal specification, they are unlikely to satisfy the requi... Read More about From English to formal specifications.