Kelly Androutsopoulos

Dikutip oleh

	Semua	Sejak 2020
Kutipan	785	120
indeks-h	12	6
indeks-i10	16	3

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420258 4 15 23 19 20 38 28 29 51 32 48 37 30 32 59 41 39 49 38 30 32 20 19 16 3

Akses publik

Lihat semua

1 artikel

0 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

David ClarkComputer Science, University College LondonEmail yang diverifikasi di ucl.ac.uk
Kevin LanoDept. of Informatics, King's College LondonEmail yang diverifikasi di kcl.ac.uk
Mark HarmanResearch Scientist at Meta & Professor of Software Engineering at UCLEmail yang diverifikasi di ucl.ac.uk
Zheng LiProfessor, Beijing University of Chemical TechnologyEmail yang diverifikasi di ieee.org
Laurence TrattSoftware Development Team, Informatics, King's College LondonEmail yang diverifikasi di tratt.net
Christos KloukinasCity St George's, University of LondonEmail yang diverifikasi di city.ac.uk
George SpanoudakisSphynx Technology Solutions AGEmail yang diverifikasi di sphynx.ch
Nicolas GoldAssociate Professor in Computer Science, University College LondonEmail yang diverifikasi di ucl.ac.uk
Robert HieronsProfessor, The University of SheffieldEmail yang diverifikasi di sheffield.ac.uk
Dave BinkleyLoyola University MarylandEmail yang diverifikasi di cs.loyola.edu
Jens KrinkeAssociate Professor in Computer Science, University College LondonEmail yang diverifikasi di ucl.ac.uk
Franco RaimondiProfessor of Computer Science, Gran Sasso Science InstituteEmail yang diverifikasi di gssi.it
Giuseppe PrimieroDepartment of Philosophy, University of MilanEmail yang diverifikasi di unimi.it
Nikos GorogiannisFacebook LondonEmail yang diverifikasi di fb.com
Khaled MahbubAssociate Professor in Software Engineering, Birmingham City UniversityEmail yang diverifikasi di bcu.ac.uk
Michael HeeneyTechnical Tutor: Computer Science & Engineering, Middlesex University.Email yang diverifikasi di mdx.ac.uk
Aleksandar ZivanovicMiddlesex UniversityEmail yang diverifikasi di mdx.ac.uk
Bob FieldsAssociate Professor, Middlesex UniversityEmail yang diverifikasi di mdx.ac.uk
Michele BottoneUniversity of LawEmail yang diverifikasi di law.ac.uk
Lorenzo GheriUniversity of LiverpoolEmail yang diverifikasi di liverpool.ac.uk

Ikuti

Kelly Androutsopoulos

Senior Lecturer in Software Engineering, Middlesex University

Email yang diverifikasi di mdx.ac.uk - Beranda

Software Engineering Modelling Slicing


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
UML to B: Formal verification of object-oriented models K Lano, D Clark, K Androutsopoulos Integrated Formal Methods: 4th International Conference, IFM 2004 …, 2004	107	2004
An analysis of the relationship between conditional entropy and failed error propagation in software testing K Androutsopoulos, D Clark, H Dan, RM Hierons, M Harman Proceedings of the 36th international conference on software engineering …, 2014	85	2014
Control dependence for extended finite state machines K Androutsopoulos, D Clark, M Harman, Z Li, L Tratt Fundamental Approaches to Software Engineering: 12th International …, 2009	76	2009
Towards security monitoring patterns G Spanoudakis, C Kloukinas, K Androutsopoulos Proceedings of the 2007 ACM symposium on Applied computing, 1518-1525, 2007	75	2007
State-based model slicing: A survey K Androutsopoulos, D Clark, M Harman, J Krinke, L Tratt ACM Computing Surveys (CSUR) 45 (4), 1-36, 2013	65	2013
A theoretical and empirical study of EFSM dependence K Androutsopoulos, N Gold, M Harman, Z Li, L Tratt Software Maintenance, 2009. ICSM 2009. IEEE International Conference on, 287-296, 2009	42	2009
Model projection: Simplifying models in response to restricting the environment K Androutsopoulos, D Binkley, D Clark, N Gold, M Harman, K Lano, Z Li Proceedings of the 33rd International Conference on Software Engineering …, 2011	40	2011
Safety and security analysis of object-oriented models K Lano, D Clark, K Androutsopoulos Computer Safety, Reliability and Security: 21st International Conference …, 2002	39	2002
Structuring and Design of Reactive Systems using RSDS and B K Lano, K Androutsopoulos, D Clark Fundamental Approaches to Software Engineering: Third International …, 2000	38	2000
Amorphous slicing of extended finite state machines K Androutsopoulos, D Clark, M Harman, RM Hierons, Z Li, L Tratt IEEE Transactions on Software Engineering 39 (7), 892-909, 2012	37	2012
Invariant-based synthesis of fault-tolerant systems K Lano, D Clark, K Androutsopoulos, P Kan Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International …, 2000	24	2000
A racket-based robot to teach first-year computer science K Androutsopoulos, N Gorogiannis, M Loomes, M Margolis, G Primiero, ... 7th European Lisp Symposium 54, 2014	14	2014
RSDS, a Subset of UML with Precise Semantics. K Lano, D Clark, K Androutsopoulos Obj. Logiciel Base données Réseaux 9 (4), 53-73, 2003	12	2003
Verification of reactive system specifications using model checking K Androutsopoulos PhD thesis, King’s College, 2004	11	2004
Structuring reactive systems in B AMN K Lano, K Androutsopoulos, P Kan ICFEM 2000. Third IEEE International Conference on Formal Engineering …, 2000	11	2000
From implicit specifications to explicit designs in reactive system development K Lano, D Clark, K Androutsopoulos Integrated Formal Methods: Third International Conference, IFM 2002 Turku …, 2002	10	2002
Refinement Patterns for UML K Lano, K Androutsopolous, D Clark Electronic Notes in Theoretical Computer Science 137 (2), 131-149, 2005	9	2005
Formalising inter-model consistency of the UML K Lano, D Clark, K Androutsopoulos Blekinge Institute of Technology, Research Report 6, 133-148, 2002	9	2002
Correctness of slicing finite state machines T Amtoft, K Androutsopoulos, D Clark RN 13, 22, 2013	7	2013
Concurrency specification in UML-RSDS K Lano, K Androutsopoulos, D Clark MODELS, 2006	7	2006

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama