John J. Camilleri
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2016–2018
Best venue rank
Multiconference
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | SAC | A web-based tool for analysing normative documents in english. | John J. Camilleri, Mohammad Reza Haghshenas, Gerardo Schneider |
| 2017 | SEFM | Participatory Verification of Railway Infrastructure by Representing Regulations in RailCNL. | Bjrnar Luteberget, John J. Camilleri, Christian Johansen, Gerardo Schneider |
| 2016 | NLDB | Extracting Formal Models from Normative Texts. | John J. Camilleri, Normunds Gruzitis, Gerardo Schneider |
| 2016 | TIME | A Domain-Specific Language for Normative Texts with Timing Constraints. | Runa Gulliksson, John J. Camilleri |