Search - IFIP Open Digital Library Access content directly

Filter your results

47 results
level0_domain_s : Computer Science [cs]
labStructName_s : Istituto Di Tecnologie Industriali E Automazione [Milano]
labStructName_s : Inria Grenoble - Rhône-Alpes
Page :
sorted by
Image document

The CPS and LCA Modelling: An Integrated Approach in the Environmental Sustainability Perspective

 Andrea Ballarino , Carlo Brondi , Alessandro Brusaferri , Guido Chizzoli
18th Working Conference on Virtual Enterprises (PROVE), Sep 2017, Vicenza, Italy. pp.543-552, ⟨10.1007/978-3-319-65151-4_48⟩
Conference papers hal-01674859v1
Image document

How to Make Industrial Symbiosis Profitable

 Mohammadtaghi Falsafi , Rosanna Fornasiero , Umberto Dellepiane
18th Working Conference on Virtual Enterprises (PROVE), Sep 2017, Vicenza, Italy. pp.614-625, ⟨10.1007/978-3-319-65151-4_54⟩
Conference papers hal-01674880v1
Image document

Novel Automated Production System for the Footwear Industry

 Silvio Cocuzza , Rosanna Fornasiero , Stefano Debei
19th Advances in Production Management Systems (APMS), Sep 2012, Rhodes, Greece. pp.542-549, ⟨10.1007/978-3-642-40352-1_68⟩
Conference papers hal-01472289v1
Image document

Network Non-Neutrality Debate: An Economic Analysis

 Eitan Altman , Arnaud Legout , Yuedong Xu
10th IFIP Networking Conference (NETWORKING), IFIP Technical Committee on Communication Systems (TC 6), May 2011, Valencia, Spain. pp.68-81, ⟨10.1007/978-3-642-20798-3_6⟩
Conference papers inria-00568922v2
Image document

Understanding Hand Degrees of Freedom and Natural Gestures for 3D Interaction on Tabletop

 Rémi Brouet , Renaud Blanch , Marie-Paule Cani
14th International Conference on Human-Computer Interaction (INTERACT), IFIP, Sep 2013, Cape Town, South Africa. pp.297-314, ⟨10.1007/978-3-642-40483-2_20⟩
Conference papers hal-00814014v2
Image document

Verification of concurrent design patterns with data

 Simon Bliudze , Ludovic Henrio , Eric Madelaine
COORDINATION 2019 - 21st International Conference on Coordination Models and Languages, Jun 2019, Kongens Lyngby, Denmark. pp.161-181, ⟨10.1007/978-3-030-22397-7_10⟩
Conference papers hal-02143782v1
Image document

Distributed Random Process for a Large-Scale Peer-to-Peer Lottery

 Stéphane Grumbach , Robert Riemann
17th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2017, Neuchâtel, Switzerland. pp.34-48, ⟨10.1007/978-3-319-59665-5_3⟩
Conference papers hal-01583824v1
Image document

Verification of Smart Contract Business Logic

 Wolfgang Ahrendt , Richard Bubel , Joshua Ellul , Gordon J. Pace , Raúl Pardo , et al.
8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.228-243, ⟨10.1007/978-3-030-31517-7_16⟩
Conference papers hal-03769118v1
Image document

Coordination of ECA Rules by Verification and Control

 Julio Cano , Gwenaël Delaval , Eric Rutten
COORDINATION 2014 - 16th International Conference on Coordination Models and Languages, Jun 2014, Berlin, Germany. pp.33-48, ⟨10.1007/978-3-662-43376-8_3⟩
Conference papers hal-01290066v1
Image document

Formal Verification of Distributed Branching Multiway Synchronization Protocols

 Hugues Evrard , Frédéric Lang
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.146-160
Conference papers hal-00818788v1
Image document

Establishing Networks for the Treatment of WEEE Components

 Mohammadtaghi Falsafi , Rosanna Fornasiero
17th Working Conference on Virtual Enterprises (PRO-VE), Oct 2016, Porto, Portugal. pp.652-660, ⟨10.1007/978-3-319-45390-3_56⟩
Conference papers hal-01614610v1
Image document

Rialto 2.0: A Language for Heterogeneous Computations

 Johan Lilius , Andreas Dahlin , Lionel Morel
Distributed, Parallel and Biologically Inspired Systems, Sep 2010, Brisbane, Australia. pp.7-18, ⟨10.1007/978-3-642-15234-4_3⟩
Conference papers hal-00521339v1
Image document

Automated Transition Coverage in Behavioural Conformance Testing

 Lina Marsso , Radu Mateescu , Wendelin Serwe
ICTSS 2020 - 32nd IFIP International Conference on Testing Software and Systems, Dec 2020, Napoli, Italy. pp.219-235, ⟨10.1007/978-3-030-64881-7_14⟩
Conference papers hal-03038050v1
Image document

Investigating The Role Of Mutual Cognitive Environment For End-User Programming

 Rémi Barraquand , Patrick Reignier
6th IFIP International Conference on Artificial Intelligence Applications and Innovations, 2010, Lacarna, Cyprus. pp.352-359, ⟨10.1007/978-3-642-16239-8_46⟩
Conference papers hal-00953489v1
Image document

GREP: Games for the Runtime Enforcement of Properties

 Matthieu Renard , Antoine Rollet , Yliès Falcone
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.259-275, ⟨10.1007/978-3-319-67549-7_16⟩
Conference papers hal-01678960v1
Image document

