Patrice Chalin

Non-null references by default in java: alleviating the nullity annotation burden

Patrice Chalin, Perry R. James · European Conference on Object-Oriented Programming · 2007 · 59 citations

Computing, Computer Science, Formal Methods +5

Towards an industrial grade IVE for Java and next generation research platform for JML

Patrice Chalin, Robby, Perry R. James et al. · International Journal on Software Tools for Technology Transfer · 2010 · 37 citations

Computing, Computer Engineering, Computer Science +10

LTS semantics for use case models

Daniel Sinnig, Patrice Chalin, Ferhat Khendek · 2009 · 24 citations

Computing, Computer Science, Formal Methods +16

Testing the Efficacy of OurSpace, a Brief, Group Dynamics-Based Physical Activity Intervention: A Randomized Controlled Trial

Brandon C. Irwin, Daniel Kurz, Patrice Chalin et al. · Journal of Medical Internet Research · 2016 · 22 citations · Full text

Public Health, Health Promotion, Psychology +13

Logical foundations of program assertions: what do practitioners want?

Patrice Chalin · 2005 · 21 citations

Computing, Computer Science, Computer Systems +9