logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
P

Panagiotis Katsaros

aristotle university of thessaloniki

18H指数
140论文数
1.1K被引数
收录论文 20
发表时间
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
err分享
err收藏
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
err分享
err收藏
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.
err分享
err收藏
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
err分享
err收藏
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.
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
Compositional execution semantics for business process verification
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2018-03-01
err2
PREAI
errStachtiari, Emmanouela; Katsaros, Panagiotis
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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.
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
J
Joost-Pieter Katoen
H 指数: 58 · 论文数: 636
J
Joseph Sifakis
H 指数: 57 · 论文数: 318
A
Alessandro Cimatti
H 指数: 55 · 论文数: 376
A
Apostolos Georgiadis
H 指数: 45 · 论文数: 308
L
Lefteris Angelis
H 指数: 43 · 论文数: 275
查看更多