xAt 11.30 CEST the conf.researchr.org platform will be updated, causing the conference websites to be unresponsive for about 30 seconds. It's recommended to refresh your browser after maintenance has finished.
Write a Blog >>
MSR 2019
Sun 26 - Mon 27 May 2019 Montreal, QC, Canada
co-located with ICSE 2019
Michael Whalen

Registered user since Mon 31 Oct 2016

Name: Michael Whalen

Bio: Dr. Michael Whalen is the Director of the University of Minnesota Software Engineering Center. Dr. Whalen is interested in formal analysis, language translation, testing, and requirements engineering. He has developed simulation, translation, testing, and formal analysis tools for Model-Based Development languages including Simulink, Stateflow, SCADE, and RSML-e, and has published more than 60 papers on these topics. He has led successful formal verification projects on large industrial avionics models, including displays (Rockwell-Collins ADGS-2100 Window Manager), redundancy management and control allocation (AFRL CerTA FCS program) and autoland (AFRL CerTA CPD program). He has recently been researching tools and techniques for scalable compositional analysis, testing and system image generation from system architectural models for quadcopters and large-scale autonomous helicopters.

Country: United States

Affiliation: University of Minnesota

Personal website: http://www.cs.umn.edu/~whalen

Research interests: Model Checking, Testing, Requirements

Contributions

FormaliSE 2019 Committee Member in Program Committee within the FormaliSE 2019-track
ICSE 2019 SEIP Chair in Program Committee within the Software Engineering in Practice-track
Session Chair of Managing Variation: An Industrial Perspective on Product Line Engineering (part of Plenary)
Committee Member in Program Committee within the ACM Student Research Competition-track
IEEE Software Best Software Engineering in Practice Award
SEIP Chair in Organizing Committee
Opening Ceremonies
Show activities from other conferences

ICSE 2019-profile
View general profile