Search - IFIP Open Digital Library Access content directly

Filter your results

39 results
level0_domain_s : Computer Science [cs]
labStructName_s : VERIMAG
labStructName_s : Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes
Page :
sorted by
Image document

A Preliminary Overview of Ramp-Up Management Practices in Crisis Context

 Doae Riffi Maher , Khaled Medini
APMS 2021: Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems, Sep 2021, Nantes, France. pp.484-492, ⟨10.1007/978-3-030-85874-2_51⟩
Conference papers emse-03338251v1
Image document

Cooperative Database Caching within Cloud Environments

 Andrei Vancea , Guilherme Sperb Machado , Laurent D’orazio , Burkhard Stiller
6th International Conference on Autonomous Infrastructure (AIMS), Jun 2012, Luxembourg, Luxembourg. pp.14-25, ⟨10.1007/978-3-642-30633-4_3⟩
Conference papers hal-01529797v1

GOOSE: A Secure Framework for Graph Outsourcing and SPARQL Evaluation

 Radu Ciucanu , Pascal Lafourcade
34th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (also known as DBSEC), Jun 2020, Conférence online, Germany. pp.347-366, ⟨10.1007/978-3-030-49669-2_20⟩
Conference papers hal-02544920v1
Image document

Cobotic Assembly Line Design Problem with Ergonomics

 Mohammed-Amine Abdous , Xavier Delorme , Daria Battini
21st Working Conference on Virtual Enterprises: Boosting Collaborative Networks 4.0 (PRO-VE 2020), Nov 2020, Valencia, Spain. pp.573-582, ⟨10.1007/978-3-030-62412-5_47⟩
Conference papers emse-03043081v1
Image document

State Estimation and Property-Guided Exploration for Hybrid Systems Testing

 Thao Dang , Noa Shalev
24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. pp.152-167, ⟨10.1007/978-3-642-34691-0_12⟩
Conference papers hal-01482399v1
Image document

Statistical Abstraction and Model-Checking of Large Heterogeneous Systems

 Ananda Basu , Saddek Bensalem , Marius Bozga , Benoît Caillaud , Benoît Delahaye , et al.
Joint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.32-46, ⟨10.1007/978-3-642-13464-7_4⟩
Conference papers inria-00554321v2
Image document

Framework to Model PSS Collaborative Value Networks and Assess Uncertainty of Their Economic Models

 Xavier Boucher , Khaled Medini , Camilo Murillo Coba
20th Working Conference on Virtual Enterprises (PRO-VE), Sep 2019, Turin, Italy. pp.541-551, ⟨10.1007/978-3-030-28464-0_47⟩
Conference papers emse-02290372v1
Image document

Using Model Learning for the Generation of Mock Components

 Sébastien Salva , Elliott Blot
Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings, pp.3-19, 2020, ⟨10.1007/978-3-030-64881-7_1⟩
Book sections hal-03048336v1
Image document

Hybridization of mixed-integer linear program and discrete event systems for robust scheduling on parallel machines

 Alexis Aubry , Pascale Marangé , David Lemoine , Sara Himmiche , Sylvie Norre
International Conference on Advances in Production Management Systems, APMS 2021, Sep 2021, Nantes, France. pp.73-80, ⟨10.1007/978-3-030-85874-2_8⟩
Conference papers hal-03337509v1
Image document

A Model for Cost-Benefit Analysis of Production Ramp-up Strategies

 Khaled Medini , Antoine Pierné , John Ahmet Erkoyuncu , Christian Cornet
IFIP International Conference on Advances in Production Management Systems (APMS), Aug 2020, Novi Sad, Serbia. pp.731-739, ⟨10.1007/978-3-030-57997-5_84⟩
Conference papers emse-02928700v1
Image document

Integrating experiential learning and accreditation requirements – a case study based course

 Khaled Medini
IFIP International Conference on Advances in Production Management Systems (APMS), Aug 2018, Seoul, South Korea. pp.493-501, ⟨10.1007/978-3-319-99704-9_60⟩
Conference papers emse-01885131v1
Image document

How to Teach the Undecidability of Malware Detection Problem and Halting Problem

 Matthieu Journault , Pascal Lafourcade , Malika More , Rémy Poulain , Léo Robert
WISE13: The 13th World Conference on Information Security Education, May 2020, Maribor, Slovenia
Conference papers hal-02559585v1
Image document

An Integrated Approach for Supply Chain Tactical Planning and Cash Flow Valuation

 Sabah Belil , Asma Rakiz , Kawtar Retmi
IFIP International Conference on Advances in Production Management Systems (APMS), Sep 2019, Austin, TX, United States. pp.75-83, ⟨10.1007/978-3-030-29996-5_9⟩
Conference papers hal-02460519v1
Image document

Economic Assessment of PSS Value Networks – An Algorithmic Approach

 Khaled Medini , Xavier Boucher , Sophie Peillon , Hervé Vaillant
IFIP International Conference on Advances in Production Management Systems (APMS), Aug 2018, Seoul, South Korea. pp.141-149, ⟨10.1007/978-3-319-99704-9_18⟩
Conference papers emse-01878873v1
Image document

Knowledge-based Distributed Conflict Resolution for Multiparty Interactions and Priorities

 Saddek Bensalem , Marius Bozga , Jean Quilbeuf , Joseph Sifakis
14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. pp.118-134, ⟨10.1007/978-3-642-30793-5_8⟩
Conference papers hal-00722485v1
Image document

