Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Hyvärinen, Antti
14  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

Identification of Elevated Aerosol Layers and their propert..:

, In: 2022 URSI Regional Conference on Radio Science (USRI-RCRS),
Chandel, Amit Singh ; Sarangi, Chandan ; Hooda, Rakesh. - p. 1-4 , 2022
Link: https://doi.org/10.23919..
 
?
2

Incremental Verification by SMT-based Summary Repair:

, In: 2020 Formal Methods in Computer Aided Design (FMCAD),
Asadi, Sepideh ; Blicha, Martin ; Hyvarinen, Antti.. - p. 77-82 , 2020
Link: https://doi.org/10.34727..
 
?
3

Farkas-Based Tree Interpolation:

, In: Static Analysis; Lecture Notes in Computer Science,
Asadi, Sepideh ; Blicha, Martin ; Hyvärinen, Antti.. - p. 357-379 , 2020
Link: https://doi.org/10.1007/..
 
?
4

Split Transition Power Abstraction for Unbounded Safety:

, In: 2022 Formal Methods in Computer-Aided Design (FMCAD),
Blicha, Martin ; Fedyukovich, Grigory ; Hyvarinen, Antti E. J.. - p. 349-358 , 2022
Link: https://doi.org/10.34727..
 
?
5

Transition Power Abstractions for Deep Counterexample Detec..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Blicha, Martin ; Fedyukovich, Grigory ; Hyvärinen, Antti E. J.. - p. 524-542 , 2022
Link: https://doi.org/10.1007/..
 
?
6

SolCMC: Solidity Compiler's Model Checker:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Alt, Leonardo ; Blicha, Martin ; Hyvärinen, Antti E. J.. - p. 325-338 , 2022
Link: https://doi.org/10.1007/..
 
?
7

Accurate Smart Contract Verification Through Direct Modelli..:

, In: Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation: Applications,
Marescotti, Matteo ; Otoni, Rodrigo ; Alt, Leonardo... - p. 178-194 , 2020
Link: https://doi.org/10.1007/..
 
?
8

A Cooperative Parallelization Approach for Property-Directe..:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,
Blicha, Martin ; Hyvärinen, Antti E. J. ; Marescotti, Matteo. - p. 270-292 , 2020
Link: https://doi.org/10.1007/..
 
?
9

Decomposing Farkas Interpolants:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Blicha, Martin ; Hyvärinen, Antti E. J. ; Kofroň, Jan. - p. 3-20 , 2019
Link: https://doi.org/10.1007/..
 
?
10

Lattice-based SMT for program verification:

, In: Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design,
Even-Mendoza, Karine ; Hyvärinen, Antti E. J. ; Chockler, Hana. - p. 1-11 , 2019
Link: https://dl.acm.org/doi/1..
 
?
11

Computing Exact Worst-Case Gas Consumption for Smart Contra..:

, In: Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice,
Marescotti, Matteo ; Blicha, Martin ; Hyvärinen, Antti E. J... - p. 450-465 , 2018
Link: https://doi.org/10.1007/..
 
?
12

Lattice-Based Refinement in Bounded Model Checking:

, In: Lecture Notes in Computer Science; Verified Software. Theories, Tools, and Experiments,
Even-Mendoza, Karine ; Asadi, Sepideh ; Hyvärinen, Antti E. J... - p. 50-68 , 2018
Link: https://doi.org/10.1007/..
 
?
13

Verification-aided regression testing:

, In: Proceedings of the 2014 International Symposium on Software Testing and Analysis,
Pastore, Fabrizio ; Mariani, Leonardo ; Hyvärinen, Antti E. J.... - p. 37-48 , 2014
Link: https://dl.acm.org/doi/1..
 
?
14

Interaction with services using an augmented reality user i..:

, In: Proceedings of the 15th international conference on Human-computer interaction with mobile devices and services,
Hickey, Seamus ; Karhu, Antti ; Hyvärinen, Juha.. - p. 456-459 , 2013
Link: https://dl.acm.org/doi/1..
 
1-14