• 2 Citations
  • 1 h-Index
20102020

Research output per year

If you made any changes in Pure these will be visible here soon.

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 20115 Jun 2015

MSc, Newcastle University

28 Sep 200927 Aug 2010

Degree, University of Piraeus

1 Oct 20026 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.

  • 6 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

Ambient and Wearable Sensor Fusion for Abnormal Behaviour Detection in Activities of Daily Living

Garcia-Constantino, M., Konios, A., Mustafa, M., Nugent, C. & Morrison, G., 6 Jan 2020, (Accepted/In press) 2020 IEEE International Conference on Pervasive Computing and Communications. IEEE, p. (In-Press)

Research output: Chapter in Book/Report/Conference proceedingConference proceeding

  • 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 journalArticle

    Open Access
    File
  • 31 Downloads (Pure)

    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 proceedingConference proceeding

    Open Access
    File
  • 17 Downloads (Pure)

    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. 8730682

    Research output: Chapter in Book/Report/Conference proceedingConference proceeding

    Open Access
    File
  • 24 Downloads (Pure)

    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 proceedingConference proceeding

  • Activities

    • 4 Participation in conference
    • 3 Public Engagement Event
    • 3 Participation in workshop, seminar, course

    Coventry University Open Day

    Alexandros Konios (Participant)
    14 Jan 2017

    Activity: Participating in or organising an eventPublic Engagement Event

    Coventry University Open Day

    Alexandros Konios (Participant)
    29 Mar 2017

    Activity: Participating in or organising an eventPublic Engagement Event

    Supervising Doctoral Studies

    Alexandros Konios (Participant)
    14 Nov 201615 Sep 2017

    Activity: Participating in or organising an eventParticipation in workshop, seminar, course

    Coventry University Open Day

    Alexandros Konios (Participant)
    12 Nov 2016

    Activity: Participating in or organising an eventPublic Engagement Event

    13th International Conference on Application of Concurrency to System Design (ACSD)

    Alexandros Konios (Speaker)
    8 Jul 2013

    Activity: Participating in or organising an eventParticipation in conference

    Prizes

    Research Internship Award

    Alexandros Konios (Recipient), 5 Jun 2017

    Prize: Prize (including medals and awards)