Research Output per year
Personal profile
Research Interests
My research interests centre on the theory of interactive and concurrent systems, including both theoretical aspects of their semantics and application of formal techniques to the modelling and verification of such systems. In particular, modelling and verification based on modularity and compositionality of Petri nets and interactivity of systems. My research also focuses on “automated synthesis”, which is an attractive approach for constructing computational systems. Synthesis procedures guarantee that the resulting systems are “correct by design”, which can make the system verification complementary or even redundant. Moreover, I am generally interested in the development and application of formal techniques and tools for modelling and understanding computer systems. This interest involves investigating the development of formal techniques to model and analyse safety-critical systems, such as aviation environments, medical devices and intelligent systems.
Further research interests include:
• Formal methods, model checking and temporal logic
• Analysis of communication protocols using Promela and Spin model checker
• Formal modelling and verification using VDM and MAL languages
• Design, usability analysis and prototyping of interactive interfaces
• Application of formal analysis to Smart systems, Internet of Things (IoT), Cryptography and Machine Learning
PhD Project
Project Title: “Modelling and Verification of Ambient Systems Using Petri Nets”
Brief synopsis:
There is a growing need to introduce and develop formal techniques for computational models capable of faithfully modelling systems whose behaviour is of high complexity and concurrent. Such systems are the Ambient Systems. Modelling and verification of this kind of systems were addressed by proposing a new modelling approach that is based on the modularity and the compositionality of a class of Coloured Petri Nets with inhibitor arcs, the Ambient Petri Nets. This approach uses modular inhibitor nets that represent individual interactions between the users and the system. Two case studies of Ambient Systems were examined in the context of interactivity by applying that approach, which produced their behavioural models through the composition of the modular inhibitor nets. The modularity of these models resulted in useful modelling observations about the key features and components of Ambient Systems that affect the interactivity. The correctness of the obtained models with respect to the specification of the examined systems was verified by analysing both qualitative and model checking properties, which were related to fundamental properties of Petri net and Ambient Systems respectively. The verification results of these properties confirmed the correctness of the models produced by the new modelling approach.
Education/Academic qualification
Doctorate, Newcastle University
1 Feb 2011 → 5 Jun 2015
MSc, Newcastle University
28 Sep 2009 → 27 Aug 2010
Degree, University of Piraeus
1 Oct 2002 → 6 Jul 2009
Fingerprint Dive into the research topics where Alexandros Konios is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 4 Similar Profiles
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Research Output 2010 2019
A survey of petri nets slicing
Khan, Y. I., Konios, A. & Guelfi, N., 23 Jan 2019, In : ACM Computing Surveys (CSUR). 51, 5, 26 p., 109.Research output: Contribution to journal › Article
Conditional Random Field Feature Generation of Smart Home Sensor Data using Random Forests
Eastwood, M., Konios, A., Tan, B., Jing, Y. & Hamid, A., 29 Jul 2019, 2019 IEEE MTT-S International Microwave Biomedical Conference (IMBioC). IEEE, 4 p.Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding
Probabilistic Analysis of Abnormal Behaviour Detection in Activities of Daily Living
Garcia-Constantino, M., Konios, A., Ekerete, I., Christopoulos, S., Shewell, C., Nugent, C. & Morrison, G., 6 Jun 2019, 2019 IEEE International Conference on Pervasive Computing and Communications Workshops, PerCom Workshops 2019. IEEE, p. 461-466 6 p. 8730682Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding
Probabilistic Analysis of Temporal and Sequential Aspects of Activities of Daily Living for Abnormal Behaviour Detection
Konios, A., Garcia-Constantino, M., Christopoulos, S., Mustafa, M., Ekerete, I., Shewell, C., Nugent, C. & Morrison, G., 30 Apr 2019, (Accepted/In press) Proceedings of IEEE International Conference on Ubiquitous Intelligence and Computing (UIC). IEEE, p. (In-press)Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding
Modelling Activities of Daily Living with Petri nets
Garcia-Constantino, M., Konios, A. & Nugent, C., 8 Oct 2018, 2018 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops). IEEE, 6 p.Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding
Activities 2011 2017
Coventry University Open Day
Alexandros Konios (Participant)Activity: Participating in or organising an event › Public Engagement Event
Coventry University Open Day
Alexandros Konios (Participant)Activity: Participating in or organising an event › Public Engagement Event
Coventry University Open Day
Alexandros Konios (Participant)Activity: Participating in or organising an event › Public Engagement Event
Supervising Doctoral Studies
Alexandros Konios (Participant)Activity: Participating in or organising an event › Participation in workshop, seminar, course
13th International Conference on Application of Concurrency to System Design (ACSD)
Alexandros Konios (Speaker)Activity: Participating in or organising an event › Participation in conference
Prizes
Research Internship Award
Alexandros Konios (Recipient), 5 Jun 2017
Prize: Prize (including medals and awards)