Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Karin Greimel"'
Publikováno v:
IECON
Formally verifying a product in an early phase of the design process has several advantages. First, errors and contradictions in the specification can be found early. Second, an unambiguous common understanding of the specification is created. In sum
Autor:
Karin Greimel, Gerd Beuster
Publikováno v:
SAC
For high security ICs, a security evaluation by an independent institution is of great importance to strengthen the confidence in the security of the product. Common Criteria (CC) is a widely used evaluation method for security products. In many coun
Publikováno v:
SIES
In addition to being correct, a system should be robust, that is, it should behave reasonably even after receiving unexpected inputs. In this paper, we summarize two formal notions of robustness that we have introduced previously for reactive systems
Publikováno v:
Computer Aided Verification ISBN: 9783642142949
CAV
CAV
Systems ought to behave reasonably even in circumstances that are not anticipated in their specifications. We propose a definition of robustness for liveness specifications which prescribes, for any number of environment assumptions that are violated
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3c16c056889d883e28fc1a31d82d8b22
http://repository.ist.ac.at/54/
http://repository.ist.ac.at/54/
Publikováno v:
FMCAD
Many specifications include assumptions on the environment. If the environment satisfies the assumptions then a correct system reacts as intended. However, when the environment deviates from its expected behavior, a correct system can behave arbitrar
Autor:
Raphael C.-W. Phan, Adrian Leung, Roderick Bloem, Ronald Toegl, Karin Greimel, Georg Hofferek
Publikováno v:
ICYCS
Trusted computing introduces the Trusted Platform Module (TPM) as a root of trust on an otherwise untrusted computer. The TPM can be used to restrict the use of cryptographic keys to trusted states, i.e., to situations in which the computer runs trus
Autor:
Bettina Könighofer, Krishnendu Chatterjee, Robert Könighofer, Roderick Bloem, Thomas A. Henzinger, Barbara Jobstmann, Karin Greimel, Georg Hofferek
Systems should not only be correct but also robust in the sense that they behave reasonably in unexpected situations. This article addresses synthesis of robust reactive systems from temporal specifications. Existing methods allow arbitrary behavior
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::aa6a28bf5cca94b875d2de382d4692dc
https://infoscience.epfl.ch/record/199590
https://infoscience.epfl.ch/record/199590
Publikováno v:
TU Graz
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2068a971b893d608d9d54e3da449513e
https://graz.pure.elsevier.com/en/publications/modelbased-mcdc-testing-of-complex-decisions-for-the-java-card-applet-firewall(6e99b18b-9385-40fa-9c11-d6f961e56d92).html
https://graz.pure.elsevier.com/en/publications/modelbased-mcdc-testing-of-complex-decisions-for-the-java-card-applet-firewall(6e99b18b-9385-40fa-9c11-d6f961e56d92).html
Autor:
Roderick Bloem, Marco Roveri, Karin Greimel, Georg Hofferek, Richard Seeber, Robert Könighofer, Viktor Schuppan, Alessandro Cimatti
Publikováno v:
Università degli di Trento-IRIS
Computer Aided Verification ISBN: 9783642142949
CAV
Computer Aided Verification ISBN: 9783642142949
CAV
Formal specifications play an increasingly important role in system design-flows Yet, they are not always easy to deal with In this paper we present RATSY, a successor of the Requirements Analysis Tool RAT RATSY extends RAT in several ways First, it
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7d07177d6986c84a4bb853dcc882f6a5
https://iris.unitn.it/handle/11572/258752
https://iris.unitn.it/handle/11572/258752