Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Gerardo
    Last name: Schneider
    DBLP: 01/1333
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 10 of 85  
    Select a publication
    Show Title Venue Rating Date
    Journal article
    Srinivas Pinisetty, Thibaud Antignac, David Sands, Gerardo Schneider.
    Monitoring Data Minimisation.
    CoRR 2018, Volume 0 (0) 2018
    Conference paper
    Pablo Picazo-Sanchez, Raúl Pardo, Gerardo Schneider.
    Secure Photo Sharing in Social Networks.
    ICT Systems Security and Privacy Protection - 32nd IFIP TC 11 International Conference, SEC 2017, Rome, Italy, May 29-31, 2017, Proceedings 2017 (0) 2017
    Conference paper
    Thibaud Antignac, Mukelabai Mukelabai, Gerardo Schneider.
    Specification, design, and verification of an accountability-aware surveillance protocol.
    Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017 2017 (0) 2017
    Conference paper
    Thibaud Antignac, David Sands, Gerardo Schneider.
    Data Minimisation: A Language-Based Approach.
    ICT Systems Security and Privacy Protection - 32nd IFIP TC 11 International Conference, SEC 2017, Rome, Italy, May 29-31, 2017, Proceedings 2017 (0) 2017
    Journal article
    John J. Camilleri, Normunds Gruzitis, Gerardo Schneider.
    Extracting Formal Models from Normative Texts.
    CoRR 2017, Volume 0 (0) 2017
    Journal article
    Raúl Pardo, Musard Balliu, Gerardo Schneider.
    Formalising privacy policies in social networks.
    J. Log. Algebr. Meth. Program. 2017, Volume 90 (0) 2017
    Conference paper
    John J. Camilleri, Mohammad Reza Haghshenas, Gerardo Schneider.
    A Web-Based Tool for Analysing Normative Documents in English.
    CoRR 2017, Volume 0 (0) 2017
    Journal article
    Wolfgang Ahrendt, Jesús Mauricio Chimento, Gordon J. Pace, Gerardo Schneider.
    Verifying data- and control-oriented properties combining static and runtime verification: theory and tools.
    Formal Methods in System Design 2017, Volume 51 (0) 2017
    Conference paper
    John J. Camilleri, Gerardo Schneider.
    Modelling and analysis of normative documents.
    J. Log. Algebr. Meth. Program. 2017, Volume 91 (0) 2017
    Conference paper
    Bjørnar Luteberget, John J. Camilleri, Christian Johansen, Gerardo Schneider.
    Participatory Verification of Railway Infrastructure by Representing Regulations in RailCNL.
    Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings 2017 (0) 2017
    Show item 1 to 10 of 85  

    Your query returned 85 matches in the database.