When Domain Adaptation Meets Semi-supervised Learning Through Optimal Transport

 Mourad El Hamri , Younès Bennani , Issam Falih
18th IFIP International Conference on Artificial Intelligence Applications and Innovations (AIAI), Jun 2022, Hersonissos, Greece. pp.58-69, ⟨10.1007/978-3-031-08333-4_5⟩
Conference papers hal-04317163v1
Image document

A DSM Clustering Method for Product and Service Modularization

 Omar Ezzat , Khaled Medini , Maria Stoettrup Schioenning Larsen , Xavier Boucher , Thomas Ditlev Brunoe , et al.
IFIP International Conference on Advances in Production Management Systems (APMS), Sep 2019, Austin, TX, United States. pp.375-382, ⟨10.1007/978-3-030-30000-5_47⟩
Conference papers emse-02278666v1
Image document

A Framework to Support Value Co-creation in PSS Development

 Martha Orellano , Xavier Boucher , Gilles Neubert , Anne Coulon
IFIP International Conference on Advances in Production Management Systems (APMS), Aug 2020, Novi Sad, Serbia. pp.361-368, ⟨10.1007/978-3-030-57997-5_42⟩
Conference papers emse-02925966v1
Image document

Output-sensitive Information flow analysis

 Cristian Ene , Laurent Mounier , Marie-Laure Potet
39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.93-110, ⟨10.1007/978-3-030-21759-4_6⟩
Conference papers hal-02303984v1
Image document

Reconfigurable Digitalized and Servitized Production Systems: Requirements and Challenges

 Magdalena Paul , Audrey Cerqueus , Daniel Schneider , Hichem Haddou Benderbal , Xavier Boucher , et al.
IFIP International Conference on Advances in Production Management Systems (APMS), Aug 2020, Novi Sad, Serbia. pp.501-508, ⟨10.1007/978-3-030-57997-5_58⟩
Conference papers emse-02925983v1
Image document

Simple Assembly Line Balancing Problem with Power Peak Minimization

 Paolo Gianessi , Xavier Delorme , Oussama Masmoudi
IFIP International Conference on Advances in Production Management Systems (APMS), Sep 2019, Austin, TX, United States. pp.239-247, ⟨10.1007/978-3-030-30000-5_31⟩
Conference papers hal-02274953v1
Image document

A Model for a Multi-level Disassembly System Under Random Disassembly Lead Times

 Ilhem Slama , Oussama Ben-Ammar , Alexandre Dolgui
APMS 2021: IFIP International Conference on Advances in Production Management Systems, IFIP WG 5.7 International Conference, Sep 2021, Nantes, France. pp.39-47, ⟨10.1007/978-3-030-85874-2_5⟩
Conference papers hal-03852879v1
Image document

An Abstract Framework for Deadlock Prevention in BIP

 Paul C. Attie , Saddek Bensalem , Marius Bozga , Mohamad Jaber , Joseph Sifakis , et al.
15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.161-177, ⟨10.1007/978-3-642-38592-6_12⟩
Conference papers hal-00878752v1
Image document

The demand-pull approach to business model innovation through product-service systems: A case study

 Martha Orellano , Christine Lambey-Checchin , Khaled Medini , Gilles Neubert
IFIP International Conference on Advances in Production Management Systems (APMS), Aug 2018, Seoul, South Korea. pp.201-210, ⟨10.1007/978-3-319-99704-9_25⟩
Conference papers emse-01885109v1
Image document

Balancing and Configuration Planning of RMS to Minimize Energy Cost

 Audrey Cerqueus , Paolo Gianessi , Damien Lamy , Xavier Delorme
IFIP International Conference on Advances in Production Management Systems (APMS), Aug 2020, Novi Sad, Serbia. pp.518-526, ⟨10.1007/978-3-030-57997-5_60⟩
Conference papers emse-02925990v1
Image document

A Bi-objective Based Measure for the Scalability of Reconfigurable Manufacturing Systems

 Audrey Cerqueus , Xavier Delorme
IFIP International Conference on Advances in Production Management Systems (APMS), Sep 2021, Nantes, France. pp 544-552, ⟨10.1007/978-3-030-85902-2_58⟩
Conference papers emse-03360785v1
Image document

Verifiable and Private Oblivious Polynomial Evaluation

 Manik Lal Das , Hardik Gajera , David Gerault , Matthieu Giraud , Pascal Lafourcade
13th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2019, Paris, France. pp.49-65, ⟨10.1007/978-3-030-41702-4_4⟩
Conference papers hal-02412789v1
Image document

Light Cryptography

 Pascal Lafourcade , Takaaki Mizuki , Atsuki Nagao , Kazumasa Shinagawa
12th World Conference on Information Security Education WISE 2019, IFIP Working Group 11.8,, Jun 2019, Lisbonne, Portugal. pp.89-101, ⟨10.1007/978-3-030-23451-5_7⟩
Conference papers hal-02145833v1
Image document

Efficient and Generalized Decentralized Monitoring of Regular Languages

 Yliès Falcone , Tom Cornebize , Jean-Claude Fernandez
34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.66-83, ⟨10.1007/978-3-662-43613-4_5⟩
Conference papers hal-00972559v1
Image document

Type Inference of Simulink Hierarchical Block Diagrams in Isabelle

 Viorel Preoteasa , Iulia Dragomir , Stavros Tripakis
37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.194-209, ⟨10.1007/978-3-319-60225-7_14⟩
Conference papers hal-01658411v1
Page :