Michael Butler - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 64 from 64

2022

DevFemOps: enhancing maintainability based on microservices using formal engineering methodsTetsuo Fukuzaki, Shaoying Liu, Michael Butler. connection, 34(1):2125-2138, 2022. [doi]

2017

Clinically Significant Information Extraction from Radiology ReportsNidhin Nandhakumar, Ehsan Sherkat, Evangelos E. Milios, Hong Gu, Michael Butler. DOCENG 2017: 153-162 [doi]

2016

EditorialMichael Butler. fac, 28(2):179-180, 2016. [doi]

Reasoned Modelling with Event-BMichael Butler. setss 2017: 51-109 [doi]

An evolutionary optimization based interval type-2 fuzzy classification system for human behaviour recognition and summarisationBo Yao, Hani Hagras, Jason J. Lepley, Robert Peall, Michael Butler. SMC 2016: 4706-4711 [doi]

2015

Improving Application Concurrency on GPUs by Managing Implicit and Explicit SynchronizationsMichael Butler, Kittisak Sajjapongse, Michela Becchi. icpads 2015: 535-544 [doi]

Exploration of "What-If" Scenarios: A Prototype for Research Buildings at Stanford's School of MedicineFelicia Cleper-Borkovi, Sudha Hajela, Alexander Khainson, Zachary Deretsky, Michael Butler. cosit 2016: 16-20 [doi]

2014

2013

Building Traceable Event-B Models from RequirementsEman Alkhammash, Asieh Salehi Fathabadi, Michael Butler, Corina Cîrstea. eceasst, 66, 2013. [doi]

A Hybrid Event-B Study of Lane CenteringRichard Banach, Michael Butler. csdm 2014: 97-111 [doi]

Cruise Control in Hybrid Event-BRichard Banach, Michael Butler. ictac 2013: 76-93 [doi]

EditorialJonathan P. Bowen, Michael Butler, Steve Reeves, Mike Hinchey. fac, 25(3):343, 2013. [doi]

Practical Theory Extension in Event-BMichael Butler, Issam Maamria. BIRTHDAY 2013: 67-81 [doi]

Mastering System Analysis and Design through Abstraction and RefinementMichael Butler. In Manfred Broy, Doron Peled, Georg Kalus, editors, Engineering Dependable Software Systems. Volume 34 of NATO Science for Peace and Security Series, D: Information and Communication Security, pages 49-78, IOS Press, 2013. [doi]

Evaluation of Graphical Control Flow Management Approaches for Event-B ModellingDana Dghaym, Michael Butler, Asieh Salehi Fathabadi. eceasst, 66, 2013. [doi]

Reasoned modelling critics: Turning failed proofs into modelling guidanceAndrew Ireland, Gudmund Grov, Maria Teresa Llano, Michael Butler. SCP, 78(3):293-309, 2013. [doi]

Semi-automated detection of single cell signatures from a dielectrophoretic cytometerBahareh Saboktakin Rizi, Ashlesha Bhide, Tim Cabel, Marija Nikolic-Jaric, Elham Salimi, Katrin Braasch, Michael Butler, Greg E. Bridges, Douglas J. Thomson. i2mtc 2013: 1083-1087 [doi]

Microfluidic device for simultaneous pulsed electric field electroporation and dielectrophoresis studies of single biological cellsElham Salimi, Marija Nikolic-Jaric, Tim Cabel, Katrin Braasch, Vincent Jung, Michael Butler, Douglas J. Thomson, Greg E. Bridges. i2mtc 2013: 403-406 [doi]

A mixed approach to rigorous development of control designsManoranjan Satpathy, S. Ramesh, Colin F. Snook, Neeraj Kumar Singh, Michael Butler. cacsd 2013: 7-12 [doi]

Systematic Development of Control Designs via Formal RefinementManoranjan Satpathy, Colin F. Snook, Silky Arora, S. Ramesh, Michael Butler. modelsward 2013: 143-148 [doi]

Evaluation of the Microsoft Kinect for screening ACL injuryErik E. Stone, Michael Butler, Aaron McRuer, Aaron Gray, Jeffrey Marks, Marjorie Skubic. embc 2013: 4152-4155 [doi]

Problem decomposition and sub-model reconciliation of control systems in Event-BSanaz Yeganefard, Michael Butler. iri 2013: 528-535 [doi]

2012

2011

Bulldozer: An Approach to Multithreaded Compute PerformanceMichael Butler, Leslie Barnes, Debjit Das Sarma, Bob Gelinas. micro, 31(2):6-15, 2011. [doi]

Applying Atomicity and Model Decomposition to a Space Craft System in Event-BAsieh Salehi Fathabadi, Abdolbaghi Rezazadeh, Michael Butler. NFM 2011: 328-342 [doi]

Composing Event-B Specifications - Case-Study ExperienceAli Gondal, Michael Poppleton, Michael Butler. SC 2011: 100-115 [doi]

