Travelled to:
1 × Czech Republic
1 × Finland
1 × Japan
2 × Germany
2 × USA
Collaborated with:
D.M.Zimmerman F.Fairmichael M.Janota R.Hyland G.T.Leavens E.Poll M.Moskal J.Lopuszanski
Talks about:
specif (3) formal (2) test (2) implement (1) function (1) document (1) behavior (1) modular (1) librari (1) instant (1)
Person: Joseph R. Kiniry
DBLP: Kiniry:Joseph_R=
Facilitated 3 volumes:
Contributed to:
Wrote 7 papers:
- TAP-2012-KiniryZH #consistency #library #specification #testing #verification
- Testing Library Specifications by Verifying Conformance Tests (JRK, DMZ, RH), pp. 51–66.
- CSEET-2011-ZimmermanKF #towards
- Toward instant gradeification (DMZ, JRK, FF), pp. 406–410.
- CBSE-2009-KiniryF #consistency #design #documentation #implementation #specification
- Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations (JRK, FF), pp. 242–261.
- FM-2008-KiniryZ #formal method
- Secret Ninja Formal Methods (JRK, DMZ), pp. 214–228.
- CAV-2007-LeavensKP #behaviour #composition #functional #java #ml #specification #tutorial #verification
- A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java (GTL, JRK, EP), p. 37.
- SMT-2007-MoskalLK08
- E-matching for Fun and Profit (MM, JL, JRK), pp. 19–35.
- SPLC-2007-JanotaK #feature model #higher-order #logic #modelling #reasoning
- Reasoning about Feature Models in Higher-Order Logic (MJ, JRK), pp. 13–22.