| PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool M AlTurki, J Meseguer International Conference on Algebra and Coalgebra in Computer Science, 386-392, 2011 | 151 | 2011 |
| PBES: a policy based encryption system with application to data sharing in the power grid R Bobba, H Khurana, M AlTurki, F Ashraf Proceedings of the 4th international symposium on information, computer, and …, 2009 | 69 | 2009 |
| Stable availability under denial of service attacks through formal patterns J Eckhardt, T Mühlbauer, M AlTurki, J Meseguer, M Wirsing International Conference on Fundamental Approaches to Software Engineering …, 2012 | 58 | 2012 |
| Probabilistic modeling and analysis of DoS protection for the ASV protocol M AlTurki, J Meseguer, CA Gunter Electronic Notes in Theoretical Computer Science 234, 3-18, 2009 | 46 | 2009 |
| Real-time rewriting semantics of Orc M AlTurki, J Meseguer Proceedings of the 9th ACM SIGPLAN international Conference on Principles …, 2007 | 37 | 2007 |
| Towards a verified model of the algorand consensus protocol in coq MA Alturki, J Chen, V Luchangco, B Moore, K Palmskog, L Peña, G Roşu Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7 …, 2020 | 31 | 2020 |
| Model-checking DoS amplification for VoIP session initiation R Shankesi, M AlTurki, R Sasse, CA Gunter, J Meseguer Computer Security–ESORICS 2009: 14th European Symposium on Research in …, 2009 | 30 | 2009 |
| Dist-Orc: A rewriting-based distributed implementation of Orc with formal analysis M AlTurki, J Meseguer arXiv preprint arXiv:1009.4260, 2010 | 29 | 2010 |
| Reduction semantics and formal analysis of Orc programs M AlTurki, J Meseguer Electronic Notes in Theoretical Computer Science 200 (3), 25-41, 2008 | 24 | 2008 |
| Formal specification and analysis of timing properties in software systems M AlTurki, D Dhurjati, D Yu, A Chander, H Inamura International Conference on Fundamental Approaches to Software Engineering …, 2009 | 21 | 2009 |
| Statistical model checking of RANDAO’s resilience to pre-computed reveal strategies MA Alturki, G Roşu Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7 …, 2020 | 20 | 2020 |
| Resource-bounded intruders in denial of service attacks AA Urquiza, MA AlTurki, M Kanovich, TB Kirigin, V Nigam, A Scedrov, ... 2019 IEEE 32nd Computer Security Foundations Symposium (CSF), 382-38214, 2019 | 20 | 2019 |
| Program comprehension through reverse‐engineered sequence diagrams: A systematic review TA Ghaleb, MA Alturki, K Aljasser Journal of Software: Evolution and Process 30 (11), e1965, 2018 | 17 | 2018 |
| Statistical model checking of distance fraud attacks on the Hancke-Kuhn family of protocols MA Alturki, M Kanovich, T Ban Kirigin, V Nigam, A Scedrov, C Talcott Proceedings of the 2018 workshop on cyber-physical systems security and …, 2018 | 12 | 2018 |
| Resource and timing aspects of security protocols A Aires Urquiza, MA Alturki, T Ban Kirigin, M Kanovich, V Nigam, ... Journal of computer security 29 (3), 299-340, 2021 | 10 | 2021 |
| A multiset rewriting model for specifying and verifying timing aspects of security protocols MA Alturki, T Ban Kirigin, M Kanovich, V Nigam, A Scedrov, C Talcott Foundations of Security, Protocols, and Equational Reasoning: Essays …, 2019 | 10 | 2019 |
| Rewriting-based formal modeling, analysis and implementation of real-time distributed services MA Al-Turki University of Illinois at Urbana-Champaign, 2011 | 9 | 2011 |
| On the formalization and computational complexity of resilience problems for cyber-physical systems MA Alturki, T Ban Kirigin, M Kanovich, V Nigam, A Scedrov, C Talcott International Colloquium on Theoretical Aspects of Computing, 96-113, 2022 | 8 | 2022 |
| Verifying Gasper with dynamic validator sets in Coq MA Alturki, E Li, D Park, B Moore, K Palmskog, L Pena, G Roşu Technical report, 2020 | 7 | 2020 |
| Method and apparatus for the formal specification and analysis of timing properties in software systems M AlTurki, D Dhurjati, D Yu, A Chander, H Inamura US Patent App. 12/569,747, 2010 | 7 | 2010 |
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-Champaignایمیل تأیید شده در illinois.edu
