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 76  
    Select a publication
    Show Title Venue Rating Date
    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
    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
    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
    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
    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
    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
    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
    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
    Conference paper
    Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider.
    Conditional Permissions in Contracts.
    Legal Knowledge and Information Systems - JURIX 2015: The Twenty-Eighth Annual Conference, Braga, Portual, December 10-11, 2015 2015 (0) 2015
    Journal article
    John J. Camilleri, Gabriele Paganelli, Gerardo Schneider.
    A CNL for Contract-Oriented Diagrams.
    CoRR 2014, Volume 0 (0) 2014
    Conference paper
    John J. Camilleri, Gabriele Paganelli, Gerardo Schneider.
    A CNL for Contract-Oriented Diagrams.
    Controlled Natural Language - 4th International Workshop, CNL 2014, Galway, Ireland, August 20-22, 2014. Proceedings 2014 (0) 2014
    Conference paper
    Raúl Pardo, Gerardo Schneider.
    A Formal Privacy Policy Framework for Social Networks.
    Software Engineering and Formal Methods - 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings 2014 (0) 2014
    Conference paper
    Gregorio Díaz, María-Emilia Cambronero, Enrique Martínez, Gerardo Schneider.
    Specification and Verification of NormativeTexts Using C-O Diagrams.
    IEEE Trans. Software Eng. 2014, Volume 40 (0) 2014
    Conference paper
    Robert Nagy, Gerardo Schneider, Aram Timofeitchik.
    Automatic Testing of Real-Time Graphics Systems.
    Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Pavel Rabetski, Gerardo Schneider.
    Migration of an On-Premise Application to the Cloud: Experience Report.
    Service-Oriented and Cloud Computing - Second European Conference, ESOCC 2013, Málaga, Spain, September 11-13, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Hallstein Asheim Hansen, Gerardo Schneider, Martin Steffen.
    Reachability analysis of complex planar hybrid systems.
    Sci. Comput. Program. 2012, Volume 78 (0) 2013
    Show item 1 to 25 of 76  

    Your query returned 76 matches in the database.