• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 94 matches

• 2023
• 
  Yamine Aït-Ameur, Sergiy Bogomolov, Guillaume Dupont, Alexei Iliasov, Alexander B. Romanovsky, Paulius Stankaitis:
  A Refinement-based Formal Development of Cyber-physical Railway Signalling Systems. Formal Aspects Comput. 35(1): 3:1 (2023)
• 
  Ismaïl Mendil, Yamine Aït-Ameur, Neeraj Kumar Singh, Guillaume Dupont, Dominique Méry, Philippe A. Palanque:
  Formal domain-driven system development in Event-B: Application to interactive critical systems. J. Syst. Archit. 135: 102798 (2023)
• 
  Yana Nehmé, Johanna Delanoy, Florent Dupont, Jean-Philippe Farrugia, Patrick Le Callet, Guillaume Lavoué:
  Textured Mesh Quality Assessment: Large-scale Dataset and Deep Learning-based Quality Metric. ACM Trans. Graph. 42(3): 31:1-31:20 (2023)
• 
  Peter Riviere, Neeraj Kumar Singh, Yamine Aït Ameur, Guillaume Dupont:
  Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework. NFM 2023: 312-331
• 
  Peter Riviere, Neeraj Kumar Singh, Yamine Aït-Ameur, Guillaume Dupont:
  Standalone Event-B Models Analysis Relying on the EB4EB Meta-theory. ABZ 2023: 193-211
• 2022
• 
  Pierre Bourquat, David Coeurjolly, Guillaume Damiand, Florent Dupont:
  Hierarchical mesh-to-points as-rigid-as-possible registration. Comput. Graph. 102: 320-328 (2022)
• 
  Clément Lemeunier, Florence Denis, Guillaume Lavoué, Florent Dupont:
  Representation learning of 3D meshes using an Autoencoder in the spectral domain. Comput. Graph. 107: 131-143 (2022)
• 
  Guillaume Dupont, Yamine Aït Ameur, Neeraj Kumar Singh, Marc Pantel:
  Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B. Sci. Comput. Program. 216: 102765 (2022)
• 
  Sébastien Dupont, Artsiom Yautsiukhin, Guillaume Ginis, Giacomo Iadarola, Stefano Fagnano, Fabio Martinelli, Christophe Ponsard, Axel Legay, Philippe Massonet:
  Product Incremental Security Risk Assessment Using DevSecOps Practices. CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS 2022: 666-685
• 
  Yamine Aït Ameur, Sergiy Bogomolov, Guillaume Dupont, Neeraj Kumar Singh, Paulius Stankaitis:
  Reachability Analysis and Simulation for Hybridised Event-B Models. IFM 2022: 109-128
• 
  Yamine Aït Ameur, Guillaume Dupont, Ismaïl Mendil, Dominique Méry, Marc Pantel, Peter Riviere, Neeraj Kumar Singh:
  Empowering the Event-B Method Using External Theories. IFM 2022: 18-35
• 
  Sophie Villenave, Jonathan Cabezas, Patrick Baert, Florent Dupont, Guillaume Lavoué:
  XREcho: a unity plug-in to record and visualize user behavior during XR sessions. MMSys 2022: 341-346
• 
  Yana Nehmé, Florent Dupont, Jean-Philippe Farrugia, Patrick Le Callet, Guillaume Lavoué:
  Textured Mesh Quality Assessment: Large-Scale Dataset and Deep Learning-based Quality metric. CoRR abs/2202.02397 (2022)
• 2021
• 
  Guillaume Dupont:
  Correct-by-Construction Design of Hybrid Systems Based on Refinement and Proof. (Conception correcte par construction de systèmes hybrides basée sur le raffinement et la preuve). National Polytechnic Institute of Toulouse, France, 2021
• 
  Yana Nehmé, Jean-Philippe Farrugia, Florent Dupont, Patrick Le Callet, Guillaume Lavoué:
  Comparison of Subjective Methods for Quality Assessment of 3D Graphics in Virtual Reality. ACM Trans. Appl. Percept. 18(1): 2:1-2:23 (2021)
• 
  Guillaume Dupont, Yamine Aït Ameur, Neeraj Kumar Singh, Marc Pantel:
  Event-B Hybridation: A Proof and Refinement-based Framework for Modelling Hybrid Systems. ACM Trans. Embed. Comput. Syst. 20(4): 35:1-35:37 (2021)
• 
  Yana Nehmé, Florent Dupont, Jean-Philippe Farrugia, Patrick Le Callet, Guillaume Lavoué:
  Visual Quality of 3D Meshes With Diffuse Colors in Virtual Reality: Subjective and Objective Evaluation. IEEE Trans. Vis. Comput. Graph. 27(3): 2202-2219 (2021)
• 
  Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh:
  Event-B Refinement for Continuous Behaviours Approximation. ATVA 2021: 320-336
• 
  Guillaume Dupont, Cristoffer Leite, Daniel Ricardo dos Santos, Elisa Costante, Jerry den Hartog, Sandro Etalle:
  Similarity-Based Clustering For IoT Device Classification. COINS 2021: 1-7
• 
  Sébastien Dupont, Guillaume Ginis, Mirko Malacario, Claudio Porretti, Nicolò Maunero, Christophe Ponsard, Philippe Massonet:
  Incremental Common Criteria Certification Processes using DevSecOps Practices. EuroS&P Workshops 2021: 12-23
• 
  Guillaume Pronost, Frédérique Mayer, Brunelle Marche, Mauricio Camargo, Laurent Dupont:
  Towards a Framework for the Classification of Digital Twins and their Applications. ICE/ITMC 2021: 1-7
• 
  Robin Dupont, Hichem Sahbi, Guillaume Michel:
  Weight Reparametrization for Budget-Aware Network Pruning. ICIP 2021: 789-793
• 
  Yana Nehmé, Patrick Le Callet, Florent Dupont, Jean-Philippe Farrugia, Guillaume Lavoué:
  Exploring Crowdsourcing for Subjective Quality Assessment of 3D Graphics. MMSP 2021: 1-6
• 
  Robin Dupont, Hichem Sahbi, Guillaume Michel:
  Weight Reparametrization for Budget-Aware Network Pruning. CoRR abs/2107.03909 (2021)
• 
  Thomas Richard, Florent Dupont, Guillaume Lavoué:
  Multi-resolution deep learning pipeline for dense large scale point clouds. CoRR abs/2109.11311 (2021)
• 2020
• 
  Guillaume Dupont, Ekaterina Kalinicheva, Jérémie Sublime, Florence Rossant, Michel Pâques:
  Analyzing Age-Related Macular Degeneration Progression in Patients with Geographic Atrophy Using Joint Autoencoders for Unsupervised Change Detection. J. Imaging 6(7): 57 (2020)
• 
  Sadaf Mustafiz, Omar Hassane, Guillaume Dupont, Ferhat Khendek, Maria Toeroe:
  Model-driven process enactment for NFV systems with MAPLE. Softw. Syst. Model. 19(5): 1263-1282 (2020)
• 
  Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh:
  Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B. ABZ 2020: 169-185
• 
  Vincent Vidal, Eric Lombardi, Martial Tola, Florent Dupont, Guillaume Lavoué:
  MEPP2: A Generic Platform for Processing 3D Meshes and Point Clouds. Eurographics (Short Papers) 2020: 29-32
• 
  Guillaume Dupont, Ekaterina Kalinicheva, Jérémie Sublime, Florence Rossant, Michel Pâques:
  Unsupervised Change Detection Using Joint Autoencoders for Age-Related Macular Degeneration Progression. ICANN (2) 2020: 813-824

skipping 64 more matches