logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
P

Panagiotis Katsaros

aristotle university of thessaloniki

18H-index
140Paper Count
1.1KCitation Count
Published Papers 20
Publication Date
logo
From Natural Language Requirement Specifications to Logic Properties
errMODEL-BASED SAFETY AND ASSESSMENT, IMBSA 2025
IF0
err2026-01-01
err0
PREAI
errNestoridis, Theodoros; Mokos, Konstantinos; Katsaros, Panagiotis
errShare
errSave
Model-based safety analysis of requirement specifications
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2025-01-01
err0
PREAI
errMokos, Konstantinos; Katsaros, Panagiotis; Bohn, Preben
errShare
errSave
Quality Improvement Project: Improving Patient Understanding of Dietary Fibre Content Post-Bowel Surgery
errBRITISH JOURNAL OF SURGERY
IF8.7
err2024-08-29
err0
PREAI
errSmith, L.; Katsaros, P.; Eshak, A.; Mahapatra, A.; Camilleri, G.; Qurashi, K.
errShare
errSave
Operational State Recognition of a DC Motor Using Edge Artificial Intelligence
errSENSORS
IF3.5
err2022-12-09
err3
errOAAI
errStrantzalis, Konstantinos; Gioulekas, Fotios; Katsaros, Panagiotis; Symeonidis, Andreas
errShare
errSave
Sboing4Real: A real-time crowdsensing-based traffic management system
errJOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING
IF4
err2022-04-01
err1
PREAI
errToliopoulos, Theodoros; Nikolaidis, Nikodimos; Michailidou, Anna-Valentini; Seitaridis, Andreas; Nestoridis, Theodoros; Oikonomou, Chrysa; Temperekidis, Anastasios; Gioulekas, Fotios; Gounaris, Anastasios; Bassiliades, Nick; Katsaros, Panagiotis; Georgiadis, Apostolos; Liotopoulos, Fotis K.
errShare
errSave
Semantic Modeling and Analysis of Natural Language System Requirements
errIEEE ACCESS
IF3.6
err2022-01-01
err8
errOAAI
errMokos, Konstantinos; Nestoridis, Theodoros; Katsaros, Panagiotis; Bassiliades, Nick
errShare
errSave
Energy characterization of IoT systems through design aspect monitoring
errINTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
IF1.4
err2021-01-13
err2
PREAI
errLekidis, Alexios; Katsaros, Panagiotis
errShare
errSave
Formal analysis of DeGroot Influence Problems using probabilistic model checking
errSIMULATION MODELLING PRACTICE AND THEORY
IF4.6
err2018-12-01
err2
PREAI
errGyftopoulos, Sotirios; Efraimidis, Pavlos S.; Katsaros, Panagiotis
errShare
errSave
Early validation of system requirements and design through correctness-by-construction
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2018-11-01
err22
errOAAI
errStachtiari, Emmanouela; Mavridou, Anastasia; Katsaros, Panagiotis; Bliudze, Simon; Sifakis, Joseph
errShare
errSave
Compositional execution semantics for business process verification
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2018-03-01
err2
PREAI
errStachtiari, Emmanouela; Katsaros, Panagiotis
errShare
errSave
Program analysis with risk-based classification of dynamic invariants for logical error detection
errCOMPUTERS & SECURITY
IF5.4
err2017-11-01
err0
PREAI
errStergiopoulos, George; Katsaros, Panayiotis; Gritzalis, Dimitris
errShare
errSave
Cost-aware horizontal scaling of NoSQL databases using probabilistic model checking
errCLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS
IF4.1
err2017-03-10
err8
PREAI
errNaskos, Athanasios; Gounaris, Anastasios; Katsaros, Panagiotis
errShare
errSave
Spacecraft early design validation using formal methods
errRELIABILITY ENGINEERING & SYSTEM SAFETY
IF11
err2014-12-01
err52
errOAAI
errBozzano, Marco; Cimatti, Alessandro; Katoen, Joost-Pieter; Katsaros, Panagiotis; Mokos, Konstantinos; Viet Yen Nguyen; Noll, Thomas; Postma, Bart; Roveri, Marco
errShare
errSave
A simulation process for asynchronous event processing systems: Evaluating performance and availability in transaction models
errSIMULATION MODELLING PRACTICE AND THEORY
IF4.6
err2012-12-01
err0
PREAI
errMentis, Anakreon; Katsaros, Panagiotis; Angelis, Lefteris
errShare
errSave
Quantitative analysis of a certified e-mail protocol in mobile environments: A probabilistic model checking approach
errCOMPUTERS & SECURITY
IF5.4
err2011-06-01
err16
PREAI
errBasagiannis, S.; Petridou, S.; Alexiou, N.; Papadimitriou, G.; Katsaros, P.
errShare
errSave
Quantification of interacting runtime qualities in software architectures: Insights from transaction processing in client-server architectures
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err2010-12-01
err4
PREAI
errMentis, Anakreon; Katsaros, Panagiotis; Angelis, Lefteris; Kakarontzas, George
errShare
errSave
An intruder model with message inspection for model checking security protocols
errCOMPUTERS & SECURITY
IF5.4
err2010-02-01
err8
errOAAI
errBasagiannis, Stylianos; Katsaros, Panagiotis; Pombortsis, Andrew
errShare
errSave
Probabilistic model checking for the quantification of DoS security threats
errCOMPUTERS & SECURITY
IF5.4
err2009-09-01
err20
PREAI
errBasagiannis, Stylianos; Katsaros, Panagiotis; Pombortsis, Andrew; Alexiou, Nikolaos
errShare
errSave
A roadmap to electronic payment transaction guarantees and a Colored Petri Net model checking approach
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err2009-02-01
err29
errOAAI
errKatsaros, Panagiotis
errShare
errSave
Evaluation of composite object replication schemes for dependable server applications
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err2006-09-01
err1
errOAAI
errKatsaros, Panagiotis; Iakovidou, Nantia; Soldatos, Theodoros
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
J
Joost-Pieter Katoen
H-index: 58 · Papers: 636
J
Joseph Sifakis
H-index: 57 · Papers: 317
A
Alessandro Cimatti
H-index: 55 · Papers: 376
A
Apostolos Georgiadis
H-index: 45 · Papers: 307
L
Lefteris Angelis
H-index: 43 · Papers: 275
View more