Jonathan Cederberg

According to our database, Jonathan Cederberg authored at least 8 papers between 2008 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

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

Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

2013

Monotonic Abstraction for Programs with Multiply-Linked Structures.

Parosh Aziz Abdulla, Jonathan Cederberg, Tomás Vojnar

Int. J. Found. Comput. Sci., 2013

Analysis of Message Passing Programs Using SMT-Solvers.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jonathan Cederberg

Proceedings of the Automated Technology for Verification and Analysis, 2013

2012

Timed Lossy Channel Systems.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jonathan Cederberg

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2012

2010

Analyzing the Security in the GSM Radio Network Using Attack Jungles.

Parosh Aziz Abdulla, Jonathan Cederberg, Lisa Kaati

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009

Automated Analysis of Data-Dependent Programs with Dynamic Memory.

Parosh Aziz Abdulla, Muhsin Atto, Jonathan Cederberg, Ran Ji

Proceedings of the Automated Technology for Verification and Analysis, 2009

2008

Shape Analysis via Monotonic Abstraction.

Parosh Aziz Abdulla, Ahmed Bouajjani, Jonathan Cederberg, Frédéric Haziza, Ran Ji, Ahmed Rezine

Proceedings of the Beyond the Finite: New Challenges in Verification and Semistructured Data, 20.04., 2008

Monotonic Abstraction for Programs with Dynamic Memory Heaps.

Parosh Aziz Abdulla, Ahmed Bouajjani, Jonathan Cederberg, Frédéric Haziza, Ahmed Rezine

Proceedings of the Computer Aided Verification, 20th International Conference, 2008