Skip to Main content Skip to Navigation


...
hal-03103455v1  Conference papers
Kostia ChardonnetAlexis SaurinBenoît Valiron. Toward a Curry-Howard Equivalence for Linear, Reversible Computation
RC 2020 - 12th international conference on Reversible Computation, Jul 2020, Oslo / Virtual, Norway. pp.144-152, ⟨10.1007/978-3-030-52482-1_8⟩
...
hal-01201743v2  Conference papers
Adrien AbrahamRadoniaina AndriatsimandefitraAdrien BrunelatJean-François LalandeValérie Viet Triem Tong. GroddDroid: a Gorilla for Triggering Malicious Behaviors
10th International Conference on Malicious and Unwanted Software, Oct 2015, Fajardo, Puerto Rico. pp.119-127, ⟨10.1109/MALWARE.2015.7413692⟩
inria-00471162v1  Conference papers
Sebastien HillaireAnatole LécuyerRémi CozotGéry Casiez. Depth-of-Field Blur Effects for First-Person Navigation in Virtual Environments
Symposium on Virtual Reality Software and Technology, ACM, Nov 2007, NewPort Beach, United States
...
inria-00623390v1  Conference papers
Mathieu GiraudStéphane JanotJean-Frédéric BerthelotCharles DeltelLaetitia Jourdan et al.  Biomanycores, open-source parallel code for many-core bioinformatics
Bioinformatics Open Source Conference (BOSC 2011), 2011, Vienne, Austria
...
inria-00000983v1  Conference papers
Gabriel AntoniuLuc BougéMathieu JanSébastien MonnetMarin Bertier et al.  GDS: An Architecture Proposal for a grid Data-Sharing Service
Workshop on Future Generation Grids, Nov 2004, Dagstuhl, Germany. pp.133-152, ⟨10.1007/978-0-387-29445-2_8⟩
hal-02434364v1  Conference papers
Carole Delporte-GalletHugues FauconnierYan JurskiFrançois LaroussinieArnaud Sangnier. Towards Synthesis of Distributed Algorithms with {SMT} Solvers
NETYS 2019 - International conference on networked systems, Jun 2019, Marrakech, Morocco
...
hal-01951176v3  Conference papers
Théo ZimmermannAnnalí Casanueva Artís. Impact of switching bug trackers: a case study on a medium-sized open source project
ICSME 2019 - International Conference on Software Maintenance and Evolution, Sep 2019, Cleveland, United States
hal-02001859v1  Conference papers
Lucas BoczkowskiAmos KormanEmanuele Natale. Brief Announcement: Self-stabilizing Clock Synchronization with 3-bit Messages
Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing (PODC'16), Jul 2016, Chicago, United States. pp.207-209
...
hal-02446443v1  Conference papers
José RouillardPhilippe Truillet. Enhanced VoiceXML
HCI International, 2005, Las Vegas, United States
...
hal-01422215v1  Conference papers
Ran ChenJean-Jacques Lévy. Une preuve formelle de l'algorithme de Tarjan-1972 pour trouver les composantes fortement connexes dans un graphe
JFLA 2017 - Vingt-huitièmes Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France
hal-00718157v1  Conference papers
Maxime CordyPatrick HeymansPierre-Yves SchobbensAxel Legay. Behavioural Modelling and Verification of Real-time Software Product Lines
16th Software Product Line Conference, Sep 2012, Salvador de Bahia, Brazil
...
hal-02406569v1  Conference papers
Cédric Ho ThanhPierre-Louis CurienSamuel Mimram. A Sequent Calculus for Opetopes
LICS 2019 - Logic in computer science 2019, Jun 2019, Vancouver, Canada
...
hal-01632947v1  Conference papers
Ran ChenJean-Jacques Lévy. A Semi-automatic Proof of Strong connectivity
9th Working Conference on Verified Software: Theories, Tools and Experiments (VSTTE), Jul 2017, Heidelberg, Germany
...
hal-00715252v1  Conference papers
Matthieu DorierGabriel AntoniuFranck CappelloMarc SnirLeigh Orf. Damaris: How to Efficiently Leverage Multicore Parallelism to Achieve Scalable, Jitter-free I/O
CLUSTER 2012 - IEEE International Conference on Cluster Computing, Sep 2012, Beijing, China
...
hal-01087659v1  Conference papers
Maxime CordyAndreas ClassenGilles PerrouinPierre-Yves SchobbensPatrick Heymans et al.  Simulation-Based Abstractions for Software Product-Line Model Checking
ICSE 2012 : 34th International Conference on Software Engineering, Jun 2012, Zürich, Switzerland. pp.672 - 682, ⟨10.1109/ICSE.2012.6227150⟩
hal-00718216v1  Conference papers
Maxime CordyAndreas ClassenPatrick HeymansPierre-Yves SchobbensAxel Legay. Managing Evolution in Software Product Lines : A Model-Checking Perspective
6th International Workshop on Variability Modelling of Software Intensive Systems, Jan 2012, Leipzig, Saxe, Germany. pp.183-191
...
hal-00726121v1  Conference papers
Xavier DevroeyMaxime CordyGilles PerrouinEun-Young KangPierre-Yves Schobbens et al.  A Vision for Behavioural Model-Driven Validation of Software Product Lines
International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2012, Amirandes, Heraclion, Greece
hal-00718180v1  Conference papers
Xavier DevroeyMaxime CordyGilles PerrouinEun-Young KangPierre-Yves Schobbens et al.  Towards Behavioural Model-Driven Validation of Software Product Lines
5th International Sympoisum on Leveraging Applications of Formal Methods, Oct 2012, Héraklion, Crète, Greece
...
hal-02888504v1  Conference papers
Yannick ParmentierRobert ReuterSarah HiguetLara KatajaYves Kreis et al.  PIAF: Developing Computational and Algorithmic Thinking in Fundamental Education
AACE 2020 - EdMedia + Innovate Learning, Jun 2020, Amsterdam / Virtual, Netherlands. pp.315-322
...
hal-02463940v1  Conference papers
Gilbert BusanaBrigitte DenisMarie Duflot-KremerSarah HiguetLara Kataja et al.  PIAF : développer la Pensée Informatique et Algorithmique dans l'enseignement Fondamental
Didapro 8 – DidaSTIC – L'informatique, objets d’enseignements – enjeux épistémologiques, didactiques et de formation, Feb 2020, Lille, France
hal-00732039v1  Conference papers
Patricia EveraereSébastien KoniecznyPierre Marquis. A diff-Based Merging Operator
Proceedings of the 12th International Workshop on Non-Monotonic Reasoning (NMR'08), Sep 2008, Sidney, Australia. pp.19-25
hal-01249486v1  Conference papers
Hiba YahyaouiSaoussen KrichenBilel DerbelEl-Ghazali Talbi. A hybrid ILS-VND based hyper-heuristic for permutation flowshop scheduling problem
KES‘2015 19th Int. Conf. on Knowledge-based and Intelligent Information & Engineering Systems, 2015, Singapour, Singapore. pp.632-641, ⟨10.1016/j.procs.2015.08.199⟩
hal-00732036v1  Conference papers
Patricia EveraereSébastien KoniecznyPierre Marquis. Un point de vue épistémique sur la fusion de croyances : l'identification du monde réel
Actes des Cinquièmes Journées Francophones sur les Modèles Formels de l'Interaction (MFI'09), Jun 2009, Lannion, France. pp.135--145
hal-00826463v1  Conference papers
Patricia EveraereSébastien KoniecznyPierre Marquis. Compositional belief merging
KR'2012 -- Roma (Italy) -- 10-14 June 2012, 2012, Italy. pp.603-607
hal-00732027v1  Conference papers
Patricia EveraereSébastien KoniecznyPierre Marquis. Conflict-Based Merging Operators
Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR'08), 2008, Sidney, Australia. pp.348--357
hal-00826392v1  Conference papers
Patricia EveraereSébastien KoniecznyPierre Marquis. The epistemic view of belief merging: can we track the truth?
ECAI'2010 -- Lisbon (Portugal) -- August 16-20, 2010, 2010, Portugal. pp.621-626