Gerardo Schneider

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification, 2024

2023

Attribute-based encryption with enforceable obligations.

[BibT_eX]

[DOI]

J. Cryptogr. Eng., September, 2023

LTL Synthesis on Infinite-State Arenas defined by Programs.

[BibT_eX]

[DOI]

CoRR, 2023

Correct-by-Construction Design of Contextual Robotic Missions Using Contracts.

[BibT_eX]

[DOI]

CoRR, 2023

CLawK: Monitoring Business Processes in Smart Contracts.

[BibT_eX]

[DOI]

Mojtaba Eshghie

Thomas Troels Hildebrandt

Cyrille Artho

CoRR, 2023

Capturing Smart Contract Design with DCR Graphs.

[BibT_eX]

[DOI]

Mojtaba Eshghie

Thomas Troels Hildebrandt

Cyrille Artho

Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023

Synchronous Agents, Verification, and Blame - A Deontic View.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023

ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

Formal Methods for Software Engineering - Languages, Methods, Application Domains

[BibT_eX]

[DOI]

Markus Roggenbach

Antonio Cerone

Bernd-Holger Schlingloff

Siraj Ahmed Shaikh

Texts in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-030-38799-0, 2022

Semantic Attribute-Based Encryption: A framework for combining ABE schemes with semantic technologies.

[BibT_eX]

[DOI]

Inf. Sci., 2022

A multidisciplinary definition of privacy labels.

[BibT_eX]

[DOI]

Johanna Johansen

Tore Pedersen

Simone Fischer-Hübner

Anders Jakob Sivesind

Josef Noll

Inf. Comput. Secur., 2022

Are chrome extensions compliant with the spirit of least privilege?

[BibT_eX]

[DOI]

Int. J. Inf. Sec., 2022

Runtime Verification of Kotlin Coroutines.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 22nd International Conference, 2022

An Automata-Based Formalism for Normative Documents with Real-Time.

[BibT_eX]

[DOI]

Stefan Chircop

Proceedings of the Legal Knowledge and Information Systems, 2022

Assumption Monitoring of Temporal Task Planning Using Stream Runtime Verification.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

Runtime Verification Meets Controller Synthesis.

[BibT_eX]

[DOI]

Shaun Azzopardi

Nir Piterman

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

Precise Analysis of Purpose Limitation in Data Flow Diagrams.

[BibT_eX]

[DOI]

Proceedings of the ARES 2022: The 17th International Conference on Availability, Reliability and Security, Vienna,Austria, August 23, 2022

2021

Gray-box monitoring of hyperproperties with an application to privacy.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2021

Refining Privacy-Aware Data Flow Diagrams.

[BibT_eX]

[DOI]

Hanaa Alshareef

Sandro Stucki

Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

On the Specification and Monitoring of Timed Normative Systems.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 21st International Conference, 2021

Transforming Data Flow Diagrams for Privacy Compliance.

[BibT_eX]

[DOI]

Hanaa Alshareef

Sandro Stucki

Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development, 2021

Timed Dyadic Deontic Logic.

[BibT_eX]

[DOI]

Karam Younes Kharraz

Martin Leucker

Proceedings of the Legal Knowledge and Information Systems, 2021

Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

MultiCall: A Transaction-batching Interpreter for Ethereum.

[BibT_eX]

[DOI]

William Hughes

Alejandro Russo

Proceedings of the BSCI '21: Proceedings of the 3rd ACM International Symposium on Blockchain and Secure Critical Infrastructure, 2021

Runtime Verification: Passing on the Baton.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Outer Space, 2021

Incorporating Monitors in Reactive Synthesis Without Paying the Price.

[BibT_eX]

[DOI]

Shaun Azzopardi

Nir Piterman

Proceedings of the Automated Technology for Verification and Analysis, 2021

2020

A collaborative access control framework for online social networks.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2020

After you, please: browser extensions order attacks and countermeasures.

[BibT_eX]

[DOI]

Juan Tapiador

Int. J. Inf. Sec., 2020

Privacy Labelling and the Story of Princess Privacy and the Seven Helpers.

[BibT_eX]

[DOI]

Johanna Johansen

Tore Pedersen

Simone Fischer-Hübner

