Vienna Verification Tool: IC3 for Parallel Software - (Competition Contribution). | 4 | 0.43 | 2016 |
On the formal verification of systems of synchronous software components | 4 | 0.39 | 2012 |
A framework for formal verification of systems of synchronous components. | 2 | 0.37 | 2012 |
Scheduling for a Modular Activity Recognition System to Reduce Energy Consumption on SmartPhones. | 1 | 0.35 | 2011 |
A Tool Chain for a Lightweight, Robust and Uncertainty-based Context Classification System (CCS). | 0 | 0.34 | 2010 |
Praktikum: Entwurf und Implementierung eines Softwareprojekts in einer funktionalen Sprache | 0 | 0.34 | 2008 |
A Static Aspect Language for Modelica Models | 0 | 0.34 | 2008 |