Mathieu Magnaudet
École nationale de l'aviation civile
7 Papers
14 Citations
Mathieu Magnaudet is an academic researcher from École nationale de l'aviation civile. The author has contributed to research in topics: Syntax (programming languages) & Formal verification. The author has an hindex of 3, co-authored 7 publications.
Chat about Author
Papers
Djnn/Smala: A Conceptual Framework and a Language for Interaction-Oriented Programming
Mathieu Magnaudet,Stéphane Chatty,Stéphane Conversy,Sébastien Leriche,Célia Picard,Daniel Prun +5 more
- 19 Jun 2018
TL;DR: This paper presents Djnn, a conceptual framework based on the concepts of process and process activation, then Smala a programming language derived from this framework, and proposes a solution for the unification of the concept of event and data-flow and the derivation of complex control structures from a small set of basic ones.
A process-oriented approach to the science of human-computer interaction
Mathieu Magnaudet,Stéphane Conversy,Stéphane Chatty +2 more
- 19 Apr 2019
TL;DR: A new philosophical view on the science of HCI is proposed, based on a process ontology, which lends itself to new ways of thinking and programming at di↵erent scales, which may help HCI scientists in their modelling and design activities.
6
Designing, developing and verifying interactive components iteratively with djnn
Stéphane Chatty,Mathieu Magnaudet,Daniel Prun,Stéphane Conversy,Stéphanie Rey,Mathieu Poirier +5 more
- 27 Jan 2016
TL;DR: This article describes the principles of interaction-oriented programming, and illustrates them by describing the basic components provided by the djnn programming framework to create interactive software, and shows how interactive programming provides a basis for formulating and checking properties that capture requirements on interactive components.
6
Towards Support for Verification of Adaptative Systems with Djnn
Daniel Prun,Mathieu Magnaudet,Stéphane Chatty +2 more
- 22 Mar 2015
TL;DR: This work describes ongoing work aimed at developing verification mechanisms through the definition of syntax, grammar and semantics for djnn models that will serve to perform formal verification of interactive systems.
2
Satellite link emulation platform for aeronautical application validation
Fabien Garcia,Alain Pirovano,Mathieu Magnaudet +2 more
- 30 Aug 2010
TL;DR: The hardware and software components of the satellite emulation platform implemented for a project named CAPITOLE that has been initiated through the Aerospace Valley world competitiveness cluster are described and the platform itself is validated through network metrology techniques.