| Pointer life cycle types for lock-free data structures with memory reclamation | 0 | 0.34 | 2020 |
| LiViTo - Linguistic and Visual Features Tool for Assisted Analysis of Historic Manuscripts. | 0 | 0.34 | 2020 |
| Temporal Tracing of On-Chip Signals using Timeprints | 0 | 0.34 | 2019 |
| Bmc For Weak Memory Models: Relation Analysis For Compact Smt Encodings | 2 | 0.37 | 2019 |
| Decoupling Lock-Free Data Structures from Memory Reclamation for Static Analysis. | 0 | 0.34 | 2019 |
| Fast Witness Counting. | 0 | 0.34 | 2018 |
| Reasoning About Weak Semantics via Strong Semantics. | 0 | 0.34 | 2018 |
| Portability Analysis for Weak Memory Models. PORTHOS: One Tool for all Models. | 1 | 0.36 | 2017 |
| Portability Analysis for Axiomatic Memory Models. PORTHOS: One Tool for all Models. | 1 | 0.35 | 2017 |
| Effect Summaries for Thread-Modular Analysis. | 2 | 0.37 | 2017 |
| Munchausen Iteration. | 0 | 0.34 | 2016 |
| Antichains for the Verification of Recursive Programs. | 0 | 0.34 | 2015 |
| From Program Verification to Time and Space: The Scientific Life of Ernst-Rüdiger Olderog. | 0 | 0.34 | 2015 |
| Bounds on Mobility. | 5 | 0.47 | 2014 |
| Robustness against Relaxed Memory Models. | 3 | 0.39 | 2014 |
| A Theory of Partitioned Global Address Spaces. | 4 | 0.41 | 2013 |
| Provenance Verification. | 0 | 0.34 | 2013 |
| Checking and enforcing robustness against TSO | 44 | 1.14 | 2013 |
| A theory of name boundedness | 8 | 0.57 | 2013 |
| Robustness Checking against TSO: Attacks and Defence | 0 | 0.34 | 2012 |
| Language-Theoretic abstraction refinement | 8 | 0.57 | 2012 |
| A polynomial translation of π-calculus (FCP) to safe petri nets | 4 | 0.42 | 2012 |
| An Algorithmic Framework for Coverability in Well-Structured Systems | 1 | 0.36 | 2012 |
| Deciding robustness against total store ordering | 20 | 0.79 | 2011 |
| Modification of the Tool-Workpiece Contact Conditions to Influence the Tool Wear and Workpiece Loading During Hard Turning. | 0 | 0.34 | 2011 |
| Kleene, Rabin, and Scott are available | 4 | 0.43 | 2010 |
| Petruchio: from dynamic networks to nets | 7 | 0.55 | 2010 |
| The downward-closure of petri net languages | 15 | 0.62 | 2010 |
| On the Relationship between π-Calculus and Finite Place/Transition Petri Nets | 2 | 0.39 | 2009 |
| A theory of structural stationarity in the pi -Calculus | 2 | 0.39 | 2009 |
| On Boundedness in Depth in the pi-Calculus | 3 | 0.39 | 2008 |
| Model Checking Data-Dependent Real-Time Properties of the European Train Control System | 18 | 0.86 | 2006 |
| Trustworthy software systems: a discussion of basic concepts and terminology | 25 | 0.80 | 2006 |
| Model checking duration calculus: a practical approach | 24 | 0.93 | 2006 |
