Virtual Avatars as Children Companions : For a VR-based Educational Platform: How Should They Look Like? ICAT-EGVE 2020 - International Conference on Artificial Reality and Telexistence and Eurographics Symposium on Virtual Environments.
.
2020. Virtual Avatars as Children Companions For a VR-based Educational Platform: How Should They Look Like? 30th International Conference on Artificial Reality and Telexistence & 25th Eurographics Symposium on Virtual Environments .
.
2020. View-Supported Rollout and Evolution of Model-Based ECU Applications. 7th International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2010).
.
2010. The Views of Experts on the Current State of Agile Method Tailoring.. 11th IFIP 8.6 Working Group Conference on Business Agility and IT Diffusion11th IFIP 8.6 Working Group Conference on Business Agility and IT Diffusion.
.
2007. Video Streaming in Content-Centric Mobile Networks: Challenges and Solutions. IEEE Wireless Communications. 24:157-165.
.
2017. VidCEP: Complex Event Processing Framework to Detect Spatiotemporal Patterns in Video Streams. 2019 IEEE International Conference on Big Data (Big Data).
.
2020. VFDS: Very Fast Database Sampling System. the 14th IEEE Internation Conference on Information Reuse and Integrationthe 14th IEEE Internation Conference on Information Reuse and Integration.
.
2013. VFDS: An Application to Generate Fast Sample Databases. ACM International Conference on Information and Knowledge ManagementACM International Conference on Information and Knowledge Management.
.
2015. .
2021. Verifying Temporal Properties of Reactive Systems by Transformation. Electronic Proceedings of Theoretical Computer Science. 99
.
2015. Verifying Temporal Properties of Reactive Systems by Transformation. Third International Workshop on Verification and Program Transformation.
.
2015. Verifying FreeRTOS' Cyclic Doubly Linked List Implementation: From Abstract Specification to Machine Code. 2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS).
.
2015. A Verification-Centric Realization of e-Voting. 2nd USENIX/ACCURATE Electronic Voting Technology Workshop (EVT) 2007.
.
2007. Verification & Validation in Medi SPICE. 1th International SPICE Conference on Process Improvement and Capability dEtermination1th International SPICE Conference on Process Improvement and Capability dEtermination.
.
2011. Verification of cyber-physical systems. Accepted paper at 20th European meeting on cybernetics and systems research (EMCSR 2010).
.
2010. Verification of Adaptive Systems. Infotech@Aerospace Conference 2012Infotech@Aerospace Conference 2012.
.
2012. Verifiable Limited Disclosure: Reporting and Handling Digital Evidence in Police Investigations. 1st International Workshop on Requirements Engineering for Investigating and Countering Crime.
.
2016. VEKG: Video Event Knowledge Graph to Represent Video Streams for Complex Event Pattern Matching. IEEE International Conference on Graph Computing .
.
2019. Vehicular-Communications-Based Speed Advisory System for Electric Bicycles. IEEE Transactions on Vehicular Technology. 65
.
2016. Vehicular Communications-based Speed Advisory System for Electric Bicycles. IEEE Transactions on Vehicular Technology..
.
2015. Vectorization of Multibyte Floating Point Data Formats. Proceedings of the 2016 International Conference on Parallel Architectures and Compilation.
.
2016. Variability Management in Software Product Lines: An Investigation of Contemporary Industrial Challenges. 14th International Software Product Line Conference14th International Software Product Line Conference.
.
2010. Variability Management in Software Product Lines: A Systematic Review. 13th International Software Product Line Conference13th International Software Product Line Conference.
.
2009. Variability in Time - Product Line Variability and Evolution Revisited. Proceedings of the 4th International Workshop on Variability Modelling of Software-Intensive Systems VAMOS 2010.
.
2010. Variability and Evolution in Model-based Engineering of Embedded Systems. Dagstuhl Workshop Model-Based Development of Embedded Systems (MBEES 2010).
.
2010.