Information Technology Reference
In-Depth Information
15. Petreska, I., Kefalas, P., Gheorghe, M.: A framework towards the verification of emergent
properties in spatial multi-agent systems. In: Ivanovi, M., Ganzha, M., Paprzycki, M., Bad-
ica, C. (eds.) Proceedings of the Workshop on Applications of Software Agents, pp. 37-44.
Department of Mathematics and Informatics Faculty of Sciences, University of Novi Sad,
Serbia (2011)
16. Eleftherakis, G., Kefalas, P.,, S.: XmCTL: Extending temporal logic to facilitate formal ver-
ification of X-machines. Matematica-Informatica, 79-95 (2002)
17. Ipate, F., Holcombe, M.: Specification and testing using generalised machines: a presentation
and a case study. In: Software Testing, Verification and Reliability, pp. 61-81 (1998)
18. Wilensky, U.: NetLogo. Center for Connected Learning and Computer-Based Model-
ing, Northwestern Univ., Evanston, IL (1999), http://ccl.northwestern.edu/
netlogo/
19. Stamatopoulou, I., Kefalas, P., Gheorghe, M.: OPERAS: A Framework for the Formal Mod-
elling of Multi-Agent Systems and Its Application to Swarm-Based Systems. In: Artikis, A.,
O'Hare, G.M.P., Stathis, K., Vouros, G.A. (eds.) ESAW 2007. LNCS (LNAI), vol. 4995, pp.
158-174. Springer, Heidelberg (2008)
20. Wilensky, U.: NetLogo Segregation model. Center for Connected Learning and Computer-
Based Modeling, Northwestern Univ., Evanston, IL (1997),
http://ccl.northwestern.edu/netlogo/models/Segregation
21. Collier, N.T., North, M.J.: Repast SC++: A platform for large-scale agent-based modeling.
In: Large-Scale Computing Techniques for Complex System Simulations. Wiley (2011) (in
press)
22. Petreska, I., Kefalas, P., Gheorghe, M.: Tools for simulating spatial mas. In: Proceedings of
the 7th Annual SEERC Doctoral Student Conference, DSC 2012 (2012) (in print)
23. Petreska, I., Kefalas, P., Gheorghe, M.: Informal verification by visualisation of state-based
formal models. In: Proceedings of the 6th Annual SEERC Doctoral Student Conference,
DSC 2011, Thessaloniki, Greece, pp. 309-319 (September 2011)
24. Qwarnstrom, E., Pogson, M., Smallwood, R., Holcombe, M.: Formal agent-based modelling
of intracellular chemical interactions. Biosystems 85, 37-45 (2006)
25. Holcombe, M., Smallwood, R., Walker, D.: Development and validation of computational
models of cellular interaction. Journal of Molecular Histology 35, 659-665 (2004)
26. Michael, D.E., William, G.G., Yoshio, K., Notkin, D.: Dynamically discovering pointer-
based program invariants. Technical Report UW-CSE-99-11-02, University of Washington
Department of Computer Science and Engineering, Seattle, WA (November 1999) (revised
March 17, 2000)
27. Holzmann, G.J.: The model checker spin. IEEE IFans. on Software Engineering, 279-295
(1997)
28. Kwiatkowska, M., Norman, G., Parker, D.: PRISM: Probabilistic Symbolic Model Checker.
In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol. 2324,
pp. 200-204. Springer, Heidelberg (2002)
29. McMillan, K.L.: Symbolic Model Checking. Kluwer Academic Publishers, Englewood
Cliffs (1993)
 
Search WWH ::




Custom Search