Michael Butler
- Review of dengue virus and the development of a vaccine
2010/12/12 by Sarah Murrell, Suh-Chin Wu, Suh‐Chin Wu +1 · 1 citation
Medicine · #Malaria Research and Control #Mosquito-borne diseases and control #Viral Infections and Vectors
- DeepSaucer: Unified Environment for Verifying Deep Neural Networks
2018/11/09 by Naoto Sato, Hironobu Kuruma, Sato, Naoto +11 · 1 citation
Computer Science · #Advanced Malware Detection Techniques #Adversarial Robustness in Machine Learning #Anomaly Detection Techniques and Applications #FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering (cs.SE)
- Structuring Functional Requirements of Control Systems to Facilitate Refinement-based Formalisation
2015/11/03 by Sanaz Yeganefard, Michael Butler, Yeganefard, Sanaz +1 · 1 citation
Computer Science · #Advanced Software Engineering Methodologies #Formal Methods in Verification #Model-Driven Software Engineering Techniques
- 09381 Extended Abstracts Collection - Refinement Based Methods for the Construction of Dependable Systems.
2009/01/01 by Leah A. Lewis, John Calambokidis, Alison K. Stimpert +13 · 1 citation
Biochemistry, Genetics and Molecular Biology · Computer Science · Environmental Science · #Animal Vocal Communication and Behavior #Marine and fisheries research #Marine animal studies overview #Model-Driven Software Engineering Techniques #Software Reliability and Analysis Research #Software System Performance and Reliability
- Specification and refinement of discrete timing properties in Event-B
2012/03/01 by Mohammad Reza Sarshogh, Sarshogh, Mohammad Reza, Michael Butler +1 · 1 citation
Computer Science · #Formal Methods in Verification #Real-Time Systems Scheduling #Petri Nets in System Modeling