Towards a Formal Semantics of Verilog Using Duration Calculus. - Gerardo Schneider; Qiwen Xu (FTRTFT, 1998)

On the Decidability of the Reachability Problem for Planar Differential Inclusions. - Eugene Asarin; Gerardo Schneider; Sergio Yovine (HSCC, 2001)

SPeeDI - A Verification Tool for Polygonal Hybrid Systems. - Eugene Asarin; Gordon J. Pace; Gerardo Schneider; Sergio Yovine (CAV, 2002)

Widening the Boundary between Decidable and Undecidable Hybrid Systems. - Eugene Asarin; Gerardo Schneider (CONCUR, 2002)

Towards Computing Phase Portraits of Polygonal Differential Inclusions. - Eugene Asarin; Gerardo Schneider; Sergio Yovine (HSCC, 2002)

Analyse algorithmique de systèmes hybrides polygonaux. - Gerardo Schneider (2002)

On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi. - Pablo Giambiagi; Gerardo Schneider; Frank D. Valencia (FoSSaCS, 2004)

Model Checking Polygonal Differential Inclusions Using Invariance Kernels. - Gordon J. Pace; Gerardo Schneider (VMCAI, 2004)

Computing Invariance Kernels of Polygonal Hybrid Systems. - Gerardo Schneider (Nord. J. Comput., 2004)

Certified Memory Usage Analysis. - David Cachera; Thomas P. Jensen; David Pichardie; Gerardo Schneider (FM, 2005)

Precise Analysis of Memory Consumption using Program Logics. - Gilles Barthe; Mariela Pavlova; Gerardo Schneider (SEFM, 2005)

Static Analysis for State-Space Reduction of Polygonal Hybrid Systems. - Gordon J. Pace; Gerardo Schneider (FORMATS, 2006)

Language-based support for service oriented architectures: Future directions. - Pablo Giambiagi; Olaf Owe; Gerardo Schneider; Anders P. Ravn (ICSOFT (1), 2006)

A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems. - Gordon J. Pace; Gerardo Schneider (ICTAC, 2006)

On the Definition and Policies of Confidentiality. - Johs Hansen Hammer; Gerardo Schneider (IAS, 2007)

Model Checking Contracts - A Case Study. - Gordon J. Pace; Cristian Prisacariu; Gerardo Schneider (ATVA, 2007)

A Formal Language for Electronic Contracts. - Cristian Prisacariu; Gerardo Schneider (FMOODS, 2007)

Components, objects, and contracts. - Olaf Owe; Gerardo Schneider; Martin Steffen (SAVCBS, 2007)

Algorithmic analysis of polygonal hybrid systems, part I: Reachability. - Eugene Asarin; Gerardo Schneider; Sergio Yovine (Theor. Comput. Sci., 2007)

Run-Time Monitoring of Electronic Contracts. - Marcel Kyas; Cristian Prisacariu; Gerardo Schneider (ATVA, 2008)

Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties. - Christian Colombo 001; Gordon J. Pace; Gerardo Schneider (FMICS, 2008)

Relaxing Goodness Is Still Good. - Gordon J. Pace; Gerardo Schneider (ICTAC, 2008)

Reachability analysis of generalized polygonal hybrid systems. - Gerardo Schneider (SAC, 2008)

Computation and Visualisation of Phase Portraits for Model Checking SPDIs. - Gordon J. Pace; Gerardo Schneider (TACAS, 2008)

Contract-Oriented Software Development for Internet Services. - Pablo Giambiagi; Olaf Owe; Anders P. Ravn; Gerardo Schneider (ERCIM News, 2008)

Algorithmic analysis of polygonal hybrid systems, Part II: Phase portrait and tools. - Eugene Asarin; Gordon J. Pace; Gerardo Schneider; Sergio Yovine (Theor. Comput. Sci., 2008)

CLAN: A Tool for Contract Analysis and Conflict Discovery. - Stephen Fenech; Gordon J. Pace; Gerardo Schneider (ATVA, 2009)

Safe Runtime Verification of Real-Time Properties. - Christian Colombo 001; Gordon J. Pace; Gerardo Schneider (FORMATS, 2009)

