Skip to Main content Skip to Navigation

hal-00869120v1  Conference papers
Hervé Albin-AmiotPierre CointeYann-Gaël GuéhéneucNarendra Jussien. Instantiating and Detecting Design Patterns: Putting Bits and Pieces Together
16th IEEE conference on Automated Software Engineering (ASE'01), 2001, San Diego, United States. pp.166--173
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-00909293v1  Conference papers
Mounir AssafJulien SignolesFrédéric TronelEric Totel. Moniteur hybride de flux d'information pour un langage supportant des pointeurs
SARSSI - 8ème Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'Information, Sep 2013, Mont de Marsan, France
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-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-00869104v1  Books
Philippe BaptisteNarendra JussienPierre Lopez. Special Issue Constraint Programming
Philippe Baptiste and Narendra Jussien and Pierre Lopez. EDP Science, pp.100, 2005, RAIRO Operations Research
inserm-02414949v1  Book sections
Christian BarillotValentina EmilianiMickaël Tanter. Imagerie et analyses fonctionnelles
Bernard Poulain; Etienne Hirsch. Le Cerveau en lumières, Odile Jacob, 2019, 978-2-7381-4845-2
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-01855845v1  Conference papers
Jean BenvenutiLaure Berti-ÉquilleEric Jacopin. Le projet SABRE : de l’ontologie à l’inférence
15ièmes Journées Francophones d'Ingénieire des Connaissances (IC 2004), May 2004, Lyon, France
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-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
hal-00869108v1  Conference papers
Hadrien CambazardFabien DemazeauNarendra JussienPhilippe David. Interactively solving school timetabling problems using extensions of constraint programming
Practice and Theory of Automated Timetabling (PATAT 2004), 2004, Pittsburgh, PA, United States. pp.107--124
hal-00869105v1  Conference papers
Hadrien CambazardNarendra Jussien. Identifying and exploiting problem structures using explanation-based constraint programming
International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CP-AI-OR'05), 2005, Prague, Czech Republic. pp.94--109