Anders Jakob Sivesind

Josef Noll

CoRR, 2020

Transforming Data Flow Diagrams for Privacy Compliance (Long Version).

[BibT_eX]

[DOI]

Hanaa Alshareef

Sandro Stucki

CoRR, 2020

Security Wrappers for Information-Flow Control in Active Object Languages with Futures.

[BibT_eX]

[DOI]

Farzane Karami

CoRR, 2020

Information-Flow Control by Means of Security Wrappers for Active Object Languages with Futures.

[BibT_eX]

[DOI]

Farzane Karami

Proceedings of the Secure IT Systems - 25th Nordic Conference, NordSec 2020, Virtual Event, 2020

CROME: Contract-Based Robotic Mission Specification.

[BibT_eX]

[DOI]

Pierluigi Nuzzo

Patrizio Pelliccione

Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020

Reliable Smart Contracts.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

HMAC and "Secure Preferences": Revisiting Chromium-Based Browsers Security.

[BibT_eX]

[DOI]

Andrei Sabelfeld

Proceedings of the Cryptology and Network Security - 19th International Conference, 2020

2019

Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software).

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2019

A survey of challenges for runtime verification from advanced application domains (beyond software).

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2019

Feasibility analysis of Inter-Pulse Intervals based solutions for cryptographic token generation by two electrocardiogram sensors.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2019

