Jonathan Cederberg

Publication Activity (10 Years)

Years Active: 2008-2014
Publications (10 Years): 0

Top Topics

Hardware Designs

Belief Propagation

Message Passing

Top Venues

Int. J. Found. Comput. Sci.

Publications

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jonathan Cederberg, Subham Modi, Othmane Rezine, Gaurav Saini
MPass: An Efficient Tool for the Analysis of Message-Passing Programs. FACS (2014)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jonathan Cederberg
Analysis of Message Passing Programs Using SMT-Solvers. ATVA (2013)
Parosh Aziz Abdulla, Jonathan Cederberg, Tomás Vojnar
Monotonic Abstraction for Programs with Multiply-Linked Structures. Int. J. Found. Comput. Sci. 24 (2) (2013)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jonathan Cederberg
Timed Lossy Channel Systems. FSTTCS (2012)
Parosh Aziz Abdulla, Jonathan Cederberg, Tomás Vojnar
Monotonic Abstraction for Programs with Multiply-Linked Structures. RP (2011)
Parosh Aziz Abdulla, Jonathan Cederberg, Lisa Kaati
Analyzing the Security in the GSM Radio Network Using Attack Jungles. ISoLA (1) (2010)
Parosh Aziz Abdulla, Muhsin Atto, Jonathan Cederberg, Ran Ji
Automated Analysis of Data-Dependent Programs with Dynamic Memory. ATVA (2009)
Parosh Aziz Abdulla, Ahmed Bouajjani, Jonathan Cederberg, Frédéric Haziza, Ran Ji, Ahmed Rezine
Shape Analysis via Monotonic Abstraction. Beyond the Finite: New Challenges in Verification and Semistructured Data (2008)
Parosh Aziz Abdulla, Ahmed Bouajjani, Jonathan Cederberg, Frédéric Haziza, Ahmed Rezine
Monotonic Abstraction for Programs with Dynamic Memory Heaps. CAV (2008)