Concepedia

Gerd Behrmann

GB

Statistics

Publications

16

Citations

1.3K

H-Index

15

Active since

2000

Affiliations

Aalborg University(Current)

Uppsala University

University of Twente

Radboud University Nijmegen

Information Technology University

Gerd Behrmann is an author at Aalborg University specializing in computing, computer science, and timed automata.

Publications per year

2000–2012

16

Publications

16

UPPAAL 4.0

Martijn Hendriks, P. Petterson, John Håkansson et al. · 2006 · 294 citations

Computing, Computer Science, Design Automation +6

The Optimized Link State Routing Protocol: Evaluation through Experiments and Simulation

Thomas Clausen, Gitte Dalgaard Hansen, Lars Rune Christensen et al. · 2001 · 290 citations

Computing, Computer Science, Computer Systems +17

Optimal scheduling using priced timed automata

Gerd Behrmann, Kim G. Larsen, Jacob Illum Rasmussen · ACM SIGMETRICS Performance Evaluation Review · 2005 · 139 citations

Computing, Systems Engineering, Automation +15

Lower and upper bounds in zone-based abstractions of timed automata

Gerd Behrmann, Patricia Bouyer, Kim G. Larsen et al. · International Journal on Software Tools for Technology Transfer · 2005 · 125 citations

Computing, Computer Engineering, Computer Science +16

Developing U<scp>PPAAL</scp> over 15 years

Gerd Behrmann, Alexandre David, Kim G. Larsen et al. · Software Practice and Experience · 2011 · 95 citations

Computing, Computer Science, Formal Methods +12

1–5 of 16