Richard F. Paige Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2010
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames R. Williams, Fiona A. C. Polack, Richard F. Paige: Formal Analysis in Model Management: Exploiting the Power of CZT. ASM 2010: 414
2009
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard F. Paige, Alan Hartman, Arend Rensink: Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings Springer 2009
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard F. Paige: Theory and Practice of Model Transformations, Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings Springer 2009
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLouis M. Rose, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack: Enhanced Automation for Managing Model and Metamodel Inconsistency. ASE 2009: 545-549
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiaocheng Ge, Richard F. Paige, John A. McDermid: Domain analysis on an electronic health records system. FOSD 2009: 49-54
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristopher Power, Richard F. Paige: Content Personalization for Inclusive Education through Model-Driven Engineering. HCI (7) 2009: 102-109
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard F. Paige, Dimitrios S. Kolovos, Louis M. Rose, Nikolaos Drivalos, Fiona A. C. Polack: The Design of a Conceptual Framework and Technical Infrastructure for Model Management Language Engineering. ICECCS 2009: 162-171
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmine G. Aydal, Richard F. Paige, Mark Utting, Jim Woodcock: Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation. ICST 2009: 131-140
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJendrik Johannes, Steffen Zschaler, Miguel A. Fernández, Antonio Castillo, Dimitrios S. Kolovos, Richard F. Paige: Abstracting Complex Languages through Transformation and Composition. MoDELS 2009: 546-550
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiaocheng Ge, Richard F. Paige, John A. McDermid: Probabilistic Failure Propagation and Transformation Analysis. SAFECOMP 2009: 215-228
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteffen Zschaler, Dimitrios S. Kolovos, Nikolaos Drivalos, Richard F. Paige, Awais Rashid: Domain-Specific Metamodelling Languages for Software Language Engineering. SLE 2009: 334-353
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHelen Treharne, Edward Turner, Richard F. Paige, Dimitrios S. Kolovos: Automatic Generation of Integrated Formal Models Corresponding to UML System Models. TOOLS (47) 2009: 357-367
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard F. Paige, Phillip J. Brooke: Editorial. Formal Asp. Comput. 21(4): 303 (2009)
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhillip J. Brooke, Richard F. Paige: Cameo: an alternative model of concurrency for Eiffel. Formal Asp. Comput. 21(4): 363-391 (2009)
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHoward Chivers, Richard F. Paige: XRound: A reversible template language and its application in model-based security analysis. Information & Software Technology 51(5): 876-893 (2009)
2008
81no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard F. Paige, Bertrand Meyer: Objects, Components, Models and Patterns, 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings Springer 2008
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLouis M. Rose, Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack: The Epsilon Generation Language. ECMDA-FA 2008: 1-16
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDimitrios S. Kolovos, Richard F. Paige, Fiona Polack: The Epsilon Transformation Language. ICMT 2008: 46-60
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDimitrios S. Kolovos, Richard F. Paige, Fiona Polack: Detecting and Repairing Inconsistencies across Heterogeneous Models. ICST 2008: 356-364
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLouis M. Rose, Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack: Constructing Models with the Human-Usable Textual Notation. MoDELS 2008: 249-263
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard F. Paige, Louis M. Rose, Xiaocheng Ge, Dimitrios S. Kolovos, Phillip J. Brooke: FPTC: Automated Safety Analysis for Domain-Specific Languages. MoDELS Workshops 2008: 229-242
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDimitrios S. Kolovos, Richard F. Paige, Fiona Polack: The Grand Challenge of Scalability for Model Driven Engineering. MoDELS Workshops 2008: 48-53
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard F. Paige, Ramon Charalambous, Xiaocheng Ge, Phillip J. Brooke: Towards Agile Engineering of High-Integrity Systems. SAFECOMP 2008: 30-43
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNikolaos Drivalos, Dimitrios S. Kolovos, Richard F. Paige, Kiran J. Fernandes: Engineering a DSL for Software Traceability. SLE 2008: 151-167
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlek Radjenovic, Richard F. Paige: The Role of Dependency Links in Ensuring Architectural View Consistency. WICSA 2008: 199-208
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaman Ramsin, Richard F. Paige: Process-centered review of object oriented software development methodologies. ACM Comput. Surv. 40(1): (2008)
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmine G. Aydal, Richard F. Paige, Jim Woodstock: Observations for Assertion-based Scenarios in the context of Model Validation. ECEASST 15: (2008)
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmine G. Aydal, Richard F. Paige, Jim Woodcock: Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse. ECEASST 9: (2008)
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard F. Paige: Model-driven software development. By Thomas Stahl and Markus Volter. Published by John Wiley & Sons, New York, 2006. ISBN: 0470025700. Softw. Test., Verif. Reliab. 18(4): 251-252 (2008)
2007
67no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid H. Akehurst, Régis Vogel, Richard F. Paige: Model Driven Architecture- Foundations and Applications, Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proccedings Springer 2007
66no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhillip J. Brooke, Richard F. Paige: Lazy Exploration and Checking of CSP Models with CSPsim. CPA 2007: 33-49
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohd Syazwan Abdullah, Ian D. Benest, Richard F. Paige, Chris Kimble: Using Unified Modeling Language for Conceptual Modelling of Knowledge-Based Systems. ER 2007: 438-453
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Laurens, Richard F. Paige, Phillip J. Brooke, Howard Chivers: A Novel Approach to the Detection of Cheating in Multiplayer Online Games. ICECCS 2007: 97-106
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippa Conmy, Richard F. Paige: Model-driven Development of Particle System Families. MOMPES 2007: 127-136
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmine G. Aydal, Richard F. Paige, Jim Woodcock: Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse. MoDELS Workshops 2007: 194-205
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohd Syazwan Abdullah, Richard F. Paige, Chris Kimble, Ian D. Benest: A UML Profile for Knowledge-Based Systems Modelling. SERA 2007: 871-878
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiaocheng Ge, Richard F. Paige, Fiona Polack, Phillip J. Brooke: Extreme Programming Security Practices. XP 2007: 226-230
59no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohd Syazwan Abdullah, Richard F. Paige, Ian D. Benest, Chris Kimble: Knowledge Modelling Using UML Profile for Knowledge-Based Systems Development. Emerging Artificial Intelligence Applications in Computer Engineering 2007: 74-89
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard F. Paige, Phillip J. Brooke, Jonathan S. Ostroff: Metamodel-based model conformance and multiview consistency checking. ACM Trans. Softw. Eng. Methodol. 16(3): (2007)
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhillip J. Brooke, Richard F. Paige, Jeremy L. Jacob: A CSP model of Eiffel's SCOOP. Formal Asp. Comput. 19(4): 487-512 (2007)
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDimitrios S. Kolovos, Richard F. Paige, Fiona Polack, Louis M. Rose: Update Transformations in the Small with the Epsilon Wizard Language. Journal of Object Technology 6(9): 53-69 (2007)
2006
55no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn A. Clark, Richard F. Paige, Fiona Polack, Phillip J. Brooke: Security in Pervasive Computing, Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings Springer 2006
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohd Syazwan Abdullah, Richard F. Paige, Ian D. Benest, Chris Kimble: Knowledge Modelling Using The UML Profile. AIAI 2006: 70-77
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDimitrios S. Kolovos, Richard F. Paige, Fiona Polack: The Epsilon Object Language (EOL). ECMDA-FA 2006: 128-142
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus-D. Engel, Richard F. Paige, Dimitrios S. Kolovos: Using a Model Merging Language for Reconciling Model Versions. ECMDA-FA 2006: 143-157
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean Bézivin, Salim Bouzitouna, Marcos Didonet Del Fabro, Marie-Pierre Gervais, Frédéric Jouault, Dimitrios S. Kolovos, Ivan Kurtev, Richard F. Paige: A Canonical Scheme for Model Composition. ECMDA-FA 2006: 346-360
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJovan Cakic, Richard F. Paige: Origins of the Grid Architectural Style. ICECCS 2006: 227-235
49no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohd Syazwan Abdullah, Richard F. Paige, Ian D. Benest, Chris Kimble: Knowledge Engineering Using the UML Profile - Adopting the Model-Driven Architecture for Knowledge-Based System Development. ICEIS (2) 2006: 74-81
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiaocheng Ge, Richard F. Paige, Fiona Polack, Howard Chivers, Phillip J. Brooke: Agile development of secure web applications. ICWE 2006: 305-312
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDimitrios S. Kolovos, Richard F. Paige, Fiona Polack: Merging Models with the Epsilon Merging Language (EML). MoDELS 2006: 215-229
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard F. Paige, Dimitrios S. Kolovos, Fiona Polack: An action semantics for MOF 2.0. SAC 2006: 1304-1305
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlek Radjenovic, Richard F. Paige: The View Glue. WADS 2006: 66-88
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmine G. Aydal, Richard F. Paige, Howard Chivers, Phillip J. Brooke: Security Planning and Refactoring in Extreme Programming. XP 2006: 154-163
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard F. Paige, Xiaochen Wang, Zoë R. Stephenson, Phillip J. Brooke: Towards an Agile Process for Building Software Product Lines. XP 2006: 198-199
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDimitrios S. Kolovos, Richard F. Paige, Fiona Polack: Aligning OCL with Domain-Specific Languages to Support Instance-Level Model Queries. ECEASST 5: (2006)
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlek Radjenovic, Richard F. Paige: Architecture Description Languages for High-Integrity Real-Time Systems. IEEE Software 23(2): 71-79 (2006)
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohd Syazwan Abdullah, Chris Kimble, Ian D. Benest, Richard F. Paige: Knowledge-based systems: a re-evaluation. J. Knowledge Management 10(3): 127-142 (2006)
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard F. Paige, Triston S. Attridge, Phillip J. Brooke: Game Development Using Design-by-Contract. Journal of Object Technology 5(7): (2006)
2005
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohd Syazwan Abdullah, Richard F. Paige, Ian D. Benest, Chris Kimble: Unified Modeling Language for Knowledge Modelling. CIMCA/IAWTIC 2005: 952-957
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhan En Chan, Richard F. Paige: Designing a Domain-Specific Contract Language: A Metamodelling Approach. ECMDA-FA 2005: 175-189
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHoward Chivers, Richard F. Paige: XRound: Bidirectional Transformations and Unifications Via a Reversible Template Language. ECMDA-FA 2005: 205-219
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard F. Paige, Phillip J. Brooke: Agile Formal Method Engineering. IFM 2005: 109-128
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard F. Paige, Howard Chivers, John A. McDermid, Zoë R. Stephenson: High-integrity extreme programming. SAC 2005: 1518-1523
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDimitrios S. Kolovos, Richard F. Paige, Fiona Polack: An Agile and Extensible Code Generation Framework. XP 2005: 226-229
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHoward Chivers, Richard F. Paige, Xiaocheng Ge: Agile Security Using an Incremental Security Architecture. XP 2005: 57-65
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJovan Cakic, Richard F. Paige: A Web Services Description Framework to Support Dynamic Run-Time Binding in Grid-based Systems. iiWAS 2005: 85-96
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard F. Paige, Dimitrios S. Kolovos, Fiona Polack: Refinement via Consistency Checking in MDA. Electr. Notes Theor. Comput. Sci. 137(2): 151-161 (2005)
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJonathan S. Ostroff, Richard F. Paige, David Makalsky, Phillip J. Brooke: E-Tester: a Contract-Aware and Agent-Based Unit Testing Framework for Eiffel. Journal of Object Technology 4(7): 97-114 (2005)
2004
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohd Syazwan Abdullah, Chris Kimble, Richard F. Paige, Ian D. Benest, Andy Evans: Developing a UML Profile for Modelling Knowledge-Based Systems. MDAFA 2004: 220-233
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard F. Paige, Jonathan S. Ostroff: Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods. TFM 2004: 107-123
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJonathan S. Ostroff, David Makalsky, Richard F. Paige: Agile Specification-Driven Development. XP 2004: 104-112
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard F. Paige, Jonathan S. Ostroff: ERC - An object-oriented refinement calculus for Eiffel. Formal Asp. Comput. 16(1): 51-79 (2004)
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOleksandr Fuks, Jonathan S. Ostroff, Richard F. Paige: SECG: The SCOOP-to-Eiffel Code Generator. Journal of Object Technology 3(10): 143-161 (2004)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard F. Paige, Phillip J. Brooke: Integrating BON and Object-Z. Journal of Object Technology 3(3): 121-141 (2004)
2003
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard F. Paige, Priyanka Agarwal, Phillip J. Brooke: Combining Agile Practices with UML and EJB: A Case Study in Agile Development. XP 2003: 351-353
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhillip J. Brooke, Richard F. Paige: Fault trees for security system design and analysis. Computers & Security 22(3): 256-264 (2003)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard F. Paige, Jonathan S. Ostroff, Phillip J. Brooke: Theorem Proving Support for View Consistency Checking. L'OBJET 9(4): 115-134 (2003)
2002
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhillip J. Brooke, Richard F. Paige: The Design of a Tool-Supported Graphical Notation for Timed CSP. IFM 2002: 299-318
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard F. Paige, Liliya Kaminskaya, Jonathan S. Ostroff, Jason Lancaric: BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning. Journal of Object Technology 1(3): 77-96 (2002)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard F. Paige, Jonathan S. Ostroff: The Single Model Principle. Journal of Object Technology 1(5): 63-81 (2002)
2001
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShuxia Tan, Eshrat Arjomandi, Richard F. Paige, Evan Mamas, Simon Moser, Bill O'Farrell: Extending the message flow debugger for MQSI. CASCON 2001: 15
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard F. Paige, Jonathan S. Ostroff: Metamodelling and Conformance Checking with PVS. FASE 2001: 2-16
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard F. Paige, Jonathan S. Ostroff: The Single Model Principle. RE 2001: 292-293
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard F. Paige, Jonathan S. Ostroff: A Proposal for a Lightweight Rigorous UML-Based Development Method for Reliable Systems. pUML 2001: 192-206
2000
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard F. Paige, Jonathan S. Ostroff, Phillip J. Brooke: Principles for modeling language design. Information & Software Technology 42(10): 665-675 (2000)
1999
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard F. Paige: Specification and Refinement using a Heterogeneous Notation for Concurrency and Communication. IFM 1999: 353-372
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard F. Paige, Jonathan S. Ostroff: A Comparison of the Business Object Notation and the Unified Modelling Language. UML 1999: 67-82
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard F. Paige, Eric C. R. Hehner: Bunches for Object-Oriented, Concurrent, and Real-Time Specification. World Congress on Formal Methods 1999: 530-550
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard F. Paige, Jonathan S. Ostroff: Developing BON as an Industrial-Strength Formal Method. World Congress on Formal Methods 1999: 834-853
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard F. Paige: Integrating a Program Design Calculus and a Subset of UML. Comput. J. 42(2): 82-99 (1999)
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard F. Paige: When are methods complementary? Information & Software Technology 41(3): 157-162 (1999)
1998
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard F. Paige, Jonathan S. Ostroff: From Z to BON/Eiffel. ASE 1998: 209-212
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard F. Paige: Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space. ZUM 1998: 214-232
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard F. Paige: Heterogeneous Notations for Pure Formal Method Integration. Formal Asp. Comput. 10(3): 233-242 (1998)
1997
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard F. Paige: Case Studies in Using a Meta-Method for Formal Method Integration. AMAST 1997: 395-408
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard F. Paige: A Meta-Method for Formal Method Integration. FME 1997: 473-494

