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.

  • 4 Similar Profiles
Petri nets Engineering & Materials Science
Sensors Engineering & Materials Science
Distribution functions Engineering & Materials Science
Coffee Engineering & Materials Science
Learning systems Engineering & Materials Science
Medical problems Engineering & Materials Science
Explosions Engineering & Materials Science
Taxonomies Engineering & Materials Science

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

Research Output 2010 2019

  • 2 Citations
  • 1 h-Index
  • 5 Conference proceeding
  • 5 Paper
  • 1 Article
  • 1 Web publication/site
28 Downloads (Pure)

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
Slicing
Petri nets
Petri Nets
State Space
Model checking
12 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
Decision trees
Explosions
Classifiers
Chemical activation
Sensors
14 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
Distribution functions
Coffee
Medical problems
Learning algorithms
Learning systems

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

Distribution functions
Coffee
Medical problems
Learning algorithms
Learning systems
2 Citations (Scopus)
13 Downloads (Pure)

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

Open Access
File
Petri nets
Coffee
Kitchens
Cooking
Sensors

Activities 2011 2017

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

Coventry University Open Day

Alexandros Konios (Participant)
29 Mar 2017

Activity: Participating in or organising an eventPublic Engagement Event

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)
12 Nov 2016

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

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)