Get my own profile
Public access
View all27 articles
1 article
available
not available
Based on funding mandates
Co-authors
- Marjan SirjaniMälardalen UniversityVerified email at mdh.se
- Ramtin KhosraviAssistant Prof., University of TehranVerified email at ut.ac.ir
- Ali MovagharProfessor of Computer Science and Engineering, Sharif University of Technology., Tehran, IranVerified email at sharif.edu
- Edward A. LEEProfessor of Electrical Engineering and Computer Sciences, University of California at BerkeleyVerified email at berkeley.edu
- Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
- Reiner HähnleProfessor of Computer Science, Technical University of DarmstadtVerified email at cs.tu-darmstadt.de
- Vlad Nicolae SerbanescuPhD, CWI, University of Leiden, INGVerified email at ing.com
- ludovic henrioCNRSVerified email at ens-lyon.fr
- Einar Broch JohnsenProfessor, University of OsloVerified email at ifi.uio.no
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
- Kiko FernándezEricssonVerified email at ericsson.com
- Kirill MechitovUniversity of Illinois at Urbana-ChampaignVerified email at illinois.edu
- Gul AghaProfessor of Computer Science, University of Illinois at Urbana-Champaign and CEO EmbedorVerified email at illinois.edu
- Mohammad Reza MousaviProfessor of Software Engineering, King's College LondonVerified email at kcl.ac.uk
- Amin ShaliUniversity of Texas, AustinVerified email at cs.utexas.edu
- Razieh BehjatiVerified email at testify.no
- Mohammad Mahdi JaghooriDockmeh, CWIVerified email at cwi.nl
- Peter Csaba OlveczkyProfessor of Computer Science, University of OsloVerified email at ifi.uio.no