Coauthor Index

1Mohd Syazwan Abdullah [28] [38] [40] [49] [54] [59] [61] [65]
2Priyanka Agarwal [22]
3David H. Akehurst [67]
4Eshrat Arjomandi [16]
5Triston S. Attridge [39]
6Emine G. Aydal [44] [62] [69] [70] [89]
7Ian D. Benest [28] [38] [40] [49] [54] [59] [61] [65]
8Jean Bézivin [51]
9Salim Bouzitouna [51]
10Phillip J. Brooke [12] [19] [20] [21] [22] [23] [29] [35] [39] [43] [44] [48] [55] [57] [58] [60] [64] [66] [74] [76] [83] [84]
11Jovan Cakic [31] [50]
12Antonio Castillo [88]
13Zhan En Chan [37]
14Ramon Charalambous [74]
15Howard Chivers [32] [34] [36] [44] [48] [64] [82]
16John A. Clark (John Andrew Clark) [55]
17Philippa Conmy [63]
18Nikolaos Drivalos [73] [86] [90]
19Klaus-D. Engel [52]
20Andy Evans [28]
21Marcos Didonet Del Fabro [51]
22Kiran J. Fernandes [73]
23Miguel A. Fernández [88]
24Oleksandr Fuks [24]
25Xiaocheng Ge [32] [48] [60] [74] [76] [87] [92]
26Marie-Pierre Gervais [51]
27Alan Hartman [95]
28Eric C. R. Hehner [9]
29Jeremy L. Jacob (Jeremy Jacob) [57]
30Jendrik Johannes [88]
31Frédéric Jouault [51]
32Liliya Kaminskaya [18]
33Chris Kimble [28] [38] [40] [49] [54] [59] [61] [65]
34Dimitrios S. Kolovos [30] [33] [42] [46] [47] [51] [52] [53] [56] [73] [75] [76] [77] [78] [79] [80] [85] [86] [88] [90] [93]
35Ivan Kurtev [51]
36Jason Lancaric [18]
37Peter Laurens [64]
38David Makalsky [26] [29]
39Evan Mamas [16]
40John A. McDermid [34] [87] [92]
41Bertrand Meyer [81]
42Simon Moser [16]
43Bill O'Farrell [16]
44Jonathan S. Ostroff [5] [8] [10] [12] [13] [14] [15] [17] [18] [20] [24] [25] [26] [27] [29] [58]
45Fiona Polack (Fiona A. C. Polack) [30] [33] [42] [46] [47] [48] [53] [55] [56] [60] [75] [77] [78] [79] [80] [90] [93] [96]
46Christopher Power [91]
47Alek Radjenovic [41] [45] [72]
48Raman Ramsin [71]
49Awais Rashid [86]
50Arend Rensink [95]
51Louis M. Rose [56] [76] [77] [80] [90] [93]
52Zoë R. Stephenson [34] [43]
53Shuxia Tan [16]
54Helen Treharne [85]
55Edward Turner [85]
56Mark Utting [89]
57Régis Vogel [67]
58Xiaochen Wang [43]
59James R. Williams [96]
60Jim Woodcock (J. C. P. Woodcock) [62] [69] [89]
61Jim Woodstock [70]
62Steffen Zschaler [86] [88]

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)