Research output

Research output per year 1998 2008 2010 2011 2012 2013 2014 2015 2016 2018 2018

• 63 Conference contribution
• 15 Article
• 5 Working paper
• 3 Other contribution
• 5 More
  • 2 Commissioned report
  • 2 Editorial
  • 1 Other chapter contribution

Research output per year

Research output per year

Search results

• 2018

  A Formal Approach to Constructing Secure Air Vehicle Software

  Cofer, D., Gacek, A., Backes, J., Whalen, M. W., Pike, L., Foltzer, A., Podhradsky, M., Klein, G., Kuz, I., Andronick, J., Heiser, G. & Stuart, D., Nov 2018, Computer, 51, 11, p. 14-23 10 p.

  Research output: Contribution to specialist publication › Article

  • Slate 100%
  • Formal methods 83%
  • Air 39%
  30 Scopus citations

• Ensuring the Observability of Structural Test Obligations

  Meng, Y., Gay, G. & Whalen, M., Sep 5 2018, (Accepted/In press) In: IEEE Transactions on Software Engineering.

  Research output: Contribution to journal › Article › peer-review

  • Observability 100%
  5 Scopus citations

• Guest editorial: advanced topics in automated software engineering

  Grunske, L. & Whalen, M., Dec 1 2018, In: Automated Software Engineering. 25, 4, p. 743-744 2 p.

  Research output: Contribution to journal › Editorial › peer-review

  Open Access
  1 Scopus citations

• Online enumeration of all minimal inductive validity cores

  Bendík, J., Ghassabani, E., Whalen, M. & Černá, I., Jan 1 2018, Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Proceedings. Johnsen, E. B. & Schaefer, I. (eds.). Springer- Verlag, p. 189-204 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10886 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Enumeration 100%
  • Model 22%
  • Traceability 20%
  • Robustness Analysis 18%
  • Safety 15%
  9 Scopus citations

• The JKind model checker

  Gacek, A., Backes, J., Whalen, M., Wagner, L. & Ghassabani, E., Jan 1 2018, Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Weissenbacher, G. & Chockler, H. (eds.). Springer- Verlag, p. 20-27 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10982 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  • Open Source 100%
  • Industrial Application 93%
  • Engine 92%
  • Safety 82%
  • Model 71%
  33 Scopus citations

• Validity-guided synthesis of reactive systems from assume-guarantee contracts

  Katis, A., Fedyukovich, G., Guo, H., Gacek, A., Backes, J., Gurfinkel, A. & Whalen, M. W., Jan 1 2018, Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings. Beyer, D. & Huisman, M. (eds.). Springer- Verlag, p. 176-193 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10806 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  • Reactive Systems 100%
  • Synthesis 62%
  • Specification 61%
  • Fixpoint 55%
  • Program Synthesis 36%
  15 Scopus citations
• 2017

  Architectural modeling and analysis for safety engineering

  Stewart, D., Whalen, M. W., Cofer, D. & Heimdahl, M. P. E., 2017, Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Proceedings. Bozzano, M. & Papadopoulos, Y. (eds.). Springer Verlag, p. 97-111 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10437 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Safety engineering 100%
  • Safety 81%
  • Architecture 79%
  • System Architecture 61%
  • Engineering 58%
  16 Scopus citations

• Efficient generation of all minimal inductive validity cores

  Ghassabani, E., Whalen, M. & Gacek, A., Nov 8 2017, Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design, FMCAD 2017. Weissenbacher, G. & Stewart, D. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 31-38 8 p. 8102238. (Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design, FMCAD 2017).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Minimality 100%
  • Model 88%
  • Regression analysis 77%
  • Completeness 75%
  • Fault tolerance 74%
  16 Scopus citations

• From requirements to code: Model based development of a medical cyber physical system

  Murugesan, A., Heimdahl, M. P. E., Whalen, M. W., Rayadurgam, S., Komp, J., Duan, L., Kim, B. G., Sokolsky, O. & Lee, I., 2017, Software Engineering in Health Care - 4th International Symposium, FHIES 2014 and 6th International Workshop, SEHC 2014, Revised Selected Papers. Huhn, M. & Williams, L. (eds.). Springer Verlag, p. 96-112 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9062 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Biomedical equipment 97%
  • Model-based 80%
  • Requirements 72%
  • Analgesics 30%
  • System Development 28%
  2 Scopus citations

