Kenneth L. McMillan
Affiliations: Microsoft Research, Redmond, USA
According to our database^{1},
Kenneth L. McMillan
authored at least 106 papers
between 1989 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Online presence:

on id.loc.gov

on dnb.info

on kenmcmil.com
On csauthors.net:
Bibliography
2022
Proc. ACM Program. Lang., 2022
SymMC: approximate model enumeration and counting using symmetry information for Alloy specifications.
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022
2021
Formal Methods Syst. Des., 2021
CoRR, 2021
2020
CoRR, 2020
Proceedings of the Computer Aided Verification  32nd International Conference, 2020
2019
Proceedings of the ACM Special Interest Group on Data Communication, 2019
Proceedings of the 2019 IEEE Cybersecurity Development, 2019
Proceedings of the From Reactive Systems to CyberPhysical Systems, 2019
2018
Proceedings of the Handbook of Model Checking., 2018
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018
Proceedings of the Static Analysis  25th International Symposium, 2018
Modularity for decidability of deductive verification with applications to distributed systems.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018
Proceedings of the Computer Aided Verification  30th International Conference, 2018
Proceedings of the Computer Aided Verification  30th International Conference, 2018
2017
Int. J. Softw. Tools Technol. Transf., 2017
2016
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016
Proceedings of the 2016 Formal Methods in ComputerAided Design, 2016
2015
Compositional Verification of Procedural Programs using Horn Clauses over Integers and Arrays.
Proceedings of the Formal Methods in ComputerAided Design, 2015
Proceedings of the Fields of Logic and Computation II, 2015
2014
ACM SIGPLAN Notices, 2014
Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014
Proceedings of the Computer Aided Verification  26th International Conference, 2014
2013
Higherorder Program Verification as Satisfiability Modulo Theories with Algebraic Datatypes.
CoRR, 2013
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013
Proceedings of the Formal Methods: Foundations and Applications  16th Brazilian Symposium, 2013
Proceedings of the Static Analysis  20th International Symposium, 2013
Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013
Proceedings of the Computer Aided Verification  25th International Conference, 2013
2012
Beyond FirstOrder Satisfaction: Fixed Points, Interpolants, Automata and Polynomials.
Proceedings of the Model Checking Software  19th International Workshop, 2012
Proceedings of the Computer Aided Verification  24th International Conference, 2012
Proceedings of the 10th International Workshop on Satisfiability Modulo Theories, 2012
2011
Proceedings of the Static Analysis  18th International Symposium, 2011
Proceedings of the Static Analysis  18th International Symposium, 2011
Proceedings of the International Conference on Formal Methods in ComputerAided Design, 2011
2010
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010
2009
Proceedings of the Reachability Problems, 3rd International Workshop, 2009
Proceedings of the Formal Methods for Industrial Critical Systems, 2009
Proceedings of the Computer Aided Verification, 21st International Conference, 2009
2008
Formal Methods Syst. Des., 2008
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008
Proceedings of the 35th ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, 2008
Proceedings of the Hardware and Software: Verification and Testing, 2008
2007
Log. Methods Comput. Sci., 2007
Proceedings of the Verification, 2007
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007
Proceedings of the Computer Aided Verification, 19th International Conference, 2007
Proceedings of the Automated Technology for Verification and Analysis, 2007
2006
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006
Proceedings of the Computer Aided Verification, 18th International Conference, 2006
2005
Theor. Comput. Sci., 2005
Formal Methods Syst. Des., 2005
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005
Proceedings of the Correct Hardware Design and Verification Methods, 2005
Proceedings of the Applications and Theory of Petri Nets 2005, 2005
2004
Proceedings of the Formal Methods in ComputerAided Design, 5th International Conference, 2004
2003
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003
Proceedings of the Static Analysis, 10th International Symposium, 2003
Proceedings of the 1st ACM & IEEE International Conference on Formal Methods and Models for CoDesign (MEMOCODE 2003), 2003
Proceedings of the Computer Aided Verification, 15th International Conference, 2003
2002
Proceedings of the Computer Aided Verification, 14th International Conference, 2002
2001
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2001
Parameterized Verification of the FLASH Cache Coherence Protocol by Compositional Model Checking.
Proceedings of the Correct Hardware Design and Verification Methods, 2001
Proceedings of the Computer Aided Verification, 13th International Conference, 2001
2000
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2000
Sci. Comput. Program., 2000
Inf. Comput., 2000
Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, 2000
Proceedings of the Computer Aided Verification, 12th International Conference, 2000
1999
Proceedings of the 1999 IEEE/ACM International Conference on ComputerAided Design, 1999
Proceedings of the 1999 IEEE/ACM International Conference on ComputerAided Design, 1999
Proceedings of the Correct Hardware Design and Verification Methods, 1999
Proceedings of the Correct Hardware Design and Verification Methods, 1999
Proceedings of the Computer Aided Verification, 11th International Conference, 1999
1998
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1998
Minimalist Proof Assistants: Interactions of Technology and Methodology in Formal System Level Verification (abstract).
Proceedings of the Formal Methods in ComputerAided Design, 1998
Proceedings of the 35th Conference on Design Automation, 1998
Verification of an Implementation of Tomasulo's Algorithm by Compositional Model Checking.
Proceedings of the Computer Aided Verification, 10th International Conference, 1998
1997
Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping.
Formal Methods Syst. Des., 1997
Proceedings of the 34st Conference on Design Automation, 1997
Proceedings of the Computer Aided Verification, 9th International Conference, 1997
1996
Proceedings of the 33st Conference on Design Automation, 1996
Proceedings of the Computer Aided Verification, 8th International Conference, 1996
Proceedings of the Computer Aided Verification, 8th International Conference, 1996
1995
Inf. Comput., February, 1995
Formal Methods Syst. Des., 1995
Formal Methods Syst. Des., 1995
Proceedings of the 1995 IEEE/ACM International Conference on ComputerAided Design, 1995
Proceedings of the 32st Conference on Design Automation, 1995
Proceedings of the Computer Aided Verification, 1995
Using Formal Verification/Analysis Methods on the Critical Path in System Design: A Case Study.
Proceedings of the Computer Aided Verification, 1995
1994
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1994
Proceedings of the 31st Conference on Design Automation, 1994
Proceedings of the 31st Conference on Design Automation, 1994
Hierarchical Representations of Discrete Functions, with Application to Model Checking.
Proceedings of the Computer Aided Verification, 6th International Conference, 1994
1993
Kluwer, ISBN: 9781461531906, 1993
1992
Inf. Comput., June, 1992
Proceedings of the Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1992
Using Unfoldings to Avoid the State Explosion Problem in the Verification of Asynchronous Circuits.
Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992
1991
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1991
A language for compositional specification and verification of finite state hardware controllers.
Proc. IEEE, 1991
Proceedings of the Proceedings 1991 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1991
1990
Proceedings of the 27th ACM/IEEE Design Automation Conference. Orlando, 1990
1989
Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), 1989