Search - IFIP Open Digital Library Access content directly

Filter your results

15 results
Structure: Internal structure identifier : 417721
Image document

On the Generation of 2-Polyominoes

Enrico Formenti , Paolo Massazza
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.101-113, ⟨10.1007/978-3-319-94631-3_9⟩
Conference papers hal-01905637v1
Image document

Why Do Developers Adopt Open Source Software? Past, Present and Future

Valentina Lenarduzzi , Davide Tosi , Luigi Lavazza , Sandro Morasca
15th IFIP International Conference on Open Source Systems (OSS), May 2019, Montreal, QC, Canada. pp.104-115, ⟨10.1007/978-3-030-20883-7_10⟩
Conference papers hal-02305701v1
Image document

Comparing Static Analysis and Code Smells as Defect Predictors: An Empirical Study

Luigi Lavazza , Sandro Morasca , Davide Tosi
17th IFIP International Conference on Open Source Systems (OSS), May 2021, Lathi/virtual event, Finland. pp.1-15, ⟨10.1007/978-3-030-75251-4_1⟩
Conference papers hal-03254066v1
Image document

How Adaptive and Reliable is Your Program?

Valentina Castiglioni , Michele Loreti , Simone Tini
41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2021, Valletta, Malta. pp.60-79, ⟨10.1007/978-3-030-78089-0_4⟩
Conference papers hal-03740265v1
Image document

Fostering the Collaboration among Healthcare Stakeholders with ICF in Clinical Practice: EasyICF

Daniele Spoladore , Atieh Mahroo , Marco Sacco
22nd Working Conference on Virtual Enterprises (PRO-VE 2021), Nov 2021, Saint-Etienne, France. pp.623-631, ⟨10.1007/978-3-030-85969-5_58⟩
Conference papers emse-03346761v1
Image document

A Study on OSS Marketing and Communication Strategies

Vieri Del Bianco , Luigi Lavazza , Valentina Lenarduzzi , Sandro Morasca , Davide Taibi , et al.
8th International Conference on Open Source Systems (OSS), Sep 2012, Hammamet, Tunisia. pp.338-343, ⟨10.1007/978-3-642-33442-9_31⟩
Conference papers hal-01519066v1
Image document

Weak Simulation Quasimetric in a Gossip Scenario

Ruggero Lanotte , Massimo Merro , Simone Tini
37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.139-155, ⟨10.1007/978-3-319-60225-7_10⟩
Conference papers hal-01658428v1
Image document

Object Segmentation Using Multiple Neural Networks for Commercial Offers Visual Search

I. Gallo , A. Nodari , M. Vanetti
12th Engineering Applications of Neural Networks (EANN 2011) and 7th Artificial Intelligence Applications and Innovations (AIAI), Sep 2011, Corfu, Greece. pp.209-218, ⟨10.1007/978-3-642-23957-1_24⟩
Conference papers hal-01571327v1
Image document

An Investigation of the Users' Perception of OSS Quality

Vieri Bianco , Luigi Lavazza , Sandro Morasca , Davide Taibi , Davide Tosi
6th International IFIP WG 2.13 Conference on Open Source Systems,(OSS), May 2010, Notre Dame, United States. pp.15-28, ⟨10.1007/978-3-642-13244-5_2⟩
Conference papers hal-01056042v1
Image document

A Semantic Theory of the Internet of Things

Ruggero Lanotte , Massimo Merro
18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.157-174, ⟨10.1007/978-3-319-39519-7_10⟩
Conference papers hal-01631725v1
Image document

T-DOC: A Tool for the Automatic Generation of Testing Documentation for OSS Products

Sandro Morasca , Davide Taibi , Davide Tosi
6th International IFIP WG 2.13 Conference on Open Source Systems,(OSS), May 2010, Notre Dame, United States. pp.200-213, ⟨10.1007/978-3-642-13244-5_16⟩
Conference papers hal-01056054v1
Image document

Identification Services for Online Social Networks (OSNs) Extended Abstract

Elena Ferrari
Marit Hansen; Eleni Kosta; Igor Nai-Fovino; Simone Fischer-Hübner. Privacy and Identity Management. The Smart Revolution : 12th IFIP WG 9.2, 9.5, 9.6/11.7, 11.6/SIG 9.2.2 International Summer School, Ispra, Italy, September 4-8, 2017, Revised Selected Papers, AICT-526, Springer International Publishing, pp.240-242, 2018, IFIP Advances in Information and Communication Technology, 978-3-319-92924-8. ⟨10.1007/978-3-319-92925-5_16⟩
Book sections hal-01883613v1
Image document

A Modest Security Analysis of Cyber-Physical Systems: A Case Study

Ruggero Lanotte , Massimo Merro , Andrei Munteanu
38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.58-78, ⟨10.1007/978-3-319-92612-4_4⟩
Conference papers hal-01824813v1
Image document

LAMP - Label-Based Access-Control for More Privacy in Online Social Networks

Leila Bahri , Barbara Carminati , Elena Ferrari , William Lucia
10th IFIP International Conference on Information Security Theory and Practice (WISTP), Sep 2016, Heraklion, Greece. pp.171-186, ⟨10.1007/978-3-319-45931-8_11⟩
Conference papers hal-01639607v1
Image document

Collaborative Design Approach for the Development of an Ontology-based Decision Support System in Health Tourism

Daniele Spoladore , Elena Pessot , Michael Bischof , Arnulf Hartl , Marco Sacco
22nd Working Conference on Virtual Enterprises (PRO-VE 2021), Nov 2021, Saint-Etienne, France. pp.632-639, ⟨10.1007/978-3-030-85969-5_59⟩
Conference papers emse-03349525v1