Arjan J. Mooij

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Static type checking without downcast operator Information Processing Letters	2022-09-02	Paper
Formalizing and testing the consistency of DSL transformations Formal Aspects of Computing	2016-08-04	Paper
Relating fair testing and accordance for service replaceability The Journal of Logic and Algebraic Programming	2010-05-27	Paper
Invariant-based reasoning about parameterized security protocols Formal Aspects of Computing	2010-03-08	Paper
Realizability Criteria for Compositional MSC Algebraic Methodology and Software Technology	2009-04-28	Paper
Progress in Deriving Concurrent Programs: Emphasizing the Role of Stable Guards Lecture Notes in Computer Science	2009-04-02	Paper
Assertion-Based Proof Checking of Chang-Roberts Leader Election in PVS Automated Technology for Verification and Analysis	2008-07-03	Paper
Streamlining progress-based derivations of concurrent programs Formal Aspects of Computing	2008-04-09	Paper
Fundamental Approaches to Software Engineering Lecture Notes in Computer Science	2005-09-13	Paper

Research outcomes over time

This page was built for person: Arjan J. Mooij