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