Search - IFIP Open Digital Library Access content directly

Filter your results

9 results
Sub-domain level 1 : info.info-ni
labStructName_s : Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi [Genova]
labStructName_s : Laboratoire Bordelais de Recherche en Informatique
Page :
sorted by
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

OverStar: An Open Approach to End-to-End Middleware Services in Systems of Systems

 Paul Grace , Yérom-David Bromberg , Laurent Réveillère , Gordon Blair
13th International Middleware Conference (MIDDLEWARE), Dec 2012, Montreal, QC, Canada. pp.229-248, ⟨10.1007/978-3-642-35170-9_12⟩
Conference papers hal-00991376v1
Image document

Benchmarking Cryptographic Schemes for Securing Public Cloud Storages

 Stefan Contiu , Emmanuel Leblond , Laurent Réveillère
17th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2017, Neuchâtel, Switzerland. pp.163-176, ⟨10.1007/978-3-319-59665-5_12⟩
Conference papers hal-01800117v1
Image document

Deconfined Global Types for Asynchronous Sessions

 Francesco Dagnino , Paola Giannini , Mariangiola Dezani-Ciancaglini
23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.41-60, ⟨10.1007/978-3-030-78142-2_3⟩
Conference papers hal-03387838v1
Image document

EZ: Towards Efficient Asynchronous Protocol Gateway Construction

 Yérom-David Bromberg , Floréal Morandat , Laurent Réveillère , Gaël Thomas
13th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2013, Florence, Italy. pp.169-174, ⟨10.1007/978-3-642-38541-4_13⟩
Conference papers hal-00991335v1
Image document

Asynchronous Global Types in Co-logic Programming

 Riccardo Bianchini , Francesco Dagnino
23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.134-146, ⟨10.1007/978-3-030-78142-2_9⟩
Conference papers hal-03387826v1
Image document

Enabling Next-Generation Cyber Ranges with Mobile Security Components

 Enrico Russo , Luca Verderame , Alessio Merlo
32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.150-165, ⟨10.1007/978-3-030-64881-7_10⟩
Conference papers hal-03239813v1
Image document

APPregator: A Large-Scale Platform for Mobile Security Analysis

 Luca Verderame , Davide Caputo , Andrea Romdhana , Alessio Merlo
32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.73-88, ⟨10.1007/978-3-030-64881-7_5⟩
Conference papers hal-03239815v1
Image document

Multiple Mutation Testing for Timed Finite State Machine with Timed Guards and Timeouts

 Omer Nguena Timo , Dimitri Prestat , Antoine Rollet
31th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2019, Paris, France
Conference papers hal-02341856v1
Page :