840 citations
- Blekinge Institute of TechnologySE8 papers
- KTH Royal Institute of TechnologySE8 papers
- Stockholm UniversitySE7 papers
- COMSATS University IslamabadPK4 papers
- KU LeuvenBE4 papers
- Linköping UniversitySE4 papers
- AGH University of KrakowPL3 papers
- Chalmers University of TechnologySE3 papers
- Linnaeus UniversitySE3 papers
- Lund UniversitySE3 papers
- RISE Research Institutes of SwedenSE3 papers
- Universiti Malaysia Pahang Al-Sultan AbdullahMY3 papers
8 papers · 1 filter
Hilbert's Nullstellensatz over quaternions
Masood Aryapoor
Using the Rabinowitsch trick, we prove a version of Nullstellensatz over quaternions, which generalizes Hilbert's Nullstellensatz over complex numbers.
Timed Actors and Their Formal Verification
Marjan Sirjani, Ehsan Khamespanah
In this paper we review the actor-based language, Timed Rebeca, with a focus on its formal semantics and formal verification techniques. Timed Rebeca can be used to model systems c…
From constant to rough: A survey of continuous volatility modeling
Giulia Di Nunno, Kęstutis Kubilius, Yuliya Mishura +1
In this paper, we present a comprehensive survey of continuous stochastic volatility models, discussing their historical development and the key stylized facts that have driven the…
Skew-convex function rings and evaluation of skew rational functions
Masood Aryapoor
The product formula for evaluating products of skew polynomials is used to construct a class of rings. As an application, we present a method of evaluating quotients of skew polyno…
A Systematic Approach to Automotive Security
Masoud Ebrahimi, Stefan Marksteiner, Dejan Ničković +8
We propose a holistic methodology for designing automotivesystems that consider security a central concern at every design stage.During the concept design, we model the system arch…
Chain algebras of finite distributive lattices
Oleksandra Gasanova, Lisa Nicklasson
We introduce a family of toric algebras defined by maximal chains of a finite distributive lattice. Applying results on stable set polytopes we conclude that every such algebra is…