Get my own profile
Public access
View all0 articles
1 article
available
not available
Based on funding mandates
Co-authors
- Martin StřelecUniversity of West BohemiaVerified email at ntis.zcu.cz
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerified email at cs.ox.ac.uk
- Nathalie CauchiPhD Student, University of OxfordVerified email at cs.ox.ac.uk
- Jana TrojanovaHoneywellVerified email at honeywell.com
- Mischa SchmidtSenior Researcher, NEC Laboratories EuropeVerified email at neclab.eu
- Victoria MorenoUniversity of MurciaVerified email at um.es
- Anett SchuelkeNEC Laboratories EuropeVerified email at neclab.eu
- Dimitrios RovasProfessor, University College LondonVerified email at ucl.ac.uk
- Georgios KontesFraunhofer IISVerified email at iis.fraunhofer.de
- Kárnýresearcher, UTIA AVCRVerified email at utia.cas.cz
- Apurva MohanSr. Engineering Manager - Digital Security, SchlumbergerVerified email at slb.com
- Cesar ValmasedaResearch Engineer, Energy Department, CARTIFVerified email at cartif.es
- Jun Ho HuhSamsung Research, Samsung ElectronicsVerified email at samsung.com
- Miroslav ViriusAssociate Professor of Computer Science, Czech Technical University in PragueVerified email at fjfi.cvut.cz