• Proof-based coverage metrics for formal verification

  Ghassabani, E., Gacek, A., Whalen, M. W., Heimdahl, M. & Wagner, L., Nov 20 2017, ASE 2017 - Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering. Nguyen, T. N., Rosu, G. & Di Penta, M. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 194-199 6 p. 8115632. (ASE 2017 - Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Formal Verification 100%
  • Formal verification 80%
  • Coverage 67%
  • Metric 45%
  • Mutation 25%
  14 Scopus citations
• 2016

  Efficient generation of inductive validity cores for safety properties

  Ghassabani, E., Gacek, A. & Whalen, M. W., Nov 1 2016, FSE 2016 - Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering. Su, Z., Zimmermann, T. & Cleland-Huang, J. (eds.). Association for Computing Machinery, p. 314-325 12 p. (Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering; vol. 13-18-November-2016).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  • Surface mount technology 100%
  • Experiments 30%
  22 Scopus citations

• Efficient observability-based test generation by dynamic symbolic execution

  You, D., Rayadurgam, S., Whalen, M. W., Heimdahl, M. & Gay, G., Jan 13 2016, 2015 IEEE 26th International Symposium on Software Reliability Engineering, ISSRE 2015. Institute of Electrical and Electronics Engineers Inc., p. 228-238 11 p. 7381816. (2015 IEEE 26th International Symposium on Software Reliability Engineering, ISSRE 2015).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Observability 100%
  • Avionics 50%
  • Biomedical equipment 49%
  5 Scopus citations

• Formally verified run time assurance architecture of a 6U cubesat attitude control system

  Gross, K. H., Clark, M. A., Hoffman, J. A., Fifarek, A. W., Rattan, K. S., Swenson, E. D., Whalen, M. W. & Wagner, L., Jan 1 2016, AIAA Infotech @ Aerospace Conference. American Institute of Aeronautics and Astronautics Inc. (AIAA), (AIAA Infotech @ Aerospace Conference).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Attitude control 91%
  • Control systems 51%
  • Controllers 45%
  • Formal methods 27%
  • Intelligent control 13%
  3 Scopus citations

• Machine-checked proofs for realizability checking algorithms

  Katis, A., Gacek, A. & Whalen, M. W., Jan 1 2016, Verified Software: Theories, Tools, and Experiments - 7th International Conference, VSTTE 2015, Revised Selected Papers. Seshia, S. A. & Gurfinkel, A. (eds.). Springer- Verlag, p. 110-123 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9593).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Realizability 100%
  • Formalization 53%
  • Architecture 40%
  • Surface mount technology 28%
  • Reasoning 23%
  3 Scopus citations

• Message from the chairs

  Cohen, M., Grunske, L. & Whalen, M., Jan 4 2016, In: Proceedings - 2015 30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015. p. xv-xvi 7371981.

  Research output: Contribution to journal › Editorial › peer-review

• On implementing real-time specification patterns using observers

  Backes, J. D., Whalen, M. W., Gacek, A. & Komp, J., Jan 1 2016, NASA Formal Methods - 8th International Symposium, NFM 2016, Proceedings. Tkachuk, O. & Rayadurgam, S. (eds.). Springer- Verlag, p. 19-33 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9690).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Specification languages 100%
  • Observer 94%
  • Specification 78%
  • Requirements 70%
  • Specification Languages 62%
  4 Scopus citations

• Reasoning About Algebraic Data Types with Abstractions

  Pham, T. H., Gacek, A. & Whalen, M. W., Dec 1 2016, In: Journal of Automated Reasoning. 57, 4, p. 281-318 38 p.

  Research output: Contribution to journal › Article › peer-review

  • Abstraction 100%
  • Reasoning 87%
  • Surjectivity 85%
  • Decision Procedures 52%
  • Sufficient 50%
  12 Scopus citations

