John J. Camilleri
Gästforskare vid
Chalmers, Data- och informationsteknik, Formella metoder
Visar 14 publikationer
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 i proceeding
2017
Modelling and analysis of normative documents
John J. Camilleri, Gerardo Schneider
Journal of Logical and Algebraic Methods in Programming. Vol. 91, p. 33-59
Artikel i vetenskaplig tidskrift
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 i proceeding
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 i proceeding
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 i proceeding
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 i proceeding
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
Artikel i vetenskaplig tidskrift
2013
An online database of root-and-pattern verbs
John J. Camilleri, Michael Spagnol
4th International Conference on Maltese Linguistics
Poster (konferens)
2013
A computational grammar for Maltese
John J. Camilleri
4th International Conference on Maltese Linguistics
Poster (konferens)
2012
High-quality translation: Molto tools and applications
Olga Caprotti, Aarne Ranta, Krasimir Angelov et al
The fourth Swedish Language Technology Conference (SLTC)
Paper i proceeding
2012
GF Eclipse Plugin: an IDE for grammar development in GF
John J. Camilleri, Krasimir Angelov
EAMT, p. 94-94
Poster (konferens)
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
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
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.
Poster (konferens)
Det finns inga projekt att visa.
Det kan finnas fler projekt där John J. Camilleri medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.