Abstract specification of legal contracts. - Cristian Prisacariu; Gerardo Schneider (ICAIL, 2009)

Automatic Conflict Detection on Contracts. - Stephen Fenech; Gordon J. Pace; Gerardo Schneider (ICTAC, 2009)

GSPeeDI - A Verification Tool for Generalized Polygonal Hybrid Systems. - Hallstein Asheim Hansen; Gerardo Schneider (ICTAC, 2009)

Challenges in the Specification of Full Contracts. - Gordon J. Pace; Gerardo Schneider (IFM, 2009)

LARVA — Safer Monitoring of Real-Time Java Programs (Tool Paper). - Christian Colombo 001; Gordon J. Pace; Gerardo Schneider (SEFM, 2009)

: An Action-Based Logic for Reasoning about Contracts. - Cristian Prisacariu; Gerardo Schneider (WoLLIC, 2009)

On the Specification of Full Contracts. - Stephen Fenech; Gordon J. Pace; Joseph C. Okika; Anders P. Ravn; Gerardo Schneider (FESCA@ETAPS, 2009)

Wrap Your Objects Safely. - Olaf Owe; Gerardo Schneider (FESCA@ETAPS, 2009)

Guest Editors' Foreword. - Einar Broch Johnsen; Olaf Owe; Gerardo Schneider (J. Log. Algebraic Methods Program., 2009)

Guest Editors' Foreword. - Olaf Owe; Gerardo Schneider (J. Log. Algebraic Methods Program., 2009)

Formal languages and analysis of contract-oriented software. - Olaf Owe; Gerardo Schneider (J. Log. Algebraic Methods Program., 2009)

A Model for Visual Specification of E-contracts. - Enrique Martínez; Gregorio Díaz 001; María-Emilia Cambronero; Gerardo Schneider (IEEE SCC, 2010)

Reachability analysis of GSPDIs: theory, optimization, and implementation. - Hallstein Asheim Hansen; Gerardo Schneider (SAC, 2010)

Automated Analysis of Conflicts in Software Product Lines. - Enrique Martínez; Gerardo Schneider (SPLC Workshops, 2010)

Reachability Analysis of Non-linear Planar Autonomous Systems. - Hallstein Asheim Hansen; Gerardo Schneider; Martin Steffen (FSEN, 2011)

Timed Automata Semantics for Visual e-Contracts - Enrique Martínez; María-Emilia Cambronero; Gregorio Díaz 001; Gerardo Schneider (FLACOS, 2011)

From Contracts in Structured English to CL Specifications - Seyed M. Montazeri; Nivir K. S. Roy; Gerardo Schneider (FLACOS, 2011)

Guest Editors' Foreword. - Gordon J. Pace; Gerardo Schneider (J. Log. Algebraic Methods Program., 2011)

A Unified Approach for Static and Runtime Verification: Framework and Applications. - Wolfgang Ahrendt; Gordon J. Pace; Gerardo Schneider (ISoLA (1), 2012)

Low dimensional hybrid systems - decidable, undecidable, don't know. - Eugene Asarin; Venkatesh Mysore; Amir Pnueli; Gerardo Schneider (Inf. Comput., 2012)

A dynamic deontic logic for complex contracts. - Cristian Prisacariu; Gerardo Schneider (J. Log. Algebraic Methods Program., 2012)

Guest Editors' Foreword. - Gerardo Schneider (J. Log. Algebraic Methods Program., 2012)

Migration of an On-Premise Application to the Cloud: Experience Report. - Pavel Rabetski; Gerardo Schneider (ESOCC, 2013)

Automatic Testing of Real-Time Graphics Systems. - Robert Nagy; Gerardo Schneider; Aram Timofeitchik (TACAS, 2013)

A framework for conflict analysis of normative texts written in controlled natural language. - Krasimir Angelov; John J. Camilleri; Gerardo Schneider (J. Log. Algebraic Methods Program., 2013)

Reachability analysis of complex planar hybrid systems. - Hallstein Asheim Hansen; Gerardo Schneider; Martin Steffen (Sci. Comput. Program., 2013)

A CNL for Contract-Oriented Diagrams. - John J. Camilleri; Gabriele Paganelli; Gerardo Schneider (CNL, 2014)