• Requirements and architectures for secure vehicles

  Whalen, M. W., Cofer, D. & Gacek, A., Jul 1 2016, In: IEEE Software. 33, 4, p. 22-25 4 p., 7498541.

  Research output: Contribution to journal › Article › peer-review

  • Experiments 100%
  11 Scopus citations

• Towards synthesis from assume-guarantee contracts involving infinite theories: A preliminary report

  Katis, A., Gacek, A. & Whalen, M. W., May 14 2016, Proceedings - 4th FME Workshop on Formal Methods in Software Engineering, FormaliSE 2016. Association for Computing Machinery, Inc, p. 36-41 6 p. (Proceedings - 4th FME Workshop on Formal Methods in Software Engineering, FormaliSE 2016).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  • Model checking 100%
  • Demonstrations 77%
  3 Scopus citations
• 2015

  A flexible and non-intrusive approach for computing complex structural coverage metrics

  Whalen, M. W., Person, S., Rungta, N., Staats, M. & Grijincu, D., Aug 12 2015, Proceedings - 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, ICSE 2015. IEEE Computer Society, p. 506-516 11 p. 7194601. (Proceedings - International Conference on Software Engineering; vol. 1).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Semantics 100%
  9 Scopus citations

• Are we there yet? Determining the adequacy of formalized requirements and test suites

  Murugesan, A., Whalen, M. W., Rungta, N., Tkachuk, O., Person, S., Heimdahl, M. P. E. & You, D., 2015, NASA Formal Methods - 7th International Symposium, NFM 2015, Proceedings. Havelund, K., Holzmann, G. & Joshi, R. (eds.). Springer Verlag, p. 279-294 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9058).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Coverage 100%
  • Requirements 81%
  • Engineers 70%
  • Oracle 60%
  • Safety-critical Systems 27%
  6 Scopus citations

• Automated Oracle Data Selection Support

  Gay, G., Staats, M., Whalen, M. & Heimdahl, M. P. E., Nov 1 2015, In: IEEE Transactions on Software Engineering. 41, 11, p. 1119-1137 19 p., 7112189.

  Research output: Contribution to journal › Article › peer-review

  • Testing 100%
  • Costs 36%
  17 Scopus citations

• Design considerations for modeling modes in cyber-physical systems

  Murugesan, A., Rayadurgam, S., Whalen, M. W. & Heimdahl, M. P. E., 2015, In: IEEE Design and Test. 32, 5, p. 66-73 8 p., 7172459.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  • Drug infusion 78%
  • Thyristors 46%
  4 Scopus citations

• Evaluation of formal methods tools applied to a 6U CubeSat attitude control system

  Gross, K. H., Hoffman, J. A., Clark, M., Swenson, E. D., Cobb, R. G., Whalen, M. W. & Wagner, L., Jan 1 2015, AIAA SPACE 2015 Conference and Exposition. American Institute of Aeronautics and Astronautics Inc. (AIAA), (AIAA SPACE 2015 Conference and Exposition).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • attitude control 100%
  • Formal methods 79%
  • Attitude control 75%
  • systems engineering 74%
  • complex systems 74%
  5 Scopus citations

• Hierarchical multi-formalism proofs of cyber-physical systems

  Whalen, M. W., Rayadurgam, S., Ghassabani, E., Murugesan, A., Sokolsky, O., Heimdahl, M. & Lee, I., Nov 30 2015, 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015. Institute of Electrical and Electronics Engineers Inc., p. 90-95 6 p. 7340474. (2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Embedded software 37%
  • Scalability 24%
  • Semantics 20%
  3 Scopus citations

• Requirements analysis of a quad-redundant flight control system

  Backes, J., Cofer, D., Miller, S. & Whalen, M. W., Jan 1 2015, NASA Formal Methods - 7th International Symposium, NFM 2015, Proceedings. Havelund, K., Holzmann, G. & Joshi, R. (eds.). Springer- Verlag, p. 82-96 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9058).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Requirements Analysis 100%
  • Flight Control System 96%
  • Compositional Verification 87%
  • Avionics 87%
  • Flight control systems 58%
  22 Scopus citations

