Thomas Anung Basuki

Learn More
This article describes a framework to formally model and analyse human behaviour. This is shown by a simple case study of a chocolate vending machine, which represents many aspects of human behaviour. The case study is modelled and analysed using the Maude rewrite system. This work extends a previous work by Basuki which attempts to model interactions(More)
We present a methodology for modelling population dynamics with formal means of computer science. This allows unambiguous description of systems and application of analysis tools such as simulators and model checkers. In particular, the dynamics of a population of Aedes albopictus (a species of mosquito) and its modelling with the Stochastic Calculus of(More)
This paper describes preliminary results on the application of statistical model-checking to systems described with Stochastic CLS. Stochastic CLS is a formalism based on term rewriting that allows biomolecular systems to be described by taking into account their structure and by allowing very general events to be modelled. Statistical model-checking is an(More)
Understanding the behaviour of biological systems requires a complex setting of in vitro and in vivo experiments, which attracts high costs in terms of time and resources. The use of mathematical models allows researchers to perform computerised simulations of biological systems, which are called in silico experiments, to attain important insights and(More)
UML is populer tool for modeling a system., but this tool cannot be evaluated directly. On the other hand., Coloured Petri Nets (CPN) is a simulation tool which has rich features for analysis. The capability to analyze the UML diagrams is important to help evaluating a system design. In this paper., we propose a set of transformation rules to transform UML(More)
ii iii ACKNOWLEDGEMENT Many people have helped me through discussions, suggestions and critics during the process of writing my thesis. I would like to express my gratitude to them. First of all I want to thank my supervisors Antonio Cerone and Andrea Maggiolo-Schettini, who have continuously guided, criticised, and encouraged me during my research. Several(More)
Verification of an interaction design becomes very important in the system development. Meanwhile, UML, as a standard tool in the system development, is not able to provide a formal verification of the design directly. This paper provides an approach to verify the UML-based interaction by using CPN. The interaction is modelled using UML 2.0 sequence(More)
University course timetabling problem (UCTP) is similar to general timetabling problems with some additional unique parts. UCTP involves assigning lecture events to timeslots and rooms subject to a variety of hard and soft constraints. Telkom University has almost similar problem with its course timetabling. The current solution with Informed Genetic(More)
  • 1