HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation


...
tel-00763619v1  Theses
Anthony Sorel. Gestion de la variabilité morphologique pour la reconnaissance de gestes naturels à partir de données 3D
Synthèse d'image et réalité virtuelle [cs.GR]. Université Rennes 2, 2012. Français
...
hal-01089413v1  Journal articles
Sylvain FleuryEric JametAchraf GhorbelAurélie LemaitreEric Anquetil. Application of the Resources Model to the Supervision of an Automated Process
ACM Transactions on Computer-Human Interaction, Association for Computing Machinery, 2015, 30, pp.103 - 121. ⟨10.1080/07370024.2014.893831⟩
...
hal-00959722v1  Conference papers
Sylvain FleuryAchraf GhorbelAurélie LemaitreEric AnquetilEric Jamet. User-centred design of an interactive off-line handwritten architectural floor plan recognition
12th International Conference on Document Analysis and Recognition, Aug 2013, United States. pp.1073-1077
hal-01218571v1  Poster communications
Fawaz ParaïsoJean ParpaillonPhilippe Merle. Model-Driven Multi-Cloud Resource Management
EIT Digital Future Cloud Symposium présenté, Oct 2015, RENNES, France. 2015
...
hal-01182103v1  Journal articles
Benoit BaudryMartin Monperrus. The Multiple Facets of Software Diversity: Recent Developments in Year 2000 and Beyond
ACM Computing Surveys, Association for Computing Machinery, 2015, 48, pp.1-26. ⟨10.1145/2807593⟩
...
hal-01654408v1  Conference papers
Charles BouillaguetClaire DelaplacePierre-Alain FouquePaul Kirchner. Fast Lattice-Based Encryption: Stretching Spring
International Workshop on Post-Quantum Cryptography, Jun 2017, Utrecht, Netherlands
hal-01440744v1  Conference papers
Soraya MesliDjamal KesraouiFlavio OquendoAlain BignonArmand Toguyéni et al.  Formal Verification of Software-Intensive Systems Architectures Described with Piping and Instrumentation Diagrams
Proceedings of the 10th European Conference on Software Architecture (ECSA 2016), Nov 2016, Copenhagen, Denmark. pp.210-226
hal-01441589v1  Conference papers
Soraya MesliAlain BignonDjamal KesraouiArmand ToguyeniFlavio Oquendo et al.  Vérification formelle de chaines de contrôle-commande d'éléments de conception standardisés
Proceedings of the 11th International Conference on Modeling, Optimization & Simulation (MOSIM 2016), Aug 2016, Montréal, Canada
...
hal-01388552v1  Conference papers
Andéol ÉvainFerran Argelaguet SanzAnthony StrockNicolas RousselGéry Casiez et al.  Influence of Error Rate on Frustration of BCI Users
AVI'16 - International Working Conference on Advanced Visual Interfaces, Jun 2016, Bari, Italy. pp.248--251, ⟨10.1145/2909132.2909278⟩
hal-01252496v1  Conference papers
Merwan AchibetGéry CasiezAnatole LécuyerMaud Marchal. THING: Introducing a Tablet-based Interaction Technique for Controlling 3D Hand Models
In Proceedings of CHI'15, the 33th Conference on Human Factors in Computing Systems, Apr 2015, Seoul, South Korea. pp.317-326, ⟨10.1145/2702123.2702158⟩
hal-01246562v1  Journal articles
Anthony TalvasMaud MarchalChristian DuriezMiguel A. Otaduy. Aggregate Constraints for Virtual Manipulation with Soft Fingers
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2015, 21 (4), pp.9. ⟨10.1109/TVCG.2015.2391863⟩
hal-01441587v1  Conference papers
Soraya MesliArmand ToguyéniAlain BignonFlavio OquendoDjamal Kesraoui et al.  Formal and Joint Verification of Control Programs and Supervision Interfaces for Socio-technical Systems Components
Proceedings of the 13th IFAC Symposium on Analysis, Design, and Evaluation of Human-Machine Systems (HMS 2016), Aug 2016, Kyoto, Japan. pp.427-467
hal-01267645v1  Conference papers
Merwan AchibetGéry CasiezMaud Marchal. DesktopGlove: a Multi-finger Force Feedback Interface Separating Degrees of Freedom Between Hands
3DUI'16, the 11th Symposium on 3D User Interfaces, Mar 2016, Greenville, United States. pp.3-12, ⟨10.1109/3DUI.2016.7460024⟩
hal-01416382v1  Book sections
Andéol ÉvainNicolas RousselGéry CasiezFerran Argelaguet SanzAnatole Lécuyer. Brain-Computer Interfaces for Human–Computer Interaction
Maureen Clerc; Laurent Bougrain; Fabien Lotte. Brain-Computer Interfaces 1: Foundations and Methods, Wiley-ISTE, 2016, 9781848218260
...
hal-00983045v1  Conference papers
Inti Gonzalez-HerreraJohann BourcierErwan DaubertWalter RudametkinOlivier Barais et al.  Scapegoat: an Adaptive monitoring framework for Component-based systems
Working IEEE/IFIP Conference on Software Architecture, IEEE/IFIP, Apr 2014, Syndey, Australia
...
hal-01188800v1  Conference papers
Philippe MerleOlivier BaraisJean ParpaillonNoël PlouzeauSamir Tata. A Precise Metamodel for Open Cloud Computing Interface
8th IEEE International Conference on Cloud Computing (CLOUD 2015), IEEE, Jun 2015, New York, United States. pp.852 - 859, ⟨10.1109/CLOUD.2015.117⟩