Edit Profile (opens in new tab) Seghir, Mohamed Nassim Compute Distance To: Compute Author ID: seghir.mohamed-nassim Published as: Seghir, Mohamed Nassim; Seghir, M. Nassim Documents Indexed: 8 Publications since 2005 Co-Authors: 9 Co-Authors with 6 Joint Publications 274 Co-Co-Authors all top 5 Co-Authors 2 single-authored 1 Aspinall, David 1 Brain, Martin 1 Daum, Matthias 1 Kröning, Daniel 1 Maus, Stefan 1 Podelski, Andreas 1 Schirmer, Norbert W. 1 Schrammel, Peter 1 Wies, Thomas Serials Fields 8 Computer science (68-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 4 Publications have been cited 9 times in 9 Documents Cited by ▼ Year ▼ Abstraction refinement for quantified array assertions. Zbl 1248.68151Seghir, Mohamed Nassim; Podelski, Andreas; Wies, Thomas 5 2009 Integration of a software model checker into Isabelle. Zbl 1143.68449Daum, Matthias; Maus, Stefan; Schirmer, Norbert; Seghir, M. Nassim 2 2005 Simplifying the verification of quantified array assertions via code transformation. Zbl 1394.68087Seghir, Mohamed Nassim; Brain, Martin 1 2013 A lightweight approach for loop summarization. Zbl 1348.68150Seghir, Mohamed Nassim 1 2011 Simplifying the verification of quantified array assertions via code transformation. Zbl 1394.68087Seghir, Mohamed Nassim; Brain, Martin 1 2013 A lightweight approach for loop summarization. Zbl 1348.68150Seghir, Mohamed Nassim 1 2011 Abstraction refinement for quantified array assertions. Zbl 1248.68151Seghir, Mohamed Nassim; Podelski, Andreas; Wies, Thomas 5 2009 Integration of a software model checker into Isabelle. Zbl 1143.68449Daum, Matthias; Maus, Stefan; Schirmer, Norbert; Seghir, M. Nassim 2 2005 all cited Publications top 5 cited Publications all top 5 Cited by 26 Authors 1 Alberti, Francesco 1 Alkassar, Eyad 1 Bruttomesso, Roberto 1 Chakraborty, Supratik 1 Fulara, Jędrzej 1 Garg, Pranav 1 Ghilardi, Silvio 1 Gupta, Ashutosh 1 Hillebrand, Mark A. 1 Klein, Gerwin 1 Leinenbach, Dirk C. 1 Leroux, Jérôme 1 Liu, Jiangchao 1 Löding, Christof 1 Madhusudan, Parthasarathy 1 Neider, Daniel 1 Ranise, Silvio 1 Rival, Xavier 1 Rümmer, Philipp 1 Schirmer, Norbert W. 1 Seghir, Mohamed Nassim 1 Sharygina, Natasha 1 Starostin, Artem 1 Subotic, Pavle 1 Tsyban, Alexandra 1 Unadkat, Divyesh Cited in 5 Serials 2 Formal Methods in System Design 1 Acta Informatica 1 Journal of Automated Reasoning 1 Sādhanā 1 Computer Languages, Systems & Structures Cited in 2 Fields 9 Computer science (68-XX) 2 Mathematical logic and foundations (03-XX) Citations by Year