E-LIB Suche - Ergebnisse für: Artho, Cyrille

1

JPF: From 2003 to 2023:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Artho, Cyrille ; Parízek, Pavel ; Qu, Daohan.. - p. 3-22 , 2024

Link: https://doi.org/10.1007/..

2

Preface Formal Techniques for Safety-Critical Systems (FTSC..:

Artho, Cyrille ; Ölveczky, Peter Csaba
Science of Computer Programming. 237 (2024) - p. 103149 , 2024

Link: https://doi.org/10.1016/..

3

Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Appl..:

, In: Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems,

Maiga, Aïssata ; Artho, Cyrille ; Gilcher, Florian. - p. 37-47 , 2023

Link: https://dl.acm.org/doi/1..

4

Proceedings of the 9th ACM SIGPLAN International Workshop o..:

Artho, Cyrille ; Ölveczky, Peter Csaba , 2023

Link: https://dl.acm.org/doi/1..

5

Capturing Smart Contract Design with DCR Graphs:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,

Eshghie, Mojtaba ; Ahrendt, Wolfgang ; Artho, Cyrille.. - p. 106-125 , 2023

Link: https://doi.org/10.1007/..

6

Oracle-Supported Dynamic Exploit Generation for Smart Contr..:

Wang, Haijun ; Liu, Ye ; Li, Yi...
IEEE Transactions on Dependable and Secure Computing. 19 (2022) 3 - p. 1795-1809 , 2022

Link: https://doi.org/10.1109/..

7

Proceedings of the 8th ACM SIGPLAN International Workshop o..:

Artho, Cyrille ; Ölveczky, Peter Csaba , 2022

Link: https://dl.acm.org/doi/1..

8

Prevalence of continuous integration failures in industrial..:

, In: 2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW),

Fu, Han ; Eldh, Sigrid ; Wiklund, Kristian.. - p. 61-66 , 2022

Link: https://doi.org/10.1109/..

9

Finding permission bugs in smart contracts with role mining:

, In: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis,

Liu, Ye ; Li, Yi ; Lin, Shang-Wei. - p. 716-727 , 2022

Link: https://dl.acm.org/doi/1..

10

Test Benchmarks: Which One Now and in Future?:

, In: 2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS),

Artho, Cyrille ; Benali, Adam ; Ramler, Rudolf - p. 328-336 , 2021

Link: https://doi.org/10.1109/..

11

TC4JPF : Using Trace Compass to Visualize JPF Traces:

Zhou, Yang ; Artho, Cyrille
ACM SIGSOFT Software Engineering Notes. 46 (2021) 3 - p. 42-46 , 2021

Link: https://dl.acm.org/doi/1..

12

Dynamic Vulnerability Detection on Smart Contracts Using Ma..:

, In: Evaluation and Assessment in Software Engineering,

Eshghie, Mojtaba ; Artho, Cyrille ; Gurov, Dilian - p. 305-312 , 2021

Link: https://dl.acm.org/doi/1..

13

Security-Aware Multi-User Architecture for IoT:

, In: 2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS),

Birgersson, Marcus ; Artho, Cyrille ; Balliu, Musard - p. 102-113 , 2021

Link: https://doi.org/10.1109/..

14

Method summaries for JPF:

Berglund, Lasse ; Artho, Cyrille
ACM SIGSOFT Software Engineering Notes. 44 (2021) 4 - p. 16 ff. , 2021

Link: https://dl.acm.org/doi/1..

15

Formal Techniques for Safety-Critical Systems (FTSCS 2018):

Artho, Cyrille ; Ölveczky, Peter Csaba
Science of Computer Programming. 208 (2021) - p. 102658 , 2021

Link: https://doi.org/10.1016/..