Zobrazeno 1 - 10
of 45
pro vyhledávání: '"Schöpp, Ulrich"'
In recent years, DevOps, the unification of development and operation workflows, has become a trend for the industrial software development lifecycle. Security activities turned into an essential field of application for DevOps principles as they are
Externí odkaz:
http://arxiv.org/abs/2401.06602
Autor:
Sorokin, Lev, Schoepp, Ulrich
When deploying mission-critical systems in the cloud, where deviations may have severe consequences, the assurance of critical decisions becomes essential. Typical cloud systems are operated by third parties and are built on complex software stacks c
Externí odkaz:
http://arxiv.org/abs/2312.12057
While the adoption of Service-Oriented Architectures (SOA) eases the implementation of features such as autonomous driving and over-the-air updates, it also increases the vehicle's exposure to attacks that may place road-users in harm. To address thi
Externí odkaz:
http://arxiv.org/abs/2212.12347
Autor:
Schöpp, Ulrich, Xu, Chuangjie
Region-based type systems are a powerful tool for various kinds of program analysis. We introduce a new inference algorithm for region types based on an abstract notion of environment transformation. It analyzes the code of a method only once, even w
Externí odkaz:
http://arxiv.org/abs/2209.02147
We describe the categorical semantics for a simply typed variant and a simplified dependently typed variant of Cocon, a contextual modal type theory where the box modality mediates between the weak function space that is used to represent higher-orde
Externí odkaz:
http://arxiv.org/abs/2206.02831
Autor:
Voggenreiter, Markus, Schöpp, Ulrich
Integrating security activities into the software development lifecycle to detect security flaws is essential for any project. These activities produce reports that must be managed and looped back to project stakeholders like developers to enable sec
Externí odkaz:
http://arxiv.org/abs/2204.08888
A common approach to improve software quality is to use programming guidelines to avoid common kinds of errors. In this paper, we consider the problem of enforcing guidelines for Featherweight Java (FJ). We formalize guidelines as sets of finite or i
Externí odkaz:
http://arxiv.org/abs/2107.11280
Autor:
Schöpp, Ulrich
Names and name-binding are useful concepts in the theory and practice of formal systems. In this thesis we study them in the context of dependent type theory. We propose a novel dependent type theory with primitives for the explicit handling of names
Externí odkaz:
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.561934
Autor:
Schöpp, Ulrich
Publikováno v:
Logical Methods in Computer Science, Volume 10, Issue 4 (December 16, 2014) lmcs:977
In game semantics and related approaches to programming language semantics, programs are modelled by interaction dialogues. Such models have recently been used in the design of new compilation methods, e.g. for hardware synthesis or for programming w
Externí odkaz:
http://arxiv.org/abs/1410.4980
Autor:
Dal Lago, Ugo, Schöpp, Ulrich
Publikováno v:
In Information and Computation June 2016 248:150-194