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 25 of 84  
    Select a publication
    Show Title Venue Rating Date
    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
    Conference paper
    Raúl Pardo, César Sánchez, Gerardo Schneider.
    Timed Epistemic Knowledge Bases for Social Networks (Extended Version).
    CoRR 2017, Volume 0 (0) 2017
    Journal article
    Raúl Pardo, Gerardo Schneider.
    Model Checking Social Network Models.
    Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September 2017. 2017, Volume 256 (0) 2017
    Conference paper
    John J. Camilleri, Normunds Gruzitis, Gerardo Schneider.
    Extracting Formal Models from Normative Texts.
    Natural Language Processing and Information Systems - 21st International Conference on Applications of Natural Language to Information Systems, NLDB 2016, Salford, UK, June 22-24, 2016, Proceedings 2016 (0) 2016
    Conference paper
    John J. Camilleri, Normunds Gruzitis, Gerardo Schneider.
    Extracting Formal Models from Normative Texts.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Raúl Pardo, Christian Colombo, Gordon J. Pace, Gerardo Schneider.
    An Automata-Based Approach to Evolving Privacy Policies for Social Networks.
    Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings 2016 (0) 2016
    Conference paper
    Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider.
    Contract automata - An operational view of contracts between interactive parties.
    Artif. Intell. Law 2016, Volume 24 (0) 2016
    Conference paper
    Thibaud Antignac, Riccardo Scandariato, Gerardo Schneider.
    A Privacy-Aware Conceptual Model for Handling Personal Data.
    Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I 2016 (0) 2016
    Conference paper
    Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider.
    StaRVOOrS - Episode II - Strengthen and Distribute the Force.
    Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I 2016 (0) 2016
    Conference paper
    Gerardo Schneider.
    On the Specification and Enforcement of Privacy-Preserving Contractual Agreements.
    Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II 2016 (0) 2016
    Conference paper
    Thibaud Antignac, David Sands, Gerardo Schneider.
    Data Minimisation: a Language-Based Approach (Long Version).
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Raúl Pardo, Ivana Kellyerova Cesar Sanchez, Gerardo Schneider.
    Specification of Evolving Privacy Policies for Online Social Networks.
    23rd International Symposium on Temporal Representation and Reasoning, TIME 2016, Kongens Lyngby, Denmark, October 17-19, 2016 2016 (0) 2016
    Conference paper
    Gordon J. Pace, Raúl Pardo, Gerardo Schneider.
    On the Runtime Enforcement of Evolving Privacy Policies in Online Social Networks.
    Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II 2016 (0) 2016
    Conference paper
    Hamid Ebadi, David Sands, Gerardo Schneider.
    Differential Privacy: Now it's Getting Personal.
    Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, Mumbai, India, January 15-17, 2015 2015 (0) 2015
    Journal article
    Gilles Barthe, Alberto Pardo, Gerardo Schneider.
    SEFM: software engineering and formal methods.
    Software and System Modeling 2015, Volume 14 (0) 2015
    Conference paper
    Wolfgang Ahrendt, Jesús Mauricio Chimento, Gordon J. Pace, Gerardo Schneider.
    A Specification Language for Static and Runtime Verification of Data and Control Properties.
    FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings 2015 (0) 2015
    Conference paper
    Jesús Mauricio Chimento, Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider.
    StaRVOOrS: A Tool for Combined Static and Runtime Verification of Java.
    Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings 2015 (0) 2015
    Show item 1 to 25 of 84  

    Your query returned 84 matches in the database.