SPLGraph: towards a graph-based formalism for software product lines. Proceedings of the 2010 ICSE Workshop on Product Line Approaches in Software Engineering.
.
2010. Urban enterprise: A review of Smart City frameworks from an Enterprise Architecture perspective. 2016 IEEE International Smart Cities Conference (ISC2).
.
2016. From spaces to places: emerging contexts in mobile privacy. 11th International Conference on Ubiquitous Computing (UbiComp 2009)11th International Conference on Ubiquitous Computing (UbiComp 2009).
.
2009. In the Best Families: Tracking and Relationships. CHI 2011 - ACM International Conference on Human Factors in ComputingCHI 2011 - ACM International Conference on Human Factors in Computing.
.
2011. Contravision: exploring users’ reactions to futuristic technology. ACM Conference on Human Factors in Computing Systems (CHI 2010)ACM Conference on Human Factors in Computing Systems (CHI 2010).
.
2010. Domain Model Definition for Domain-Specific Rule Generation Using Variability Model. Innovative Computing, Optimization and Its Applications: Modelling and Simulations. :39–55.
.
2018. .
2023. Trust evaluation for participatory sensing. 9th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services9th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services.
.
2012. On the Use of XMDD in Software Development Education: Computer Software and Applications Conference (COMPSAC), 2015 IEEE 39th Annual. 39th Annual IEEE Computer Software and Applications Conference (COMPSAC)39th Annual IEEE Computer Software and Applications Conference (COMPSAC).
.
2015. DIME Days (ISoLA 2022 Track Introduction). Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering.
.
2022. Active Behavior Mining for Digital Twins Extraction. IT Professional. 24:74-80.
.
2022. Proceedings of TACAS _23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2017TACAS 2017.
.
2017. Foundations of Semantics and Model Checking in a Software Engineering Course. First Workshop on Formal Methods in Software Engineering Education and Training (FMSEE&T '15), co-located with 20th International Symposium on Formal Methods (FM 2015).
.
2015. Simplicity as a Driver for Agile Innovation. Software Technology: 10 Years of Innovation in IEEE Computer.
.
2018. Continuous Model-Driven Engineering. Software Technology: 10 Years of Innovation in IEEE Computer.
.
2018. Prediction-Based Multi-Agent Reinforcement Learning in Inherently Non-Stationary Environments. ACM Trans. Auton. Adapt. Syst.. 12:9:1–9:23.
.
2017. A Hybrid Approach to Very Small Scale Electrical Demand Forecasting. IEEE Power & Energy Society Innovative Smart Grid Technologies Conference (ISGT)IEEE Power & Energy Society Innovative Smart Grid Technologies Conference (ISGT).
.
2014. Residential Electrical Demand Forecasting in Very Small Scale: An Evaluation of Forecasting Methods. 2nd International Workshop on Software Engineering Challenges for the Smart Grid co-located at ICSE 2013.
.
2013. Optimising residential electric vehicle charging under renewable energy: Multi‐agent learning in software simulation and hardware‐in‐the‐loop evaluation. International Journal of Energy Research.
.
2019. .
2018. .
2018. Global Software Development: Practices for Cultural Differences. Product-Focused Software Process Improvement.
.
2018. .
2019. Practical Algorithms for Finding Extremal Sets. J. Exp. Algorithmics. 21
.
2016. Practical Algorithms for Finding Extremal Sets. J. Exp. Algorithmics. 21
.
2016.