Gray-box Monitoring of Hyperproperties (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2019

COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1.

[BibT_eX]

[DOI]

CoRR, 2019

A runtime monitoring framework to enforce invariants on reinforcement learning agents exploring complex environments.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Robotics Software Engineering, 2019

Verification of Smart Contract Business Logic - Exploiting a Java Source Code Verifier.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Software Engineering - 8th International Conference, 2019

Gray-Box Monitoring of Hyperproperties.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2018

Monitoring Data Minimisation.

[BibT_eX]

[DOI]

CoRR, 2018

A web-based tool for analysing normative documents in english.

[BibT_eX]

[DOI]

Mohammad Reza Haghshenas

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

COST Action IC1402 Runtime Verification Beyond Monitoring.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 18th International Conference, 2018

Security of Pacemakers using Runtime Verification.

[BibT_eX]

[DOI]

Proceedings of the 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2018

Is Privacy by Construction Possible?

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

Reliable Smart Contracts: State-of-the-Art, Applications, Challenges and Future Directions.

[BibT_eX]

[DOI]

Martin Leucker

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

Migrating Monitors + ABE: A Suitable Combination for Secure IoT?

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification.

[BibT_eX]

[DOI]

Borzoo Bonakdarpour

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

MoVEMo: A Structured Approach for Engineering Reward Functions.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE International Conference on Robotic Computing, 2018

Runtime verification of hyperproperties for deterministic programs.

[BibT_eX]

[DOI]

Srinivas Pinisetty

Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2018

Testing meets static and runtime verification.

[BibT_eX]

[DOI]

Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2018

Timed Epistemic Knowledge Bases for Social Networks.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 22nd International Symposium, 2018

Privacy Compliance Via Model Transformations.

[BibT_eX]

[DOI]

Riccardo Scandariato

Proceedings of the 2018 IEEE European Symposium on Security and Privacy Workshops, 2018

Smart Contracts: A Killer Application for Deductive Source Code Verification.

[BibT_eX]

[DOI]

Proceedings of the Principled Software Development, 2018

2017

Formalising privacy policies in social networks.

[BibT_eX]

[DOI]

Musard Balliu

J. Log. Algebraic Methods Program., 2017

Modelling and analysis of normative documents.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2017

Verifying data- and control-oriented properties combining static and runtime verification: theory and tools.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2017

Model Checking Social Network Models.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Eighth International Symposium on Games, 2017

Timed Epistemic Knowledge Bases for Social Networks (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2017

Participatory Verification of Railway Infrastructure by Representing Regulations in RailCNL.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

Secure Photo Sharing in Social Networks.

[BibT_eX]

[DOI]

Proceedings of the ICT Systems Security and Privacy Protection, 2017

Data Minimisation: A Language-Based Approach.

[BibT_eX]

[DOI]

Proceedings of the ICT Systems Security and Privacy Protection, 2017

Specification, design, and verification of an accountability-aware surveillance protocol.

[BibT_eX]

[DOI]

Mukelabai Mukelabai

Proceedings of the Symposium on Applied Computing, 2017

2016

Data Minimisation: a Language-Based Approach (Long Version).

[BibT_eX]

[DOI]

CoRR, 2016

Contract automata - An operational view of contracts between interactive parties.

[BibT_eX]

[DOI]

Artif. Intell. Law, 2016

Specification of Evolving Privacy Policies for Online Social Networks.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning, 2016

An Automata-Based Approach to Evolving Privacy Policies for Social Networks.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 16th International Conference, 2016

Extracting Formal Models from Normative Texts.

[BibT_eX]

[DOI]

Normunds Gruzitis

Proceedings of the Natural Language Processing and Information Systems, 2016

On the Specification and Enforcement of Privacy-Preserving Contractual Agreements.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

On the Runtime Enforcement of Evolving Privacy Policies in Online Social Networks.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

A Privacy-Aware Conceptual Model for Handling Personal Data.

[BibT_eX]

[DOI]

Riccardo Scandariato

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

StaRVOOrS - Episode II - Strengthen and Distribute the Force.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

2015

SEFM: software engineering and formal methods.

[BibT_eX]

[DOI]

Gilles Barthe

Alberto Pardo

Softw. Syst. Model., 2015

StaRVOOrS: A Tool for Combined Static and Runtime Verification of Java.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 6th International Conference, 2015

Differential Privacy: Now it's Getting Personal.

[BibT_eX]

[DOI]

Hamid Ebadi

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Conditional Permissions in Contracts.

[BibT_eX]

[DOI]

Fernando Schapachnik

Proceedings of the Legal Knowledge and Information Systems, 2015

A Specification Language for Static and Runtime Verification of Data and Control Properties.

[BibT_eX]

[DOI]

Proceedings of the FM 2015: Formal Methods, 2015

2014

Specification and Verification of NormativeTexts Using C-O Diagrams.

[BibT_eX]

[DOI]

Gregorio Díaz

María-Emilia Cambronero

IEEE Trans. Software Eng., 2014

A Formal Privacy Policy Framework for Social Networks.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

A CNL for Contract-Oriented Diagrams.

[BibT_eX]

[DOI]

Gabriele Paganelli

Proceedings of the Controlled Natural Language - 4th International Workshop, 2014

2013

Reachability analysis of complex planar hybrid systems.

[BibT_eX]

[DOI]

Martin Steffen

Sci. Comput. Program., 2013

A framework for conflict analysis of normative texts written in controlled natural language.

[BibT_eX]

[DOI]

Krasimir Angelov

J. Log. Algebraic Methods Program., 2013

Automatic Testing of Real-Time Graphics Systems.

[BibT_eX]

[DOI]

Robert Nagy

Aram Timofeitchik

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Migration of an On-Premise Application to the Cloud: Experience Report.

[BibT_eX]

[DOI]

Pavel Rabetski

Proceedings of the Service-Oriented and Cloud Computing - Second European Conference, 2013

2012

Guest Editors' Foreword.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2012

A dynamic deontic logic for complex contracts.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2012

Low dimensional hybrid systems - decidable, undecidable, don't know.

[BibT_eX]

[DOI]

Inf. Comput., 2012

A Unified Approach for Static and Runtime Verification: Framework and Applications.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

2011

Guest Editors' Foreword.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2011

From Contracts in Structured English to CL Specifications

[BibT_eX]

[DOI]

Seyed M. Montazeri

Nivir K. S. Roy

Proceedings of the Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software, 2011

Timed Automata Semantics for Visual e-Contracts

[BibT_eX]

[DOI]

María-Emilia Cambronero

Gregorio Díaz

Proceedings of the Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software, 2011

Reachability Analysis of Non-linear Planar Autonomous Systems.

[BibT_eX]

[DOI]

Martin Steffen

Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

2010

Automated Analysis of Conflicts in Software Product Lines.

[BibT_eX]

[DOI]

Proceedings of the Software Product Lines - 14th International Conference, 2010

Reachability analysis of GSPDIs: theory, optimization, and implementation.

[BibT_eX]

[DOI]

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

A Model for Visual Specification of E-contracts.

[BibT_eX]

[DOI]

Gregorio Díaz

María-Emilia Cambronero

Proceedings of the 2010 IEEE International Conference on Services Computing, 2010

2009

Formal languages and analysis of contract-oriented software.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2009

Guest Editors' Foreword.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2009

Guest Editors' Foreword.

[BibT_eX]

[DOI]

Einar Broch Johnsen

J. Log. Algebraic Methods Program., 2009

Wrap Your Objects Safely.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures, 2009

On the Specification of Full Contracts.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures, 2009

: An Action-Based Logic for Reasoning about Contracts.

[BibT_eX]

[DOI]

Proceedings of the Logic, 2009

LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper).

[BibT_eX]

[DOI]

Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

Challenges in the Specification of Full Contracts.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

GSPeeDI - A Verification Tool for Generalized Polygonal Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2009

Automatic Conflict Detection on Contracts.

[BibT_eX]

[DOI]

Stephen Fenech

Proceedings of the Theoretical Aspects of Computing, 2009

Abstract specification of legal contracts.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Artificial Intelligence and Law, 2009

Safe Runtime Verification of Real-Time Properties.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009

CLAN: A Tool for Contract Analysis and Conflict Discovery.

[BibT_eX]

[DOI]

Stephen Fenech

Proceedings of the Automated Technology for Verification and Analysis, 2009

2008

Algorithmic analysis of polygonal hybrid systems, Part II: Phase portrait and tools.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2008

Contract-Oriented Software Development for Internet Services.

[BibT_eX]

[DOI]

ERCIM News, 2008

Computation and Visualisation of Phase Portraits for Model Checking SPDIs.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

Reachability analysis of generalized polygonal hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Relaxing Goodness Is Still Good.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2008

Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2008

Run-Time Monitoring of Electronic Contracts.

[BibT_eX]

[DOI]

Marcel Kyas

Proceedings of the Automated Technology for Verification and Analysis, 2008

2007

Algorithmic analysis of polygonal hybrid systems, part I: Reachability.

[BibT_eX]

[DOI]

Sergio Yovine

Theor. Comput. Sci., 2007

Components, objects, and contracts.

[BibT_eX]

[DOI]

Martin Steffen

Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, 2007

A Formal Language for Electronic Contracts.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007

Model Checking Contracts - A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2007

On the Definition and Policies of Confidentiality.

[BibT_eX]

[DOI]

Johs Hansen Hammer

Proceedings of the Third International Symposium on Information Assurance and Security, 2007

2006

A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2006

Language-based support for service oriented architectures: Future directions.

[BibT_eX]

Proceedings of the ICSOFT 2006, 2006

Static Analysis for State-Space Reduction of Polygonal Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006

2005

Precise Analysis of Memory Consumption using Program Logics.

[BibT_eX]

[DOI]

Gilles Barthe

Mariela Pavlova

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

Certified Memory Usage Analysis.

[BibT_eX]

[DOI]

Proceedings of the FM 2005: Formal Methods, 2005

2004

Computing Invariance Kernels of Polygonal Hybrid Systems.

[BibT_eX]

Nord. J. Comput., 2004

Model Checking Polygonal Differential Inclusions Using Invariance Kernels.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2004

On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi.

[BibT_eX]

[DOI]

Pablo Giambiagi

Frank D. Valencia

Proceedings of the Foundations of Software Science and Computation Structures, 2004

2002

Analyse algorithmique de systèmes hybrides polygonaux.

[BibT_eX]

[DOI]

PhD thesis, 2002

Towards Computing Phase Portraits of Polygonal Differential Inclusions.

[BibT_eX]

[DOI]

Sergio Yovine

Proceedings of the Hybrid Systems: Computation and Control, 5th International Workshop, 2002

Widening the Boundary between Decidable and Undecidable Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2002, 2002

SPeeDI - A Verification Tool for Polygonal Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001

On the Decidability of the Reachability Problem for Planar Differential Inclusions.

[BibT_eX]

[DOI]

Sergio Yovine

Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

1998

Towards a Formal Semantics of Verilog Using Duration Calculus.

[BibT_eX]

[DOI]