• The risks of coverage-directed test case generation

  Gay, G., Staats, M., Whalen, M. & Heimdahl, M. P. E., Aug 1 2015, In: IEEE Transactions on Software Engineering. 41, 8, p. 803-819 17 p., 7081779.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  • Fault detection 100%
  • Avionics 59%
  • Automation 40%
  • Testing 27%
  84 Scopus citations

• Towards realizability checking of contracts using theories

  Gacek, A., Katis, A., Whalen, M. W., Backes, J. & Cofer, D., Jan 1 2015, NASA Formal Methods - 7th International Symposium, NFM 2015, Proceedings. Havelund, K., Holzmann, G. & Joshi, R. (eds.). Springer- Verlag, p. 173-187 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9058).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Realizability 100%
  • Architecture 54%
  • Leaves 36%
  • Safety 27%
  • Embedded Systems 19%
  20 Scopus citations
• 2014

  Analysis and testing of PLEXIL plans

  Biatek, J., Whalen, M. W., Heimdahl, M., Rayadurgam, S. & Lowry, M. R., Jun 3 2014, 2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014 - Proceedings. Association for Computing Machinery, p. 52-58 7 p. (2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014 - Proceedings).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Testing 100%
  • Semantics 52%
  • Planning 49%
  • Space applications 44%
  • NASA 35%
  2 Scopus citations

• Exploring the twin peaks using probabilistic verification techniques

  Murugesan, A., Rayadurgam, S., Feng, L., Whalen, M. W., Heimdahl, M. P. E. & Lee, I., Jun 1 2014, 4th International Workshop on the Twin Peaks of Requirements and Architecture, TwinPeaks 2014 - Proceedings. Association for Computing Machinery, p. 18-23 6 p. (4th International Workshop on the Twin Peaks of Requirements and Architecture, TwinPeaks 2014 - Proceedings).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Biomedical equipment 100%

• Helping system engineers bridge the peaks

  Rungta, N., Tkachuk, O., Person, S., Biatek, J., Whalen, M. W., Castle, J. & Gundy-Burlet, K., 2014, Proceedings of the 4th International Workshop on Twin Peaks of Requirements and Architecture. p. 9-13 5 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  3 Scopus citations

• Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety

  Murugesan, A., Sokolsky, O., Rayadurgam, S., Whalen, M., Heimdahl, M. & Lee, I., 2014, 2014 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2014. IEEE Computer Society, p. 139-150 12 p. 6843718. (2014 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2014).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  • Concretes 60%
  • Specifications 38%
  • Biomedical equipment 32%
  12 Scopus citations

• Moving the goalposts: Coverage satisfaction is not enough

  Gay, G., Staats, M., Whalen, M. W. & Heimdahl, M., Jun 2 2014, 7th International Workshop on Search-Based Software Testing, SBST 2014 - Proceedings. Association for Computing Machinery, p. 19-22 4 p. (7th International Workshop on Search-Based Software Testing, SBST 2014 - Proceedings).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Fault detection 100%
  • Testing 55%
  8 Scopus citations

• Resolute: An assurance case language for architecture models

  Gacek, A., Backes, J., Cofer, D., Slind, K., Collins, R. & Whalen, M., Oct 18 2014, HILT 2014 - Proceedings of the ACM Conference on High Integrity Language Technology. Association for Computing Machinery, Inc, p. 19-27 9 p. (HILT 2014 - Proceedings of the ACM Conference on High Integrity Language Technology).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Formal methods 100%
  • Architectural design 98%
  • Large scale systems 73%
  54 Scopus citations

• Structuring Simulink models for verification and reuse

  Whalen, M. W., Murugesan, A., Rayadurgam, S. & Heimdahl, M. P. E., Jun 2 2014, 6th International Workshop on Modeling in Software Engineering, MiSE 2014 - Proceedings. Association for Computing Machinery, p. 19-24 6 p. (6th International Workshop on Modeling in Software Engineering, MiSE 2014 - Proceedings).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Software engineering 100%
  • Pumps 47%
  • Testing 31%
  19 Scopus citations
• 2013

  Abstractions in Decision Procedures for Algebraic Data Types

  Pham, T-H. & Whalen, M. W., 2013.

  Research output: Working paper

