John J. Camilleri

Gästforskare at Chalmers, Computer Science and Engineering (Chalmers), Formal methods

Showing 13 publications

2018

A web-based tool for analysing normative documents in english

John J. Camilleri, Mohammad Reza Haghshenas, Gerardo Schneider
Proceedings of the ACM Symposium on Applied Computing. Vol. Part F137816, p. 1865-1872
Paper in proceedings
2017

Participatory verification of railway infrastructure by representing regulations in RailCNL

Bjørnar Luteberget, John J. Camilleri, Christian Johansen et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 10469 LNCS, p. 87-103
Paper in proceedings
2016

Extracting Formal Models from Normative Texts

John J. Camilleri, N. Gruzitis, Gerardo Schneider
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9612, p. 403-408
Paper in proceedings
2016

A Domain-Specific Language for Normative Texts with Timing Constraints

Runa Gulliksson, John J. Camilleri
Proceedings 23rd International Symposium on Temporal Representation and Reasoning - Time 2016, p. 60-69
Paper in proceedings
2015

Analysing normative contracts

John J. Camilleri
Licentiate thesis
2014

A CNL for Contract-Oriented Diagrams

John J. Camilleri, Gabriele Paganelli, Gerardo Schneider
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8625, p. 135-146
Paper in proceedings
2013

A Framework for Conflict Analysis of Normative Texts Written in Controlled Natural Language

Krasimir Angelov, John J. Camilleri, Gerardo Schneider
Journal of Logic and Algebraic Programming. Vol. 82 (5-7), p. 216-240
Journal article
2013

An online database of root-and-pattern verbs

John J. Camilleri, Michael Spagnol
4th International Conference on Maltese Linguistics
Conference poster
2013

A computational grammar for Maltese

John J. Camilleri
4th International Conference on Maltese Linguistics
Conference poster
2012

High-quality translation: Molto tools and applications

Olga Caprotti, Aarne Ranta, Krasimir Angelov et al
The fourth Swedish Language Technology Conference (SLTC)
Paper in proceedings
2012

GF Eclipse Plugin: an IDE for grammar development in GF

John J. Camilleri, Krasimir Angelov
EAMT, p. 94-94
Conference poster
2012

An IDE for the Grammatical Framework

John J. Camilleri
Third International Workshop on Free/Open-Source Rule-Based Machine Translation (FreeRBMT) 2012, Gothenburg, Sweden
Conference contribution
2010

Verb Morphology of Hebrew and Maltese - Towards an Open Source Type Theoretical Resource Grammar in GF.

Dana Dannélls, John J. Camilleri
Proceedings of LREC 2010. Workshop on Language Resources (LRs) and Human Language Technologies (HLT) for Semitic Languages Status, Updates, and Prospects.
Conference poster

Save references

If you have installed Zotero or Mendeley on your computer you can use a plugin to extract references from the publications you see.

Download plugins:
Zotero
Mendeley

There are no projects.
There might be more projects where John J. Camilleri participates, but you have to be logged in as a Chalmers employee to see them.