Found 186 results
Filters: First Letter Of Last Name is H [Clear All Filters]
Towards Resilient Space Exploration Systems. Proceedings of the 5th International Conference on Secure Software Integration and Reliability Improvement (SSIRI’11)Proceedings of the 5th International Conference on Secure Software Integration and Reliability Improvement (SSIRI’11).
.
2011. .
2010. .
2010. Evolving Critical Systems. 17th IEEE International Conference on the Engineering of Computer-Based17th IEEE International Conference on the Engineering of Computer-Based.
.
2010. Evolving Critical Systems: A Research Agenda for Computer-Based Systems. 17th IEEE International Conference on the Engineering of Computer-Based17th IEEE International Conference on the Engineering of Computer-Based.
.
2010. Flash drive memory apparatus and method. #7,673,089
.
2010. Formal Methods. Encyclopedia of Software EngineeringEncyclopedia of Software Engineering.
.
2010. Swarm autonomic agents with self-destruct capability. Patent Number # 7,627,538
.
2010. .
2010. .
2017. Evidence in Architecture Degradation and Consistency Checking Research: Preliminary Results from a Literature Review. Proccedings of the 10th European Conference on Software Architecture Workshops.
.
2016. Detection of Violation Causes in Relexion Models. 22nd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2015)22nd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2015).
.
2015. Feature-Oriented Reflexion Modelling. 2nd Workshop on Software Architecture Erosion and Architectural Consistency (SAEroCon 2015)..
.
2015. MaxSAT-based encodings for Group MaxSAT. AI Communications.
.
2015. An Empirical Study of Encodings for Group MaxSAT. The 25th Canadian Conference on Artificial Intelligence (AI2012)The 25th Canadian Conference on Artificial Intelligence (AI2012).
.
2012. Lower Bounds and Upper Bounds for MaxSAT. Learning and Intelligent OptimizatioN Conference LION 6Learning and Intelligent OptimizatioN Conference LION 6.
.
2012. Experimental Investigation of Acoustic Features to Optimize Intelligibility in Cochlear Implants. Sensors. 23:7553.
.
2023. Noise Reduction in Cochlear Implant Signal Processing: A Review and Recent Developments. IEEE Reviews in Biomedical Engineering. :1-1.
.
2021. A Coinductive Equational Characterisation of Trace Inclusion for Regular Processes. Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday.
.
2017. A coinductive equational characterisation of trace inclusion for regular processes . Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday.
.
2017. From Agile to DevOps: Smart Skills and Collaborations. Information Systems Frontiers. 22
.
2020. Conceptualizing the Transition From Agile to DevOps: A Maturity Model for a Smarter IS Function. IFIP 8.6 Conference on Smart working, living and organising.
.
2018. Innovative Practices for Knowledge Sharing in Large-Scale DevOps. IEEE Software.
.
2019. Investigating HCI challenges for Designing Smart Environments. HCI International ConferenceHCI International Conference.
.
2016. SMARTGREENS 2015. Computing. 99:1–2.
.
2017.