| RiverGame - a game testing tool using artificial intelligence | 0 | 0.34 | 2022 |
| RiverFuzzRL - an open-source tool to experiment with reinforcement learning for fuzzing | 0 | 0.34 | 2021 |
| Automated game testing using computer vision methods | 0 | 0.34 | 2021 |
| Riverconc: An Open-Source Concolic Execution Engine For X86 Binaries | 0 | 0.34 | 2020 |
| Optimizing decision making in concolic execution using reinforcement learning | 0 | 0.34 | 2020 |
| Towards automated testing of RPA implementations | 0 | 0.34 | 2020 |
| Analysis of uPort Open, an Identity Management Blockchain-Based Solution. | 1 | 0.36 | 2020 |
| Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates. | 0 | 0.34 | 2018 |
| Binary Analysis based on Symbolic Execution and Reversible x86 Instructions. | 0 | 0.34 | 2017 |
| A distributed implementation using apache spark of a genetic algorithm applied to test data generation. | 2 | 0.39 | 2017 |
| RIVER: A Binary Analysis Framework Using Symbolic Execution and Reversible x86 Instructions. | 0 | 0.34 | 2016 |
| Model Learning and Test Generation Using Cover Automata. | 0 | 0.34 | 2015 |
| From Kernel P Systems to X-Machines and FLAME. | 0 | 0.34 | 2014 |
| Towards decentralized synthesis: Decomposable sublanguage and Joint Observability Problems | 7 | 0.50 | 2014 |
| Message choreography modeling - A domain-specific language for consistent enterprise service integration. | 0 | 0.34 | 2014 |
| Where does model-driven engineering help? Experiences from three industrial cases | 25 | 0.87 | 2013 |
| An empirical study of the state of the practice and acceptance of model-driven engineering in four industrial cases. | 47 | 1.41 | 2013 |
| Implementing Realistic Asynchronous Automata. | 3 | 0.38 | 2013 |
| Learn and test for event-b --- a rodin plugin | 3 | 0.39 | 2012 |
| Formal Approach to the Deployment of Distributed Robotic Teams | 37 | 1.29 | 2012 |
| Remarks On The Difficulty Of Top-Down Supervisor Synthesis | 1 | 0.37 | 2012 |
| Model learning and test generation for event-b decomposition | 3 | 0.42 | 2012 |
| Test Data Generation for Event-B Models Using Genetic Algorithms. | 1 | 0.35 | 2011 |
| Towards Search-Based Testing for Event-B Models | 1 | 0.37 | 2011 |
| A hierarchical approach to automatic deployment of robotic teams with communication constraints. | 2 | 0.45 | 2010 |
| Model-Driven Service Integration Testing - A Case Study | 3 | 0.43 | 2010 |
| A Formal Approach to Deployment of Robotic Teams in an Urban-Like Environment | 3 | 0.38 | 2010 |
| Using the UML Testing Profile for Enterprise Service Choreographies | 6 | 0.53 | 2010 |
| Improving Testing of Enterprise Systems by Model-Based Testing on Graphical User Interfaces | 7 | 0.55 | 2010 |
| Viewpoints For Modeling Choreographies In Service-Oriented Architectures | 5 | 0.49 | 2009 |
| MBT4Chor: A Model-Based Testing Approach for Service Choreographies | 11 | 0.65 | 2009 |
| An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT | 7 | 0.49 | 2008 |
| Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes | 5 | 0.47 | 2008 |
| Test Data Provision for ERP Systems | 8 | 0.64 | 2008 |
| Precise Steps for Choreography Modeling for SOA Validation and Verification | 9 | 0.66 | 2008 |
| A livelock freedom analysis for infinite state asynchronous reactive systems | 5 | 0.43 | 2006 |
| Complexity Results for Checking Distributed Implementability | 7 | 0.47 | 2005 |