A Formal Privacy Policy Framework for Social Networks. - Raúl Pardo; Gerardo Schneider (SEFM, 2014)

Specification and Verification of NormativeTexts Using C-O Diagrams. - Gregorio Díaz 001; María-Emilia Cambronero; Enrique Martínez; Gerardo Schneider (IEEE Trans. Software Eng., 2014)

A Specification Language for Static and Runtime Verification of Data and Control Properties. - Wolfgang Ahrendt; Jesús Mauricio Chimento; Gordon J. Pace; Gerardo Schneider (FM, 2015)

Conditional Permissions in Contracts. - Gordon J. Pace; Fernando Schapachnik; Gerardo Schneider (JURIX, 2015)

Differential Privacy: Now it's Getting Personal. - Hamid Ebadi; David Sands 001; Gerardo Schneider (POPL, 2015)

StaRVOOrS: A Tool for Combined Static and Runtime Verification of Java. - Jesús Mauricio Chimento; Wolfgang Ahrendt; Gordon J. Pace; Gerardo Schneider (RV, 2015)

SEFM: software engineering and formal methods. - Gilles Barthe; Alberto Pardo; Gerardo Schneider (Softw. Syst. Model., 2015)

StaRVOOrS - Episode II - Strengthen and Distribute the Force. - Wolfgang Ahrendt; Gordon J. Pace; Gerardo Schneider (ISoLA (1), 2016)

A Privacy-Aware Conceptual Model for Handling Personal Data. - Thibaud Antignac; Riccardo Scandariato; Gerardo Schneider (ISoLA (1), 2016)

On the Runtime Enforcement of Evolving Privacy Policies in Online Social Networks. - Gordon J. Pace; Raúl Pardo; Gerardo Schneider (ISoLA (2), 2016)

On the Specification and Enforcement of Privacy-Preserving Contractual Agreements. - Gerardo Schneider (ISoLA (2), 2016)

Extracting Formal Models from Normative Texts. - John J. Camilleri; Normunds Gruzitis; Gerardo Schneider (NLDB, 2016)

An Automata-Based Approach to Evolving Privacy Policies for Social Networks. - Raúl Pardo; Christian Colombo 001; Gordon J. Pace; Gerardo Schneider (RV, 2016)

Specification of Evolving Privacy Policies for Online Social Networks. - Raúl Pardo; Ivana Kellyerova; César Sánchez 001; Gerardo Schneider (TIME, 2016)

Contract automata - An operational view of contracts between interactive parties. - Shaun Azzopardi; Gordon J. Pace; Fernando Schapachnik; Gerardo Schneider (Artif. Intell. Law, 2016)

Data Minimisation: a Language-Based Approach (Long Version). - Thibaud Antignac; David Sands 001; Gerardo Schneider (CoRR, 2016)

Specification, design, and verification of an accountability-aware surveillance protocol. - Thibaud Antignac; Mukelabai Mukelabai; Gerardo Schneider (SAC, 2017)

Data Minimisation: A Language-Based Approach. - Thibaud Antignac; David Sands 001; Gerardo Schneider (SEC, 2017)

Secure Photo Sharing in Social Networks. - Pablo Picazo-Sanchez; Raúl Pardo; Gerardo Schneider (SEC, 2017)

Participatory Verification of Railway Infrastructure by Representing Regulations in RailCNL. - Bjørnar Luteberget; John J. Camilleri; Christian Johansen; Gerardo Schneider (SEFM, 2017)

Timed Epistemic Knowledge Bases for Social Networks (Extended Version). - Raúl Pardo; César Sánchez 001; Gerardo Schneider (CoRR, 2017)

Model Checking Social Network Models. - Raúl Pardo; Gerardo Schneider (GandALF, 2017)

Verifying data- and control-oriented properties combining static and runtime verification: theory and tools. - Wolfgang Ahrendt; Jesús Mauricio Chimento; Gordon J. Pace; Gerardo Schneider (Formal Methods Syst. Des., 2017)

Modelling and analysis of normative documents. - John J. Camilleri; Gerardo Schneider (J. Log. Algebraic Methods Program., 2017)

Formalising privacy policies in social networks. - Raúl Pardo; Musard Balliu; Gerardo Schneider (J. Log. Algebraic Methods Program., 2017)

