643 citations
- Ludwig-Maximilians-Universität MünchenDE120 papers
- Instituto de Astrofísica de CanariasES8 papers
- Centre National de la Recherche ScientifiqueFR7 papers
- Universidad de La LagunaES7 papers
- KU LeuvenBE6 papers
- Centro de AstrobiologíaES5 papers
- University of BonnDE5 papers
- University of Hawaiʻi at MānoaUS5 papers
- ETH ZurichCH4 papers
- European Southern ObservatoryCL4 papers
- Munich Center for Machine Learning4 papers
- Siemens (Germany)DE4 papers
13 papers · 1 filter
Compositional Verification of Initial-State Opacity for Switched Systems
Siyuan Liu, Abdalla Swikir, Majid Zamani
In this work, we propose a compositional framework for the verification of approximate initial-state opacity for networks of discrete-time switched systems. The proposed approach i…
Verification of Approximate Opacity via Barrier Certificates
Siyuan Liu, Majid Zamani
This paper is motivated by the increasing security concerns of cyber-physical systems. Here, we develop a discretization-free verification scheme targeting an information-flow secu…
Comparing Concepts for Embedding Second-Language Vocabulary Acquisition into Everyday Smartphone Interactions
Christina Schneegass, Sophia Sigethy, Malin Eiband +1
We present a three-week within-subject field study comparing three mobile language learning (MLL) applications with varying levels of integration into everyday smartphone interacti…
Minimal Translations from Synchronous Communication to Synchronizing Locks
Manfred Schmidt-Schauß, David Sabel
In order to understand the relative expressive power of larger concurrent programming languages, we analyze translations of small process calculi which model the communication and…
Deductive Verification via the Debug Adapter Protocol
Gidon Ernst, Johannes Blau, Toby Murray
We propose a conceptual integration of deductive program verification into existing user interfaces for software debugging. This integration is well-represented in the "Debug Adapt…
CLMM: a LSST-DESC Cluster weak Lensing Mass Modeling library for cosmology
M. Aguena, C. Avestruz, C. Combet +22
We present the v1.0 release of CLMM, an open source Python library for the estimation of the weak lensing masses of clusters of galaxies. CLMM is designed as a standalone toolkit o…