Publications
- Formalization of Invariant Patterns for the Invariant Refinement Method2015 | Faculty of Mathematics and Physics
- Architecture Adaptation Based on Belief Inaccuracy Estimation2014 | Faculty of Mathematics and Physics
- Software Engineering for Software-Intensive Cyber-Physical Systems2014 | Faculty of Mathematics and Physics
- Engineering Autonomous Systems2013 | Faculty of Mathematics and Physics
- Finding Minimum Satisfying Assignments of Boolean Formulas2013 | Faculty of Mathematics and Physics
- Capturing Performance Assumptions using Stochastic Performance Logic2012 | Faculty of Mathematics and Physics
- Introducing Support for Embedded and Real-time Devices into Existing Hierarchical Component System: Lessons Learned2011 | Faculty of Mathematics and Physics
- JDEECo v. 1.0Publication without faculty affiliation
- Finding Minimum Satisfying Assignments of Boolean FormulasPublication without faculty affiliation
- JDEECo v. 2.0Publication without faculty affiliation
Loading network view...