| Consistency-preserving evolution planning on feature models. | 0 | 0.34 | 2020 |
| Translating active objects into colored Petri nets for communication analysis. | 0 | 0.34 | 2019 |
| Geological Multi-scenario Reasoning. | 0 | 0.34 | 2019 |
| Asynchronous Cooperative Contracts for Cooperative Scheduling. | 0 | 0.34 | 2019 |
| Program Verification for Exception Handling on Active Objects Using Futures. | 0 | 0.34 | 2018 |
| A modular reasoning system using uninterpreted predicates for code reuse. | 2 | 0.37 | 2018 |
| Translating Active Objects into Colored Petri Nets for Communication Analysis. | 2 | 0.38 | 2017 |
| A Survey of Active Object Languages. | 8 | 0.58 | 2017 |
| Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. | 0 | 0.34 | 2017 |
| Session-Based Compositional Analysis for Actor-Based Languages Using Futures. | 4 | 0.42 | 2016 |
| Compositional reasoning about active objects with shared futures | 1 | 0.40 | 2015 |
| KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS | 17 | 0.73 | 2015 |
| History-Based Specification and Verification of Scalable Concurrent and Distributed Systems. | 7 | 0.45 | 2015 |
| A Dynamic Logic with Traces and Coinduction. | 1 | 0.36 | 2015 |
| A sound and complete reasoning system for asynchronous communication with shared futures. | 8 | 0.50 | 2014 |
| Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems. | 3 | 0.40 | 2014 |
| Observable behavior of distributed systems: Component reasoning for concurrent objects. | 22 | 0.78 | 2012 |
| Compositional reasoning about shared futures | 7 | 0.48 | 2012 |
