1
0
0
(1 - 22 von 24
)
Eugen ZALINESCU's publications
wwwseidl.informatik.tu-muenchen.de
... Grigore Rosu, Julien Signoles, Daniel Thoma, Eugen Zălinescu, and Yi Zhang. First international competition on runtime verification: rules, benchmarks, tools, ...
From matt.selway at mymail.unisa.edu.au Thu Jul 3 05:59:
lists.uni-paderborn.de
David Basin, Felix Klaedtke, Srdjan Marinovic and Eugen Zalinescu.
Relating two Standard Notions of Secrecy - InriaHal-Inria
inria.hal.science
... Eugen Zalinescu, Véronique Cortier, Michaël Rusinowitch. Relating two Standard Notions of Secrecy. [Research Report] RR-5908, INRIA , pp.32. ⟨inria Eugen Zalinescu, Véronique Cortier, Michaël Rusinowitch. Relating two Standard Notions of Secrecy. [Research Report] RR-5908, INRIA , pp.32. ⟨inria ...
Relating two standard notions of secrecyHal-Inria
inria.hal.science
Relating two standard notions of secrecy. Véronique Cortier (1) , Michaël Rusinowitch (1) , Eugen Zalinescu (1). Afficher plus de détails. 1 CASSIS ... Relating two standard notions of secrecy. Véronique Cortier (1) , Michaël Rusinowitch (1) , Eugen Zalinescu (1). Afficher plus de détails. 1 CASSIS ...
dblp: Information Processing Letters, Volume 111
dblp.uni-trier.de
Bibliographic content of Information Processing Letters, Volume 111
Organization – RV 2018
rv2018.isp.uni-luebeck.de
... Applied Sciences, Norway Neil Walkinshaw, University of Leicester, UK Chao Wang, University of Southern California, USA Eugen Zalinescu, TUM, Germany ...
dblp: Principles of Security and Trust (POST 2012)
dblp.uni-trier.de
Eugen Zalinescu: Enforceable Security Policies Revisited Electronic Edition · CiteSeerX · Google scholar ...
Lacramioara AstefanoaeiDBLP
dblp.org
— ... Eugen Zalinescu: Tenderbake - A Solution to Dynamic Repeated Consensus for Blockchains. FAB 2021: 1:1-1:23; [i2]. view. electronic edition — ... Eugen Zalinescu: Tenderbake - A Solution to Dynamic Repeated Consensus for Blockchains. FAB 2021: 1:1-1:23; [i2]. view. electronic edition ...
dblp: Runtime Verification 2011
dblp.uni-trier.de
Bibliographic content of Runtime Verification 2011
TIME 2011: 18th International Symposium on Temporal Representation...
www.isp.uni-luebeck.de
... served), Social Event Program, Monitoring Usage-control Policies in Distributed Systems David Basin, Matúš Harvan, Felix Klaedtke and Eugen Zalinescu.
Search results for "Cryptographic protocols" – FacetedDBLP
dblp.l3s.uni-hannover.de
Eugen Zalinescu · A resolution strategy for verifying cryptographic protocols with CBC encryption and blind ...
Search results for "Matús Harvan" – FacetedDBLP
dblp.l3s.uni-hannover.de
Eugen Zalinescu(2) Felix Klaedtke(2) Christian Schaefer(1) ...
Verwandte Suchanfragen zu Eugen Zalinescu
Helmut Seidl Christian Müller Giles Reger | Felix Klaedtke Véronique Cortier |
Personen Vorname "Eugen" (8329) Name "Zalinescu" (1) |
sortiert nach Relevanz / Datum