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