Collaborative Services for Customized Production in Networked Companies

 Rosanna Fornasiero , João Bastos , Américo Azevedo , Andrea Zangiacomi , Eva Coscia
14th Working Conference on Virtual Enterprises, (PROVE), Sep 2013, Dresden, Germany. pp.363-372, ⟨10.1007/978-3-642-40543-3_39⟩
Conference papers hal-01463229v1
Image document

The Effects of Personalization on Collaborative Production Networks Location

 Laura Macchion , Rosanna Fornasiero , Pamela Danese , Andrea Vinelli
17th Working Conference on Virtual Enterprises (PRO-VE), Oct 2016, Porto, Portugal. pp.433-440, ⟨10.1007/978-3-319-45390-3_37⟩
Conference papers hal-01614585v1
Image document

Support to Order Management and Collaborative Production of Customised Garments for Specific Target Groups

 Eva Coscia , Michele Sesana , Rosanna Fornasiero
19th Advances in Production Management Systems (APMS), Sep 2012, Rhodes, Greece. pp.334-341, ⟨10.1007/978-3-642-40352-1_42⟩
Conference papers hal-01472260v1
Image document

Trust Driven Strategies for Privacy by Design

 Thibaud Antignac , Daniel Le Métayer
9th IFIP International Conference on Trust Management (TM), May 2015, Hamburg, Germany. pp.60-75, ⟨10.1007/978-3-319-18491-3_5⟩
Conference papers hal-01262365v1
Image document

An Onto-Based Interoperability Framework for the Connection of PLM and Production Capability Tools

 Maxime Lafleur , Walter Terkaj , Farouk Belkadi , Marcello Urgo , Alain Bernard , et al.
13th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2016, Columbia, SC, United States. pp.134-145, ⟨10.1007/978-3-319-54660-5_13⟩
Conference papers hal-01699706v1
Image document

Verifying Timed BPMN Processes Using Maude

 Francisco Durán , Gwen Salaün
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.219-236, ⟨10.1007/978-3-319-59746-1_12⟩
Conference papers hal-01538104v1
Image document

A Lot-Sizing Model for Maintenance Planning in a Circular Economy Context

 Ernest Foussard , Marie-Laure Espinouse , Grégory Mounié , Margaux Nattaf
IFIP International Conference on Advances in Production Management Systems (APMS), Sep 2021, Nantes, France. pp.673 - 682, ⟨10.1007/978-3-030-85902-2_72⟩
Conference papers hal-03352725v2
Image document

Revisiting Glue Expressiveness in Component-Based Systems

 Cinzia Di Giusto , Jean-Bernard Stefani
13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.16-30, ⟨10.1007/978-3-642-21464-6_2⟩
Conference papers hal-01582994v1
Image document

Promise Plus: Flexible Synchronization for Parallel Computations on Arrays

 Amaury Maillé , Ludovic Henrio , Matthieu Moy
FSEN 2021 - 9th IPM International Conference on Fundamentals of Software Engineering, May 2021, Tehran, Iran. pp.1-7, ⟨10.1007/978-3-030-89247-0_13⟩
Conference papers hal-03143269v1
Image document

Research Issues on Customer-Oriented and Eco-friendly Networks for Healthy Fashionable Goods

 Rosanna Fornasiero , Andrea Chiodi , Emanuele Carpanzano , Luis Carneiro
9th IFIP WG 5.5 International Conference on Balanced Automation Systems for Future Manufacturing Networks (BASYS), Jul 2010, Valencia, Spain. pp.36-44, ⟨10.1007/978-3-642-14341-0_5⟩
Conference papers hal-01060706v1

Collaboration in a Data-Rich World

 Luis M. Camarinha-Matos , Hamideh Afsarmanesh , Rosanna Fornasiero
Springer International Publishing, AICT-506, 2017, IFIP Advances in Information and Communication Technology, 978-3-319-65150-7. ⟨10.1007/978-3-319-65151-4⟩
Books hal-01674868v1
Image document

Delegation of Obligations and Responsibility

 Meriam Ben Ghorbel , Frédéric Cuppens , Nora Cuppens-Boulahia , Daniel Le Métayer , Guillaume Piolle
26th International Information Security Conference (SEC), Jun 2011, Lucerne, Switzerland. pp.197-209, ⟨10.1007/978-3-642-21424-0_16⟩
Conference papers hal-00606018v1
Image document

A Proposal of Decentralised Architecture for Optimised Operations in Manufacturing Ecosystem Collaboration

 Pavlos Eirinakis , Jorge Buenabad-Chavez , Rosanna Fornasiero , Haluk Gokmen , Julien-Etienne Mascolo , et al.
18th Working Conference on Virtual Enterprises (PROVE), Sep 2017, Vicenza, Italy. pp.128-137, ⟨10.1007/978-3-319-65151-4_12⟩
Conference papers hal-01674884v1
Image document

Reactive Statistical Mapping: Towards the Sketching of Performative Control with Data

 Nicolas D’alessandro , Joëlle Tilmanne , Maria Astrinaki , Thomas Hueber , Rasmus Dall , et al.
eNTERFACE - 9th International Summer Workshop on Multimodal Interfaces (eNTERFACE), Jul 2013, Lisbonne, Portugal. pp.20-49, ⟨10.1007/978-3-642-55143-7_2⟩
Conference papers hal-01134574v1
Image document

Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework

 Jean-Bernard Stefani , Martin Vassor
FORTE 2019 - 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.242-260, ⟨10.1007/978-3-030-21759-4_14⟩
Conference papers hal-02313751v1
Page :