Richard F. Paige
Orcid: 0000-0002-1978-9852Affiliations:
- McMaster University, Department of Computing and Software, Hamilton, ON, Canada
- University of York, Department of Computer Science, UK
According to our database1,
Richard F. Paige
authored at least 292 papers
between 1997 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on twitter.com
-
on orkg.org
-
on orcid.org
-
on id.loc.gov
-
on dl.acm.org
On csauthors.net:
Bibliography
2023
Softw. Syst. Model., October, 2023
CoRR, 2023
Redesigning Medical Device Assurance: Separating Technological and Clinical Assurance Cases.
Proceedings of the Computer Safety, Reliability, and Security, 2023
Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities.
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023
Proceedings of the 26th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023
Bridging the Gap Between System Architecture and Software Design using Model Transformation.
Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, 2023
2022
J. Object Technol., 2022
Preface to the JOT Special Issue dedicated to Prof. Antonio Vallecillo on his 60th Birthday.
J. Object Technol., 2022
Proceedings of the Computer Safety, Reliability, and Security, 2022
An investigation into the effect of cluster-based preprocessing on software migration.
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022
Towards the adoption of model based system safety engineering in the automotive industry.
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2022
2021
Runtime translation of OCL-like statements on Simulink models: Expanding domains and optimising queries.
Softw. Syst. Model., 2021
Proceedings of the 24th International Conference on Model Driven Engineering Languages and Systems, 2021
Proceedings of the 24th International Conference on Model Driven Engineering Languages and Systems, 2021
2020
Bridging proprietary modelling and open-source model management tools: the case of PTC Integrity Modeller and Epsilon.
Softw. Syst. Model., 2020
Softw. Syst. Model., 2020
Grand challenges in model-driven engineering: an analysis of the state of the research.
Softw. Syst. Model., 2020
J. Object Technol., 2020
J. Object Technol., 2020
Proceedings of the Computer Safety, Reliability, and Security, 2020
Proceedings of the MSR '20: 17th International Conference on Mining Software Repositories, 2020
Supporting robotic software migration using static analysis and model-driven engineering.
Proceedings of the MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020
Proceedings of the MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020
An Architecture for the Development of Distributed Analytics Based on Polystore Events.
Proceedings of the Heterogeneous Data Management, Polystores, and Analytics for Healthcare, 2020
2019
Softw. Syst. Model., 2019
Softw. Syst. Model., 2019
Softw. Syst. Model., 2019
J. Object Technol., 2019
Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, 2019
Proceedings of the 16th International Conference on Mining Software Repositories, 2019
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2019
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019
Proceedings of the 19th International Workshop in OCL and Textual Modeling (OCL 2019) co-located with IEEE/ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS 2019), 2019
Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019
Domain-specific languages for the design, deployment and manipulation of heterogeneous databases.
Proceedings of the 11th International Workshop on Modelling in Software Engineerings, 2019
2018
J. Cloud Comput., 2018
Digit. Investig., 2018
Proceedings of the 15th International Conference on Mining Software Repositories, 2018
Proceedings of MODELS 2018 Workshops: ModComp, 2018
Proceedings of MODELS 2018 Workshops: ModComp, 2018
Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018
Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018
Proceedings of the 2nd IEEE/ACM International Workshop on API Usage and Evolution, 2018
Dependent input sampling strategies: using metaheuristics for generating parameterised random sampling regimes.
Proceedings of the Genetic and Evolutionary Computation Conference, 2018
Proceedings of the Applications of Evolutionary Computation, 2018
Proceedings of the Modelling Foundations and Applications - 14th European Conference, 2018
Proceedings of the Modelling Foundations and Applications - 14th European Conference, 2018
2017
Eugenia: towards disciplined and automated development of GMF-based graphical model editors.
Softw. Syst. Model., 2017
Model-based tool support for Tactical Data Links: an experience report from the defence domain.
Softw. Syst. Model., 2017
Empir. Softw. Eng., 2017
Comput. Lang. Syst. Struct., 2017
SECT-AIR: Software Engineering Costs and Timescales - Aerospace Initiative for Reduction.
Proceedings of the Software Technologies: Applications and Foundations, 2017
Technical Obsolescence Management Strategies for Safety-Related Software for Airborne Systems.
Proceedings of the Software Technologies: Applications and Foundations, 2017
Developer-Centric Knowledge Mining from Large Open-Source Software Repositories (CROSSMINER).
Proceedings of the Software Technologies: Applications and Foundations, 2017
Bridging Proprietary Modelling and Open-Source Model Management Tools: The Case of PTC Integrity Modeller and Epsilon.
Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017
Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017
Proceedings of the 9th IEEE/ACM International Workshop on Modelling in Software Engineering, 2017
Proceedings of the Present and Ulterior Software Engineering., 2017
2016
J. Syst. Softw., 2016
Proceedings of the Joint Proceedings of the Doctoral Symposium and Projects Showcase Held as Part of STAF 2016 co-located with Software Technologies: Applications and Foundations (STAF 2016), 2016
Proceedings of the Software Technologies: Applications and Foundations, 2016
Proceedings of the Software Process Improvement and Capability Determination, 2016
Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016
Proceedings of the 13th Workshop on Model-Driven Engineering, 2016
Proceedings of the Theory and Practice of Model Transformations, 2016
Language engineering: challenges, opportunities and potential disasters for interactive systems.
Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2016
Proceedings of the Modelling Foundations and Applications - 12th European Conference, 2016
Proceedings of the Bidirectional Transformations, 2016
2015
Softw. Syst. Model., 2015
Formal verification and validation of embedded systems: the UML-based MADES approach.
Softw. Syst. Model., 2015
Special Issue on the 6th and 7th International Conferences on Software Language Engineering (SLE 2013 and SLE 2014).
Comput. Lang. Syst. Struct., 2015
Proceedings of the First Workshop on Patterns in Model Engineering, 2015
Proceedings of the Projects Showcase, 2015
Proceedings of the Projects Showcase, 2015
Observations on Utilising Usability Maturity Model-Human Centredness Scale in Integrating Agile Development Processes and User Centred Design.
Proceedings of the Software Process Improvement and Capability Determination, 2015
Proceedings of the Workshop on Flexible Model Driven Engineering co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2015), 2015
Type Inference Using Concrete Syntax Properties in Flexible Model-Driven Engineering.
Proceedings of the Workshop on Flexible Model Driven Engineering co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2015), 2015
Proceedings of the MODELS Educators Symposium co-located with the ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), 2015
Proceedings of the International Workshop on Open Source Software for Model Driven Engineering co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), 2015
Proceedings of the 15th International Workshop on OCL and Textual Modeling co-located with 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015
2nd International Workshop on Software Engineering Methods in Spreadsheets (SEMS 2015).
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015
Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015
Proceedings of the 20th European Conference on Pattern Languages of Programs, 2015
Proceedings of the Modelling Foundations and Applications - 11th European Conference, 2015
2014
Sci. Comput. Program., 2014
Re-engineering the Database Layer of Legacy Applications for Scalable Cloud Deployment.
Proceedings of the 7th IEEE/ACM International Conference on Utility and Cloud Computing, 2014
Proceedings of the 15th IEEE/ACIS International Conference on Software Engineering, 2014
Proceedings of the Product-Focused Software Process Improvement, 2014
Proceedings of the 11th Working Conference on Mining Software Repositories, 2014
Proceedings of the 3rd Workshop on Extreme Modeling co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems, 2014
Proceedings of the 1st Workshop on Open Source Software for Model Driven Engineering co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems, 2014
Proceedings of the Model-Driven Engineering Languages and Systems, 2014
Proceedings of the Workshop on Analysis of Model Transformations co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), 2014
Proceedings of the MODELS Educators Symposium co-located with the ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), 2014
Proceedings of the First International Workshop on Combining Modelling with Search- and Example-Based Approaches co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), 2014
Proceedings of the Model-Driven Engineering Languages and Systems, 2014
Integrating Agile Development Processes and User Centred Design- A Place for Usability Maturity Models?
Proceedings of the Human-Centered Software Engineering, 2014
A systematic literature review for agile development processes and user centred design integration.
Proceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering, 2014
Proceedings of the Conference on Systems Engineering Research, 2014
Resource Requirement Analysis for Web Applications Running in a Virtualised Environment.
Proceedings of the IEEE 6th International Conference on Cloud Computing Technology and Science, 2014
Proceedings of the BCS-HCI 2014 Proceedings of the 28th International BCS Human Computer Interaction Conference, 2014
2013
Proceedings of the Engineering Dependable Software Systems, 2013
Softw. Syst. Model., 2013
Proceedings of the Workshop on Scalability in Model Driven Engineering, 2013
Proceedings of the 3rd International Workshop on Experiences and Empirical Studies in Software Modeling co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), 2013
Exploring the Use of Metaheuristic Search to Infer Models of Dynamic System Behaviour.
Proceedings of the 8th Workshop on Models @ Run.time co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), 2013
Proceedings of the 7th Workshop on Multi-Paradigm Modeling co-located with the 16th International Conference on Model Driven Engineering Languages and Systems, 2013
Proceedings of the Joint Proceedings of the First International Workshop On the Globalization of Modeling Languages (GEMOC 2013) and the First International Workshop: Towards the Model Driven Organization (AMINO 2013) Co-located with the 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, USA, September 29, 2013
Proceedings of the Second Workshop on the Analysis of Model Transformations (AMT 2013), 2013
Proceedings of the Workshop on Extreme Modeling co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2013), 2013
Proceedings of the Model-Driven Engineering Languages and Systems, 2013
Proceedings of the 2013 IEEE International Conference on Software Maintenance, 2013
1st international workshop on combining modelling and search-based software engineering (CMSBSE 2013).
Proceedings of the 35th International Conference on Software Engineering, 2013
Proceedings of the 35th International Conference on Software Engineering, 2013
2012
Softw. Syst. Model., 2012
J. Syst. Archit., 2012
J. Object Technol., 2012
Proceedings of the Security Protocols XX, 2012
Proceedings of the Software Language Engineering, 5th International Conference, 2012
Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012
Proceedings of the 6th International Workshop on Models and Evolution, 2012
Proceedings of the Model Driven Engineering Languages and Systems, 2012
Proceedings of the 2012 Extreme Modeling Workshop, 2012
Proceedings of the 2012 Extreme Modeling Workshop, 2012
Proceedings of the First Workshop on the Analysis of Model Transformations, 2012
Proceedings of the 1st International Workshop on Model-Driven Engineering for High Performance and CLoud computing co-located with 15th International Conference on Model Driven Engineering Languages and Systems (MODELS 2012), Innsbruck, Austria, October 01, 2012
Proceedings of the 4th International Workshop on Modeling in Software Engineering, 2012
Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012
Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012
Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012
Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012
An Integrated Framework for System/Software Requirements Development Aligning with Business Motivations.
Proceedings of the 2012 IEEE/ACIS 11th International Conference on Computer and Information Science, Shanghai, China, May 30, 2012
2011
Softw. Syst. Model., 2011
Int. J. Crit. Comput. Based Syst., 2011
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011
Proceedings of the Proceedings Fifth Transformation Tool Contest, 2011
Proceedings of the Agile Processes in Software Engineering and Extreme Programming, 2011
Identifying Desirable Game Character Behaviours through the Application of Evolutionary Algorithms to Model-Driven Engineering Metamodels.
Proceedings of the Search Based Software Engineering - Third International Symposium, 2011
Proceedings of the Model Driven Engineering Languages and Systems, 2011
Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2011
Proceedings of the Theory and Practice of Model Transformations, 2011
Proceedings of the 2nd International Workshop on Model Comparison in Practice, 2011
Model-based Failure Failure Analysis of Business Process.
Proceedings of the ICEIS 2011, 2011
Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models.
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011
Proceedings of the Generative and Transformational Techniques in Software Engineering IV, 2011
Proceedings of the Modelling Foundations and Applications - 7th European Conference, 2011
Proceedings of the ENTERprise Information Systems - International Conference, 2011
2010
Proceedings of the Encyclopedia of Software Engineering, 2010
Softw. Pract. Exp., 2010
Softw. Syst. Model., 2010
Iterative criteria-based approach to engineering the requirements of software development methodologies.
IET Softw., 2010
KAOS-β: A Goal-oriented Process Model for EIS.
Proceedings of the Modelling, 2010
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2010
Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010
Proceedings of the Model Driven Engineering Languages and Systems, 2010
Proceedings of the First International Workshop on Model-Driven Interoperability, 2010
Proceedings of the Model Driven Engineering Languages and Systems, 2010
Proceedings of the Model Driven Engineering Languages and Systems, 2010
Proceedings of the Model Driven Engineering Languages and Systems, 2010
Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2010
Proceedings of the Theory and Practice of Model Transformations, 2010
Proceedings of the Theory and Practice of Model Transformations, 2010
Proceedings of the Modelling Foundations and Applications - 6th European Conference, 2010
Proceedings of the 6th ECMFA Traceability Workshop, 2010
Proceedings of the 6th ECMFA Traceability Workshop, 2010
Proceedings of the Modelling Foundations and Applications - 6th European Conference, 2010
Proceedings of the ENTERprise Information Systems - International Conference, 2010
Proceedings of the Abstract State Machines, 2010
An Iterative Approach for Development of Safety-Critical Software and Safety Arguments.
Proceedings of the 2010 Agile Conference, 2010
2009
XRound: A reversible template language and its application in model-based security analysis.
Inf. Softw. Technol., 2009
Proceedings of the thirty-second Communicating Process Architectures Conference, 2009
Proceedings of the Objects, Components, Models and Patterns, 47th International Conference, 2009
Proceedings of the Software Language Engineering, Second International Conference, 2009
Proceedings of the Computer Safety, 2009
Proceedings of the Model Driven Engineering Languages and Systems, 2009
Proceedings of the First International Workshop on Feature-Oriented Software Development, 2009
Proceedings of the ASE 2009, 2009
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation.
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009
Different models for model matching: An analysis of approaches to support model differencing.
Proceedings of the 2009 ICSE Workshop on Comparison and Versioning of Software Models, 2009
Raising the level of abstraction in the development of GMF-based graphical model editors.
Proceedings of the ICSE Workshop on Modeling in Software Engineering, 2009
The Design of a Conceptual Framework and Technical Infrastructure for Model Management Language Engineering.
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009
Proceedings of the Universal Access in Human-Computer Interaction. Applications and Services, 2009
Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009
Proceedings of the Rigorous Methods for Software Construction and Analysis, 2009
2008
Model-driven software development. By Thomas Stahl and Markus Volter. Published by John Wiley & Sons, New York, 2006. ISBN: 0470025700.
Softw. Test. Verification Reliab., 2008
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008
ACM Comput. Surv., 2008
Proceedings of the Seventh Working IEEE / IFIP Conference on Software Architecture (WICSA 2008), 2008
Proceedings of the Software Language Engineering, First International Conference, 2008
Proceedings of the Computer Safety, 2008
Proceedings of the Model Driven Engineering Languages and Systems, 2008
Proceedings of the Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28, 2008
Proceedings of the Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28, 2008
Proceedings of the First International Conference on Software Testing Verification and Validation, 2008
Proceedings of the First International Conference on Software Testing, 2008
Observations for Assertion-based Scenarios in the context of Model Validation and Extension to Test Case Generation.
Proceedings of the First International Conference on Software Testing Verification and Validation, 2008
Proceedings of the International Workshop on Modeling in Software Engineering, 2008
Proceedings of the Theory and Practice of Model Transformations, 2008
Proceedings of the Perspectives Workshop: Model Engineering of Complex Systems (MECS), 10.08., 2008
08331 Abstracts Collection - Perspectives Workshop: Model Engineering of Complex Systems (MECS).
Proceedings of the Perspectives Workshop: Model Engineering of Complex Systems (MECS), 10.08., 2008
2007
Undergraduate Topics in Computer Science, Springer, ISBN: 978-1-84628-841-8, 2007
Proceedings of the Emerging Artificial Intelligence Applications in Computer Engineering, 2007
ACM Trans. Softw. Eng. Methodol., 2007
J. Object Technol., 2007
Proceedings of the Agile Processes in Software Engineering and Extreme Programming, 2007
Proceedings of the 30th Communicating Process Architectures Conference, 2007
Proceedings of the 5th ACIS International Conference on Software Engineering Research, 2007
Proceedings of the Model-based Methodologies for Pervasive and Embedded Software, 2007
Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007
Proceedings of the Conceptual Modeling, 2007
2006
IEEE Softw., 2006
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006
Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2006
Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2006
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006
Proceedings of the Model Driven Engineering Languages and Systems, 2006
Proceedings of the Artificial Intelligence Applications and Innovations, 2006
Proceedings of the 6th International Conference on Web Engineering, 2006
Proceedings of the Architecting Dependable Systems IV [the book is a result of DSN 2006 workshops, 2006
Knowledge Engineering Using the UML Profile - Adopting the Model-Driven Architecture for Knowledge-Based System Development.
Proceedings of the ICEIS 2006, 2006
Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006
Proceedings of the Model Driven Architecture, 2006
Proceedings of the Model Driven Architecture, 2006
Proceedings of the Model Driven Architecture, 2006
2005
J. Object Technol., 2005
Proceedings of the REFINE 2005 Workshop, 2005
Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2005
Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2005
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005
A Web Services Description Framework to Support Dynamic Run-Time Binding in Grid-based Systems.
Proceedings of the iiWAS'2005, 2005
Proceedings of the Integrated Formal Methods, 5th International Conference, 2005
Proceedings of the Artificial Intelligence Applications and Innovations - IFIP TC12 WG12.5, 2005
XRound: Bidirectional Transformations and Unifications Via a Reversible Template Language.
Proceedings of the Model Driven Architecture, 2005
Proceedings of the Model Driven Architecture, 2005
Proceedings of the 2005 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2005), 2005
2004
SIGCAS Comput. Soc., 2004
Formal Aspects Comput., 2004
Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2004
Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods.
Proceedings of the Teaching Formal Methods, CoLogNET/FME Symposium, 2004
Proceedings of the Model Driven Architecture, 2004
2003
Obj. Logiciel Base données Réseaux, 2003
Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2003
2002
J. Object Technol., 2002
Proceedings of the Integrated Formal Methods, Third International Conference, 2002
2001
A Proposal for a Lightweight Rigorous UML-Based Development Method for Reliable Systems.
Proceedings of the Practical UML-Based Rigorous Development Methods, 2001
Proceedings of the Fundamental Approaches to Software Engineering, 2001
Proceedings of the 2001 conference of the Centre for Advanced Studies on Collaborative Research, 2001
2000
1999
Proceedings of the «UML»'99: The Unified Modeling Language, 1999
Specification and Refinement using a Heterogeneous Notation for Concurrency and Communication.
Proceedings of the Integrated Formal Methods, 1999
Proceedings of the FM'99 - Formal Methods, 1999
Proceedings of the FM'99 - Formal Methods, 1999
1998
Formal Aspects Comput., 1998
Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space.
Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998
Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998
1997
Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997
Proceedings of the Algebraic Methodology and Software Technology, 1997