Specifications of reliable software - what next? - Mark A. Ardis (ACM SIGSOFT Softw. Eng. Notes, 1979)

Testing traversable stacks. - John D. Gannon; Paul R. McMullin; Richard G. Hamlet; Mark A. Ardis (ACM SIGPLAN Notices, 1980)

Comparison of algebraic and state-machine specification methods. - Mark A. Ardis (ISPW, 1985)

The Evolution of Wang Institute's Master of Software Engineering Program. - Mark A. Ardis (IEEE Trans. Software Eng., 1987)

SEI Report: The Design of an MSE Curriculum. - Mark A. Ardis (CSEE, 1988)

SEI Report on Graduate Software Engineering Education. - Mark A. Ardis; Gary Ford 001 (CSEE, 1989)

Are formal methods useful for software development? - Horst F. Wedde; Betty H. C. Cheng; David Gries; N. Shankar; Kwei-Jay Lin; Mark A. Ardis (COMPSAC, 1992)

Research and Development: Differences are Barriers to Transfer. - Mark A. Ardis; David G. Furchtgott (Diffusion, Transfer and Implementation of Information Technology, 1993)

Lessons from Using Basic LOTOS. - Mark A. Ardis (ICSE, 1994)

A Framework for Evaluating Specification Methods for Reactive Systems Experience Report. - Mark A. Ardis; John A. Chaves; Lalita Jategaonkar Jagadeesan; Peter Mataga; Carlos Puchol; Mark G. Staskauskas; James Von Olnhausen (IEEE Trans. Software Eng., 1996)

Defining Families: The Commonality Analysis (Tutorial). - Mark A. Ardis; David M. Weiss 001 (ICSE, 1997)

Formal Methods for Telecommunication System Requirements: A Survey of Standardized Languages. - Mark A. Ardis (Ann. Softw. Eng., 1997)

Successful introduction of domain engineering into software development. - Mark A. Ardis; Janel A. Green (Bell Labs Tech. J., 1998)

Jargons for domain engineering. - Lloyd H. Nakatani; Mark A. Ardis; Robert G. Olsen; Paul M. Pontrelli (DSL, 1999)

Defining Families - Commonality Analysis. - Mark A. Ardis; David A. Cuka (ICSE, 1999)

Domain engineered configuration control. - Mark A. Ardis; Peter Dudak; Liz Dor; Wen-Jenq Leu; Lloyd H. Nakatani; Robert G. Olsen; Paul M. Pontrelli (SPLC, 2000)

Software product lines: a case study. - Mark A. Ardis; Nigel Daley; Daniel Hoffman; Harvey P. Siy; David M. Weiss 001 (Softw. Pract. Exp., 2000)

Using peer review in teaching computing. - Edward F. Gehringer; Donald D. Chinn; Manuel A. Pérez-Quiñones; Mark A. Ardis (SIGCSE, 2005)

Development of a Master of Software Assurance Reference Curriculum. - Nancy R. Mead; Julia H. Allen; Mark A. Ardis; Thomas B. Hilburn; Andrew J. Kornecki; Richard C. Linger; James McDonald (Int. J. Secur. Softw. Eng., 2010)

Software engineering education (SEEd). - Mark A. Ardis (ACM SIGSOFT Softw. Eng. Notes, 2010)

Software engineering education (SEEd). - Mark A. Ardis; Peter B. Henderson (ACM SIGSOFT Softw. Eng. Notes, 2010)

The Development of a Graduate Curriculum for Software Assurance. - Mark A. Ardis; Nancy R. Mead (AMCIS, 2011)

Advancing Software Engineering Professional Education. - Mark A. Ardis; Pierre Bourque; Thomas B. Hilburn; Kahina Lasfer; Scott Lucero; James McDonald; Arthur B. Pyster; Mary Shaw (IEEE Softw., 2011)

Infusing software assurance and secure coding into introductory CS courses (abstract only). - Elizabeth K. Hawthorne; Nancy R. Mead; Mark A. Ardis; Carol A. Sledge (SIGCSE, 2012)

Software engineering education (SEEd): is software engineering ready for MOOCs? - Mark A. Ardis; Peter B. Henderson (ACM SIGSOFT Softw. Eng. Notes, 2012)

Using GSwE2009 in the creation and modification of graduate software engineering programs and related curricula. - Mark A. Ardis; Shawn A. Bohner; Lucia Camilloni; Diego Vallespir; Sylvia Ilieva (CSEE&T, 2013)

Recent Trends in Graduate Software Engineering. - Mark A. Ardis; Shawn A. Bohner; Dick Fairley; Dennis J. Frailey; Thomas B. Hilburn; Gregory W. Hislop; Todd Sedano (CSEE&T, 2013)

Workshop on revisions to SE 2004. - Mark A. Ardis; David Budgen; Gregory W. Hislop; Jeff Offutt; Mark J. Sebern; Willem Visser (CSEE&T, 2013)

Town hall discussion of SE 2004 revisions (panel). - Mark A. Ardis; David Budgen; Gregory W. Hislop; Jeff Offutt; Mark J. Sebern; Willem Visser (ICSE, 2013)

Revision of the SE 2004 curriculum model. - Gregory W. Hislop; Mark A. Ardis; David Budgen; Mark J. Sebern; Jeff Offutt; Willem Visser (SIGCSE, 2013)

Creating a Marketplace for Multidisciplinary Multi-university Systems Engineering Capstone Projects. - Mark A. Ardis; Eirik Hole; Joe Manfredonia (CSER, 2013)

Using GSwE2009 for the Evaluation of a Master Degree in Software Engineering in the Universidad de la República. - Lucia Camilloni; Diego Vallespir; Mark A. Ardis (ICSE (2), 2015)

SE 2014: Curriculum Guidelines for Undergraduate Degree Programs in Software Engineering. - Mark A. Ardis; David Budgen; Gregory W. Hislop; Jeff Offutt; Mark J. Sebern; Willem Visser (Computer, 2015)