Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web
Fayollas Camille
,
Célia Martinie
,
Philippe Palanque
,
Paolo Masci
,
Michael Harrison
,
et al.
3rd Workshop on Formal Integrated Development Environment (F-IDE 2016), co-located with FM 2016 , Nov 2016, Limassol, Cyprus. pp.1-19,
⟨10.4204/EPTCS.240.1⟩
Conference papers
hal-01757338v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Prototyping and analysing ubiquitous computing environments using multiple layers
José Luis Silva
,
José Creissac Campos
,
Michael Harrison
Journal articles
hal-03236144v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A Refinement Based Method for Developing Distributed Protocols
Paulius Stankaitis
,
Alexei Iliasov
,
Yamine Aït-Ameur
,
Tsutomou Kobayashi
,
Fuyuki Ishikawa
,
et al.
19th IEEE International Symposium on High Assurance Systems Engineering (HASE 2019) , Jan 2019, Hangzhou, China. pp.90-97
Conference papers
hal-02453122v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
The FAERUS Project: Formal Analysis of Evolving Resilient Usable Systems
Giorgio Faconti
,
Michael Harrison
,
Mieke Massink
,
Philippe Palanque
7th European Dependable Computing Conference (EDCC 2008) , May 2008, Kaunaas, Lithuania. pp.11-14
Conference papers
hal-03662269v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Desenvolvimento de Jogos Educativos na plataforma APEX : O Jogo da Asma
Tiago Gomes
,
Tiago Abade
,
José Creissac Campos
,
Michael Douglas Harrison
,
José Luis Silva
5ª edição da Conferência Nacional sobre Interação (2013) , Nov 2013, Vila Real, Portugal. pp. 90-97
Conference papers
hal-01228756v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Individual common variants exert weak effects on the risk for autism spectrum disorders.
Richard Anney
,
Lambertus Klei
,
Dalila Pinto
,
Joana Almeida
,
Elena Bacchelli
,
et al.
Journal articles
inserm-00723650v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
The French Digital Kitchen: Implementing Task-Based Language Teaching Beyond the Classroom
Paul Seedhouse
,
Anne Preston
,
Patrick Olivier
,
Dan Jackson
,
Philip Heslop
,
et al.
Journal articles
hal-01616809v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Convergence of Genes and Cellular Pathways Dysregulated in Autism Spectrum Disorders.
Dalila Pinto
,
Elsa Delaby
,
Daniele Merico
,
Mafalda Barbosa
,
Alison Merikangas
,
et al.
Journal articles
inserm-00986225v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Rhythmic fluctuations of saccadic reaction time arising from visual competition
Samson Chota
,
Canhuang Luo
,
Sébastien M Crouzet
,
Léa Boyer
,
Ricardo Kienitz
,
et al.
Journal articles
hal-02341941v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Analysis of shared heritability in common disorders of the brain
Verneri Anttila
,
Brenda Sullivan
,
Hilary Finucane
,
Walter Walters
,
Jose Bras
,
et al.
Journal articles
cea-01870483v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Cyber-physical systems engineering: an introduction
John Paul Gibson
,
Peter Gorm Larsen
,
Marc Pantel
,
John Fitzgerald
,
Jim Woodcock
ISOLA 2018: 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation , Nov 2018, Limassol, Cyprus. pp.407 - 410,
⟨10.1007/978-3-030-03424-5_27⟩
Conference papers
hal-01914210v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools
José Creissac Campos
,
Fayollas Camille
,
Michael Harrison
,
Célia Martinie
,
Paolo Masci
,
et al.
ACM Transactions on Computer-Human Interaction , 2020, 27 (5), pp.1-48.
⟨10.1145/3404199⟩
Journal articles
hal-02931903v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A practical approach to revising prioritized knowledge-bases
Salem Benferhat
,
Didier Dubois
,
Henri Prade
,
Mary-Anne Williams
3rd International Conference on Knowledge-Based Intelligent Information Engineering Systems (KES 1999) , Aug 1999, Adelaïde, SA, Australia. pp.170--174,
⟨10.1109/KES.1999.820146⟩
Conference papers
hal-04019620v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Mapping autism risk loci using genetic linkage and chromosomal rearrangements.
Peter Szatmari
,
Andrew D. Paterson
,
Lonnie Zwaigenbaum
,
Wendy Roberts
,
Jessica Brian
,
et al.
Journal articles
inserm-00937094v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
The impact of the metabotropic glutamate receptor and other gene family interaction networks on autism.
Dexter Hadley
,
Zhi Liang Wu
,
Charlly Kao
,
Akshata Kini
,
Alisha Mohamed-Hadley
,
et al.
Journal articles
inserm-01009668v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
An integrated approach based on archaeometry, use-wear analysis and experimental archaeology to investigate the function of a specific type of basin diffused in the Predynastic sites of lower Egypt (4th mill. BC)
Jade Bajeot
,
Isabella Caricola
,
Laura Medeghini
,
Vittorio Vinciguerra
,
Vanessa Forte
Journal articles
hal-03129316v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Functional impact of global rare copy number variation in autism spectrum disorders.
Dalila Pinto
,
Alistair T. Pagnamenta
,
Lambertus Klei
,
Richard Anney
,
Daniele Merico
,
et al.
Journal articles
inserm-00521387v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A genome-wide scan for common alleles affecting risk for autism.
Richard Anney
,
Lambertus Klei
,
Dalila Pinto
,
Regina Regan
,
Judith Conroy
,
et al.
Journal articles
inserm-00521391v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More