Demo Data from EDBT 2026 / reviewers in the wild / expert
Jonathan Cederberg
dblp:58/4833
· DBLP profile ↗
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
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Program analysis › static analysis
abstract interpretation |
0.1 | 1 | 2008 | Monotonic Abstraction for Programs with Dynamic Memory Heaps · CAV 2008 |
Programming languages and type systems
heap-manipulating programs |
0.1 | 1 | 2008 | Monotonic Abstraction for Programs with Dynamic Memory Heaps · CAV 2008 |
Methods — techniques the papers use, named apart from their topics
monotonic abstraction · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2013 | Analysis of Message Passing Programs Using SMT-Solvers
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jonathan Cederberg |
ATVA | 3 |
| 2012 | Timed Lossy Channel SystemsabstractLossy 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 |
FSTTCS | 3 |
| 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 |
ATVA | 3 |
| 2008 | Monotonic Abstraction for Programs with Dynamic Memory Heaps
Parosh Aziz Abdulla, Ahmed Bouajjani, Jonathan Cederberg, Frédéric Haziza, Ahmed Rezine |
CAV | 3 |