Eugen Zalinescu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
9
Active years
2005–2017
Best venue rank
A*
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | APLAS | Enforcing Programming Guidelines with Region Types and Effects. | Serdar Erbatur, Martin Hofmann, Eugen Zalinescu |
| 2017 | CAV | Runtime Verification of Temporal Properties over Out-of-Order Data Streams. | David A. Basin, Felix Klaedtke, Eugen Zalinescu |
| 2017 | CCS | Verifying Security Policies in Multi-agent Workflows with Loops. | Bernd Finkbeiner, Christian Mller, Helmut Seidl, Eugen Zalinescu |
| 2017 | RV | The MonPoly Monitoring Tool. | David A. Basin, Felix Klaedtke, Eugen Zalinescu |
| 2014 | RV | On Real-Time Monitoring with Imprecise Timestamps. | David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu |
| 2013 | RV | Monitoring of Temporal First-Order Properties with Aggregations. | David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu |
| 2012 | RV | Monitoring Compliance Policies over Incomplete and Disagreeing Logs. | David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu |
| 2011 | RV | MONPOLY: Monitoring Usage-Control Policies. | David A. Basin, Mats Harvan, Felix Klaedtke, Eugen Zalinescu |
| 2011 | RV | Algorithms for Monitoring Real-Time Properties. | David A. Basin, Felix Klaedtke, Eugen Zalinescu |
| 2011 | TIME | Monitoring Usage-Control Policies in Distributed Systems. | David A. Basin, Mats Harvan, Felix Klaedtke, Eugen Zalinescu |
| 2008 | CCS | Cryptographically verified implementations for TLS. | Karthikeyan Bhargavan, Cdric Fournet, Ricardo Corin, Eugen Zalinescu |
| 2007 | ESORICS | Synthesizing Secure Protocols. | Vronique Cortier, Bogdan Warinschi, Eugen Zalinescu |
| 2006 | CSL | Relating Two Standard Notions of Secrecy. | Vronique Cortier, Michal Rusinowitch, Eugen Zalinescu |
| 2006 | LPAR | Deciding Key Cycles for Security Protocols. | Vronique Cortier, Eugen Zalinescu |
| 2005 | PPDP | A resolution strategy for verifying cryptographic protocols with CBC encryption and blind signatures. | Vronique Cortier, Michal Rusinowitch, Eugen Zalinescu |