Publications
- Konur, S. An Event-based Fragment of First-order Logic. Journal of Logic, Language and Information, Springer. To Appear.
- Konur, S., Dixon, C., and Fisher, M. Formal Verification of Probabilistic Swarm Behaviours. To appear in Proc. 7th International Conference on Swarm Intelligence (ANTS), 2010.
- Arapinis, M., Calder, M., Dennis, L., Fisher, M., Gray, P., Konur, S., Miller, A., Ritter, E., Ryan, M., Schewe,
S., Unsworth, C. and Yasmin, R. Towards the Verification of Pervasive Systems.
In Proceeding of the 3rd International Workshop on Formal Methods for Interactive
Systems (FMIS'09), 16th International Symposium on Formal Methods (FM'09), Eindhoven, the Netherland, 2009.
- Konur, S. Real-time System Specification with a Decidable Temporal Logic.
In PreProceedings of Workshop on Quantitative Formal Methods: Theory and Applications (QFM'09),
16th International Symposium on Formal Methods (FM'09), Eindhoven, the Netherland, 2009.
- Konur, S., Al Zahrani, A., and Fisher, M.
Verification of a Message Forwarding System using PRISM.
In PreProceedings of the Ninth International Workshop on Automated Verification of Critical Systems (AVOCS'09),
CSR-2-2009, University of Swansea, Swansea, Wales, 2009.
- Konur, S. and Fisher, M. Verification of Pervasive Systems (extended abstract).
In Proceedings of the 16th Workshop on Automated Reasoning:
Bridging the Gap between Theory and Practice (ARW'09), Liverpool, UK, 2009.
- Konur, S. A Decidable Approach to Real-time System Specification (extended abstract).
In Proceedings of the 16th Workshop on Automated
Reasoning: Bridging the Gap between Theory and Practice (ARW'09), Liverpool, UK, 2009.
- Konur, S. An Interval Logic for Natural Language Semantics.
In Proceedings of Advances in Modal Logic, College Publications, pp. 177-191, Nancy, France, 2008.
- Konur, S. A Decidable Interval Temporal Logic for Events and States.
In Proceedings of International Symposium on
Temporal Representation and Reasoning (TIME 2006), pp. 36-41, IEEE Computer Society Press, Budapest, Hungary, 2006.
- Konur, S., Ferrein, A., and Lakemeyer. G.
Learning Decision Trees for Action Selection in Soccer Agents.
In Proceedings of Workshop on Agents in Dynamic and Real-time Environments, 16th European Conference on
Artificial Intelligence, Valencia, Spain, 2004.
- Hoogendoorn, M., Jonker, C. M., Konur, S., Maanen, P.P. van, Popova, V., Sharpanskykh, A., Treur, J., Xu, L.,
Yolum, P. Formal Analysis of Empirical Traces in Incident Management.
In: Macintosh, A., Ellis, R., and Allen, T. (eds.), Applications and Innovations in Intelligent Systems XII,
Proceedings of AI-2004, the 24th SGAI International Conference on Innovative Techniques and Applications of
Artificial Intelligence, pp. 237-250, Springer Verlag, Cambridge, UK, 2004.
- Abbink, H., Dijk, R. van, Dobos, T., Hoogendoorn, M., Jonker, C.M., Konur, S., Maanen, P.P. van, Popova, V.,
Sharpanskykh, A., Tooren, P. van, Treur, J., Valk, J., Xu, L., and Yolum, P.
Automated Support for Adaptive Incident Management.
In: Walle, B. van de, and Carle, B. (eds.), Proceedings of the First International Workshop on Information
Systems for Crisis Response and Management (ISCRAM'04), pp. 69-74, 2004.
- Abbink, H., Dijk, R. van, Dobos, T., Hoogendoorn, M., Jonker, C.M., Konur, S., Maanen, P.P. van, Popova, V.,
Sharpanskykh, A., Tooren, P. van, Treur, J., Valk, J., Xu, L., and Yolum, P.
Automated Support for Adaptive Incident Management (extended abstract).
In: Verbrugge, R., Taatgen, N., Schomaker, L. (eds.), Proceedings of the 16th Belgian-Dutch Conference on Artificial
Intelligence (BNAIC-2004), pp. 349-350, 2004.
|
