E-LIB Suche - Ergebnisse für: Schneider, Gerardo

1

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/..

2

Synchronous Agents, Verification, and Blame—A Deontic View:

, In: Theoretical Aspects of Computing – ICTAC 2023; Lecture Notes in Computer Science,

Kharraz, Karam ; Azzopardi, Shaun ; Schneider, Gerardo. - p. 332-350 , 2023

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

3

Attribute-based encryption with enforceable obligations:

Arshad, Hamed ; Picazo-Sanchez, Pablo ; Johansen, Christian.
Journal of Cryptographic Engineering. 13 (2023) 3 - p. 343-371 , 2023

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

4

When is good enough good enough? On software assurances:

Ellul, Joshua ; Pace, Gordon J. ; Revolidis, Ioannis.
ERA Forum. 23 (2023) 3 - p. 337-360 , 2023

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

5

Cheap and secure metatransactions on the blockchain using h..:

Hughes, William ; Magnusson, Tobias ; Russo, Alejandro.
Blockchain: Research and Applications. 4 (2023) 2 - p. 100125 , 2023

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

6

ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Lo..:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,

Azzopardi, Shaun ; Lidell, David ; Piterman, Nir. - p. 276-287 , 2023

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

7

Semantic Attribute-Based Encryption: A framework for combin..:

Arshad, Hamed ; Johansen, Christian ; Owe, Olaf..
Information Sciences. 616 (2022) - p. 558-576 , 2022

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

8

Runtime Verification Meets Controller Synthesis:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles; Lecture Notes in Computer Science,

Azzopardi, Shaun ; Piterman, Nir ; Schneider, Gerardo - p. 382-396 , 2022

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

9

Precise Analysis of Purpose Limitation in Data Flow Diagram:

, In: Proceedings of the 17th International Conference on Availability, Reliability and Security,

Alshareef, Hanaa ; Tuma, Katja ; Stucki, Sandro.. - p. 1-11 , 2022

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

10

Are chrome extensions compliant with the spirit of least pr..:

Picazo-Sanchez, Pablo ; Ortiz-Martin, Lara ; Schneider, Gerardo.
International Journal of Information Security. 21 (2022) 6 - p. 1283-1297 , 2022

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

11

Correction to: Formal Methods for Software Engineering:

, In: Texts in Theoretical Computer Science. An EATCS Series; Formal Methods for Software Engineering,

Roggenbach, Markus ; Cerone, Antonio ; Schlingloff, Bernd-Holger.. - p. C1-C1 , 2022

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

12

Formal Methods:

, In: Texts in Theoretical Computer Science. An EATCS Series; Formal Methods for Software Engineering,

Roggenbach, Markus ; Schlingloff, Bernd-Holger ; Schneider, Gerardo - p. 1-46 , 2022

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

13

Runtime Verification of Kotlin Coroutines:

, In: Runtime Verification; Lecture Notes in Computer Science,

Furian, Denis ; Azzopardi, Shaun ; Falcone, Yliès. - p. 221-239 , 2022

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

14

Formal Methods for Software Engineering: Languages, Methods..

Texts in Theoretical Computer Science. An EATCS Series

Roggenbach, Markus ; Cerone, Antonio ; Schlingloff, Bernd-Holger.. - 1st ed. 2022 . , 2022

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

15

Logics for Software Engineering:

, In: Texts in Theoretical Computer Science. An EATCS Series; Formal Methods for Software Engineering,

Schlingloff, Bernd-Holger ; Roggenbach, Markus ; Schneider, Gerardo. - p. 49-111 , 2022

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