Smart Contracts: A Killer Application for Deductive Source Code Verification. - Wolfgang Ahrendt; Gordon J. Pace; Gerardo Schneider (Principled Software Development, 2018)

Privacy Compliance Via Model Transformations. - Thibaud Antignac; Riccardo Scandariato; Gerardo Schneider (EuroS&P Workshops, 2018)

Timed Epistemic Knowledge Bases for Social Networks. - Raúl Pardo; César Sánchez 001; Gerardo Schneider (FM, 2018)

Testing meets static and runtime verification. - Jesús Mauricio Chimento; Wolfgang Ahrendt; Gerardo Schneider (FormaliSE@ICSE, 2018)

Runtime verification of hyperproperties for deterministic programs. - Srinivas Pinisetty; Gerardo Schneider; David Sands 001 (FormaliSE@ICSE, 2018)

MoVEMo: A Structured Approach for Engineering Reward Functions. - Piergiuseppe Mallozzi; Raúl Pardo; Vincent Duplessis; Patrizio Pelliccione; Gerardo Schneider (IRC, 2018)

Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification. - Borzoo Bonakdarpour; César Sánchez 001; Gerardo Schneider (ISoLA (2), 2018)

Migrating Monitors + ABE: A Suitable Combination for Secure IoT? - Gordon J. Pace; Pablo Picazo-Sanchez; Gerardo Schneider (ISoLA (4), 2018)

Reliable Smart Contracts: State-of-the-Art, Applications, Challenges and Future Directions. - César Sánchez 001; Gerardo Schneider; Martin Leucker (ISoLA (4), 2018)

Is Privacy by Construction Possible? - Gerardo Schneider (ISoLA (1), 2018)

Security of Pacemakers using Runtime Verification. - Srinivas Pinisetty; Partha S. Roop; Vidula Sawant; Gerardo Schneider (MEMOCODE, 2018)

COST Action IC1402 Runtime Verification Beyond Monitoring. - Christian Colombo 001; Yliès Falcone; Martin Leucker; Giles Reger; César Sánchez 001; Gerardo Schneider; Volker Stolz (RV, 2018)

A web-based tool for analysing normative documents in english. - John J. Camilleri; Mohammad Reza Haghshenas; Gerardo Schneider (SAC, 2018)

Monitoring Data Minimisation. - Srinivas Pinisetty; Thibaud Antignac; David Sands 001; Gerardo Schneider (CoRR, 2018)

Gray-Box Monitoring of Hyperproperties. - Sandro Stucki; César Sánchez 001; Gerardo Schneider; Borzoo Bonakdarpour (FM, 2019)

Verification of Smart Contract Business Logic - Exploiting a Java Source Code Verifier. - Wolfgang Ahrendt; Richard Bubel; Joshua Ellul; Gordon J. Pace; Raúl Pardo; Vincent Rebiscoul; Gerardo Schneider (FSEN, 2019)

A runtime monitoring framework to enforce invariants on reinforcement learning agents exploring complex environments. - Piergiuseppe Mallozzi; Ezequiel Castellano; Patrizio Pelliccione; Gerardo Schneider; Kenji Tei (RoSE@ICSE, 2019)

COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1. - Wolfgang Ahrendt; Cyrille Artho; Christian Colombo 001; Yliès Falcone; Srdan Krstic; Martin Leucker; Florian Lorber; João M. Lourenço; Leonardo Mariani; César Sánchez 001; Gerardo Schneider; Volker Stolz (CoRR, 2019)

Gray-box Monitoring of Hyperproperties (Extended Version). - Sandro Stucki; César Sánchez 001; Gerardo Schneider; Borzoo Bonakdarpour (CoRR, 2019)

Feasibility analysis of Inter-Pulse Intervals based solutions for cryptographic token generation by two electrocardiogram sensors. - Lara Ortiz-Martin; Pablo Picazo-Sanchez; Pedro Peris-Lopez; Juan Tapiador; Gerardo Schneider (Future Gener. Comput. Syst., 2019)

