Joseph Kiniry
发表
Anne Elisabeth Haxthausen,
Marieta V. Fasie,
Joseph Kiniry,
2013,
2013 3rd International Workshop on Developing Tools as Plug-Ins (TOPI).
Joseph Kiniry,
2006,
Advanced Topics in Exception Handling Techniques.
Joseph Kiniry,
2002,
ArXiv.
Joseph Kiniry,
Fintan Fairmichael,
J. Kiniry,
2009,
CBSE.
Daniel M. Zimmerman,
Joseph Kiniry,
J. Kiniry,
1997
.
Marieke Huisman,
Stefan Blom,
Joseph Kiniry,
2013,
2013 18th International Conference on Engineering of Complex Computer Systems.
Daniel M. Zimmerman,
Joseph Kiniry,
Ralph Hyland,
2012,
TAP@TOOLS.
K. Mani Chandy,
Paolo A. G. Sivilotti,
Joseph Kiniry,
1998,
IPPS/SPDP Workshops.
K. Mani Chandy,
Daniel M. Zimmerman,
Adam Rifkin,
1998,
Parallel Comput..
Joseph Kiniry,
2007,
12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007).
Gary T. Leavens,
Erik Poll,
Joseph Kiniry,
2007,
CAV.
Mikolás Janota,
Radu Grigore,
Dermot Cochran,
2009,
DSL.
Joseph Kiniry,
2002,
ArXiv.
Peter Müller,
Erik Poll,
Marieke Huisman,
2004,
ECOOP Workshops.
Joseph Kiniry,
1998,
IEEE Internet Comput..
Gary T. Leavens,
Erik Poll,
Patrice Chalin,
2005,
FMCO.
Vieri Del Bianco,
Joseph Kiniry,
Dragan Stosic,
2010,
FM+AM.
Patrice Chalin,
Joseph Kiniry,
Clément Hurlin,
2005,
VSTTE.
Bart Jacobs,
Martijn Warnier,
Joseph Kiniry,
2002,
FMCO.
Michael D. Ernst,
Gary T. Leavens,
K. Rustan M. Leino,
2003,
International Journal on Software Tools for Technology Transfer.
David R. Cok,
Joseph Kiniry,
D. Cok,
2004,
CASSIS.
Joseph Kiniry,
Fintan Fairmichael,
2010,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Joseph Kiniry,
Tiziana Margaria,
2020,
IT Professional.
Joseph Kiniry,
David Epstein,
John Motil,
2000
.
Joseph Kiniry,
J. Kiniry,
2008
.
Joseph Kiniry,
2006,
Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).
Rune Møller Jensen,
Joseph Kiniry,
Christian Kroer,
2016,
Comput. Intell..
Michal Moskal,
Jakub Lopuszanski,
Joseph Kiniry,
2008,
SMT@CAV.
Daniel M. Zimmerman,
Joseph Kiniry,
2008,
FM.
Joseph Kiniry,
1998,
OOPSLA 1998.
K. Mani Chandy,
Daniel M. Zimmerman,
Adam Rifkin,
1997,
The Journal of Supercomputing.
Joseph Kiniry,
J. Kiniry,
2002,
ArXiv.
Daniel M. Zimmerman,
Joseph Kiniry,
J. Kiniry,
2009,
2009 Ninth International Conference on Quality Software.
Daniel M. Zimmerman,
Joseph Kiniry,
Fintan Fairmichael,
2011,
2011 24th IEEE-CS Conference on Software Engineering Education and Training (CSEE&T).
Dermot Cochran,
Joseph Kiniry,
2013,
VoteID.
Radu Grigore,
Julien Charles,
Joseph Kiniry,
2009,
FTfJP@ECOOP.
Mikolás Janota,
Joseph Kiniry,
J. Kiniry,
2007,
11th International Software Product Line Conference (SPLC 2007).
Dermot Cochran,
Patrice Chalin,
Joseph Kiniry,
2006,
TGC.
Dermot Cochran,
Joseph Kiniry,
Patrick E. Tierney,
2007,
EVT.
Joseph Kiniry,
2004,
Electron. Notes Theor. Comput. Sci..
Bart Jacobs,
Joseph Kiniry,
Engelbert Hubbers,
2004,
AMAST.
Dermot Cochran,
Joseph Kiniry,
Engelbert Hubbers,
2006,
SOEN.
Christopher Metz,
Joseph Kiniry,
1998,
IEEE Internet Comput..
Erik Poll,
Joseph Kiniry,
2003
.