Publications
- Formal design and verification of self-adaptive systems with decentralized control2017 | Faculty of Mathematics and Physics
- User Driven Query Framework of Social Networks for Geo-Temporal Analysis of Events of Interest2016 | Faculty of Mathematics and Physics
- ASM-based formal design of an adaptivity component for a Cloud system2016 | Faculty of Mathematics and Physics
- Modeling and Validating Self-adaptive Service-oriented Applications2015 | Faculty of Mathematics and Physics
- Decomposition-Based Approach for Model-Based Test Generation2019 | Faculty of Mathematics and Physics
- Fault-based test generation for regular expressions by mutation2019 | Faculty of Mathematics and Physics
- Integrating Formal Methods into Medical Software Development: the ASM approach2018 | Faculty of Mathematics and Physics
- Geotemporal Querying of Social Networks and Summarization2018 | Faculty of Mathematics and Physics
- An Evolutionary Process for Product-driven Updates of Feature Models2018 | Faculty of Mathematics and Physics
- SMT for state-based formal methods: the ASM case study2018 | Faculty of Mathematics and Physics
Loading network view...