• An improved unrolling-based decision procedure for algebraic data types

  Pham, T. H. & Whalen, M. W., 2013, Verified Software: Theories, Tools, Experiments - 5th International Conference, VSTTE 2013, Revised Selected Papers. Rybalchenko, A., Rybalchenko, A. & Cohen, E. (eds.). Springer- Verlag, p. 129-148 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8164).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Decision Procedures 100%
  • Monotonic 52%
  • Reasoning 33%
  • Completeness 29%
  • Categorization 23%
  3 Scopus citations

• Compositional verification of a medical device system

  Murugesan, A., Whalen, M. W., Rayadurgam, S. & Heimdahl, M. P. E., 2013, HILT 2013 - Proceedings of the ACM Conference on High Integrity Language Technology. p. 51-64 14 p. (HILT 2013 - Proceedings of the ACM Conference on High Integrity Language Technology).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Biomedical equipment 100%
  • Large scale systems 26%
  • Decomposition 22%
  • Chemical analysis 9%
  43 Scopus citations

• Efficient Test Coverage Measurement for MC/DC

  Whalen, M. W., Heimdahl, M. P. E. & De Silva, I. J., 2013.

  Research output: Working paper

• Observable modified condition/decision coverage

  Whalen, M. W., Gay, G., You, D., Heimdahl, M. & Staats, M., 2013, 2013 35th International Conference on Software Engineering, ICSE 2013 - Proceedings. p. 102-111 10 p. 6606556. (Proceedings - International Conference on Software Engineering).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Avionics 100%
  • Observability 49%
  • Microwaves 39%
  40 Scopus citations

• On Parameterized Abstractions in Unrolling-Based Decision Procedure for Algebraic Data Types

  Pham, T-H. & Whalen, M. W., 2013.

  Research output: Working paper

• Parameterized abstractions for reasoning about algebraic data types

  Pham, T-H. & Whalen, M. W., 2013, IEEE.

  Research output: Other contribution

• RADA: A tool for reasoning about algebraic data types with abstractions

  Pham, T-H. & Whalen, M. W., 2013, Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering. p. 611-614 4 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  7 Scopus citations

• Up and out: scaling formal analysis using model-based development and architecture modeling

  Whalen, M. W., 2013, ACM SIGAda Ada Letters. Vol. 33. p. 41-42 2 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Your 'what' is my 'how': Iteration and hierarchy in system design

  Whalen, M. W., Gacek, A., Cofer, D., Murugesan, A., Heimdahl, M. & Rayadurgam, S., 2013, In: IEEE Software. 30, 2, p. 54-60 7 p., 6359702.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  • Architectural design 100%
  • Systems analysis 65%
  • Availability 31%
  • Specifications 28%
  57 Scopus citations
• 2012

  A DSL for cross-domain security

  Hardin, D. S., Slind, K. L., Whalen, M. W. & Pham, T-H., 2012, ACM SIGAda Ada Letters. Vol. 32. p. 53-62 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Compositional verification of architectural models

  Cofer, D., Gacek, A., Miller, S. P., Whalen, M. W., LaValley, B. & Sha, L., 2012, NASA Formal Methods Symposium. p. 126-140 15 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  88 Scopus citations

• Improving symbolic execution for statechart formalisms

  Balasubramanian, D., Corina, P., Whalen, M. W., Karasi, G. & Lowry, M. R., 2012, Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation. p. 47-52 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  5 Scopus citations

• Incremental verification with mode variable invariants in state machines

  Kahsai, T., Garoche, P. L., Tinelli, C. & Whalen, M., Apr 11 2012, NASA Formal Methods - 4th International Symposium, NFM 2012, Proceedings. p. 388-402 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7226 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • State Machine 100%
  • Invariant 36%
  • Model checking 34%
  • Safety 24%
  • Model Checking 24%
  8 Scopus citations

• Integrating statechart components in polyglot

  Balasubramanian, D., S, P. C., Biatek, J., Pressburger, T., Karsai, G., Lowry, M. R. & Whalen, M. W., 2012, NASA Formal Methods Symposium. p. 267-272 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  2 Scopus citations