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-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
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-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
hal-00909298v1  Conference papers
Michel CatanRoberto Di CosmoAntoine EicheTudor Alexandru LascuMichael Lienhardt et al.  Aeolus: Mastering the Complexity of Cloud Application Deployment
ESOCC - European Conference on Service-Oriented and Cloud Computing - 2013, 2013, Malaga, Spain. pp.1-3, ⟨10.1007/978-3-642-40651-5_1⟩
hal-01184235v1  Conference papers
Houssem-Eddine ChihoubShadi IbrahimYue LiGabriel AntoniuMaría Pérez et al.  Exploring Energy-Consistency Trade-offs in Cassandra Cloud Storage System
SBAC-PAD'15-The 27th International Symposium on Computer Architecture and High Performance Computing, Oct 2015, Florianopolis, Santa Catarina, Brazil