Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

8 résultats
Page :
triés par
Image document

DAPA: Degradation-Aware Privacy Analysis of Android Apps

 Gianluca Barbon , Agostino Cortesi , Pietro Ferrara , Enrico Steffinlongo
STM 2016 - 12th International Workshop on Security and Trust Management, Sep 2016, Heraklion, Greece. pp.32 - 46, ⟨10.1007/978-3-319-46598-2_3⟩
Communication dans un congrès hal-01416504v1
Image document

Taking Arduino to the Internet of Things: the ASIP programming model

 Gianluca Barbon , Michael Margolis , Filippo Palumbo , Franco Raimondi , Nick Weldin
Computer Communications, 2016, 00, pp.1 - 15. ⟨10.1016/j.comcom.2016.03.016⟩
Article dans une revue hal-01416490v1
Image document

Debugging of Concurrent Systems using Counterexample Analysis

 Gianluca Barbon , Vincent Leroy , Gwen Salaün
7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Tehran, Iran. pp.20-34, ⟨10.1007/978-3-319-68972-2_2⟩
Communication dans un congrès hal-01533401v2
Image document

Privacy Analysis of Android Apps: Implicit Flows and Quantitative Analysis

 Gianluca Barbon , Agostino Cortesi , Pietro Ferrara , Marco Pistoia , Omer Tripp
14th Computer Information Systems and Industrial Management (CISIM), Sep 2015, Warsaw, Poland. pp.3-23, ⟨10.1007/978-3-319-24369-6_1⟩
Communication dans un congrès hal-01444523v1
Image document

Debugging of Behavioural Models with CLEAR

 Gianluca Barbon , Vincent Leroy , Gwen Salaün
TACAS 2019 - 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2019, Prague, Czech Republic. pp.386-392, ⟨10.1007/978-3-030-17462-0_26⟩
Communication dans un congrès hal-02121180v1
Image document

Debugging of Behavioural Models using Counterexample Analysis

 Gianluca Barbon , Vincent Leroy , Gwen Salaün
IEEE Transactions on Software Engineering, 2021, 47 (6), pp.1184-1197. ⟨10.1109/TSE.2019.2915303⟩
Article dans une revue hal-02145610v1
Image document

Counterexample Simplification for Liveness Property Violation

 Gianluca Barbon , Vincent Leroy , Gwen Salaün
SEFM 2018 - 16th International Conference on Software Engineering and Formal Methods, Jun 2018, Toulouse, France. pp.173-188, ⟨10.1007/978-3-319-92970-5_11⟩
Communication dans un congrès hal-01818790v1
Image document

Visual Debugging of Behavioural Models

 Gianluca Barbon , Vincent Leroy , Gwen Salaün , Emmanuel Yah
ICSE 2019 - IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings, May 2019, Montreal, Canada. pp.107-110, ⟨10.1109/ICSE-Companion.2019.00050⟩
Communication dans un congrès hal-02145535v1
Page :