Monotonic Abstraction for Programs with Dynamic Memory Heaps. - Parosh Aziz Abdulla; Ahmed Bouajjani; Jonathan Cederberg; Frédéric Haziza; Ahmed Rezine (CAV, 2008)

Shape Analysis via Monotonic Abstraction. - Parosh Aziz Abdulla; Ahmed Bouajjani; Jonathan Cederberg; Frédéric Haziza; Ran Ji; Ahmed Rezine (Beyond the Finite: New Challenges in Verification and Semistructured Data, 2008)

Automated Analysis of Data-Dependent Programs with Dynamic Memory. - Parosh Aziz Abdulla; Muhsin Atto; Jonathan Cederberg; Ran Ji (ATVA, 2009)

Analyzing the Security in the GSM Radio Network Using Attack Jungles. - Parosh Aziz Abdulla; Jonathan Cederberg; Lisa Kaati (ISoLA (1), 2010)

Timed Lossy Channel Systems. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Jonathan Cederberg (FSTTCS, 2012)

Analysis of Message Passing Programs Using SMT-Solvers. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Jonathan Cederberg (ATVA, 2013)

Monotonic Abstraction for Programs with Multiply-Linked Structures. - Parosh Aziz Abdulla; Jonathan Cederberg; Tomás Vojnar (Int. J. Found. Comput. Sci., 2013)

MPass: An Efficient Tool for the Analysis of Message-Passing Programs. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Jonathan Cederberg; Subham Modi; Othmane Rezine; Gaurav Saini (FACS, 2014)