E-LIB Suche - Ergebnisse für: Amighi, Afshin

1

Directions for Enhancing the Use of Personal Data Minimizat..:

, In: Proceedings of the 25th Annual International Conference on Digital Government Research,

S. Bargh, Mortaza ; Vlietinck, Hanne ; Amighi, Afshin... - p. 232-240 , 2024

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

2

WiP: A Distributed Approach for Statistical Disclosure Cont..:

, In: Information Systems Security; Lecture Notes in Computer Science,

Amighi, Afshin ; Bargh, Mortaza S. ; Omar, Ahmad - p. 142-153 , 2021

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

3

Provably correct control flow graphs from Java bytecode pro..:

Amighi, Afshin ; Gomes, Pedro de Carvalho ; Gurov, Dilian.
International Journal on Software Tools for Technology Transfer. 18 (2015) 6 - p. 653-684 , 2015

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

4

The VerCors project : setting up basecamp:

, In: Proceedings of the sixth workshop on Programming languages meets program verification,

Amighi, Afshin ; Blom, Stefan ; Huisman, Marieke. - p. 71-82 , 2012

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

5

Verification of Shared-Reading Synchronisers:

Amighi, Afshin ; Huisman, Marieke ; Blom, Stefan
http://arxiv.org/abs/1806.09851. , 2018

Link: http://arxiv.org/abs/180..

6

Permission-based separation logic for multi-threaded Java p..:

Amighi, Afshin ; Haack, Christian ; Huisman, Marieke.
http://doc.utwente.nl/94681/1/1411.0851v3.pdf. , 2015

Link: http://purl.utwente.nl/p..

7

Specification and verification of atomic operations in GPGP..:

Amighi, Afshin ; Darabi, Saeed ; Blom, Stefan.
http://doc.utwente.nl/97701/1/paper.pdf. , 2015

Link: http://purl.utwente.nl/p..

8

Permission-Based Separation Logic for Multithreaded Java Pr..:

Haack, Christian ; Huisman, Marieke ; Hurlin, Clément.
http://arxiv.org/abs/1411.0851. , 2014

Link: http://arxiv.org/abs/141..

9

Resource protection using atomics: patterns and verificatio..:

Amighi, Afshin ; Blom, Stefan ; Huisman, Marieke
http://doc.utwente.nl/85886/1/main.pdf. , 2013

Link: http://purl.utwente.nl/p..

10

Formal specifications for Java's synchronisation classes:

Amighi, Afshin ; Blom, Stefan ; Huisman, Marieke..
http://doc.utwente.nl/87158/1/paper.pdf. , 2013

Link: http://purl.utwente.nl/p..

11

Provably Correct Control-Flow Graphs from Java Programs wit..:

Amighi, Afshin ; de Carvalho Gomes, Pedro ; Gurov, Dilian.
orcid:0000-0002-6468-1605. , 2012

Link: http://urn.kb.se/resolve..

12

Provably Correct Control-Flow Graphs from Java Programs wit..:

Amighi, Afshin ; Carvalho Gomes, Pedro de ; Huisman, Marieke
http://doc.utwente.nl/79610/1/FoVeOOS11-PreProceeding.pdf. , 2011

Link: http://purl.utwente.nl/p..

13

Verification of Shared-Reading Synchronisers:

Afshin Amighi ; Marieke Huisman ; Stefan Blom
http://arxiv.org/pdf/1806.09851v1. , 2018

Link: https://doi.org/10.4204/..

14

Permission-Based Separation Logic for Multithreaded Java Pr..:

Christian Haack ; Marieke Huisman ; Clément Hurlin.
https://lmcs.episciences.org/998/pdf. , 2015

Link: https://doi.org/10.2168/..