A survey of challenges for runtime verification from advanced application domains (beyond software). - César Sánchez 001; Gerardo Schneider; Wolfgang Ahrendt; Ezio Bartocci; Domenico Bianculli; Christian Colombo 001; Yliès Falcone; Adrian Francalanza; Srdan Krstic; João M. Lourenço; Dejan Nickovic; Gordon J. Pace; et al. (Formal Methods Syst. Des., 2019)

Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software). - César Sánchez 001; Gerardo Schneider; Wolfgang Ahrendt; Ezio Bartocci; Domenico Bianculli; Christian Colombo 001; Yliès Falcone; Adrian Francalanza; Srdan Krstic; João M. Lourenço; Dejan Nickovic; Gordon J. Pace; et al. (Formal Methods Syst. Des., 2019)

HMAC and "Secure Preferences": Revisiting Chromium-Based Browsers Security. - Pablo Picazo-Sanchez; Gerardo Schneider; Andrei Sabelfeld (CANS, 2020)

Reliable Smart Contracts. - Gordon J. Pace; César Sánchez 001; Gerardo Schneider (ISoLA (3), 2020)

CROME: Contract-Based Robotic Mission Specification. - Piergiuseppe Mallozzi; Pierluigi Nuzzo 002; Patrizio Pelliccione; Gerardo Schneider (MEMOCODE, 2020)

Information-Flow Control by Means of Security Wrappers for Active Object Languages with Futures. - Farzane Karami; Olaf Owe; Gerardo Schneider (NordSec, 2020)

Security Wrappers for Information-Flow Control in Active Object Languages with Futures. - Farzane Karami; Olaf Owe; Gerardo Schneider (CoRR, 2020)

Transforming Data Flow Diagrams for Privacy Compliance (Long Version). - Hanaa Alshareef; Sandro Stucki; Gerardo Schneider (CoRR, 2020)

Privacy Labelling and the Story of Princess Privacy and the Seven Helpers. - Johanna Johansen; Tore Pedersen; Simone Fischer-Hübner; Christian Johansen; Gerardo Schneider; Arnold Roosendaal; Harald Zwingelberg; Anders Jakob Sivesind; Josef Noll (CoRR, 2020)

After you, please: browser extensions order attacks and countermeasures. - Pablo Picazo-Sanchez; Juan Tapiador; Gerardo Schneider (Int. J. Inf. Sec., 2020)

A collaborative access control framework for online social networks. - Hanaa Alshareef; Raúl Pardo; Gerardo Schneider; Pablo Picazo-Sanchez (J. Log. Algebraic Methods Program., 2020)

Incorporating Monitors in Reactive Synthesis Without Paying the Price. - Shaun Azzopardi; Nir Piterman; Gerardo Schneider (ATVA, 2021)

Runtime Verification: Passing on the Baton. - Christian Colombo 001; Gordon J. Pace; Gerardo Schneider (Formal Methods in Outer Space, 2021)

MultiCall: A Transaction-batching Interpreter for Ethereum. - William Hughes; Alejandro Russo; Gerardo Schneider (BSCI, 2021)

Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions. - Sebastián Zudaire; Felipe Gorostiaga; César Sánchez 001; Gerardo Schneider; Sebastián Uchitel (ICRA, 2021)

Timed Dyadic Deontic Logic. - Karam Younes Kharraz; Martin Leucker; Gerardo Schneider (JURIX, 2021)

Transforming Data Flow Diagrams for Privacy Compliance. - Hanaa Alshareef; Sandro Stucki; Gerardo Schneider (MODELSWARD, 2021)

On the Specification and Monitoring of Timed Normative Systems. - Shaun Azzopardi; Gordon J. Pace; Fernando Schapachnik; Gerardo Schneider (RV, 2021)

Refining Privacy-Aware Data Flow Diagrams. - Hanaa Alshareef; Sandro Stucki; Gerardo Schneider (SEFM, 2021)

Gray-box monitoring of hyperproperties with an application to privacy. - Sandro Stucki; César Sánchez 001; Gerardo Schneider; Borzoo Bonakdarpour (Formal Methods Syst. Des., 2021)

Precise Analysis of Purpose Limitation in Data Flow Diagrams. - Hanaa Alshareef; Katja Tuma; Sandro Stucki; Gerardo Schneider; Riccardo Scandariato (ARES, 2022)

