Arjan J. Mooij

Available identifiers

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

This page was built for person: Arjan J. Mooij