Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Jonathan Cederberg

dblp:58/4833 · DBLP profile ↗
← Back
5ranked-venue papers
0as first author
0since 2021 · last 2013
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 4Theory of computation · 2

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
1 paper
Program analysis · 50% Programming languages and type systems · 50%

Topics — the 2 heaviest of 2, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Program analysis › static analysis
abstract interpretation
0.112008
Monotonic Abstraction for Programs with Dynamic Memory Heaps · CAV 2008
Programming languages and type systems
heap-manipulating programs
0.112008
Monotonic Abstraction for Programs with Dynamic Memory Heaps · CAV 2008

Methods — techniques the papers use, named apart from their topics

monotonic abstraction · 0.1
YearPublicationVenuePosition
2013 Analysis of Message Passing Programs Using SMT-Solvers
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jonathan Cederberg
ATVA3
2012 Timed Lossy Channel Systems
abstract
Lossy channel systems are a classical model with applications ranging from the modeling of communication protocols to programs running on weak memory models. All existing work assume that messages traveling inside the channels are picked from a finite alphabet. In this paper, we extend the model by assuming that each message is equipped with a clock representing the age of the message, thus obtaining the model of Timed Lossy Channel Systems (TLCS). The main contribution of the paper is to show that the control state reachability problem is decidable for TLCS.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jonathan Cederberg
FSTTCS3
2010 Analyzing the Security in the GSM Radio Network Using Attack Jungles
Parosh Aziz Abdulla, Jonathan Cederberg, Lisa Kaati
ISoLA (1)2
2009 Automated Analysis of Data-Dependent Programs with Dynamic Memory
Parosh Aziz Abdulla, Muhsin Atto, Jonathan Cederberg
ATVA3
2008 Monotonic Abstraction for Programs with Dynamic Memory Heaps
Parosh Aziz Abdulla, Ahmed Bouajjani, Jonathan Cederberg, Frédéric Haziza, Ahmed Rezine
CAV3