Checking and enforcing robustness against TSO A Bouajjani, E Derevenetc, R Meyer European Symposium on Programming, 533-553, 2013 | 103 | 2013 |

Compositional semantics for UML 2.0 sequence diagrams using Petri Nets C Eichner, H Fleischhack, R Meyer, U Schrimpf, C Stehno International SDL Forum, 133-148, 2005 | 100 | 2005 |

Model checking duration calculus: A practical approach R Meyer, J Faber, J Hoenicke, A Rybalchenko Formal Aspects of Computing 20 (4-5), 481-505, 2008 | 70 | 2008 |

On boundedness in depth in the π-calculus R Meyer Fifth Ifip International Conference On Theoretical Computer Science–Tcs 2008 …, 2008 | 68 | 2008 |

Trustworthy software systems: a discussion of basic concepts and terminology S Becker, W Hasselbring, A Paul, M Boskovic, H Koziolek, J Ploski, ... ACM SIGSOFT Software Engineering Notes 31 (6), 1-18, 2006 | 67 | 2006 |

Deciding robustness against total store ordering A Bouajjani, R Meyer, E Möhlmann International Colloquium on Automata, Languages, and Programming, 428-440, 2011 | 51 | 2011 |

A theory of structural stationarity in the π-calculus R Meyer Acta Informatica 46 (2), 87-137, 2009 | 40 | 2009 |

Model checking data-dependent real-time properties of the European Train Control System J Faber, R Meyer 2006 Formal Methods in Computer Aided Design, 76-77, 2006 | 38 | 2006 |

The downward-closure of Petri net languages P Habermehl, R Meyer, H Wimmel International Colloquium on Automata, Languages, and Programming, 466-477, 2010 | 36 | 2010 |

Language-theoretic abstraction refinement Z Long, G Calin, R Majumdar, R Meyer International Conference on Fundamental Approaches to Software Engineering …, 2012 | 31 | 2012 |

On the relationship between π-calculus and finite place/transition Petri nets R Meyer, R Gorrieri International Conference on Concurrency Theory, 463-480, 2009 | 31 | 2009 |

Structural Stationarity in the [pi]-calculus R Meyer Carl-von-Ossietzky-Univ., Department für Informatik, 2009 | 27 | 2009 |

Robustness against Power is PSpace-complete E Derevenetc, R Meyer International Colloquium on Automata, Languages, and Programming, 158-170, 2014 | 24 | 2014 |

Memory-model-aware testing: A unified complexity analysis F Furbach, R Meyer, K Schneider, M Senftleben ACM Transactions on Embedded Computing Systems (TECS) 14 (4), 1-25, 2015 | 22 | 2015 |

Petruchio: From dynamic networks to nets R Meyer, T Strazny International Conference on Computer Aided Verification, 175-179, 2010 | 22 | 2010 |

Lazy TSO reachability A Bouajjani, G Calin, E Derevenetc, R Meyer International Conference on Fundamental Approaches to Software Engineering …, 2015 | 19 | 2015 |

Checking pi-calculus structural congruence is graph isomorphism complete V Khomenko, R Meyer 2009 Ninth International Conference on Application of Concurrency to System …, 2009 | 18 | 2009 |

Kleene, Rabin, and Scott are available J Hoenicke, R Meyer, ER Olderog International Conference on Concurrency Theory, 462-477, 2010 | 17 | 2010 |

A practical approach to verification of mobile systems using net unfoldings R Meyer, V Khomenko, T Strazny Fundamenta Informaticae 94 (3-4), 439-471, 2009 | 16 | 2009 |

A theory of partitioned global address spaces G Calin, E Derevenetc, R Majumdar, R Meyer arXiv preprint arXiv:1307.6590, 2013 | 14 | 2013 |