Jonathan Cederberg

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2014
MPass: An Efficient Tool for the Analysis of Message-Passing Programs.
Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

2013
Monotonic Abstraction for Programs with Multiply-Linked Structures.
Int. J. Found. Comput. Sci., 2013

Analysis of Message Passing Programs Using SMT-Solvers.
Proceedings of the Automated Technology for Verification and Analysis, 2013

2012
Timed Lossy Channel Systems.
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.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009
Automated Analysis of Data-Dependent Programs with Dynamic Memory.
Proceedings of the Automated Technology for Verification and Analysis, 2009

2008
Shape Analysis via Monotonic Abstraction.
Proceedings of the Beyond the Finite: New Challenges in Verification and Semistructured Data, 20.04., 2008

Monotonic Abstraction for Programs with Dynamic Memory Heaps.
Proceedings of the Computer Aided Verification, 20th International Conference, 2008


  Loading...