Collaborated with:S.Qadeer T.Ferrère T.A.Henzinger K.Chatterjee S.Mishra A.Pavlogiannis
Talks about:algorithm (1) frequenc (1) program (1) monitor (1) concurr (1) weight (1) recurs (1) machin (1) faster (1) state (1)
Person: Bernhard Kragl
DBLP: Kragl:Bernhard
Contributed to:
2017
2018
2020Wrote 3 papers:
- ESOP-2017-ChatterjeeKMP #algorithm #performance #recursion #state machine
- Faster Algorithms for Weighted Recursive State Machines (KC, BK, SM, AP), pp. 287–313.
- CAV-2018-KraglQ #concurrent #source code
- Layered Concurrent Programs (BK, SQ), pp. 79–102.
- CSL-2020-FerrereHK #monitoring
- Monitoring Event Frequencies (TF, TAH, BK), p. 16.