دنبال کردن
Kelly Androutsopoulos
Kelly Androutsopoulos
Senior Lecturer in Software Engineering, Middlesex University
ایمیل تأیید شده در mdx.ac.uk - صفحهٔ اصلی
عنوان
نقل شده توسط
نقل شده توسط
سال
UML to B: Formal verification of object-oriented models‏
K Lano, D Clark, K Androutsopoulos‏
Integrated Formal Methods: 4th International Conference, IFM 2004 …, 2004‏
1072004
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‏
862014
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‏
772009
Towards security monitoring patterns‏
G Spanoudakis, C Kloukinas, K Androutsopoulos‏
Proceedings of the 2007 ACM symposium on Applied computing, 1518-1525, 2007‏
742007
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‏
642013
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‏
422009
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‏
402011
Safety and security analysis of object-oriented models‏
K Lano, D Clark, K Androutsopoulos‏
Computer Safety, Reliability and Security: 21st International Conference …, 2002‏
402002
Structuring and Design of Reactive Systems using RSDS and B‏
K Lano, K Androutsopoulos, D Clark‏
Fundamental Approaches to Software Engineering: Third International …, 2000‏
372000
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‏
362012
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‏
242000
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‏
142014
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‏
122003
Verification of reactive system specifications using model checking‏
K Androutsopoulos‏
PhD thesis, King’s College, 2004‏
112004
Structuring reactive systems in B AMN‏
K Lano, K Androutsopoulos, P Kan‏
ICFEM 2000. Third IEEE International Conference on Formal Engineering …, 2000‏
112000
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‏
102002
Refinement Patterns for UML‏
K Lano, K Androutsopolous, D Clark‏
Electronic Notes in Theoretical Computer Science 137 (2), 131-149, 2005‏
92005
Formalising inter-model consistency of the UML‏
K Lano, D Clark, K Androutsopoulos‏
Blekinge Institute of Technology, Research Report 6, 133-148, 2002‏
92002
Correctness of slicing finite state machines‏
T Amtoft, K Androutsopoulos, D Clark‏
RN 13, 22, 2013‏
72013
Concurrency specification in UML-RSDS‏
K Lano, K Androutsopoulos, D Clark‏
MODELS, 2006‏
72006
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–20