Runtime Verification Meets Controller Synthesis. - Shaun Azzopardi; Nir Piterman; Gerardo Schneider (ISoLA (1), 2022)

Assumption Monitoring of Temporal Task Planning Using Stream Runtime Verification. - Felipe Gorostiaga; Sebastián Zudaire; César Sánchez 001; Gerardo Schneider; Sebastián Uchitel (ISoLA (1), 2022)

An Automata-Based Formalism for Normative Documents with Real-Time. - Stefan Chircop; Gordon J. Pace; Gerardo Schneider (JURIX, 2022)

Runtime Verification of Kotlin Coroutines. - Denis Furian; Shaun Azzopardi; Yliès Falcone; Gerardo Schneider (RV, 2022)

Are chrome extensions compliant with the spirit of least privilege? - Pablo Picazo-Sanchez; Lara Ortiz-Martin; Gerardo Schneider; Andrei Sabelfeld (Int. J. Inf. Sec., 2022)

A multidisciplinary definition of privacy labels. - Johanna Johansen; Tore Pedersen; Simone Fischer-Hübner; Christian Johansen; Gerardo Schneider; Arnold Roosendaal; Harald Zwingelberg; Anders Jakob Sivesind; Josef Noll (Inf. Comput. Secur., 2022)

Semantic Attribute-Based Encryption: A framework for combining ABE schemes with semantic technologies. - Hamed Arshad; Christian Johansen; Olaf Owe; Pablo Picazo-Sanchez; Gerardo Schneider (Inf. Sci., 2022)

Formal Methods for Software Engineering - Languages, Methods, Application Domains - Markus Roggenbach; Antonio Cerone; Bernd-Holger Schlingloff; Gerardo Schneider; Siraj Ahmed Shaikh (Springer, 2022)

ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae. - Shaun Azzopardi; David Lidell; Nir Piterman; Gerardo Schneider (ATVA, 2023)

Synchronous Agents, Verification, and Blame - A Deontic View. - Karam Younes Kharraz; Shaun Azzopardi; Gerardo Schneider; Martin Leucker (ICTAC, 2023)

Capturing Smart Contract Design with DCR Graphs. - Mojtaba Eshghie; Wolfgang Ahrendt; Cyrille Artho; Thomas Troels Hildebrandt; Gerardo Schneider (SEFM, 2023)

CLawK: Monitoring Business Processes in Smart Contracts. - Mojtaba Eshghie; Wolfgang Ahrendt; Cyrille Artho; Thomas Troels Hildebrandt; Gerardo Schneider (CoRR, 2023)

Correct-by-Construction Design of Contextual Robotic Missions Using Contracts. - Piergiuseppe Mallozzi; Nir Piterman; Pierluigi Nuzzo 002; Gerardo Schneider; Patrizio Pelliccione (CoRR, 2023)

LTL Synthesis on Infinite-State Arenas defined by Programs. - Shaun Azzopardi; Nir Piterman; Gerardo Schneider; Luca Di Stefano 001 (CoRR, 2023)

Attribute-based encryption with enforceable obligations. - Hamed Arshad; Pablo Picazo-Sanchez; Christian Johansen; Gerardo Schneider (J. Cryptogr. Eng., 2023)

Interest Beyond Violation: On Points-of-Interest in Runtime Verification. - Christian Colombo 001; Gordon J. Pace; Gerardo Schneider (ISoLA (3), 2024)

On Conflicts and Satisfiability in Metric Timed Normative Logics. - Karam Younes Kharraz; Gerardo Schneider; Martin Leucker (JURIX, 2024)

HighGuard: Cross-Chain Business Logic Monitoring of Smart Contracts. - Mojtaba Eshghie; Cyrille Artho; Hans Stammler; Wolfgang Ahrendt; Thomas T. Hildebrandt; Gerardo Schneider (ASE, 2024)

Verification and Learning for Assured Autonomy. - Raúl Pardo; Devdatt Dubhashi; Gerardo Schneider; Hazem Torfah (AISoLA, 2024)

Full LTL Synthesis over Infinite-State Arenas. - Shaun Azzopardi; Luca Di Stefano 001; Nir Piterman; Gerardo Schneider (CAV (4), 2025)