Specification and refinement of discrete timing properties in Event-BMohammad Reza Sarshogh, Michael Butler. eceasst, 46, 2011. [doi]

PERSPECTIVE - Organizational Cognitive NeuroscienceCarl Senior, Nick Lee, Michael Butler. orgsci, 22(3):804-815, 2011. [doi]

Decomposition tool for event-BRenato Silva, Carine Pascal, Thai Son Hoang, Michael Butler. SPE, 41(2):199-208, 2011. [doi]

Structuring Functional Requirements of Control Systems to Facilitate Refinement-based FormalisationSanaz Yeganefard, Michael Butler. eceasst, 46, 2011. [doi]

2010

EditorialEerke Boiten, Michael Butler, John Derrick, Graeme Smith. fac, 22(1):1, 2010. [doi]

Reasoned Modelling Critics: Turning Failed Proofs into Modelling GuidanceAndrew Ireland, Gudmund Grov, Michael Butler. asm 2010: 189-202 [doi]

On an Extensible Rule-Based Prover for Event-BIssam Maamria, Michael Butler, Andrew Edmunds, Abdolbaghi Rezazadeh. asm 2010: 407 [doi]

Shared Event Composition/Decomposition in Event-BRenato Silva, Michael Butler. FMCO 2012: 122-141 [doi]

A Basis for Feature-Oriented Modelling in Event-BJennifer Sorge, Michael Poppleton, Michael Butler. asm 2010: 409 [doi]

A Refinement-Based Correctness Proof of Symmetry Reduced Model CheckingEdd Turner, Michael Butler, Michael Leuschel. asm 2010: 231-244 [doi]

Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-BSanaz Yeganefard, Michael Butler, Abdolbaghi Rezazadeh. NFM 2010: 182-191

2009

Event-B Patterns for Specifying Fault-Tolerance in Multi-agent InteractionElisabeth Ball, Michael Butler. In Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna, editors, Methods, Models and Tools for Fault Tolerance. Volume 5454 of Lecture Notes in Computer Science, pages 104-129, Springer, 2009. [doi]

Decomposition Structures for Event-BMichael Butler. IFM 2009: 20-38 [doi]

Applying Event-B Atomicity Decomposition to a Multi Media ProtocolAsieh Salehi Fathabadi, Michael Butler. FMCO 2010: 89-104 [doi]

Supporting Reuse of Event-B Developments through Generic InstantiationRenato Silva, Michael Butler. icfem 2009: 466-484 [doi]

Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-BDivakar Yadav, Michael Butler. In Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna, editors, Methods, Models and Tools for Fault Tolerance. Volume 5454 of Lecture Notes in Computer Science, pages 152-176, Springer, 2009. [doi]

Verification of Liveness Properties in Distributed SystemsDivakar Yadav, Michael Butler. ic3 2009: 625-636 [doi]

2008

An incremental development of the Mondex system in Event-BMichael Butler, Divakar Yadav. fac, 20(1):61-77, 2008. [doi]

Linking Event-B and Concurrent Object-Oriented ProgramsAndrew Edmunds, Michael Butler. ENTCS, 214:159-182, 2008. [doi]

2006

Guest Editorial Editorial for the FAC Special Issue based on derivative papers from Refine 05 Eerke Boiten, Michael Butler. fac, 18(3):263, 2006. [doi]

Rigorous Design of Fault-Tolerant Transactions for Replicated Database Systems Using Event BDivakar Yadav, Michael Butler. rodin 2006: 343-363 [doi]

2002

1993

Aggressive execution engines for surpassing single basic block executionMichael Butler. PhD thesis, University of Michigan, USA, 1993. [doi]

A comparative performance evaluation of various state maintenance mechanismsMichael Butler, Yale N. Patt. euromicro 1993: 70-79 [doi]

1992

An investigation of the performance of various dynamic scheduling techniquesMichael Butler, Yale N. Patt. euromicro 1992: 1-9 [doi]

1991

Single Instruction Stream Parallelism is Greater Than TwoMichael Butler, Tse-Yu Yeh, Yale N. Patt, Mitch Alsup, Hunter Scales, Michael Shebanow. isca 1991: 276-286 [doi]

The Effect of Real Data Cache Behavior on the Performance of a Microarchitecture that Supports Dynamic SchedulingMichael Butler, Yale N. Patt. micro 1991: 34-41 [doi]

1990

An Area-Efficient Register Alias Table for Implementing HPSMichael Butler, Yale N. Patt. icpp 1990: 611-612

1985

Post Office Protocol: Version 2Michael Butler, Jon Postel, Dale Chase, Joel Goldberger, Joyce K. Reynolds. rfc, 937:1-24, February 1985. [doi]

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Michael Butler'

Viewing Publication 1 - 64 from 64

2022

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2006

2002

1993

1992

1991

1990

1985

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Michael Butler'

Viewing Publication 1 - 64 from 64

2022

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2006

2002

1993

1992

1991

1990

1985

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1