Skip to Main content Skip to Navigation


...
hal-01830494v1  Conference papers
Cécile Appert-RollandJulien PettréAnne-Hélène OlivierWilliam WarrenAymeric Duigou-Majumdar et al.  Experimental Study of Collective Pedestrian Dynamics
PED 2018 - 9th International conference on Pedestrian and Evacuation Dynamics, Aug 2018, Lund, Sweden. pp.1-8
...
hal-00814671v2  Conference papers
Mounir AssafJulien SignolesFrédéric TronelEric Totel. Program Transformation for Non-interference Verification on Programs with Pointers
28th Security and Privacy Protection in Information Processing Systems (SEC), Jul 2013, Auckland, New Zealand. pp.231-244, ⟨10.1007/978-3-642-39218-4_18⟩
hal-01367900v1  Book sections
Matthieu AubryFrédéric JulliardSylvie Gibet. Interactive Ergonomic Analysis of a Physically Disabled Person's Workspace
Gesture-Based Human-Computer Interaction and Simulation 7th International Gesture Workshop, GW 2007, Lisbon, Portugal, May 23-25, 2007, Revised Selected Papers, 2009
...
cel-01586568v2  Lectures
Guillaume Aucher. Logic and Commonsense Reasoning
Master. Rennes, France. 2017, pp.151
...
hal-01098789v1  Book sections
Guillaume Aucher. Principles of Knowledge, Belief and Conditional Belief
Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics, pp.97 - 134, 2014, ⟨10.1007/978-3-319-03044-9_5⟩
hal-01097677v1  Journal articles
Gilles BartheDelphine DemangeDavid Pichardie. Formal Verification of an SSA-based Middle-end for CompCert
ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2014, 36 (1), pp.35. ⟨10.1145/2579080⟩
hal-01110783v1  Conference papers
Gilles BartheDelphine DemangeDavid Pichardie. A Formally Verified SSA-based Middle-end
21th European Symposium on Programming, ESOP 2012, Mar 2012, Tallin, Estonia. pp.47-66, ⟨10.1007/978-3-642-28869-2_3⟩
...
hal-01363393v1  Conference papers
Denis BéchetAnnie Foret. Simple K-star Categorial Dependency Grammars and their Inference
The 13th International Conference on Grammatical Inference (ICGI), Oct 2016, Delft, Netherlands
hal-00256086v1  Conference papers
Pascal BellecGrégory Smits. Personal Semantic Indexation of Images using Textual Annotations
Proceedings of the first international Conference on Semantic and Digital Media Technologies (SAMT'06), 2006, Greece
...
hal-02556878v1  Conference papers
Gautier BerthouPierre-Evariste DagandDelphine DemangeRémi OudinTanguy Risset. Intermittent Computing with Peripherals, Formally Verified
LCTES '20 - 21st ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems, Jun 2020, London / Virtual, United Kingdom. pp.85-96, ⟨10.1145/3372799.3394365⟩
hal-01705414v1  Conference papers
Isabelle BorneMohamed Hichem FendaliDjamel Meslati. Understanding evolution in systems of systems
2017 IEEE International Systems Engineering Symposium (ISSE), Oct 2017, Vienna, Austria. ⟨10.1109/SysEng.2017.8088283⟩
...
hal-02453411v1  Conference papers
Marie-Stéphanie BracqMarie Le DuffEstelle MichinovBruno ArnaldiValérie Gouranton et al.  Training situation awareness through error recognition in an immersive virtual operating room
International conference for multi-area simulation ICMASim 2019, Oct 2019, Angers, France. pp.208-216
...
hal-02123682v1  Poster communications
Marie-Stéphanie BracqEstelle MichinovBruno ArnaldiAlexandre AudinotBenoît Caillaud et al.  Modeling, Simulation and Training Procedural Skills: User experience and acceptability of a virtual reality simulator for scrub nurses in neurosurgery
19th International Meeting on Simulation in Healthcare (IMSH), Jan 2019, San Antonio, TX, United States. 36, pp.1, 2019