Towards Model Checking with Java PathFinder for Autonomic Systems Specified and Generated with ASSL. Proceedings of the 4th International Conference on Software and Data TechnologiesProceedings of the 4th International Conference on Software and Data Technologies.
.
2009. Towards in-network aggregation for people-centric 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. Towards Formal Verification of a Separation Microkernel. DASIA 2013, annual Eurospace conferenceDASIA 2013, annual Eurospace conference.
.
2013. Towards Forensic-ready Software Systems. International Conference on Software Engineering (NIER track).
.
2018. Towards flexible automated software architecture erosion diagnosis and treatment. Working IEEE/IFIP Conference on Software Architecture (WICSA) 2014.Working IEEE/IFIP Conference on Software Architecture (WICSA) 2014..
.
2014. Towards feature-driven planning of product-line evolution. Proceedings of the First International Workshop on Feature-Oriented Software Development.
.
2009. Towards Explainability in Machine Learning: The Formal Methods Way. IT Professional. 22:8-12.
.
2020. Towards Evaluating the Benefits of Inter-vehicle Coordination. 2015 IEEE 18th International Conference on Intelligent Transportation Systems.
.
2015. Towards Enhanced Reactive Routing in Urban Vehicular Ad hoc Networks. CFIP-NOTERE 2015CFIP-NOTERE 2015.
.
2015. .
2019. Towards Engineering Free/Libre Open Source Software (FLOSS) Ecosystems for Impact and Sustainability.
.
2019. Towards Efficient MUS Extraction. AI Communications. 25
.
2012. Towards Efficient Analysis of Variation in Time and Space. 23rd International Systems and Software Product Line Conference.
.
2019. Towards Effective Semantic Operators for Program Synthesis in Genetic Programming. Proceedings of the Genetic and Evolutionary Computation Conference.
.
2018. Towards Design Principles for User-Centric Explainable AI in Fraud Detection. Artificial Intelligence in HCI.
.
2021. Towards Design and Development of a Data Security and Privacy Risk Management Framework for WBAN Based Healthcare Applications. Applied System Innovation. 4:76.
.
2021. Towards Context-Specific Software Process Selection, Tailoring, and Composition. ICSSP 2014 International Conference on Software and System Process,ICSSP 2014 International Conference on Software and System Process,.
.
2014. Towards collision-free medium access control in vehicular ad-hoc networks. Proceedings of the Eighth ACM international workshop on Vehicular inter-networking.
.
2011. Towards Citizen Forensics: Improving Citizen-Police Collaboration. Workshop on Crime and/or Punishment: Joining the Dots between Crime, Legality and HCI, Extended Abstracts of ACM Conference on Human Factors in Computing Systems.
.
2020. Towards Better Understanding of Agile Values in Global Software Development. Eleventh IFIP WG8.1 International Workshop on Exploring Modelling Methods in Systems Analysis and Design (EMMSAD’06).
.
2006. Towards Behavior Elaboration and Synthesis Using Modes. Proceedings of the FSE Doctoral Symposium 2010.
.
2010. Towards Automation & Augmentation of the Design of Schedulers for Cellular Communications Networks. Proceedings of the Genetic and Evolutionary Computation Conference Companion.
.
2018. Towards Automatic Grammatical Evolution for Real-world Symbolic Regression . 13th International Joint Conference on Computational Intelligence .
.
2021. Towards Automated Surgical Robotics: A Requirements Engineering Approach. Proceedings of the 4th International Conference on Biomedical Robotics and BiomechatronicsProceedings of the 4th International Conference on Biomedical Robotics and Biomechatronics.
.
2012. Towards Automated Malware Behavioral Analysis and Profiling for Digital Forensic Investigation Purposes. 4th International Conference on Digital Forensics and Cyber Crime ICDF2C 20124th International Conference on Digital Forensics and Cyber Crime ICDF2C 2012.
.
2012.