Zobrazeno 1 - 10
of 30
pro vyhledávání: '"Henri Hansen"'
Publikováno v:
Economics Letters. 203:109822
Due to counterparty risks, some Bitcoin trading platforms allow users to rate the level of trust they have in others. We examine users’ feedback behavior on two Bitcoin trading platforms and provide statistically strong evidence that the feedback b
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3b3715872570eb91b1ab00c20073ab0b
https://doi.org/10.1016/j.econlet.2021.109822
https://doi.org/10.1016/j.econlet.2021.109822
Autor:
Henri Hansen, Antti Valmari
Publikováno v:
Formal Methods for Industrial Critical Systems ISBN: 9783030002435
FMICS
FMICS
Verification of progress properties is both conceptually and technically significantly more difficult than verification of safety and deadlock properties. In this study we focus on the conceptual side. We make a simple modification to a well-known mo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3f465a49333ef97ea741fb3608d0c6fd
http://urn.fi/URN:NBN:fi:jyu-201811064632
http://urn.fi/URN:NBN:fi:jyu-201811064632
Publikováno v:
International journal on software tools for technology transfer, 18(4), 427-448. Springer
This paper aims at making partial-order reduction independent of the modeling language. To this end, we present a guard-based method which is a general-purpose implementation of the stubborn set method. We approach the implementation through so-calle
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::41796ed1b0d99a2eb1c85e7ecb0b012d
https://doi.org/10.1007/s10009-014-0363-9
https://doi.org/10.1007/s10009-014-0363-9
Publikováno v:
ASE
Loop invariant generation is a fundamental problem in program analysis and verification. In this work, we propose a new approach to automatically constructing inductive loop invariants. The key idea is to aggressively squeeze an inductive invariant b
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e4ae905cdbe88b4a62844488c3981e36
https://doi.org/10.1109/ase.2017.8115690
https://doi.org/10.1109/ase.2017.8115690
Autor:
Henri Hansen
Publikováno v:
Concurrency, Security, and Puzzles ISBN: 9783319510453
Concurrency, Security, and Puzzles
Concurrency, Security, and Puzzles
Partial order reduction covers a range of techniques based on eliminating unnecessary transitions when generating a state space. On the other hand, abstractions replace sets of states of a system with abstract representatives in order to create a sma
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4067ad9771d1791f9537dc9fb4138b88
https://doi.org/10.1007/978-3-319-51046-0_6
https://doi.org/10.1007/978-3-319-51046-0_6
Autor:
Antti Valmari, Henri Hansen
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319459936
RP
RP
A new reduced state space construction method is presented where in every constructed state, the set of transitions that are fired is chosen based on the safety property that is being verified. Typical earlier methods only take the property into acco
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::de825c86c8547663d4b8a543d5fb8c2e
https://doi.org/10.1007/978-3-319-45994-3_7
https://doi.org/10.1007/978-3-319-45994-3_7
Autor:
Antti Valmari, Henri Hansen
Publikováno v:
Tampere University
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9d18da5f40caa59245f8ad0fefd4f1f7
https://doi.org/10.3233/fi-2011-613
https://doi.org/10.3233/fi-2011-613
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319175232
NFM
NFM
FDR is an explicit-state refinement checker for the process algebra CSP and, as such, is vulnerable to the state-explosion problem. In this paper, we show how a form of partial-order reduction, an automatic state reduction mechanism, can be utilised
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e402341c7d841969edddadfe0988d08a
https://doi.org/10.1007/978-3-319-17524-9_14
https://doi.org/10.1007/978-3-319-17524-9_14
Autor:
Henri Hansen, Miroslav Kotrla, C. Polop, Carsten Busse, Winfried Langenkamp, Z. Zhong, Udo Linke, Peter J. Feibelman, Thomas Michely
Publikováno v:
Surface Science. 575:89-102
We present a combined experimental and theoretical study of submonolayer growth in the presence of predeposited immobile impurities. Scanning tunneling microscopy measurements of Al/Al(1 1 1) epitaxy in the presence of oxygen adsorbates show that imm
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dffecdb9ac6e9327e94a134d9a15cc17
https://doi.org/10.1016/j.susc.2004.11.010
https://doi.org/10.1016/j.susc.2004.11.010
Autor:
Thomas Michely, Henri Hansen, C. Polop, Udo Linke, Peter J. Feibelman, Carsten Busse, Ansgar Petersen, Winfried Langenkamp
Publikováno v:
Surface Science. 539:L560-L566
Analysis of island density vs. temperature, observed in scanning tunneling microscopy, implies that the binding energy of a self-adsorbed dimer equals 0.11–0.12 of the cohesive energy on Ir(1 1 1), Al(1 1 1), and Pt(1 1 1). While ab initio calculat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::84eb5717ffabf0e799c35abe873a5a3f
https://doi.org/10.1016/s0039-6028(03)00814-8
https://doi.org/10.1016/s0039-6028(03)00814-8