متابعة
Carroll Morgan
Carroll Morgan
Professor, University of New South Wales and DATA61
بريد إلكتروني تم التحقق منه على unsw.edu.au
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
Programming from specifications
C Morgan
Prentice-Hall, Inc., 1990
23581990
Laws of programming
CAR Hoare, IJ Hayes, H Jifeng, CC Morgan, AW Roscoe, JW Sanders, ...
Communications of the ACM 30 (8), 672-686, 1987
1032*1987
Specification case studies
B Flinn
Prentice-Hall International, 1987
8651987
Abstraction, refinement and proof for probabilistic systems
A McIver, C Morgan
Springer Science & Business Media, 2005
5172005
The specification statement
C Morgan
ACM Transactions on Programming Languages and Systems (TOPLAS) 10 (3), 403-419, 1988
4971988
The refinement calculus
C Morgan
Program Design Calculi, 3-52, 1993
4071993
Probabilistic predicate transformers
C Morgan, A McIver, K Seidel
ACM Transactions on Programming Languages and Systems (TOPLAS) 18 (3), 325-353, 1996
3891996
Specification of the UNIX filing system
C Morgan, B Sufrin
IEEE Transactions on Software Engineering, 128-142, 1984
2081984
Data refinement by calculation
C Morgan, PHB Gardiner
Acta Informatica 27 (6), 481-503, 1990
1921990
Data refinement of predicate transformers
P Gardiner, C Morgan
Theoretical Computer Science 87 (1), 143-162, 1991
1671991
Refinement of state-based concurrent systems
JCP Woodcock, C Morgan
International Symposium of VDM Europe, 340-351, 1990
1431990
A single complete rule for data refinement
PHB Gardiner, C Morgan
Formal Aspects of Computing 5, 367-382, 1993
1401993
Specification statements and refinement
C Morgan, K Robinson
IBM Journal of Research and Development 31 (5), 546-555, 1987
1331987
Characterising testing preorders for finite probabilistic processes
Y Deng, M Hennessy, R van Glabbeek, C Morgan
Logical Methods in Computer Science 4, 2008
1242008
Refinement-oriented probability for CSP
C Morgan, A McIver, K Seidel, JW Sanders
Formal aspects of computing 8 (6), 617-647, 1996
1211996
Of wp and CSP
C Morgan
Beauty is our business: a birthday salute to Edsger W. Dijkstra, 319-326, 1990
1161990
Probabilistic guarded commands mechanized in HOL
J Hurd, A McIver, C Morgan
Theoretical Computer Science 346 (1), 96-112, 2005
1142005
Linear-invariant generation for probabilistic programs: Automated support for proof-based methods
JP Katoen, AK McIver, LA Meinicke, CC Morgan
Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France …, 2010
1072010
Data refinement by miracles
CC Morgan
Information Processing Letters 26 (5), 243-246, 1988
1001988
Additive and multiplicative notions of leakage, and their capacities
MS Alvim, K Chatzikokolakis, A McIver, C Morgan, C Palamidessi, ...
2014 IEEE 27th Computer Security Foundations Symposium, 308-322, 2014
962014
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–20